Smalltalk (Smalltalk)

Smalltalk - динамически типизированный объектно-ориентированный язык программирования и интерактивная среда разработки, созданные в исследовательском центре Xerox PARC в 1970-х годах. В языке программные сущности представлены объектами, которые взаимодействуют посредством отправки сообщений.

Что означает термин

Smalltalk объединяет язык программирования и среду, предназначенную для интерактивной работы с программами. В его модели числа, символы, классы, методы и элементы графического интерфейса рассматриваются как объекты.

Как устроено

Smalltalk использует динамическую типизацию: типы переменных, параметров методов и возвращаемых значений явно не указываются. При выполнении система определяет, может ли объект обработать полученное сообщение. Поэтому совместимость объектов и сообщений проверяется во время выполнения, и часть ошибок может обнаруживаться позднее, чем в языках со статической типизацией.

Язык относится к классовым объектно-ориентированным языкам, но его стандарт не задаёт отдельного синтаксиса для определения классов. Smalltalk-80 описывается как рефлексивная система: классы, методы и структура самой системы представлены объектами и доступны для обработки. Интерактивная среда включает REPL, в котором можно выполнять и исследовать код, а также работать с объектами и методами непосредственно.

Где применяется

Smalltalk применяется для создания программ и интерактивного исследования их объектов, методов и структуры. Среда языка позволяет изменять и проверять программные сущности в процессе работы, не ограничиваясь последовательной обработкой автономных исходных файлов.

Smalltalk также используется как пример объектно-ориентированного и рефлексивного подхода к программированию. Его концепции повлияли на развитие Objective-C, Java, Python и Ruby.