Est-ce que tu connais un moyen d'exprimer un "ou" avec un gadt?
Du style :
| Or : 'a term * 'b term -> ('a| 'b) term
Et est-ce qu'il existe un moyen de faire une égalité structurelle, par exemple pour considérer de même type, une structure ou une liste qui contient le même nombre d'argument de type compatible entre eux ?
[^] # Re: Dans l'art voluptueuse de ne rien comprendre
Posté par Nicolas Boulay (site web personnel) . En réponse au journal EDSL et F-algèbres. Évalué à 2.
Est-ce que tu connais un moyen d'exprimer un "ou" avec un gadt?
Du style :
| Or : 'a term * 'b term -> ('a| 'b) term
Et est-ce qu'il existe un moyen de faire une égalité structurelle, par exemple pour considérer de même type, une structure ou une liste qui contient le même nombre d'argument de type compatible entre eux ?
"La première sécurité est la liberté"