Thai is a very small, entirely functional programming language. It serves no practical purpose, although programming in it is an exercise in abstracting from the very simplest concepts.

There is a single data type, a two-tuple. Using nested such tuples, one can create lists. Natural numbers can be represented as, among other ways, the length of lists or as lists of other, one- or zero-length lists, forming binary numbers.

Site overview: