Про Лисп.

[thesz]

Ссылка: http://lisper.ru/apps/format/133

Избранный кусок оттуда (доступный на данный момент):
(defun dup (stack) (push (first stack) stack

Comments

[mr_aleph]

я так кумекаю: тут дело не в балансировке скобок а в побочном эффекте макроса pop.

а парадокс в том, что там в куске кода даже какие-то типы есть, правда что это за типы и на что они влияют я не кумекаю.

[thesz]

first, оказывается, имеет побочный эффект: http://www.cs.cmu.edu/Groups/AI/html/cltl/clm/node149.html

Код не функционален ни разу.

[alexott]

возьми кложуру, напиши в функциональном стиле

[thesz]

Э, нет.

Лисп с диалектами я буду трогать только трехметровым шестом. ;)

Стар я для Лиспа с диалектами.

А Qi заглох.

[quasi_loop]

>> Код не функционален ни разу.

Это правда, но это ничего и не значит. Вот всё тоже самое, но функционально:

http://lisper.ru/apps/format/134

При этом вся статичность остаётся в силе. Если что - будут и предупреждения на стадии компиляции и провалы в рестарты во время выполнения.

[thesz]

Ничего.

У меня ещё тузов в кармане есть.

Вам только догонять останется. ;)

[dmzlj]

А чем типы мешают лиспу? Или лисп --- типам?

[thesz]

Кто-то недостаточно выразителен.

Я считаю Лисп, лисперы считают типы.

[nivanych]

Ты смотрел Liskell?

[thesz]

И что там с Лискелем?

[anonymous]

Multiparadigmenniy yazik, lisp.

[thesz]

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