Tony Morris

had to think a bit to remember that in the world of subtype polymorphism, when you say "X is a Y" you're not saying Y completely describes X

Great thing about a type: Even if it may require documentation to really *understand* it, I know the definition I see is *complete*

Sure the Python has pages of documentation, but in part they're more hindrance than help ...

... because you have to read the entire thing to uncover any hidden features that are going to jump out and fuck with shit

sure we partly-describe objects in both cultures, but python objects are so complex you rarely can describe their whole nature in a sentence

"types are all the documentation you need" is the other shitty end of the spectrum from python

But you can fix the Haskell by adding docs; you can't fix the Python.