Adding Type Constructor Parameterization to Java.

Cremet, Vincent; Altherr, Philippe

doi:10.5381/jot.2008.7.5.a2

Cited by 16 publications

(2 citation statements)

References 20 publications

(3 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Type constructor polymorphism, for example, can be introduced in Java by a language extension [9]; for Scala, a research agenda [20,21,22] resulted in the introduction of type constructor polymorphism in the language. C++, on the other hand, allows simulating type constructor polymorphism with template template parameters, although those are for practical reasons not widely used.…”

Section: Related Workmentioning

confidence: 99%

From HOT to COOL

Lincke

Schupp

2012

Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications

View full text Add to dashboard Cite

In this paper, we present a transformation that maps type-level expressions from functional higher-order, typed (HOT) languages to type-level expressions in object-oriented HOT languages by mapping higher-order types to type parameters of generics that are constrained with appropriate concepts. We introduce a novel form of "defunctionalization" and a correctness criterion based on the kind structure of the transformed expression, and show that our transformation preserves kind structure. The transformation is retargetable, based on two new kernel languages that can be bound to different functional and object-oriented languages; we already provide bindings to Haskell as front end and C++ concepts and Scala traits in the back ends. The transformational approach presents an alternative to a language extension and is useful in particular if functional features are employed at specification time. We motivate the approach and illustrate it using three sizable functional libraries in C++ that have signatures that are automatically generated from the corresponding Haskell signatures.

show abstract

Section: Related Workmentioning

confidence: 99%

From HOT to COOL

Lincke

Schupp

2012

Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications

View full text Add to dashboard Cite

show abstract

“…Type constructor polymorphism has recently started to trickle down to object-oriented languages. Cremet and Al-therr's work on extending Featherweight Generic Java with higher-kinded types [18] partly inspired the design of our syntax. However, since they extend Java, they do not model type members and path-dependent types, definition-site variance, or intersection types.…”

Section: Type Constructor Polymorphism In Oopl'smentioning

confidence: 99%

Generics of a higher kind

MoorsAdriaan¹,

PiessensFrank²,

OderskyMartin³

2008

SIGPLAN Not.

View full text Add to dashboard Cite

With Java 5 and C# 2.0, first-order parametric polymorphism was introduced in mainstream object-oriented programming languages under the name of generics. Although the first-order variant of generics is very useful, it also imposes some restrictions: it is possible to abstract over a type, but the resulting type constructor cannot be abstracted over. This can lead to code duplication. We removed this restriction in Scala, by allowing type constructors as type parameters and abstract type members. This paper presents the design and implementation of the resulting type constructor polymorphism. Furthermore, we study how this feature interacts with existing object-oriented constructs, and show how it makes the language more expressive.

show abstract

ThisJava: An Extension of Java with Exact Types

Na¹,

Ryu

2013

Programming Languages and Systems

View full text Add to dashboard Cite

Adding Type Constructor Parameterization to Java.

Cited by 16 publications

References 20 publications

From HOT to COOL

From HOT to COOL

Generics of a higher kind

ThisJava: An Extension of Java with Exact Types

Contact Info

Product

Resources

About