preguntar acerca de type-inference

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? ... …

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 …

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 …

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 …