Andrej Bauer est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
-
Je n'ai encore rien demandé.
Dernières réponses
- 3 votes
Ocaml CSV vers liste de flottants
el 21 de Avril, 2012 3 votes - 32 votes
Quelle est la chose la plus proche des classes de type de Haskell en OCaml ?
el 18 de Février, 2013 32 votes - 65 votes
Si le retour a = retour b alors a=b?
el 25 de Janvier, 2016 65 votes
Tags préférés
- 2 x ocaml
- 2 x haskell
- 1 x typeclass
- 1 x monads
- 1 x polymorphism
- 1 x equational-reasoning
- 1 x equality