user3237465 est un utilisateur de Stack Exchange, si vous cliquez sur le lien, vous verrez son profil.
Dernières questions
- 1 rep
Pourquoi avons-nous besoin de conteneurs?
el 8 de Décembre, 2019 37 votes
Dernières réponses
- 8 votes
Différence entre Haskell et Idris: Réflexion du Runtime / Compiletime dans les univers types
el 21 de Mai, 2016 8 votes - 6 votes
Les effets secondaires sont-ils tout ce qui ne peut être trouvé dans une fonction pure?
el 2 de Mai, 2016 6 votes - 14 votes
Tags préférés
- 4 x haskell
- 3 x dependent-type
- 2 x agda
- 2 x type-theory
- 2 x idris
- 1 x f#
- 1 x scala