Draft:The king of France is bald.

The king of France is bald. is an esoteric programming language made by User:Dragoneater67 in 2026. It was inspired by Iota.

Semantics

The language uses the Ꙭ combinator:

Ꙭ x = x J K'

The S and K combinators can be derived from the Ꙭ combinator:

K x y = Ꙭ Ꙭ Ꙭ x y = x
S x y z = Ꙭ (Ꙭ Ꙭ Ꙭ) (Ꙭ (Ꙭ Ꙭ Ꙭ) (Ꙭ (Ꙭ Ꙭ Ꙭ) Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ (Ꙭ (Ꙭ Ꙭ Ꙭ) (Ꙭ (Ꙭ Ꙭ Ꙭ) (Ꙭ (Ꙭ Ꙭ Ꙭ) (Ꙭ (Ꙭ Ꙭ Ꙭ) Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ))) Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ))) Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ (Ꙭ (Ꙭ Ꙭ Ꙭ)(Ꙭ (Ꙭ Ꙭ Ꙭ) Ꙭ (Ꙭ Ꙭ Ꙭ) Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ (Ꙭ Ꙭ Ꙭ)) Ꙭ Ꙭ)) Ꙭ (Ꙭ Ꙭ Ꙭ) Ꙭ (Ꙭ Ꙭ Ꙭ) x y z = x z (y z)

Therefore, the {Ꙭ} basis is complete. The language uses the same I/O model as Lazy K.

Syntax

The first unique symbol in the program is defined as (, the last unique symbol in the program is defined as ). Here, (xy) represents application and () represents the Ꙭ combinator. For example:

Ꙭ (Ꙭ Ꙭ Ꙭ)

is written as:

(()((()())()))

and is also equivalent to:

[[][[[][]][]]]

and:

aabaaababbabbb