Tao - Programming language

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

Source code:

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

#1348on PLDB

4Years Old

A statically-typed functional language with polymorphism, typeclasses, sum types, pattern-matching, first-class functions, currying, good diagnostics, and much more!

Tao is developed on GitHub and has 408 stars

Example from the web:

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