It seems nobody actually got what I was trying to say, which is on me in the end. Types are fine, they're really useful. I just think they can be taken too far

It seems nobody actually got what I was trying to say, which is on me in the end. Types are fine, they're really useful. I just think they can be taken too far, particularly in the realm of mathematically-focused languages like Haskell, where there appears to be an idea that everything is types and your program is merely a description of changes between them. I find this sort of thing overly abstract and at the same time brittle. :shrug: