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 | 4757 reads
|
Browse archives
Active forum topics |
Recent comments
32 weeks 6 days ago
32 weeks 6 days ago
32 weeks 6 days ago
1 year 3 weeks ago
1 year 7 weeks ago
1 year 8 weeks ago
1 year 8 weeks ago
1 year 11 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago