Haskell 2010 Language Report

Marlow, S. (2010). Haskell 2010 Language Report.

Type

Standard

Intellectual base

Reference work

Year

2010

Link

https://www.haskell.org/onlinereport/haskell2010/

Cited by

2 citations across 2 artifacts.

Domain-specific

• Functor
  • In functional programming the same two laws are axiomatized directly: Haskell's Functor class requires fmap id = id and fmap (g . f) = fmap g . fmap f of every instance, so List, Maybe, Tree, and IO all admit a uniform fmap operation whose correctness is guaranteed by the axioms alone
• Type constructor
  • A type constructor is an operator in a type language whose arguments and result are types.

Verification

This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.

Registry ID ref:5c133d8b4ab2 · see in the full table