We are currently working on new rules for what content should and shouldn't be allowed on this website, and are looking for feedback! See Esolang:2026 topicality proposal to view and give feedback on the current draft.

The king of France is bald.

From Esolang
Jump to navigation Jump to search

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
Retrieved from "https://esolangs.org/w/index.php?title=The_king_of_France_is_bald.&oldid=202767"