I was actually using submissions as a poor man’s substitute for HN search :)
I found the tutorial ( http://felix-lang.org/web/tutorial.fdoc ) to be a bit info sparse when I had no clue what I was looking at. Once I’d poked a round a bit it was much better, and started answering questions I was having - mainly how FFI is handled: http://felix-lang.org/web/nutut/intro/intro_01.fdoc
A very cool project.
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.