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 | 11627 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 14 hours ago
6 weeks 18 hours ago
6 weeks 18 hours ago
28 weeks 1 day ago
32 weeks 3 days ago
34 weeks 1 day ago
34 weeks 1 day ago
36 weeks 5 days ago
41 weeks 3 days ago
41 weeks 3 days ago