дневник, интересно только программистам итд.

[avva]

В начале октября я взял на себя обязательство изучить за месяц язык Лисп, и в целом выполнил его раньше срока. К концу месяца я достаточно свободно читал программы на Лиспе, и писал что-то пусть простое, но не вполне тривиальное с точки зрения языка (в первый раз, когда у меня окончательно отладился и заработал небольшой набор макросов, использующих другие макросы и в целом выполняющих свою работу сквозь 2-3 степени вложения/разложения обратными кавычками и запятыми, на душу снизошел покой).

Теперь мне хочется написать что-то нетривиальное на Лиспе (Common Lisp'е, если быть точным), чтобы немного закрепить изученное, и я решил в свободное время -- которого и так, конечно, очень мало -- написать парсер языка Perl6, т.е. новой, находящейся сейчас в разработке версии Перла. Это достаточно глупая затея, потому что очень хороший парсер, да и интерпретатор, да и значительная часть компилятора уже есть, в рамках проекта Pugs, написанного частично на Хаскеле, частично уже на Perl6; чтобы следить за этим проектом и в чем-то в нем участвовать, я в начале этого года изучил Хаскель и участвовал в хакатоне на эту тему. Но тем не менее, так вот захотелось. Посмотрим, что из этого выйдет, и выйдет ли что-нибудь.

На самом деле я пишу эту запись, чтобы зарегистрировать забавное ощущение, с которым я и прежде был знаком, но не в столь очищенной форме. То, что я хочу сделать - не такая уж простая задача, потому что Perl6 - язык, позволяющий динамически менять не только значения своих операторов (как operator overloading в C++), но и вообще почти всю структуру языка, включая ключевые слова и как они работают, включая введение новых операторов и мета-операторов в язык, и многое другое. При этом эти новые операторы или макросы (похожие по своему действию на макросы Лиспа, т.е. несравнимо более мощные, чем макросы таких языков, как C/C++) могут вводится динамически, их действие может быть лексически ограничено блоком кода, итд. итп. Где-то три дня назад я закончил простенький, но достаточно мощный parser generator для рекурсивных top-down parsers (этого вполне достаточно в данном случае), и казалось бы, сиди и выписывай правила. Но последние три дня получилось так, что я не написал ни строчки кода (причем я как бы все время порывался начать, но что-то все время меня останавливало, очередная навязчивая мысль), а вместо этого думал и передумывал то, как это в принципе должно быть устроено, перечитывал spec итд. И по мере того, как я об этом думал, у меня в голове постепенно все пере-укладывалось в гораздо более стройную картину, всякие вещи, которые я сначала думал, что будут сложными специальными случаями, оказались частными случаями общего принципа, всякие отдельные правила, которые я собирался выписывать, оказались уже готовыми, если я сделаю другую общую вещь, итд. итп. В подробности нет смысла вдаваться, но общее ощущение было такое - я не написал ни строчки, но объем работы, который мне предстоит, уменьшился где-то раза в три, не говоря уж о том, что все очень прояснилось. Очень забавное (и приятное) ощущение.

Comments

[-pk-sly.livejournal.com]

да, приятное ощущение того, что будешь делать ХОРОШУЮ вещь.

типа - рефакторинг лучше делать ДО написания кода 8)

[avva.livejournal.com]

Именно :) очень качественный получился рефакторинг!

[evr.livejournal.com]

Нет, вы, конечно, все-таки монстр.

[kouzdra.livejournal.com]

Данное ощущение означает что у Perl6 хороший, но непривычный дизайн.

[avva.livejournal.com]

Так и есть. Непривычный с точки зрения имплементирования языка, с точки зрения пользователя он очень похож на Perl5, конечно, хотя есть и заметные различия, и множество интереснейших новшеств.

[nine_k]

Косвенно по поводу этого вспомнилаь байка про знаменитого физика (типа Резерфорда), который заметил, что некий его аспирант всё время проводит в лаборатории, что-то строит, экспериментирует, etc. Он спросил у него: "А когда же вы думаете?" :)

(И тут: стоило несколько дней пораздумывать, и...)

[dimrub.livejournal.com]

Что-то подобное делал Эдисон при наборе новых работников, как мне смутно припоминается.

[cmm.livejournal.com]

берегись злой Левой Рекурсии!

[avva.livejournal.com]

Уже все, нет никакой левой рекурсии.

[shmel39.livejournal.com]

Да, согласен - приятное ощущение. У меня месяца два назад такое произошло с Явой. Могу сказать, что снизошло озарение.

+ У меня такие вопросы. Сколько приблизительно времени Вы на затратили на это? Т.е. по сколько часов в день? Был ли он нужен в работе или в порядке хобби?

[avva.livejournal.com]

В смысле, Лисп изучать? Я шел по этой книге, ровно одна глава в день - кроме нескольких последних, т.к. там один код, что в принципе тоже хорошо, но у меня свой есть теперь задача написать. На главу уходит от 15 до 30 мин прочитать, иногда еще столько же попробовать что-то в среде потыкать самому, если есть время - я специально не замерял. В конце месяца я начал писать что-то нетривиальное сам, и это уже заметно больше времени требует, конечно.

[shmel39.livejournal.com]

Спасибо за ссылку - почитаю.

И еще: какую среду Вы использовали? Lisp in a Box?

[avva.livejournal.com]

Я намеревался, но так и не преодолел некоторой неприязни к emacs'у (которая является маятниковой реакцией после 10+ лет его использования), и в результате просто пишу код в vim и загружаю его в clisp'е. Но может быть еще вернусь к Lisp in a Box (точнее, к SLIME, которая является его главной частью).

[shmel39.livejournal.com]

Понятно. Спасибо.

Подыскиваю себе занятие в свободное время, захожу почитать френдленту, а тут Вы описываете свой опыт с Lisp...

[avva.livejournal.com]

:)

Если решитесь, то очень рекомендую именно эту книгу. Ее очень хвалили знатоки, и я не пожалел, что ее выбрал, очень хорошая, действительно.

[nm-work.livejournal.com]

а в виде ебука она не встречалась?

[avva.livejournal.com]

Да она вся бесплатно выложена на сайте автора.
http://www.gigamonkeys.com/book/

[nm-work.livejournal.com]

я тормоз :) в четыре часа ночито :)

[amerind.livejournal.com]

я так понял из вашего описания, perl шагнул в сторону ruby, это не может не радовать))

[avva.livejournal.com]

гм, не совсем :)

[amerind.livejournal.com]

я имел ввду больший уклов в ООП, переопределение операторов, мета-програамирование, а так конечно не совсем:)

[cmm.livejournal.com]

изучайте первоисточники.

[sply.livejournal.com]

Теперь осталось дойти до высшего дао - понять задачу настолько ясно, чтобы стало не интересно тратить время на ее набор ее решения :)

[gianthare.livejournal.com]

Eto 5.

[angerona.livejournal.com]

ну ты даешь.Cила!

[igorlord.livejournal.com]

Ну, так всегда нисходит озарение, когда вместо того чтобы открывать Eclipse, Visual Studio, и т.д. открываешь emacs, Word, и т.д. и пишешь Functional Requirments и Design Specification. Даже если ты это пишешь исключительно для себя. Очень многие вещи находят свои места и становятся ровненько в красивый и "правилный" дизайн.

[migmit.livejournal.com]

А на сам Perl6 стоит глядеть? А то руки пока не дошли...

[zlyuk.livejournal.com]

типично математический экспириенс - действительно, дао а-ля математика. чем больше думаешь, тем глобальнее перспектива и понятнее конкретные случаи. computer science, в общем...