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.
Type de document :
Pré-publication, Document de travail
2017
Liste complète des métadonnées

Littérature citée [32 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01646168
Contributeur : Luigi Liquori <>
Soumis le : jeudi 23 novembre 2017 - 13:13:06
Dernière modification le : jeudi 7 juin 2018 - 01:20:45

Fichier

jot-16.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01646168, version 2

Collections

Citation

Alberto Ciaffaglione, Pietro Gianantonio, Furio Honsell, Luigi Liquori. A protoype-based approach to object reclassification. 2017. 〈hal-01646168v2〉

Partager

Métriques

Consultations de la notice

291

Téléchargements de fichiers

26