I’ve posted about Cleanroom mdthod for low-defect software repeatedly. I said someone should mix it with Haskell given they’re both about functional composition and increased safety. I found this example that looks pretty readable.
I’ll need a Haskeller or two to tell me what yall think of it since I don’t know Haskell. Was it a good illustration of approach and potential benefits from your perspective?