Episodio 118 – RAÚL RAJA nos habla sobre PROGRAMACIÓN FUNCIONAL
Raúl Raja es una de las figuras que brilla con luz propia dentro de la comunidad Android y fuera de ella.
Co-founder y CTO de la respetada 47 degrees y que desde luego podríamos considerar una auténtica enciclopedia de la programación funcional. 😊
En esta entrevista / charla aprenderás también conceptos sobre verificación formal, Skala, Haskell…
Una auténtica maravilla poder contar con una persona tan amable y brillante a la par. 💯
Si te perdiste la última edición del podcast, en la que tuvimos una charla técnica premium sobre testing, échale un vistazo que está genial.
Te harás una idea de como es la comunidad premium por dentro si aún no eres miembro y así disiparás las dudas para unirte.
Contenido del audio
Índice
00:00 | Previa
00:21 | Cabecera
00:36 | Presentación y bienvenida
01:08 | Raúl nos cuenta sobre él, su experiencia y su background 👀
02:00 | Cuándo y por qué comenzó a programar nuestro invitado 🤔
02:41 | ¿Cuándo comenzó en Open Source?
04:03 | ¿Qué hacen en 47 Degrees?
07:50 | Programación funcional Vs Programación Orientada a Objetos 😮
10:35 | Qué es Arrow y su estado actual 🛠
15:14 | Scala: orígenes y de dónde viene
17:51 | ¿Qué diferencias, ventajas e inconvenientes hay entre Scala y Kotlin? 💥
20:51 | Metaprogramación: ¿qué es?
23:37 | ¿Scala es interoperable con algún lenguaje de programación?
26.06 | ¿Scala y Kotlin son interoperables? 💡
28:42 | Alguna herramienta que use Raúl para ser más productivo en su día a día
29:42 | ¿Cómo gestiona el tema de los shortcuts?
31:23 | Qué es Haskell
35:15 | La compra WOW en el último año (game changer) ⚡
36:33 | ¿Qué piensa Raúl sobre el TESTING?
41:19 | ¿Qué opina de la gente que dice que el testing no es importante?
43:38 | Momento ANÉCDOTA
47:01 | Verificación formal: ¿en qué consiste?
52:19 | ¿Tiene alguna similitud con los WHEN en Kotlin? 🎯
54:47 | Recomendaciones para entrevistar en el podcast 🎙
57:30 | El Raúl del futuro
58:21 | ¡Muchísimas gracias Raúl! 😊
58:52 | Dónde podemos encontrar a nuestro invitado
59:24 | Despedida, agradecimientos y cierre 👏
Transcripción
¡Muy buenas! Soy Gabi Moreno y te doy la bienvenida al episodio número 118 de Los androides. El podcast en el que te contamos técnicas, tips, herramientas, conceptos, hábitos y todo aquello que te va a hacer crecer profesionalmente como desarrollador Android.
Hoy tenemos a Raúl Raja, que nos habla sobre programación funcional, verificación formal, Scala, Haskell y un montón de cosas súper, súper, súper chulas.
Y si estás escuchando esto justo hoy, cuando… bueno, hoy no, hoy es domingo, hoy es domingo 20 de noviembre de 2022. Te aquí dos días es mi cumple y ahí es donde voy, es que si estás escuchando esto cuando sale este episodio del podcast, es que es en mi cumple, o sea que si estás escuchando hoy cuando sale es porque es martes 22 de noviembre y es mi cumpleaños, pues tengo un regalo para ti, pero espero que lo estés escuchando antes de las 6 de la tarde, porque bueno, esto ha salido… bueno, ha salido, es que me estoy liando porque hoy es domingo y cuando sale esto es el martes a las 7 de la mañana, sale cuando sale el podcast todas las semanas y voy al lío, que me estoy yendo por los cerros de la vida.
Si estás escuchando esto antes de las 6 de la tarde, tengo un regalo para ti. Y ese regalo es que si estás dentro de la comunidad premium en Los androides premium, voy a sortear para todos los miembros de la comunidad premium un plan impulso Android de 7 días y 3 mentorías conmigo. Es decir, tanto si te has escrito ya como si lo haces antes de las 6, o sea que si estás escuchando ya…