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... 💯

- 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 👏