svenningsson 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
- 10 votes
Quels sont les problèmes pratiquement insolubles dans le monde de la programmation ?
el 2 de Décembre, 2009 10 votes - 6 votes
Quels sont les problèmes pratiquement insolubles dans le monde de la programmation ?
el 2 de Décembre, 2009 6 votes - 7 votes
Les tests IO actions avec Monadique QuickCheck
el 15 de Février, 2010 7 votes - 21 votes
Les fonctions Haskell peuvent-elles être prouvées/contrôlées par un modèle/vérifiées avec des propriétés de correction ?
el 2 de Novembre, 2010 21 votes - 8 votes
Quelles sont les principales difficultés théoriques liées à l'ajout de modules de style ML à Haskell ?
el 18 de Avril, 2011 8 votes
Tags préférés
- 3 x haskell
- 1 x ocaml
- 1 x functional-programming
- 1 x computer-science
- 1 x testing
- 1 x quickcheck
- 1 x type-systems