3 ms·

Its mainly the language that makes the difference. By having such a strict type system, the language can know for sure that something is safe to parallelize.

• eru 16y ago
  You can get by with a much weaker (and/or dynamic) type system, and still get a language that's easier to parallelize. As long as you keep all mutation explicit. Haskell does keep track of mutations in your program, because you have to wrap those in a monad. Since monads are part of the type system, you are right--but I felt that needed more explanation.