Oui, je me demandais si tu parlais de types optionnels au sens de Option Type ou au sens de types que l'on peut ajouter de façon optionnelle. Cela semble être le second point.
Pythran pourrait utiliser ces types, mais comme ils sont optionnels, il doit surtout savoir faire sans :-) Et dans ce cas, autant faire sans !
L'intérêt serait serait pourtant de bénéficier de l'inférence / vérification de type par mypy, idéalement en en faisant une dépendance de Pythran...
[^] # Re: Types optionnels
Posté par serge_sans_paille (site web personnel) . En réponse au journal Quelques surprises techniques dans Pythran. Évalué à 2.
Oui, je me demandais si tu parlais de types optionnels au sens de
Option Typeou au sens de types que l'on peut ajouter de façon optionnelle. Cela semble être le second point.Pythran pourrait utiliser ces types, mais comme ils sont optionnels, il doit surtout savoir faire sans :-) Et dans ce cas, autant faire sans !
L'intérêt serait serait pourtant de bénéficier de l'inférence / vérification de type par
mypy, idéalement en en faisant une dépendance de Pythran...