kputnam 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
- 2 votes
Pourquoi le type d'identifiant ne peut-il pas être spécialisé dans (pour tous a. A -> a) -> (pour tous b. B -> b)?
el 30 de Novembre, 2011 2 votes
Tags préférés
- 1 x haskell
- 1 x ascription
- 1 x impredicativetypes
- 1 x polymorphism