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

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

Gabi Moreno
01:08:32
Link

About this episode

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/message