Functional programming and reliability: ADTs, safety, critical infrastructureComments on Hacker News | Source