[bhahn]

Can you provide more details on this? Is there an announcement or blog post?

[sugarpile]

Here you go: 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"