Type inference is a feature of the type system which means that concrete types are deduced by the type system whereever it is obvious.If you add an integer variable
(This restriction is a good thing, as we explain for the idea of a Generic number type.)
Another example: There are the following standard functions:
map :: (a -> b) -> [a] -> [b] Char.ord :: (Char -> Int)
map ord :: [Char] -> [Int]
- Haskell-Cafe: Learn Prolog ...