Ce dépôt de sources contient le code d'une implantation de The Little Typer réalisée collectivement par diverses personnes intéressées par la théorie des types.
- On a travaillé sur la définition des
Atoms telle que présentée dans les premières pages du livre - On a essayé de définir des propriétés pour les atomes afin d'éviter d'écrire une litanie de tests unitaires mais c'est un peu circulaire...
- Le passage aux combinateurs de syntaxe était un peu rapide...
- Plus de questions que de réponses sur la représentation du langage lui-même
Pour la prochaine fois:
- On met en ligne un "Doodle" pour trouver une date
- On lit jusqu'à la page 31 (fin du chapitre 1)
- Ce qui le veulent peuvent avancer sur l'implémentation (ou une partie d'icelle) et proposer un kata