[mischov]

For the sake of accuracy there was also some stuff in there about a conflict between first-class functions and the type system, and some stuff about errors being easy-to-ignore return values.

[charlieflowers]

Yes, and those are pretty solid points. Too substantial to just sweep under the rug.