Monomorphism
From HaskellWiki
(Difference between revisions)
(This is a wild guess! Somebody check it...) |
m |
||
| Line 1: | Line 1: | ||
| + | c4tcnaalc | ||
[[Category:Glossary]] | [[Category:Glossary]] | ||
Revision as of 19:37, 9 November 2007
c4tcnaalc
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
map :: (a -> b) -> [a] -> [b]
However, the function
foo :: (Int -> Int) -> [Int] -> [Int] foo = map
map
Int
Perhaps you were looking for monomorphism restriction?
