whats the big deal about types

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

>>3
That's an implementation detail. The semantics of Haskell is that data is immutable and that's an inherent in Haskell. The implementation of Haskell makes use of arrays of mutable characters but that doesn't matter matter to Haskell semantics. The only time this is a problem is if the Haskell compiler writers have bugs in their implementation.