The Effect of Functional Programming in Software Verification at Scale
How FP principles helped us build reliable systems, prevent regressions, and ship safely every day. By Vasilis Nicolaou, Software Engineering Consultant @ Vaslabs. Based on material from talks and supporting notes. In 1968, at one of the earliest Software Engineering conferences in Garmisch, Germany, the industry’s pioneers were already wrestling with the same question we face today: How do we build software we can trust? Alan Perlis, Edsger Dijkstra, and others debated the reliability of...