Ur Rosetta Stone

From Impredicative Wiki
Revision as of 15:09, 24 June 2011 by Greenrd (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

These rough translations are designed to aid understanding, rather than to be rigorous! In some cases the types of the Ur functions and the functions in other languages will correspond exactly; in other cases the Ur function types will be more precise and/or more general.

module option

Ur Haskell
option Maybe
eq instance Eq Maybe
Personal tools