User loginNavigation |
Can contracts provide the features of type classes, bounded quantification and effect systems?Contract systems are the dynamic equivalent of static type checking. A contract system can dynamically check that values are of a certain type, and if the value is of the wrong type it will signal an error and tell you which piece of code caused the error. Contracts can handle higher order functions and parametric polymorphism. There are other features of type systems that contracts, to my knowledge, haven't supported yet: type classes, bounded quantification and effect systems (e.g. ensuring that a function is pure). Has there been work on this? If not, how could these features could be supported? And, are there other useful features of type systems that could be supported? By Jules Jacobs at 2011-02-27 21:47 | LtU Forum | previous forum topic | next forum topic | other blogs | 4833 reads
|
Browse archives
Active forum topics |
Recent comments
6 weeks 6 days ago
6 weeks 6 days ago
6 weeks 6 days ago
13 weeks 6 hours ago
1 year 1 week ago
1 year 1 week ago
1 year 1 week ago
1 year 23 weeks ago
1 year 27 weeks ago
1 year 29 weeks ago