Here you go: https://news.ycombinator.com/item?id=24443128 https://news.ycombinator.com/item?id=24443128 In the linked slides they say "We are working on a [st

Here you go: https://news.ycombinator.com/item?id=24443128 https://news.ycombinator.com/item?id=24443128 In the linked slides they say "We are working on a [static typing implementation (what exactly it will look like is still unclear afaik)] prototype, open-sourcing in November"