User loginNavigation |
Type Inference in Object Oriented LanguagesIs it possible to do type inference of an object oriented language (such as Java) without any type annotations? I've never seen it done and I'm curious about why that is. During my limited exposure (to type inference in general) I've been taught that it is possible to do type inference of rank 1 polymorphic functions but the general case (rank 2 and up) is undecidable without type annotations. How does this relate to the type of polymorphism used in object oriented languages? By Johan Tibell at 2006-03-28 07:24 | LtU Forum | previous forum topic | next forum topic | other blogs | 10196 reads
|
Browse archives
Active forum topics
|
Recent comments
14 weeks 1 day ago
18 weeks 3 days ago
20 weeks 1 day ago
20 weeks 1 day ago
22 weeks 5 days ago
27 weeks 3 days ago
27 weeks 3 days ago
27 weeks 6 days ago
27 weeks 6 days ago
30 weeks 5 days ago