По факту защиты мной диплома образовалось некоторое свободное время и я таки решил собраться и написать про эту чудесную штучку.
Мы в последнее время видим всплеск интереса ко всяким языкам очень высокого уровня, с анонимными функциями, каррингом, мапом/фолдом, метапрограммированием и прочим блэкджэком. Слава богу, я считаю.
Задачи усложняются и если люди применяют относительно низкоуровневые средства разработки зачастую наступает ситуация, когда набор абстракций оказывается мал в рамках решаемой задачи, примерно так появляется «спагетти» и велосипеды. Хорошего мало. Хотя умалять роль низкоуровневого программирования не хочется совершенно, по понятным причинам.
Совсем недавно, в 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,
if(self isPoison == true,
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(Из моего
блога)