Resumen de lecturas compartidas (diciembre de 2017)

PorJosé A. Alonso
Esta entrada es una recopilación de lecturas compartidas, durante diciembre de 2017, en Twitter sobre programación funcional y demostración asistida por ordenador.

Las lecturas están ordenadas según su fecha de publicación en Twitter.

Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Read More “Resumen de lecturas compartidas (diciembre de 2017)”

I1M2017: Manejo de ficheros en Haskell

PorJosé A. Alonso

En la primera parte de la clase de hoy de Informática de 1º del Grado en Matemáticas se ha estudiado el manejo de ficheros.

En la segunda parte se ha comentado cómo trabajar con Kattis, que es un juez en línea para problemas de programación que contiene una colección de problemas.

En la Guía de uso de Kattis se explica el procedimiento de trabajo con Kattis.

Los apuntes correspondientes a la primera parte de la clase son