|
|
|
|
|
|
by RX14
2363 days ago
|
|
|
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. |
|
|
What do these mean?