2 ms·
I haven't even used TLA+ yet and now it's got derivatives... My understanding is: TLA+ but like C, functional, and typed.
by esafak 8mo ago
I haven't even used TLA+ yet and now it's got derivatives... My understanding is: TLA+ but like C, functional, and typed.
- thesz 8mo agohttps://hackage.haskell.org/package/spectacle https://hackage.haskell.org/package/spectacle "Spectacle is an embedded domain-specific language that provides a family of type-level combinators for authoring specifications of program behavior along with a model checker for verifying that user implementations of a program satisfy written specifications." It's in Haskell, but...
- amw-zero 8mo agoTLA+ is around 30 years old.
- tmaly 8mo agoI remember seeing an NVIDIA LLM contest a year or two ago related to TLA+