118. RAÚL RAJA nos habla sobre PROGRAMACIÓN FUNCIONAL
Manage episode 347714763 series 3288754
Contenido proporcionado por Gabi Moreno. Todo el contenido del podcast, incluidos episodios, gráficos y descripciones de podcast, lo carga y proporciona directamente Gabi Moreno o su socio de plataforma de podcast. Si cree que alguien está utilizando su trabajo protegido por derechos de autor sin su permiso, puede seguir el proceso descrito aquí https://es.player.fm/legal.
Fantástico episodio del PODCAST:
https://gabimoreno.soy/raul-raja
Raúl Raja nos explica conceptos sobre programación funcional, verificación formal, Skala, Haskell... 💯
📜 ÍNDICE:
- Previa
- Cabecera
- Presentación y bienvenida
- Raúl nos cuenta sobre él, su experiencia y su background 👀
- Cuándo y por qué comenzó a programar nuestro invitado 🤔
- ¿Cuándo comenzó en Open Source?
- ¿Qué hacen en 47 Degrees?
- Programación funcional Vs Programación Orientada a Objetos 😮
- Qué es Arrow y su estado actual 🛠
- Scala: orígenes y de dónde viene
- ¿Qué diferencias, ventajas e inconvenientes hay entre Scala y Kotlin? 💥
- Metaprogramación: ¿qué es?
- ¿Scala es interoperable con algún lenguaje de programación?
- ¿Scala y Kotlin son interoperables? 💡
- Alguna herramienta que use Raúl para ser más productivo en su día a día
- ¿Cómo gestiona el tema de los shortcuts?
- Qué es Haskell
- La compra WOW en el último año (game changer) ⚡
- ¿Qué piensa Raúl sobre el TESTING?
- ¿Qué opina de la gente que dice que el testing no es importante?
- Momento ANÉCDOTA
- Verificación formal: ¿en qué consiste?
- ¿Tiene alguna similitud con los WHEN en Kotlin? 🎯
- Recomendaciones para entrevistar en el podcast 🎙
- El Raúl del futuro
- ¡Muchísimas gracias Raúl! 😊
- Dónde podemos encontrar a nuestro invitado
- Despedida, agradecimientos y cierre 👏
--- Send in a voice message: https://podcasters.spotify.com/pod/show/losandroides/message151 episodios
Compartir
))
