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 | 11370 reads
|
Browse archivesActive forum topics
|
Recent comments
6 days 20 hours ago
1 week 4 days ago
1 week 5 days ago
1 week 5 days ago
2 weeks 4 days ago
3 weeks 1 hour ago
3 weeks 1 hour ago
3 weeks 1 hour ago
4 weeks 2 days ago
4 weeks 3 days ago