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:
“Good manners, to those one does not love, are no more a breach of truth, than “your humble servant,” at the bottom of a challenge is; they are universally agreed upon, and understand to be things of course. They are necessary guards of the decency and peace of society.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“A cigarette is the perfect type of a perfect pleasure. It is exquisite, and it leaves one unsatisfied. What more can one want?”
—Oscar Wilde (1854–1900)