> If there was a future, like a goal or a roadmap or something, it would be outl... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

klingoff on Aug 28, 2024 | parent | context | favorite | on: The Future of TLA+ [pdf]

> If there was a future, like a goal or a roadmap or something, it would be outlined

Where is the outline for English? French has a more structured oversight with organizations and goals, so it will beat English?

d0mine on Aug 29, 2024 [–]

It is harder to create/merge numerous dialects for a computer language such as TLA+ than English.

Even the most popular languages such as Python have just a few viable implementations.

Roadmap/focus is useful in a collaboration.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact