3 ms·
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
by 323454 8y ago
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.
- pron 8y agoIt'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.