@ijk@mathstodon.xyz I’ve been unconvinced by any of the arguments for dynamic typing since very early on from when I started programming in ≈ 2009. At the time that take was way more controversial and looking back I feel re-affirmed that people claiming otherwise were clearly just wrong even back then because they failed to distinguish between static-dynamic, weak-strong, and implicit-explicit.…