118. RAÚL RAJA nos habla sobre PROGRAMACIÓN FUNCIONAL

Los androides - Un pódcast de Gabi Moreno - Lunes

Categorías:

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 👏