Первоклассное сообщение
В объектно-ориентированном программировании говорят, что язык программирования имеет сообщения первого класса или динамические сообщения , если при вызове метода не только принимающий объект и список параметров могут динамически изменяться (т. е. привязываться к переменной или вычисляться как выражение), но и конкретный вызываемый метод.
Типизированные объектно-ориентированные языки программирования, такие как Java и C++ , часто не поддерживают методы первого класса. [1] Smalltalk поддерживает их только нетипизированным способом. [2] В Objective-C ( Cocoa ) можно использовать NSInvocation для представления сообщений первого класса способом, который учитывает типы во время выполнения; однако безопасное использование по-прежнему зависит от программиста.
Некоторый теоретический прогресс был достигнут для поддержки первоклассных сообщений безопасным с точки зрения типов образом, но ни одна из предложенных систем не была реализована на языке программирования, возможно, из-за их сложности. [3]
Смотрите также
Примечания
- ^ Шрофф и Смит
- ^ Шрофф и Смит
- ^ Шрофф и Смит
Ссылки
- Сусуму Нисимура (1998). «Статическая типизация для динамических сообщений». POPL '98 .
- Мишель Буглиези и Сильвия Крафа (1999). «Исчисление объектов для динамических сообщений». FOOL 6 .
- Мартин Мюллер и Сусуму Нисимура (2000). «Вывод типа для сообщений первого класса с ограничениями признаков». Международный журнал основ компьютерной науки 11 :1.
- Франсуа Потье (2000). «Универсальная система вывода типов на основе ограничений». Nordic Journal of Computing .
- Паритош Шрофф и Скотт Ф. Смит. «Вывод типа для сообщений первого класса с помощью функций сопоставления».
 | Эта статья по информатике — заглушка . Вы можете помочь Википедии, расширив ее. |
