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 | 10027 reads
|
Browse archivesActive forum topics
|
Recent comments
6 days 22 hours ago
1 week 4 days ago
1 week 5 days ago
1 week 5 days ago
2 weeks 4 days ago
3 weeks 2 hours ago
3 weeks 2 hours ago
3 weeks 2 hours ago
4 weeks 2 days ago
4 weeks 3 days ago