Affordable Access

A protoype-based approach to object reclassification

Authors
  • Ciaffaglione, Alberto
  • Gianantonio, Pietro
  • Honsell, Furio
  • Liquori, Luigi
Publication Date
Jun 06, 2018
Source
Kaleidoscope Open Archive
Keywords
Language
English
License
Unknown
External links

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.

Report this publication

Statistics

Seen <100 times