J'essaie actuellement de déterminer quels aspects de mon programme peuvent être vérifiés statiquement par le compilateur scala. Après avoir lu this question je suis venu avec l'idée de modèles de conception pour les types. Je trouve assez compliqué de comprendre ce qui pourrait être possible avec le système de types de Scala. Donc, je voudrais regarder les usages pratiques (pas l'arithmétique peano ou des trucs comme ça). Des motifs simples qui réapparaissent souvent dans le code normal.Modèles de conception pour la vérification de type statique
Quelqu'un sait-il des blogs ou même des livres qui traitent de cette question? De préférence dans Scala, mais il pourrait aussi être utile pour d'autres langues.
Pourquoi est-ce marqué Haskell? Ces liens peuvent être intéressants: http://blog.ezyang.com/2010/08/type-kata-controlled-sharing-of-references/ et http://blog.ezyang.com/2010/08/type- kata-newtypes/ –
@Edward Parce que le système de type de Scala semble être similaire au système de type de Haskell et peut-être des modèles pour Haskell (qui existe depuis plus longtemps) transférer à Java. – ziggystar
@Edward Je pense que cela est valable parce que les expériences les plus aventureuses avec le système de type de Scala semblent provenir de personnes avec un fond de Haskell, par ex. Le blog de Rúnar et le peuple Scalaz. –