Comment by chowells

5 hours ago

So you're saying... it's type inference of type classes, just like in Haskell?

I am not sure how Haskell works but I think what the previous poster meant is that the types get determined at compile time. Closures are akin to macros except you can't see the expanded code.