«Object-Oriented Multi-Methods in Cecil» Craig Chambers (Cours IFT6310, H08)

(1)

«Object-Oriented Multi-Methods in Cecil»Craig Chambers (Cours IFT6310, H08)

«

Object-Oriented Multi-Methods in Cecil

»

Craig Chambers

(Cours IFT6310, H08)

Mathieu Lemoine

2008/02/25

Craig Chambers : Professeur `

a l’Universit´

e de Washington au

d´

epartement de

Computer Science and Engineering, maintenant

ing´

enieur chez Google `

a leur d´

epartemment de Seatle.

(2)

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(3)

«Object-Oriented Multi-Methods in Cecil»Craig Chambers (Cours IFT6310, H08) Introduction – Contexte

Multi-M´ethodes

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(4)

Multi-M´ethodes

Multi-M´

ethodes Vs Message Passing

Syntaxes

Message Passing

+

Privil´

egier 1 argument

Object Centred

(lecture, d´

etection de l’object principale)

-Privil´

egier plusieurs arguments

Pas de dispatche multiple (difficile)

(5)

Multi-M´ethodes

«

Design Patterns : Elements of Reusable Object-Oriented

Software

»

de Gamma et al.

«

Design Pattern Visitor

»

(p 341 `

a 344)

«

issues that arise when you apply the Visitor Pattern : Double

Dispatch

»

(6)

Multi-M´ethodes

Multi-M´

ethodes Vs Message Passing

Syntaxes multi-m´

ethodes

+

Permet de privil´

egier plusieurs arguments.

-Pas

Object Centred

Ambigu¨ıt´

e, Conflits

Encapsulation

(7)

Multi-M´ethodes

«

Structured Programming with go to Statements

»

de

Donald E. Knuth

«

Multi-way branching is an important programming technique

»

(p. 290)

«

One of the nice properties of his syntax is that the word repeat

occurs naturally

»

(p.279)

Comparaison de la syntaxes des langages de prgrammation.

«

a way we rarely think about go to statements

»

(p. 275)

Multi-M´

ethodes (fonctionnalit´

ees fourniees par l’OO).

(8)

Cecil

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(9)

Cecil

Le langage

D´

evelopp´

e `

a UWashington d`

es 1991, Projet

Vortex

Orient´

e Objet, non

Object Centred

Pas de classes mais des prototypes

H´

eritage distinct pour interface et comportement

Utilis´

e pour d´

evelopper et ”tester” de nouveaux concepts et

paradigmes

(10)

«Object-Oriented Multi-Methods in Cecil»Craig Chambers (Cours IFT6310, H08) Pr´esentation de l’article

R´esolution des ambigu¨ıt´es

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(11)

Les r`

egles de r´

esolution des multi-m´

ethodes

D´

efinition de la sp´

ecialisation

Objets :

A

>

B

⇔

A

h´

erite de

B

Arguments

a

d’impl´

ementations d’une m´

ethode

m

:

m1

>

m2

⇔

l’objet attendu pour

a

dans

m1

>

celui dans

m2

Impl´

ementations d’une m´

ethode

m

:

m1

>

m2

⇔ ∀

argument de

m,

m1

≥

m2

Appel de l’impl´

ementation la plus sp´

ecialis´

ee

Si ambigu¨ıt´

e

⇒

erreur `

a la compilation

(12)

(13)

(14)

Encapsulation

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(15)

Encapsulation

Multi-M´

ethodes privil´

egi´

ee

Multi-M´

ethodes

dans

tous les objets

sp´

ecialisant

(16)

Encapsulation

Multi-M´

ethodes priv´

ees

Multi-M´

ethodes d´

eclar´

ees priv´

ees par rapport `

a l’ensemble de leurs

objets

sp´

ecialisants

(17)

Langage Object-Centred

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(18)

Langage Object-Centred

Description d’un environnement de programmation

Cecil

n’est pas

Object-Centred

(19)

Future Work

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(20)

Future Work

Impl´

ementation

(21)

Related Work

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(22)

Related Work

Principalement CLOS et son pr´

ed´

ecesseur CommonLoops

C++, Haskell

Kea, NOAL, RPDE

3 SELF

(23)

Conclusion

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(24)

Conclusion

L’auteur propose une impl´

ementation des multi-m´

ethodes prennant

en compte l’encapsulation ainsi qu’une notation

Object-Centred

pour l’environnement de d´

eveloppement.

(25)

«Object-Oriented Multi-Methods in Cecil»Craig Chambers (Cours IFT6310, H08) Discussion

1 Introduction – Contexte

Multi-M´

ethodes

Cecil

2 Pr´

esentation de l’article

R´

esolution des ambigu¨ıt´

es

Encapsulation

Langage Object-Centred

Future Work

Related Work

Conclusion

3 Discussion

(26)

«Object-Oriented Multi-Methods in Cecil»Craig Chambers (Cours IFT6310, H08) Discussion

Discussion

+

Pr´

esentation d’un nouveau concept permettant d’utiliser les

multi-m´

ethodes dans un contexte Orient´

e Objet ou

Object

Centred

-Organisation un peu bancale

Explications quelques fois obscures ou incompl`

etes

Pas d’impl´

ementation

(27)

«Object-Oriented Multi-Methods in Cecil»Craig Chambers (Cours IFT6310, H08) Bibliographie