Artwork

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.
Player FM : aplicación de podcast
¡Desconecta con la aplicación Player FM !

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

1:08:32
 
Compartir
 

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 👏

  continue reading

167 episodios

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

  continue reading

167 episodios

Todos los episodios

×
 
Loading …

Bienvenido a Player FM!

Player FM está escaneando la web en busca de podcasts de alta calidad para que los disfrutes en este momento. Es la mejor aplicación de podcast y funciona en Android, iPhone y la web. Regístrate para sincronizar suscripciones a través de dispositivos.

 

Guia de referencia rapida