|Line 1:||Line 1:|
Latest revision as of 14:24, 10 July 2008
Monomorphism is the opposite of polymorphism. That is, a function is polymorphic if it works for several different types - and thus, a function is monomorphic if it works only for one type.As an example,
map :: (a -> b) -> [a] -> [b]
However, the function
foo :: (Int -> Int) -> [Int] -> [Int] foo = map
Perhaps you were looking for monomorphism restriction?