这是一种静态类型的函数式语言,具有泛型、类型类、总类型、模式匹配、一等函数、柯里化、代数效果、关联类型和可选类型。
hello.tao: Hello worldinput.tao: 演示更复杂的 IO 效应示例calc.tao: CLI 计算器,演示解析器组合器adventure.tao: 文本冒险游戏brainfuck.tao: brainfuck 解释器mutate.tao: 以副作用表达的变异polymorphic_effects.tao: 一个高阶函数的示例,该函数对副作用具有多态性quickcheck.tao: Tao 中 quickcheck 的一个非常糟糕的实现目前，Tao 是一个业余项目，我没有计划将其转变为一个适合生产的语言。随着项目的发展，这可能会发生变化，但我现在更愿意花时间尝试新的语言特性。尽管如此，我对语言本身有几个目标：
暂无开放 Issues，或尚未同步最近议题。