Criticism of Typed FP seems to be the main focus of this as most of it's criticisms seem to be at the top of the list. I think it's partly justified, typed FP

Criticism of Typed FP seems to be the main focus of this as most of it's criticisms seem to be at the top of the list. I think it's partly justified, typed FP has been cargo culted to the point where I've seen hello world implementations that definetely were not obvious and required a PhD in category theory. That said I've seen a ton of python code that took monumentous effort to get working at runtime, and broke unpredictably in production too...