Hacker GitHub

← All repos

zesterer/tao

View on GitHub ↗ ★ 1,162 Rust

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

7 mentions on Hacker News by 2 people: 1 story, 6 comments · first 2022-04-13 · latest 2022-07-05

Mentions per year 7 mentions · busiest year 2022 (7)
20082026
AllStoriesComments NewestTopOldest
  1. …where I've implemented peano arithmetic/addition/multiplication/branching using the type system: https://github.com/zesterer/tao/blob/master/examples/type-as... . I've not yet had the time or mental fortitude to implement something more…
    comment by zesterer · 2022-07-05 · in Tao: A statically-typed functional language
  2. …variables (Tao can handle several cases that are ambiguous even in Rust, such as the following: https://github.com/zesterer/tao/blob/master/examples/debug.t... )
    comment by zesterer · 2022-07-05 · in Tao: A statically-typed functional language
  3. In a previous revision of the language, I did! ( https://github.com/zesterer/tao/tree/old ). I decided against it because, in short, I find the trailing delimiters to be quite ugly. Because this is purely a personal project, I'm thankfully…
    comment by zesterer · 2022-07-05 · in Tao: A statically-typed functional language
  4. …async + await, but generalised to all effectful operations like mutation, IO, etc.). Example here: https://github.com/zesterer/tao/blob/master/examples/mutate....
    comment by zesterer · 2022-07-05 · in Tao: A statically-typed functional language
  5. …go all in with indentation sensitivity. That said, the existing \ syntax can be quite nice to read: https://github.com/zesterer/tao/blob/master/lib/parse.tao#L5...
    comment by zesterer · 2022-07-05 · in Tao: A statically-typed functional language
  6. ▲ 257
    Tao: A statically-typed functional language
    story by memorable · 2022-07-04 · 97 comments
  7. …my own hobby language. It's since developed quite an extensive syntax (see here for an example: https://github.com/zesterer/tao/blob/master/examples/99.tao ), so you can count it as evidence that chumsky scales to complex grammars:…
    comment by zesterer · 2022-04-13 · in Chumsky: A Tutorial