Hacker News Reader

This looks more or less like a reskinned Standard ML. Which is cool, because SML is awesome :-)

it's dynamically typed, though!

The static type system is under development, but it will never be _required_.