Abstract:Context: Trait composition has inspired new research in the area of code reuse for object oriented (OO) languages. One of the main advantages of this kind of composition is that it makes possible to separate subtyping from subclassing; which is good for code-reuse, design and reasoning. However, handling of state within traits is difficult, verbose or inelegant. Inquiry: We identify the this-leaking problem as the fundamental limitation that prevents the separation of subtyping from subclassing in conventional OO languages. We explain that the concept of trait composition addresses this problem, by distinguishing code designed for use (as a type) from code designed for reuse (i.e. inherited). We are aware of at least 3 concrete independently designed research languages following this methodology: TraitRecordJ, Package Templates and DeepFJig. Approach: In this paper, we design $42_\mu$ a new language, where we improve use and reuse and support the This type and family polymorphism by distinguishing code designed for use from code designed for reuse. In this way $42_\mu$ synthesise the 3 approaches above, and improves them with abstract state operations: a new elegant way to handle state composition in trait based languages. Knowledge and Grounding: Using case studies, we show that $42_\mu$'s model of traits with abstract state operations is more usable and compact than prior work. We formalise our work and prove that type errors cannot arise from composing well typed code. Importance: This work is the logical core of the programming language 42. This shows that the ideas presented in this paper can be applicable to a full general purpose language. This form of composition is very flexible and could be used in many new languages.

Incorporating User Interaction into Imperative Languages

Bounded-Choice Statements for User Interaction in Imperative and Object-Oriented Programming

Translating declarative control elements to imperative using 'l-value redefinition graphs'

Don't Call Us, We'll Call You: Towards Mixed-Initiative Interactive Proof Assistants for Programming Language Theory

DIDUP: Dynamic Iterative Development for UI Prototyping

Anonymous Variables in Imperative Languages

Approach Intelligent Writing Assistants Usability with Seven Stages of Action

Languages of Play: Towards semantic foundations for game interfaces

DirectGPT: A Direct Manipulation Interface to Interact with Large Language Models

Separating Use and Reuse to Improve Both

Model-View-Update-Communicate: Session Types meet the Elm Architecture

Language Support for Declarative Future Commitments

Choice Over Control: How Users Write with Large Language Models using Diegetic and Non-Diegetic Prompting

Imperatives for Virtual Humans

On Policy Reuse: An Expressive Language for Representing and Executing General Policies that Call Other Policies

A Synthesis of the Procedural and Declarative Styles of Interactive Theorem Proving

Tables of Nuclear Cross Sections and Reaction Rates: an Addendum to the Paper "Astrophysical Reaction Rates from Statistical Model Calculations"

FabULous Interoperability for ML and a Linear Language

LoopW Technical Reference v0.3

Weak-linearity, globality and in-place update

Interactions with Prompt Problems: A New Way to Teach Programming with Large Language Models