Tag: typeclass
Les classes de Type en Haskell sont une langue mécanisme de soutien ad hoc polymorphisme. Elles existent également en Scala, le Coq, et Isabelle.
Les classes de Type en Haskell sont une langue mécanisme de soutien ad hoc polymorphisme. Elles existent également en Scala, le Coq, et Isabelle.