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 desig

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.