Luis Casillas est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 3 rep
Pourquoi la méthode de la monade liste pour `>>` n'est-elle pas définie comme `flip const` ?
el 16 de Mai, 2022 3 votes - 5 rep
Ce qui est absurde, en fonction des Données.Void utile?
el 17 de Décembre, 2018 92 votes
Dernières réponses
- 8 votes
A quoi servent les listes impropres ?
el 31 de Janvier, 2012 8 votes - 4 votes
Quand utiliser une classe de type, quand utiliser un type
el 5 de Septembre, 2012 4 votes - -1 votes
À Haskell, pourquoi n'y a-t-il pas une TypeClass pour les choses qui peuvent agir comme des listes?
el 12 de Décembre, 2011 -1 votes - 2 votes
Isomorphisme de Curry-Howard
el 18 de Avril, 2012 2 votes - 28 votes
Ensembles, foncteurs et confusion Eq
el 5 de Octobre, 2013 28 votes - 67 votes
Quand est-ce que des types plus élevés sont utiles?
el 16 de Janvier, 2014 67 votes - 65 votes
Qu'est-ce qui constitue un pli pour les types autres que la liste ?
el 7 de Mai, 2013 65 votes
Tags préférés
- 12 x haskell
- 4 x types
- 2 x scala
- 2 x monads
- 2 x typeclass
- 2 x curry-howard
- 1 x category-theory