AntStatic types, goroutines, and nothing left undefined.

A small, strict language with Go's concurrency and errors as values.

🧭

Types that are checked

Records, unions narrowed with is, generics, and inference. A program that checks has no undefined and no surprise null.

🧵

go starts a goroutine, channels carry values between them, and select waits for whichever is ready first.

🧯

A function that can fail returns a Result. try passes the error up, and the checker makes you look at it.

🔗

Data flows left to right through Array.filter, Array.map and your own functions, with short lambdas.

🌐

Strings count what a reader sees, and dates know calendars and time zones.

🛠️

A formatter, a language server for VS Code and IntelliJ, a debugger, and a REPL.