It's not easy to describe... Hate is basically like ActionScript. The compiler is written in Haskell (or was it OCaml?) and it compiles to: JavaScript, Flash (SWF), C++, Python, PHP and who knows what else, for multiple platforms. You can do both server-side code and client-side code. It's quite impressive, it also can run on top of the MakoVM. I kinda laughed at your response about it though it does sound a bit much for someone not familiar with Haxe.
I originally wrote it the other way "(or was it Haskell?)" but switched it out since I've seen so many Haskell languages here. But yeah that sounds right. I remember looking into why a compiler / transpiler in OCaml would work and apparently they have really great string libraries. I'm no expert in OCaml nor Haskell just know both are used to make some interesting projects. I am always fascinated by Haxe.