Tao - Programming language

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

#1175on PLDB

4Years Old

Download source code:

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

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

Tags: programming language
Tao is developed on GitHub and has 1,086 stars
Tao is written in Rust, TOML, Markdown, SVG, SCSS, HTML, Bourne shell

Example from the web:

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