Functional programming and reliability: ADTs, safety, critical infrastructure
Published: (December 27, 2025 at 07:05 PM EST)
1 min read
Source: Hacker News
Source: Hacker News
Related posts
Read more »Why Reliability Demands Functional Programming
Article URL: https://blog.rastrian.dev/post/why-reliability-demands-functional-programming-adts-safety-and-critical-infrastructure Comments URL: https://news.yc...
The Coming Need for Formal Specification
Article URL: https://benjamincongdon.me/blog/2025/12/12/The-Coming-Need-for-Formal-Specification/ Comments URL: https://news.ycombinator.com/item?id=46251667 Po...
You Need Your Code to Be More Reliable Than People Using It
There's a harsh truth about software development that many engineers learn the hard way: users will break your application in ways you never imagined possible....
The leetcode comfort trap
The Comfort Loop Solving 2–3 LeetCode problems and going to sleep feeling accomplished is the same dopamine loop as hitting the gym, training hard, and going h...