@nmcfarl thanks for resubmitting with a different url. I find the home page a bit baity but the tutorial page http://felix-lang.org/web/tutorial.fdoc is great.
Depending on how you look, it is C++ speed OCaML, or perhaps more correctly C++ in a fully type-inferred (unfortunately, nowadays almost everything gets called type-inferred. Hence the added qualification "fully"), ML like language.
It does whole program optimization. It uses a mix of lazy and eager evaluation strategies for speed.
I believe it can generate Python modules too, thanks to how well it interacts with C. The details have to be gleaned from the mailing list though.
Depending on how you look, it is C++ speed OCaML, or perhaps more correctly C++ in a fully type-inferred (unfortunately, nowadays almost everything gets called type-inferred. Hence the added qualification "fully"), ML like language.
It does whole program optimization. It uses a mix of lazy and eager evaluation strategies for speed.
I believe it can generate Python modules too, thanks to how well it interacts with C. The details have to be gleaned from the mailing list though.