Actualmente estoy tratando de averiguar qué aspectos de mi programa pueden ser verificados estáticamente por el compilador scala. Después de leer this question, se me ocurrió la idea de los patrones de diseño para los tipos. Me resulta bastante complicado entender lo que podría ser posible con el sistema de tipos de Scala. Así que me gustaría ver los usos prácticos (no la aritmética peano o cosas por el estilo). Patrones sencillos que reaparecen a menudo en el código normal.Patrones de diseño para la comprobación de tipo estático
¿Alguien sabe de algún blog o incluso libros que se ocupan de esta cuestión? Preferiblemente en Scala, pero también podría ser útil para otros idiomas.
¿Por qué está etiquetado Haskell? Estos enlaces pueden ser de interés: http://blog.ezyang.com/2010/08/type-kata-controlled-sharing-of-references/ y http://blog.ezyang.com/2010/08/type- kata-newtypes/ –
@Edward Porque el sistema de tipos de Scala parece ser similar al sistema de tipos de Haskell y quizás los patrones para Haskell (que ha existido por más tiempo) se transfieren a Java. – ziggystar
@Edward Creo que esto es válido porque los experimentos más aventureros con el sistema de tipos de Scala parecen provenir de personas con antecedentes de Haskell, p. El blog de Rúnar y la gente de Scalaz. –