Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages

Lagorio, Giovanni; Servetto, Marco; Zucca, Elena

doi:10.1016/j.ic.2012.02.004

Cited by 14 publications

(16 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Flatt et al [FKF98,FKF99] develop a semantics for classes and class-like mixins (without composition operators) in a core language, and have incorporated mixins and traits into Scheme (now Racket), based on classes and macros. Lagorio et al [LSZ12] in their design, a class inherits from a single superclass, and then incorporates a trait, which may be composed from other traits using sum, alias, and exclude operations. All conflicts between traits in this composition must be resolved explicitly; there are no default rules.…”

Section: Instantiable Traitsmentioning

confidence: 99%

Grace's Inheritance.

Noble¹,

Black²,

Bruce³

et al. 2017

JOT

View full text Add to dashboard Cite

This article is an apologia for the design of inheritance in the Grace educational programming language: it explains how the design of Grace's inheritance draws from inheritance mechanisms in predecessor languages, and defends that design as the best of the available alternatives. For simplicity, Grace objects are generated from object constructors, like those of Emerald, Lua, and Javascript; for familiarity, the language also provides classes and inheritance, like Simula, Smalltalk and Java. The design question we address is whether or not object constructors can provide an inheritance semantics similar to classes.

show abstract

Section: Instantiable Traitsmentioning

confidence: 99%

Grace's Inheritance.

Noble¹,

Black²,

Bruce³

et al. 2017

JOT

View full text Add to dashboard Cite

show abstract

“…These three operators were, then, taken as primitives in FJIG [LSZ09a,LSZ09b,LSZ12], where, as in Jigsaw, defined field and methods can be virtual, frozen or local. In DEEPFJIG, instead, defined field and methods are all implicitly virtual, hence we do not include the freeze primitive operator which allows to express, e.g., hiding.…”

Section: Deep Composition Operatorsmentioning

confidence: 99%

“…Finally, expressions include pre-objects c(fe), runtime expressions which cannot be written in programmer's code, but are obtained by reducing a constructor invocation. Indeed, since the constructor has no canonical form, we need two different syntactic forms [LSZ09a,LSZ09b,LSZ12], differently from FJ.…”

Section: Formalizationmentioning

confidence: 99%

“…Featherweight Jigsaw [LSZ09a,LSZ09b,LSZ12] (FJIG for short) is a simple calculus where basic building blocks are classes in the style of Featherweight Java (FJ for short) [IPW99], but inheritance has been replaced by the much more flexible notion originally proposed in Bracha's Jigsaw framework [Bra92]. That is, classes play also the role of modules, that can be composed by a rich set of operators, all of which can be expressed by a minimal core, composed by: sum, restrict, alias and redirect.…”

Section: Introductionmentioning

confidence: 99%

“…In this paper, we choose to explain the semantics of DEEPFJIG by flattening since this provides a more simple and intuitive understanding of the effect of the operators. However, a direct semantics could be provided for DEEPFJIG along the lines of that we have described for FJIG [LSZ09a,LSZ09b,LSZ12], even though method look-up is much more involved when there are many composition operators rather than just extends. Note also that an implementation could be based on one of these two approaches, or more likely adopt some even different or mixed optimized approach.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

DeepFJig — Modular composition of nested classes.

Corradi¹,

Servetto²,

Zucca³

2012

JOT

Self Cite

View full text Add to dashboard Cite

We present a new language design which smoothly integrates modular composition and nesting of Java-like classes. That is, inheritance has been replaced by an expressive set of composition operators, inspired by Bracha's Jigsaw framework, and these operators allow to manipulate (e.g., rename or duplicate) a nested class at any level of depth. Typing is nominal as characteristic of Java-like languages, so types are paths of the form outer n .C 1 . . . . .C k which, depending on the class (node) where they occur, denote another node in the nesting tree. However, paths denoting the same class are not equivalent, since they behave differently w.r.t. composition operators.The resulting language, called DEEPFJIG, obtains a great expressive power, allowing, e.g., to solve the expression problem, encode basic AOP mechanisms, and bring some refactoring techniques at the language level, while keeping a very simple semantics and type system which represent a natural extension for, say, a Java programmer.

show abstract

Xtraitj : Traits for the Java platform

Bettini

Damiani

2017

Journal of Systems and Software

View full text Add to dashboard Cite

Featherweight Jigsaw — Replacing inheritance by composition in Java-like languages

Cited by 14 publications

References 10 publications

Grace's Inheritance.

Grace's Inheritance.

DeepFJig — Modular composition of nested classes.

Xtraitj : Traits for the Java platform

Contact Info

Product

Resources

About