Tipado nominal y tipado estructural
22 enero 2018 | | 3 comentarios

Cuando empiezas a conocer varios lenguajes de programación es fácil darse cuenta de las diferencias entre ellos. No me refiero sólamente a las más evidentes (paradigma, sintaxis, librerías, etc.), sino también a cosas que puede resultar algo más sutiles, como las implicaciones que tienen en el diseño de las aplicaciones el sistema de tipos del...

Seguir leyendo

Mis tecnologías del 2017
8 enero 2018 | , | 6 comentarios

Hace tres años, a petición de Alfredo, escribí un resumen de las tecnologías que había usado profesionalmente a lo largo del 2015. El año pasado convertí en tradición ese post con mis tecnologías del 2016, y este año toca seguirla, como me recordaba Paco. Como no espero que nadie se lea los posts anteriores, vuelvo...

Seguir leyendo

La kata de Gilded Rose en Clojure
18 diciembre 2017 | , | 1 comentario

Gilded Rose es una kata pensada para practicar técnicas de refactorización. La primera vez que oí hablar de ella fue a través de Modesto San Juan (cómo no), y recientemente me he vuelto a cruzar con ella en twitter. Aprovechando que se acaba el año y apetece leer cosas fáciles, he decido jugar a implementarla...

Seguir leyendo

¿La hora de kotlin?
4 diciembre 2017 | | 13 comentarios

La primera vez que mencioné kotlin en este blog fue hablando de TypeScript en 2012. Entonces estaba todavía en pañales, pero me pareció un lenguaje interesante. Tres años después, cuando escribía sobre featuritis en lenguajes de programación volví a mencionar a kotlin, de una forma un poco menos positiva porque me parecía que tendía a...

Seguir leyendo