News for hackers. Stuff that matters.
Re:Formal methods only solve half my problems by yakshaving_jgt on Saturday June 04, 2022 @07:01AM (#31618975)
I don’t think FM methods make economic sense in your case. They might if you were writing a distributed system, but writing some B2B websites probably means you’re best served with a monolithic system with both tests and types.

There are no comments on this comment yet.