Diacritics

From Esolang
Jump to navigation Jump to search

Diacritics is a Lambda calculus syntax that uses stacked Unicode diacritics to make seemingly tiny programs. A program will filter out everything other than diacritics when being parsed. In order for the diacritics to actually appear on screen, most programs use a seed letter (we'll use e in this article). Programs are impossible to read without a Unicode inspector due to the inability to distinguish diacritic positions.

Operators/Syntax

Operators/Syntax
Operator Equivalent to Description
λ or λ. Creates an function. Unlike normal lambda calculus, this does not use a dot ending.
Apply Applies a function to its argument.
( Starts a bracketed expression.
) Ends a bracketed expression.

There is also many diacritics you can use for variable names:

è é ê ẽ ē e̅ ȇ ĕ ė ë ẻ e̊ ȅ e̋ ě e̍ e̎ e̐

Examples

This is equivalent to (λx.x)(λx.x):

ẽ̮̱̯̣̮̱̯̃̃̃

Y Combinator:

ë̱̮̱̣̮̣̯̯̣̮̱̣̮̣̯̯̇̈̇̇̇̈̇̇