J'ai créé un exemple très simple d'un problème que j'ai en utilisant GADTs et DataKinds. Ma vraie application est évidemment plus compliquée mais elle capture clairement l'essence de ma situation. J'e
J'ai appris à propos de la programmation au niveau du type et je voulais écrire une simple fonction de type addition naturelle. Ma première version qui fonctionne est la suivante: data Z
data S n
t