Tao - Programming language

Tao is a programming language created in 2020 by Joshua Barretto.

Source code:

git clone https://github.com/zesterer/tao

#1457on PLDB

4Years Old

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

Tao is developed on GitHub and has 408 stars

Example from the web:

fn factorial =
   | 0 => 1
   \ y ~ x + 1 => y * factorial(x)