4 ms·
The article doesn’t mention PlusCal. What is the future of that, will it co-evolve with TLA⁺?
by layer8 1y ago
The article doesn’t mention PlusCal. What is the future of that, will it co-evolve with TLA⁺?
- ahelwer 1y agoThere are some proposals floating around to evolve PlusCal. Probably the most prominent is Distributed PlusCal[0]. There's a programming language lab at UBC which is also doing a lot of experimentation with transpiling PlusCal to Golang[1]. They presented a paper at the latest community event. The PlusCal-to-TLA+ transpiler is considered part of the core TLA+ tools and will definitely keep being maintained. [0] https://conf.tlapl.us/2020/03-Heba_AlKayed-An_Extension_of_PlusCal_for_Modeling_Distributed_Algorithms.pdf https://conf.tlapl.us/2020/03-Heba_AlKayed-An_Extension_of_P... [1] https://distcompiler.github.io/ https://distcompiler.github.io/