Comment by xyzzy_apps

Great observations on dynamic vs static typing. I often feel that there is a math envy between static vs dynamic types because dynamic types feel simpler as opposed to category theory. However the more I deal with dynamic types, its clear to me that the mathematical roots of dynamic types is in control theory. Its just a hunch that I have.