Hacker Next
Functional programming and reliability: ADTs, safety, critical infrastructureblog.rastrian.dev
117 points by rastrian 16 hours ago | 107 comments