Io programming language

По факту защиты мной диплома образовалось некоторое свободное время и я таки решил собраться и написать про эту чудесную штучку. Мы в последнее время видим всплеск интереса ко всяким языкам очень высокого уровня, с анонимными функциями, каррингом, мапом/фолдом, метапрограммированием и прочим блэкджэком. Слава богу, я считаю. Задачи усложняются и если люди применяют относительно низкоуровневые средства разработки зачастую наступает ситуация, когда набор абстракций оказывается мал в рамках решаемой задачи, примерно так появляется «спагетти» и велосипеды. Хорошего мало. Хотя умалять роль низкоуровневого программирования не хочется совершенно, по понятным причинам. Совсем недавно, в 2002 году, бравый американец Стив Декорте понял, что ему как-то все вокруг не нравится. Ну то есть нравится, но как-то по частям. Нравится Smalltalk своей Ъ-ООП природой, нравится Lisp своей системой метапрограммирования и общей мегаизвратностью, нравится Self своими прототипами, нравится Lua, потому что маленькая и клево встраивается куда угодно. А вот что бы все и сразу — что-то не то. Погоревал бравый американец, да и наколбасил совй собственный язык программирования — Io.

Io

Io это маленький, полностью объектно-ориентированный язык программирования с динамической типизацией и развитой системой метапрограммирования, анонимными функциями и вытекающими отсюда плюшками. Кроме того, Io невероятно прост, как в синтаксисе, так и внутри. Существуют всего две сущности: объекты и сообщения. На этом базисе построено все остальное. Вообще весь язык следует дзенскому духу минимализма и простоты. В Io нет понятия класс, только объект. Объект может быть склонирован и изменен, таким образом мы получаем другой объект (Это и есть прототипы). Все типы данных, значения и прочая — объекты. Ну что, поехали.

Io в примерах

"Hello world" print

Это самизнаетечто. Многих (да и меня в самом начале моих платонических отношений с Io) сильно смутило, какого хрена так странно вызывается print? Тут все просто, главно понять, что в Io нет методов и свойств, есть слоты и сообщения. В данном примере строке "Hello world" отправляется сообщение print. В более традиционных ООП языках это будет выглядеть примерно так:

"Hello world".print()

Это что бы было проще понять. Теперь непосредственно про хваленое прототипное ООП:

Mushroom := Object clone
Mushroom isPoison := false
Mushroom whenEaten := method(person,
  self isPoison ifTrue(
    person kill
  )
)

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

Man := Object clone
Man state := "Living"
Man eat := method(food,
  food whenEaten(self)
)
Man kill := method(
  self state := "Dead"
)

Определяем объект «Мужыг», как видно из кода, Мужыг можеть есть и умереть (ну вот как-то так). Как доказал Сергей Анатольевич Курёхин — Ленин был грибом. Таким образом мы можем определить ленина через клонирование класса Mushroom:

Lenin := Mushroom clone
Lenin isPoison := false
Lenin speak := method(
  "Патриотизм - одно из наиболее глубоких чувств, 
   закрепленных веками и тысячелетиями обособленных отечеств." println 
)

Так же, для разнообразия, можно определить ядовиты гриб:

InfectedMushroom := Mushroom clone
InfectedMushroom isPoison := true 

Теперь мы можем попробовать накормить мужика чем-нибудь:

Man eat(Mushroom)
Man state println

Напечатает «Living».

Man eat(InfectedMushroom)
Man state println

Соответственно «Dead» В то время, пока Ленин говорил:

Lenin speak

Пришел мужик съел его:

Man eat(Lenin)

И остался жив.

Метапрограммирование

Система метапрограммирования в Io в тысячу раз проще чем в том же Lisp'е, но не менее мощная. Здесь нет понятия «макрос», тут просто все дерево кода доступно в рантайме. Не надо извращений со сложными синтаксическими конструкциями, просто изменяй код «on fly» как тебе захочется. Мой любимый пример — реализация Singleton'а в Io:

Singleton := Object clone
Singleton clone := Singleton

Тут я просто переопределил стандартный метод clone, что бы он возвращал тот же объект.

Напоследок

Io очень молодой, но не по годам прикольный язык. Несмотря на его мегаизвратность и мощность он крайне простой. Сам язык расчитан на легкость встраивания в чужеродные системы, к нему легко писать модули на низкоуровневых языках, когда требуется перфоманс. Для него уже сейчас написано достаточно библиотек. Существуют несколько проектов, активно использующих Io, например проект It — скриптовый язык основанный на Io, разработанный в Pixar. Сейчас я занимаюсь переводом документации по Io на русский язык. Конечно, я затронул очень мало в этом посте, так что продолжение следует (-;

Ссылки

http://iolanguage.com