1. 31

  2. 8

    Rust type system includes traits, an abstract data structure language with term rewriting support.

    It was expected that it is Turing complete (if you remove type checker recursion depth limit), and now the author of the article has actually implemented SmallF* minimal language (it is an even smaller variation of BF).

    A nice walkthrough from scratch, I don’t know Rust but the explanation of the trait rewriting with pattern-matching was still completely clear.