One key point I overlooked on first reading: > [--] I wanted access to Haskell’s list monad in a sloppier language. > I like static types, but only if they’re

One key point I overlooked on first reading: > [--] I wanted access to Haskell’s list monad in a sloppier language. > I like static types, but only if they’re sufficiently expressive and supported by good inference, and I like not having to implement any of that stuff even more, so I settled for dynamic typing. Then it's some of the power of Haskell without any of the safeguards. Plus being able to write "x f y" to mean a function call to f with arguments x and y (whereas in Haskell you'd write "x `f` y").