Comments | thesz: Про Лисп.

thesz

Про Лисп.

Jun 13, 2010 17:44

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

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

строгая типизация, типы данных, Лисп

Leave a comment

Back to all threads

mr_aleph June 13 2010, 15:56:27 UTC

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

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

thesz June 13 2010, 16:00:33 UTC

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

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

alexott June 13 2010, 16:06:03 UTC

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

thesz June 13 2010, 16:08:00 UTC

Э, нет.

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

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

А Qi заглох.

alexott June 13 2010, 16:12:42 UTC

clojure != common lisp
P.S. а насчет старости - это звоночек, а то потом станешь старым для хаскеля 2015, и все...

thesz June 13 2010, 16:20:54 UTC

Мне достаточно быть старым для Лиспа. ;)

На большее не претендую.

Если что, то я напомню, как я пришёл к Хаскелю: http://thesz.livejournal.com/719123.html

Мне нужен (и был, и сейчас нужен) инструмент, что вносит минимум ошибок в процесс написания программы по неизвестному ранее ТЗ (которое никто не делал). Чтобы не возникало лишних вопросов, почему всё плохо, чтобы было сразу ясно, что ТЗ байда, надо менять. Даже для сложных ТЗ. Особенно для сложных ТЗ.

Лисп и другие динамические ЯП не проходят.

alexott June 13 2010, 16:23:19 UTC

только надо добавлять "для меня не подходят"...
у меня как раз лиспы - средство быстрого прототипирования и разработки по неизвестному ТЗ...

thesz June 13 2010, 16:24:40 UTC

Я говорил про кого-то другого?

Что за типичный ТЗ?

alexott June 13 2010, 16:26:27 UTC

типичный ТЗ - "хочу чего-то, чтобы все работало и т.д."... типичный research из которого потом делаются продукты

thesz June 13 2010, 16:31:53 UTC

Так что за ТЗ-то?

Вот несколько моих последних: система моделирования аппаратуры, транслятор VHDL, прототип видеоконтроллера, прототип машины динамического потока данных, анализ частот появления подграфов выражений в шейдерных программах, модель процессора, система стереосовмещения... Последнее, правда, не на Хаскеле. ;)

alexott June 13 2010, 16:38:27 UTC

анализ разнородных данных, pattern recognition...

thesz June 13 2010, 17:50:50 UTC

А вот я подумал, и решил, что не стоит уклоняться.

Уберу-ка я "для меня не подходят".

Если кому-то требуется инструмент, который не вносит лишних ошибок, или вносит их по минимуму (в индустрии), то Лиспы ему не подойдут.

За одним исключением, пожалуй - ACL2.

alexott June 13 2010, 18:00:50 UTC

почему-то только индустрия про это не догадывается :-)

thesz June 13 2010, 18:03:22 UTC

Почему?

Догадывается.

Более того, знает.

alexott June 13 2010, 18:06:40 UTC

ну я смотрю по росту популярности... плюс наблюдения из жизни - я знаю с 10-к стартапов, которые используют кложуру, но с трудом припомню использующих хаскель, кроме как в банках (ну и galois)

thesz June 13 2010, 18:12:12 UTC

Стартапы - это не индустрия. Это её часть. Небольшая, но громкая.

Более того, уверен, что это web стартапы, по большей части, отчего они становятся ещё более громкими.

Что называется, vocal minority.

Дальше посмотрим.

Back to all threads