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:
“He saw her from the bottom of the stairs
Before she saw him. She was starting down,
Looking back over her shoulder at some fear.”
—Robert Frost (1874–1963)
“The more characteristic American hero in the earlier day, and the more beloved type at all times, was not the hustler but the whittler.”
—Mark Sullivan (1874–1952)