3 ms·
For 95% of people, PlusCal will suit them just fine. I'm starting to see people say "I shouldn't learn PlusCal because it's not really TLA+", get disheartened
by hwayne 7y ago
For 95% of people, PlusCal will suit them just fine.
I'm starting to see people say "I shouldn't learn PlusCal because it's not really TLA+", get disheartened about how difficult TLA+ is to learn, and believe they aren't able to use formal methods. I'd rather 10 people use a slightly-more-limited tool than 1 person use "the real thing".
- pron 7y agoI don't think TLA+ is "the real thing." I just find it easier. If others find PlusCal easier, then they should definitely start with that.
- raegis 7y agoI have the same opinion about the beauty of TLA+ vs PlusCal, so I find PlusCal frustrating to read. But I don't think the original poster was giving a dismissive opinion of PlusCal. Lamport's genius here is that he made TLA+ accessible via PlusCal. I appreciate this, as well as the video lectures which he made because he "realized that people don't read anymore...".
- anaphor 7y agoThe video lecture series is amazing and should be mandatory viewing for any CS or SE program IMO.