Hacker News new | past | comments | ask | show | jobs | submit login

>The #1 problem in software right now is not correctness or modularity or some other programming buzzword. It's the insane, ever-growing level of complexity and the resulting lack of human agency affecting both IT professionals and users.

Typed Functional programming is part of the solution to this. It's not just correctness and modularity (Both of which reduce complexity btw).

Also you're right about the whole monad thing, it is a pattern, and like patterns in OOP, doesn't necessarily reduce complexity.

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact