News for hackers. Stuff that matters.

A comment on If You're Not Writing a Program, Don't Use a Programming Language [video]. Parent comment

Re:If You're Not Writing a Program, Don't Use a Programming ... by pron on Monday September 24, 2018 @06:48PM (#18062150)
It's true that TLA+ doesn't rely on types to specify properties, but it's still untyped. You could implement similar arbitrary properties in any programming language as predicates.
[ Parent | on HN ]

There are no comments on this comment yet.