Some of the things I've learned every day since Oct 10, 2016
98: Top Type, Bottom Type
January 21, 2017Posted by on
Given a type system, the top type is the type which contains every possible value in that type system, making every other type a subtype of .
By contrast, the bottom type is the type which contains no values, making every other type a supertype of .