Hei ! This comment inspired me because I was working on data-types at my company at the moment and I realized how static typing would have really benefited us.

Hei ! This comment inspired me because I was working on data-types at my company at the moment and I realized how static typing would have really benefited us. So I made a library that does just that ! https://github.com/6r17/madtypes https://github.com/6r17/madtypes I hope this will help some people !