J'ai vu cet opérateur utilisé sur les blogs Haskell, mais je ne trouve pas sa source dans Hoogle. L'opérateur :~>
fait-il partie du noyau linguistique? Si oui, que signifie-t-il?L'identificateur `: ~>` dans Haskell est-il correct?
EDIT: Il ne semble se présenter dans un Hayoo search, mais que l'on désigne l'usage canonique?
Quels blogs? Ce n'est pas intégré à la langue mais je l'ai surtout vu utilisé pour des transformations naturelles. – Lee
Votre question est trompeuse. Les résultats de Hayoo montrent ': ~>' défini comme un type, pas un opérateur normal. – melpomene
Il n'y a pas d'utilisation "canonique". C'est un identificateur valide pour un constructeur de type que n'importe qui peut utiliser, ainsi il pourrait être employé pour n'importe quoi. L'article du blog devrait clarifier le contexte d'où vient l'opérateur et ce qu'il fait. –