Skip to content

Latest commit

 

History

History

haskell

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 

Haskell

General Documentation:

SEDoc documentation pages:

Other handy stuff:

Language

Expressions evaluate to a value that has a (static) type. Values and types are not mixed. Errors are semantically equivalant to ⊥ (bottom), and technically indistinguishable from non-termination, though GHC provides exceptions for this.

Namespaces:

  • Values: variables (lc) and value constructors (uc).
  • Types: type variables (lc), type constructors (uc) and type classes (uc).
  • Module names.

An identifier cannot name both a type constructor and type class in the same scope.