Reports (Research Report) Year : 2019

A protoype-based approach to object reclassification

Abstract

We investigate, in the context of functional prototype-based languages , a calculus of objects which might extend themselves upon receiving a message, a possibility referred to by Cardelli as a self-inflicted operation. We present a sound type system for this calculus which guarantees that evaluating a well-typed expression will never yield a message-not-found runtime error. The resulting calculus is an attempt towards the definition of a language combining the safety advantage of static type check with the flexibility normally found in dynamically typed languages.
Fichier principal
Vignette du fichier
jot.pdf (257) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01646168 , version 1 (23-11-2017)
hal-01646168 , version 2 (23-11-2017)
hal-01646168 , version 3 (06-06-2018)
hal-01646168 , version 4 (03-01-2020)
hal-01646168 , version 5 (19-01-2021)
hal-01646168 , version 6 (26-10-2021)

Identifiers

  • HAL Id : hal-01646168 , version 3

Cite

Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori. A protoype-based approach to object reclassification. [Research Report] Inria & Université Cote d'Azur, CNRS, I3S, Sophia Antipolis, France. 2019. ⟨hal-01646168v3⟩
551 View
358 Download

Share

More