Andreas Rossberg 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
- 160 votes
Qu'est-ce que la saisie dépendante ?
el 21 de Février, 2012 160 votes - 56 votes
Quelle est la différence (le cas échéant) entre le système de modules Standard ML et le système de modules OCaml?
el 23 de Mars, 2013 56 votes - 51 votes
Encodage des modules ML standard dans OO
el 11 de Avril, 2014 51 votes - 37 votes
Quelle est la différence entre le polymorphisme paramétrique et les types supérieurs ?
el 30 de Janvier, 2018 37 votes - 23 votes
Pourquoi (a,b,c,d) n'est-il pas un sucre pour (a,(b,(c,(d,()))))) ?
el 20 de Février, 2013 23 votes - 146 votes
Est-ce que "non typé" signifie également "dynamiquement typé" dans le monde universitaire de la société civile ?
el 6 de Février, 2012 146 votes - 16 votes
Quelle est la différence entre une «fermeture» et un «lambda»?
el 19 de Mars, 2014 16 votes
Tags préférés
- 2 x sml
- 2 x types
- 2 x haskell
- 2 x functional-programming
- 1 x typing
- 1 x parametric-polymorphism
- 1 x ocaml