Personal tools

Monomorphism

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
Current revision (14:24, 10 July 2008) (edit) (undo)
m (getrellatro)
 
Line 1: Line 1:
 +
drontrcnad
[[Category:Glossary]]
[[Category:Glossary]]

Current revision

drontrcnad

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
is polymorphic. It's type is simply 
map :: (a -> b) -> [a] -> [b]

However, the function 

foo :: (Int -> Int) -> [Int] -> [Int]
foo = map
performs an identical operation to
map
(as is evident from the second line), but has a monomorphic type; it will only accept lists of
Int
and functions over them.

Perhaps you were looking for monomorphism restriction?

Retrieved from "http://www.haskell.org/haskellwiki/Monomorphism"

Category: Glossary