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 323454 on Monday September 24, 2018 @05:46PM (#18061739)
As I understand it, TLA may technically be untyped but that's simply because you are supposed to implement your own more granular type checking as part of your spec.
[ Parent | on HN ]
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 ]