whats the big deal about types

all programming langause are typed
i mean how else does the code get into a file

>>9
I'll try to explain it to you, lard-brain. Remember how GOTOs are considered harmful and not even included in contemporary languages like Java or Rust? Yet these languages use it in their implementations. It doesn't mean they realize their philosophy isn't true. It's that they force their philosophy on the programmer not on the implementor. With Haskell and immutability, it's the same thing: philosophy is for the programmer, total freedom is for the implementor. The GHC runtime is written in C.