
2025-07-21 07:26:59
I think this is related to the issue that some people have with static typing: it’s a series of micro-interruptions that serve to distract from the goal.
While I never found this to be a problem in somewhat-typed languages such as Java, and I no longer have this problem most of the time in Haskell, I still experience it in Rust, where the borrow checker might require me to totally rethink my approach.
I can absolutely see why some people prefer not to have a type system.