[zoomerang]

Typescript is really starting to look quite compelling. If we could have null-safety and ADTs I'd be using it in a heartbeat.

[BrianHV]

I'm hoping these features find their way in, too. I was just looking into their status yesterday, in fact, and came across these tracker threads:

* Non-nullable types: https://github.com/Microsoft/TypeScript/issues/185

* Sum types: https://github.com/Microsoft/TypeScript/issues/186

The short story is that there's some interest in both features, but there are challenges that someone needs to propose a solution to.