News for hackers. Stuff that matters.

A comment on Keeping CALM: when distributed consistency is easy. Parent comment

Re:Keeping CALM: when distributed consistency is easy by mjb on Wednesday March 06, 2019 @01:58PM (#19321549)
Many formal methods have a much simpler mathematical foundation than Haskell. For example, for TLA+ the background includes mostly (basic) set theory, basic logic, and some additional bits of temporal logic.

Some methods do require a lot more math, or different math, but I'd say your statement is false for the majority of popular formal methods.

[ Parent | on HN ]
Re:Keeping CALM: when distributed consistency is easy by senderista on Wednesday March 06, 2019 @05:16PM (#19323463)
Indeed, I heard Lamport say at a talk (in response to a question) that he saw little or no applications of functional programming to the distributed systems problems he was interested in.
[ Parent | on HN ]