Can you provide more details on this? Is there an announcement or blog post?
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"