preguntar acerca de type-inference

1
réponses

Comment puis-je comprendre»: t ((==) )» à Haskell?

Je suis nouveau à Haskell, ici avoir des ennuis avec <*>: ((==) <*>) :: Eq a => (a -> a) -> a -> Bool Comment puis-je comprendre cela et comment cela peut être déduit? ... …
demandé sur 1970-01-01 00:33:33
1
réponses

Mise en œuvre de l’algorithme d’inférence de type Damas-Hindley-Milner

je cherche des informations sur les plus connus algorithme de Damas-Hindley-Milner pour ce faire, tapez inférence pour les langues fonctionnelles, en particulier des informations sur la mise en œuvre. je sais déjà comment le faire Algorithme W, ma …
demandé sur 1970-01-01 00:33:30
5
réponses

Scala: comment définir les paramètres de fonction «génériques»?

j'essaie d'apprendre le Scala maintenant, avec un peu d'expérience à Haskell. Une chose qui s'est distinguée comme étrange pour moi est que tous les paramètres de fonction dans Scala doit être annoté avec un type - quelque chose que Haskell ne …
demandé sur 1970-01-01 00:33:29
30
réponses

Utilisation du mot-clé var en C#

après discussion avec des collègues concernant l'utilisation du mot-clé " var " dans C# 3, je me suis demandé quelle était l'opinion des gens sur les utilisations appropriées de l'inférence de type via var? par exemple, j'ai utilisé assez pa …
demandé sur 1970-01-01 00:33:28