Dev Faq

Questions et réponses pour le typeclass :

Les classes de type à Haskell sont un mécanisme de langue pour soutenir le polymorphisme ad hoc. Ils existent également à Scala, au Coq et à Isabelle.

10
votes

Pourquoi la somme x y est de type (num a) => A -> A -> A à haskell?

J'ai lu sur Haskell et j'ai du mal à comprendre comment les définitions de la fonction sont traitées dans cette langue. Disons que je définissais un somme ...
1 commentaire(s)
10
votes

Sont Ord et Enum parfois incompatibles à Haskell?

pourrait ORD et ENUM Soyez un typclass? Pourquoi ne Enum nécessite-t-il eq ? ...
0 commentaire(s)
7
votes

Expliquez la mise en œuvre de la traverse [liste] dans Scalaz-sept

J'essaie de comprendre le traverseimpl code> implémentation dans ...
0 commentaire(s)