Languages Features Creators Calendar CSV Resources Blog About Pricing Add Language
GitHub icon


Tao - Programming language

< >

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

#1354on PLDB 3Years Old 448Users
2Books 0Papers

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

Example from the web:
fn factorial = | 0 => 1 \ y ~ x + 1 => y * factorial(x)

Books about Tao from ISBNdb

title authors year publisher
Tao Te Programming Burns, Patrick 2012
Tao of Network Security Monitoring, The: Beyond Intrusion Detection Bejtlich, Richard 2004 Addison-Wesley Professional
casio-basic.html 路 tao-lang.html 路 hujson.html

View source

- Build the next great programming language Search v2023 Day 205 Docs Acknowledgements Traffic Traffic Today Mirrors GitHub