I tried out the english->hungarian and it's pretty hilarious, because hungarian version sound so german that even I can't understand what it says without the text. :D
I agree that Ocaml is just extremely well suited for making new programig languages. If you are interested in Ocaml+programming languages check out the plzoo: http://plzoo.andrej.com/
I personally think that Ocaml is really good at this, because I started converting the Scheme examples from the PLAI book to Ocaml and it's just felt right(maybe because I'm not fan of the scheme syntax).
You are right, I didn't think the example through.
You are right, you can use tests to prove a function if
- the function has very limited arguments and
- the function is pure or does very limited amount of state change(side effect)
Generally speaking tests are not the right tool for proving program correctness.
Actually Eloquent Javascript and sometimes Programming -- Principles and Practice Using C++.
I found the C++ book a little bit boring and maybe i wont read it trough.
I started doing this, because I always liked Dart better than any other programming language and because at that time Dart didn't have any HTML5 game engines.
I also developing it, because I really like doing it and because I want to make a living out of this.