[da4c30ff]

This is something that I'm actually writing for my own programming language, coincidentally also written in Rust.

My idea was to label each expression with these flags, i.e. is the expression constant?, tail recursive?, etc., and then make that information available for the text editor and other tooling, so the user can instantly see certain things about their program, and see the type of optimizations the compiler will do for them.

[dominotw]

Thats a great idea. Do you have it available somewhere?

[da4c30ff]

Currently there's only a tokenizer/parser implementation publicly available. I'm currently working on the type system.

Progress has been a bit slow, but I will be posting here on HN if I end up making something worthwhile.