User loginNavigation |
A question about subtypes inferenceHi I am looking for information on subtype inference. Consider a type system with a sub rule: E,C|- e:sigma C|-sigma :sigma' Here E is the type environment and C is the (initially empty) subtype constraint set. And a set of rules for infering constrainst from sigma:sigma' depending on the underlying type of sigma. (it is a structural type system). My question is, after my type inference assigns type sigma’ to e, how do I choose sigma’, as to find the correct underlying constraints. I looked and asked around. Some suggested using a copy of sigma, I find this odd because I don’t see why, and how this would produce the needed type constraints. I would be grateful for either a article explaining this matter or pointers to the underlying idea. R.K. BTW this is the article I’m working on By kilrati at 2005-07-29 16:52 | LtU Forum | previous forum topic | next forum topic | other blogs | 6002 reads
|
Browse archives
Active forum topics |
Recent comments
13 weeks 12 hours ago
13 weeks 15 hours ago
13 weeks 16 hours ago
35 weeks 1 day ago
39 weeks 3 days ago
41 weeks 23 hours ago
41 weeks 23 hours ago
43 weeks 5 days ago
48 weeks 3 days ago
48 weeks 3 days ago