Difference between revisions of "Bottom"

From HaskellWiki
Jump to navigation Jump to search
 
m
Line 1: Line 1:
 
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 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 '&perp;'. That's Unicode character 22A5 hex = 8869 decimal. (Also available in HTML as '&amp;perp;', and in LaTeX as '\perp'.) In plain ASCII, it's often written as the extremely ugly character sequence '<code>_|_</code>'.
+
The mathematical symbol for bottom is '&perp;'. That's Unicode character 22A5 hex = 8869 decimal. Also available in HTML as '&amp;perp;' and in LaTeX as '\perp' (within math mode). In plain ASCII, it's often written as the extremely ugly character sequence '<code>_|_</code>'.

Revision as of 14:14, 28 January 2007

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 '&perp;' and in LaTeX as '\perp' (within math mode). In plain ASCII, it's often written as the extremely ugly character sequence '_|_'.