Hacker News Reader

What about Yeti? http://mth.github.com/yeti/ ML-like, runs on the JVM

CLU comes to mind. http://en.wikipedia.org/wiki/CLU_programming_language

A hello world sample: http://hopl.murdoch.edu.au/showexample.prx?exp=59

I was hoping for something a bit more ... modern. A real language used in production systems.

Perhaps mirah?

http://www.mirah.org/

My problem with Mirah is that it combines Ruby semantics and design with basic type checking. Mashing two wildly different things together does not a good design make. (Usually.)

I want a well-designed statically-typed language, designed that way from the ground up, with a well-thought-out type system, and no insecurities about appealing to C/Java "braces or death!" types

So far my list includes: Eiffel, Haskell, and ML.

Note, I have nothing against dynamic languages - I'm a Rails programmer.

Fantom - http://fantom.org/

Aaargh! So many braces! My eyes!

(Seriously, though, what does this have over Scala?)