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 | 4686 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 4 days ago
13 weeks 4 days ago
13 weeks 4 days ago
35 weeks 6 days ago
40 weeks 1 day ago
41 weeks 5 days ago
41 weeks 5 days ago
44 weeks 3 days ago
49 weeks 10 hours ago
49 weeks 11 hours ago