Ensiluokkainen viesti - First-class message
In olio-ohjelmointi , ohjelmointikieli on sanottu ensimmäisen luokan viestejä tai dynaaminen viestejä , jos on menetelmä puhelun ei vain vastaanottava objekti ja parametrien luettelo voidaan vaihdella dynaamisesti (eli joka on sidottu muuttujaan tai lasketaan lausekkeen), mutta myös erityinen menetelmä.
Kirjoitetut olio-ohjelmointikielet, kuten Java ja C ++ , eivät usein tue ensiluokkaisia menetelmiä. Smalltalk tukee niitä vain kirjoittamattomalla tavalla. In Objective-C ( kaakao ), voit NSInvocation edustaa ensiluokkaista viestejä tavalla, joka on tietoinen eri suorituksen; turvallinen käyttö riippuu kuitenkin ohjelmoijasta.
Teoreettista edistystä on tapahtunut ensimmäisen luokan viestien tukemisessa tyyppiturvallisella tavalla, mutta mitään ehdotetuista järjestelmistä ei ole toteutettu ohjelmointikielellä, mahdollisesti niiden monimutkaisuuden vuoksi.
Katso myös
Huomautuksia
Viitteet
- Susumu Nishimura (1998). " Staattinen kirjoittaminen dynaamisille viesteille ". POPL '98 .
- Michelle Bugliesi ja Silvia Crafa (1999). "Dynaamisten viestien objektilaskut". FOLOL 6 .
- Martin Müller & Susumu Nishimura (2000). " Tyyppihäiriö ensimmäisen luokan viesteille, joissa on ominaisuusrajoituksia ". International Journal of Foundations of Computer Science 11 : 1.
- François Pottier (2000). " Monipuolinen rajoitepohjainen tyyppihyväksyntäjärjestelmä ". Nordic Journal of Computing .
- Paritosh Shroff ja Scott F. Smith. " Tyyppihäiriö ensimmäisen luokan viesteille, joissa on yhteensopivat toiminnot ".
 |
Tämä tietojenkäsittelytieteen artikkeli on tynkä . Voit auttaa Wikipediaa laajentamalla sitä . |
