Thread

The internet discovers TLA+. Now what?

128 points · 71 comments · matt_d

fizlebit · 1790499364 · focus · HN ↗
Time to discover communicating sequential processes instead :P
1. usrnm · 1790501305 · focus · HN ↗
  That stuff gets rediscovered all the time, the latest example probably being golang
2. miranaproarrow · 1790502057 · focus · HN ↗
  wait this is new to me so is this like a different kind of tla?
  1. als0 · 1790503332 · focus · HN ↗
    I've always thought CSP as a robust design pattern where you have no shared state between components and they must communicate with each other using message passing. It also requires synchronous communication (rendezvous-style). If you follow those rules you can have a pretty robust system. Aside from these abstract rules, CSP has more formal research (algebra) but I'm not sure if there are any decent tools available.
    TLA gives you a full toolbox and in theory can model whatever you can express. That's very different from a design pattern.
3. azaras · 1790502529 · focus · HN ↗
  I am learning TLA+ but I do not know CSP, is CSP better?
  1. otterley · 1790524580 · focus · HN ↗
    They’re completely unrelated. The GP was making a joke.
4. Yoric · 1790506549 · focus · HN ↗
  Nah, jump straight to pi-calculus.

Unofficial Hacker News client; not affiliated with Y Combinator.