User loginNavigation |
Invariants/Contracts vs. typesI noticed the new (to me) language "Qu" chooses to implement type-checking via invariants (see http://centrin.net.id/~marc/example.html). (invariants, contracts, validators - all refer to the same thing here. any further names?) Since this is more expressive and potentially "safer" than any typing systems I'm aware of, I'm wondering
and perhaps more difficult: This appears to have been discussed very briefly here, but maybe I missed something. By dbfaken at 2005-08-12 13:35 | LtU Forum | previous forum topic | next forum topic | other blogs | 11805 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 10 hours ago
41 weeks 4 hours ago
41 weeks 8 hours ago
41 weeks 8 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago