Type system updates: moving from research into development

7 posts were split to a new topic: Discussion on the benefits of static typing