pigworker est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 3 rep
Puis-je contraindre une famille de types?
el 25 de Septembre, 2019 46 votes
Dernières réponses
- 10 votes
Déterminer si une valeur est une fonction en Haskell
el 21 de Avril, 2012 10 votes - 28 votes
Différence entre Haskell et Idris: Réflexion du Runtime / Compiletime dans les univers types
el 21 de Mai, 2016 28 votes - 17 votes
Exemples de monade dont la partie Applicative peut être mieux optimisée que la partie Monad
el 3 de Septembre, 2013 17 votes - 105 votes
Monades avec Join () au lieu de Bind ()
el 28 de Juin, 2012 105 votes - 27 votes
Pourquoi avons-nous besoin de conteneurs?
el 17 de Décembre, 2015 27 votes - 45 votes
À l'aide de rendement contre pas de retour dans la liste monade
el 4 de Juillet, 2012 45 votes - 29 votes
Tester si une valeur correspond à un constructeur
el 30 de Août, 2014 29 votes
Tags préférés
- 21 x haskell
- 8 x monads
- 5 x functional-programming
- 3 x agda
- 2 x type-theory
- 2 x scala
- 2 x applicative