In type theory, a theory within mathematical logic, the bottom type is the type that has no values. It is also called the zero or empty type, and is sometimes denoted with falsum (⊥).
A function whose return type is bottom cannot return any value. In the Curry–Howard correspondence, the bottom type corresponds to falsity.
Read more about Bottom Type: Computer Science Applications, In Programming Languages
Famous quotes containing the words bottom and/or type:
“In things abstract, men but differ in the sounds that come from their mouths, and not in the wordless thoughts lying at the bottom of their beings.”
—Herman Melville (1819–1891)
“To be a real philosopher all that is necessary is to hate some one else’s type of thinking.”
—William James (1842–1910)