Blogs (28) >>
ECOOP 2016
Sun 17 - Fri 22 July 2016 Rome, Italy
Sun 17 Jul 2016 14:20 - 14:50 at Belli - Session 2

As was shown in earlier studies, mainstream object-oriented (OO) languages C# and Java provide weaker support for generic programming (GP) as compared with functional languages such as Haskell or SML. Having explored the instruments for GP in modern OO languages Scala, Ceylon, Kotlin, Rust, and Swift, we have found out that all of them, as well as C# and Java, stick to the same approach to constraining type parameters, which we called the “Constraints-are-Types” approach. It turns out that the approach has several inevitable limitations, and because of that Haskell type classes still provide better support for GP than modern object-oriented languages do. This research is aimed to discover a mechanism that would allow to radically improve the support for generic programming in OO languages. We identify the requirements that such mechanism should satisfy, present a design of the appropriate mechanism (concept parameters), and propose a sketch of its implementation for the C# language.

Sun 17 Jul
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:50 - 15:20: Doctoral Symposium - Session 2 at Belli
ecoop-2016-doctoral-symposium13:50 - 14:20
Eric JulAlcatel-Lucent Bell Labs
ecoop-2016-doctoral-symposium14:20 - 14:50
Julia BelyakovaSouthern Federal University
ecoop-2016-doctoral-symposium14:50 - 15:20