5 ms·

After reading the post I was exploring some of the other content on this site. Hillel (the author) does consulting work to help teams design better software sys

After reading the post I was exploring some of the other content on this site. Hillel (the author) does consulting work to help teams design better software systems using a tool called TLA+ I had never heard of TLA+ at all until this point. I am going to reserve my opinion on it seeing as I have about 10 minutes of experience with it -- but I am super curious if others here have anything they'd like to share on TLA+?

dwohnitmok 7y ago
In short: it's great, learn it. Slightly longer, it may seem useless at first given that TLA+ doesn't verify code you write, but is rather better thought of as a formal design language for designing abstract state machines. However, it is extremely useful for clarifying thoughts and serving as a concrete design artifact for other engineers to examine. Also because its apparent weakness that it doesn't verify code you write is in my opinion a strength because it means you don't incur a dependency on it if you or your team doesn't like it and wants to throw it away. You lose no more time than what you put in.