[yakshaving_jgt]

> I just don't buy the suggestion that static typing magically solves a huge set of problems

  // compiles and runs, but does bad things
  function foo(x, y) {
    someDangerousEffect();
    return x + y;
  }

  -- does not compile; huge sets of problems magically solved
  foo :: Int -> Int -> Int
  foo x y = someDangerousEffect >> pure $ x + y

[vanusa]

A problem but not a huge one in practice.

And you're neglecting the part of my statement you conveniently truncated.

[yakshaving_jgt]

> not a huge one in practice.

Our experiences have been wildly different :)

[vanusa]

Yeah, life sometimes gets that way.