It's unique selling point is union types as a part of the type system, with whole-program type inference and flow typing. This has never been done before (as fa

It's unique selling point is union types as a part of the type system, with whole-program type inference and flow typing. This has never been done before (as far as I am aware), and it is incredibly powerful and interesting. It's compile-time duck typing.