[Paddy3118]

There seems to me to be an overlap between Matz's typng ideas and some of the "static" typing generated by Julia: https://www.youtube.com/watch?v=jhlVHoeB05A https://www.youtube.com/watch?v=VCp1jUgVRgE