contraintes de type Elm

Question

Selon What does comparable mean in Elm?comparable est intégré dans la contrainte de type qui peut être utilisé pour limiter les variables de type à ceux des types intégrés qui sont, bien, comparables. Les questions suivantes viennent à l'esprit (et ne sont pas si faciles à trouver):

• Quelles sont les autres contraintes de type qui existent actuellement dans Elm? Y a-t-il une liste quelque part?
• Est-il possible que je peux créer mes propres contraintes de type? Je présume que la réponse est non, puisque Elm n'a aucun mécanisme tel que Haskell Typeclasses en ce moment?
• Si ce qui précède est vrai (pas de contraintes de type personnalisé), cela ne signifie pas que le polymorphisme est assez limité dans Elm, non? Par exemple, il semble que ce qui suit est pas possible en ce moment: je veux créer une fonction f qui accepte Liste des éléments (d'un même type mais incertain) dont chacun peut être utilisé comme argument pour une fonction g (c.-à-f accepte List a et de plus inst étant de type a implique que g(inst) est logique)

Answer 1

en plus comparable (ints, flotteurs, caractères, chaînes, listes et tuples) il y a aussi appendable (chaînes, le texte et les listes) et number (ints et flotteurs). Je n'ai pas vu une liste faisant autorité (en dehors de la source du compilateur).

Il n'y a pas moyen de définir similaires de classes de types votre propre.

Oui, ce qui limite quelles fonctions vous pouvez écrire. Personne n'a convaincu Evan que cette limite est un problème.