My friend who works on Flow9 for something like two years was willing to answer questions, but his message did not get through the moderation in this thread I believe. Basically Flow is a functional language somewhat similar to OCaml (that's my naive understnding). It has multiple backends, and my friend who originally is a math teacher in university and develops theorem provers was hired to work on some of the backends, I think it was the Java backend. He is always so exited talking about Flow, and kept telling me for a about year that they are going to release it as open source and there is a lot of excitement because of that.

I wish they could build a community around this language at least as successful as OCaml's community is.