Bottom

From HaskellWiki
Revision as of 14:13, 28 January 2007 by MathematicalOrchid (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

The term 'bottom' refers to a computation which never completes successfully. That includes a computation that fails due to some kind of error, and a computation that just goes into an infinite loop (without returning any data).

The mathematical symbol for bottom is '⊥'. That's Unicode character 22A5 hex = 8869 decimal. (Also available in HTML as '⊥', and in LaTeX as '\perp'.) In plain ASCII, it's often written as the extremely ugly character sequence '_|_'.