mirror of
https://github.com/betagouv/mon-entreprise
synced 2025-02-08 22:15:02 +00:00
e030ed1e44
Changements majeurs : espaces de noms, variantes imbriquées. Des notes en .md expliquent les changements, ou les changements à venir même si l'implémentation est en retard. Un peu plus d'ordre dans le dossier /règles : les 'entités' et règles calculatoires se rapprochent...
15 lines
675 B
Text
15 lines
675 B
Text
Séparer la définition de cotisation des entités.
|
|
|
|
https://cs.stackexchange.com/questions/45383/which-research-languages-have-a-stronger-typesystem-than-haskell-and-why
|
|
https://news.ycombinator.com/item?id=3117776
|
|
|
|
http://stackoverflow.com/questions/19081904/scala-difference-between-a-typeclass-and-an-adt
|
|
|
|
Learn you a Haskell define your own...
|
|
|
|
Ce que je fais c'est je définis des types qui sont des Records, mais de façon éclatée, ou des ADT (motif).
|
|
Et pour les listes ? Plusieurs contrat par individu ? Comment ils font en Haskell ?
|
|
Les cotisations sont des listes ?
|
|
Les namespaces ?
|
|
Et polymorphisme des record ?
|
|
Faudrait que je teste de coder ça en Haskell...
|