Использование ›› в Pharo/Smalltalk

По какой-то причине, которую было бы неплохо узнать, в Smalltalk существует традиционная нотация для ссылки на метод с селектором, скажем, m в классе C, который равен C>>m. Например, BlockClosure>>future обозначает метод BlockClosure с селектором #future. Интересно, что это выражение не является выражением Smalltalk, поддающимся оценке, то есть оно не является выражением Smalltalk. Это просто краткий способ сказать: «ниже приведен исходный код метода m в классе C». Только то.

Однако в Smalltalk методы тоже являются объектами. На самом деле они являются экземплярами CompiledMethod. Это означает, что их можно получить, отправив сообщение. В данном случае это сообщение methodAt:. Получателем сообщения является класс, который реализует метод, а аргументом является селектор (соответственно, C и #m или BlockClosure и #future в вашем примере).

Поэтому в большинстве диалектов используется синоним methodAt: с именем >>. Это легко сделать таким образом:

>> aSymbol
  ^self methodAt: aSymbol

Это приближает синтаксис Smalltalk к традиционной нотации, потому что теперь BlockClosure>>future выглядит как выражение, которое отправляет сообщение >> в BlockClosure с аргументом future. Однако future не является Symbol, если только мы не добавим к нему #, а именно #future. Таким образом, если мы поставим перед селектором знак #, мы получим буквальное значение Symbol #future, которое является допустимым объектом Smalltalk. Теперь выражение

BlockClosure >> #future

становится сообщением, а его результат после его оценки — CompiledMethod с селектором #future в классе BlockClosure.

В общем, BlockClosure>>future — это нотация, а не допустимое выражение Smalltalk. Однако, изменив его на BlockClosure >> #future, он становится вычисляемым выражением языка, возвращающим метод, на который ссылается нотация.