nova
Nova — a programming language for the AI era. Algebraic effects make side effects visible in function signatures.