Re: [tlaplus] Re: Practical TLA+ now out

["lorinh@xxxxxxxxx" <lorinh@xxxxxxxxx>]

"Most engineers and programmers will prefer the C syntax, which will look more familiar to them, so I've used it for all my published algorithms."

I'm not sure that's true. While I learned Pascal before C, I have many more years of experience writing programs in C-like languages (e.g., C, C++, Java, C#), and I still prefer the P syntax to the C syntax. I've always found the placement of braces of PlusCal examples in the C syntax to be very strange-looking to my eyes.

In addition, many programmers today have experience with languages such as Python and Ruby which are (arguably) more like the P syntax than the C syntax.

On Wed, Feb 6, 2019 at 6:11 PM Leslie Lamport <tlaplus.ll@xxxxxxxxx> wrote:

Before reading the book, people might want to check out this page from the TLA+ site

 

https://lamport.azurewebsites.net/tla/practical-tla.html?back-link=learning.html#hillel?unhideBut@EQhide-hillel@AMPunhideDiv@EQhillel

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To post to this group, send email to tlaplus@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.