input
Examples

output

Settlang


Documents

Settlang is a statically typed programming language that expresses mutability by whether variables have setters.

Basic grammar and concepts are follow. See examples for details!

Type

Expression

Variable

'let' varname ':' typename ('|' setter function name)? '=' expr

Setter is a funcion that returns new value of the variable. The return value type of setter and variablue type must match.

Standad library