Бірінші класты хабарлама - First-class message

Жылы объектіге бағытталған бағдарламалау, бағдарламалау тілі бар деп айтылады бірінші класты хабарламалар немесе динамикалық хабарламалар егер а әдісті шақыру алушы ғана емес объект және параметрлер тізімін динамикалық түрде өзгертуге болады (яғни айнымалымен байланыстырылған немесе өрнек ретінде есептелген), сонымен қатар белгілі бір әдіс қолданылуы мүмкін.

Сияқты типтелген объектіге бағытталған бағдарламалау тілдері Java және C ++, көбінесе бірінші класты әдістерді қолдамайды.[1] Smalltalk оларды тек жолсыз қолдау көрсетіңіз.[2] Жылы Мақсат-С (Какао ) пайдалануға болады NS шақыру бірінші кластағы хабарламаларды жұмыс уақытында түрлерінен хабардар етіп ұсыну; дегенмен, қауіпсіз пайдалану әлі де бағдарламашыға тәуелді.

А-да бірінші класты хабарламаларды қолдау үшін кейбір теориялық жетістіктерге қол жеткізілді қауіпсіз тип тәсіл, бірақ ұсынылған жүйелердің ешқайсысы, мүмкін, олардың күрделілігіне байланысты, бағдарламалау тілінде енгізілмеген.[3]

Сондай-ақ қараңыз

Ескертулер

  1. ^ Shroff & Smith
  2. ^ Shroff & Smith
  3. ^ Shroff & Smith

Әдебиеттер тізімі

  • Сусуму Нишимура (1998). «Динамикалық хабарламалар үшін статикалық теру». POPL '98.
  • Мишель Баглиеси және Силвия Крафа (1999). «Динамикалық хабарламалар үшін объектілік есептеулер». АҚЫҚ 6.
  • Мартин Мюллер және Сусуму Нишимура (2000). «Ерекшеліктері шектеулі бірінші деңгейлі хабарламаларға типтік қорытынды». Информатика негіздерінің халықаралық журналы 11:1.
  • Франсуа Потье (2000). «Шектеуге негізделген әмбебап типті қорытындылау жүйесі». Есептеу Nordic журналы.
  • Paritosh Shroff & Scott F. Smith. «Сәйкестіктері бар бірінші класты хабарламаларға типтік қорытынды».