I've found that this approach often backfires and makes people lose interest in TLA+. Telling people "it's not programming" tells people they can't use their intuitions for programming, and that they have to be "good at math" to learn TLA+. Neither is true.
(Also, Haskell isn't my strong suite, but aren't those completely different statements? Haskell functions are closer to TLA+ operators, not TLA+ functions.)
1 comment
[ 3.4 ms ] story [ 9.6 ms ] thread(Also, Haskell isn't my strong suite, but aren't those completely different statements? Haskell functions are closer to TLA+ operators, not TLA+ functions.)