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 | 10576 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