logoalt Hacker News

wiseowisetoday at 2:24 PM1 replyview on HN

> Functional programming often leads to write-only incomprehensible code; the exact opposite of what you need to have a reliable system.

In what language?


Replies

bonessstoday at 7:13 PM

Functional programming makes DSLs easier/possible, so you express your domain in natural domain language/constructs leading to easier comprehension, standardization, reuse, and testing, thereby improving reliability. This is the exact opposite of write-only code, DSLs are comprehensible/editable to non-programmers. With a strong enough type system these benefits accrue while ensuring the program in stays a subset of more correct programs than allowed by other compilers.

… I mean, if we’re just making global assertions :)

Gimme the “write only” compiler verified exhaustively pattern matched non-mutable clump in a language I can mould freely any day of the week. I will provide the necessary semantic layer for progress backed with compiler guarantees. That same poop pile in a lesser language may be unrecoverable.