Gilad Bracha sounds like he hasn't used a typed language long enough to stop struggling with basic type errors. As such, it is of a position of extreme ignoran

Gilad Bracha sounds like he hasn't used a typed language long enough to stop struggling with basic type errors. As such, it is of a position of extreme ignorance that he speaks of the uselessness of type checking and inference. Claiming Smalltalk has the best closure syntax shows he doesn't understand call by need. Haskell defines easier to use control structures than Smalltalk. Claiming patterns don't give exhaustiveness, ignoring their extra safety shows Gilad doesn't understand patterns. Claiming monads are about particular instances having the two monad methods, when they are about abstracting over the interface, shows Gilad doesn't understand monads. Claiming single argument functions have the inflexibility of identical Lego bricks shows he doesn't understand the richness of function types and combinators. In short, Gilad sounds to me very much like a charlatan who'd benefit greatly from going through lyah.