all programming langause are typed i mean how else does the code get into a file
Name:
Anonymous2016-08-24 20:19
asm is untyped, your argument is invalid.
Name:
Anonymous2016-08-25 18:22
what's the deal about haskell?
it pretends everything is immutable but compiles files made of arrays of mutable characters
Name:
Anonymous2016-08-26 0:25
>>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.
>>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.
Name:
Anonymous2016-08-27 20:33
>>12 Java itself realizes that itsphilosophy isn't true