metaclass: (Default)
metaclass ([personal profile] metaclass) wrote2013-01-17 04:59 pm
Entry tags:

Немножко динамической типизации и кложури

Макрос with-db-comment выполняет указанную функцию с параметрами в контексте коннект+транзакция, с логом комментария к транзакции в БД.
dump-seq-debug скармливает последовательность в log4j для отладки.

вот такое падает с NPE:
(with-db-comment "(get-subaccounts 20)"
(dump-seq-debug (get-subaccounts "20")))

вот такое работает:
(with-db-comment "(get-subaccounts 20)"
dump-seq-debug (get-subaccounts "20"))

Можно ли увидеть разницу с первого раза и понять, откуда там NPE? :)

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

[identity profile] http://users.livejournal.com/_slw/ 2013-01-17 02:02 pm (UTC)(link)
драмматической типизации

[identity profile] swizard.livejournal.com 2013-01-17 02:35 pm (UTC)(link)
Ну на самом деле, если использовать slime и нормально форматировать код, то таких проблем не возникает. А синтаксис малознакомых макросах лично я всё время макроэкспандом просматриваю перед отправкой на компиляцию.

[identity profile] alexott.livejournal.com 2013-01-17 03:04 pm (UTC)(link)
можно еще и rainbow-delimiters поставить, тогда сразу видно матчинг скобок на разных уровнях...

[identity profile] denis dmitriev (from livejournal.com) 2013-01-17 05:12 pm (UTC)(link)
Как это поможет в этом случае, когда все скобки парные и корректны сами по себе?

[identity profile] jakobz.livejournal.com 2013-01-17 03:05 pm (UTC)(link)
А это там макросы, это не просто ФВП?

[identity profile] artureg.livejournal.com 2013-01-17 03:19 pm (UTC)(link)
нет, макросы это макросы

[identity profile] artureg.livejournal.com 2013-01-17 02:35 pm (UTC)(link)
всё очевидно же

(Anonymous) 2013-01-17 02:43 pm (UTC)(link)
Так такой строки в лиспе:
[code]
dump-seq-debug (get-subaccounts "20"))
[/code]
при форматировании получиться никак не может.
то, что она некорректна, видно при первом же беглом взгляде на код.
в реальном коде может быть только такое:
[code]
(with-db-comment "(get-subaccounts 20)"
(dump-seq-debug (get-subaccounts "20")))

(with-db-comment "(get-subaccounts 20)"
dump-seq-debug
(get-subaccounts "20"))
[/code]
и тут разница сразу понятна.

с правильным форматированием пропустить скобки сбалансированным образом просто нельзя, а несбалансированные еще ридер подсветит.

[identity profile] thedeemon.livejournal.com 2013-01-17 02:52 pm (UTC)(link)
Вот поэтому мне и непонятно, как вообще люди в эту кложу ввязываются. Мало, что недотипизация, так и еще и недосинтаксис, порождающий такие вот ошибки.

[identity profile] nivanych.livejournal.com 2013-01-17 03:09 pm (UTC)(link)
Она гибкая!
А статическая типизация не нужна!

[identity profile] thedeemon.livejournal.com 2013-01-17 03:27 pm (UTC)(link)
О типизации вообще не надо думать, меня айсед учил.

(no subject)

[identity profile] nivanych.livejournal.com - 2013-01-17 15:30 (UTC) - Expand

(no subject)

[identity profile] thedeemon.livejournal.com - 2013-01-17 15:57 (UTC) - Expand

(no subject)

[identity profile] nivanych.livejournal.com - 2013-01-17 16:09 (UTC) - Expand

(no subject)

[identity profile] thedeemon.livejournal.com - 2013-01-17 16:24 (UTC) - Expand

(no subject)

[identity profile] nivanych.livejournal.com - 2013-01-17 16:41 (UTC) - Expand

(no subject)

[identity profile] levgem.livejournal.com - 2013-01-17 18:11 (UTC) - Expand

(no subject)

[identity profile] thedeemon.livejournal.com - 2013-01-18 04:20 (UTC) - Expand

(no subject)

[identity profile] sum-erman.livejournal.com - 2013-01-18 07:51 (UTC) - Expand

[identity profile] jakobz.livejournal.com 2013-01-17 03:08 pm (UTC)(link)
А вот нельзя в парсер этих ваших скобочек прикрутить хоть проверку на количество параметров? Можно же наверняка в 90% случаев выпалить сколько у тебя функция жрет, и сколько ей скармливают. Или это уже попахивает строгой типизацией и не богоугодно?
Edited 2013-01-17 15:09 (UTC)

[identity profile] artureg.livejournal.com 2013-01-17 03:09 pm (UTC)(link)
про функции высшего порядка слыхали?

[identity profile] jakobz.livejournal.com 2013-01-17 03:11 pm (UTC)(link)
Какая связь между ФВП и количеством аргументов?

(no subject)

[identity profile] artureg.livejournal.com - 2013-01-17 15:12 (UTC) - Expand

(no subject)

[identity profile] thedeemon.livejournal.com - 2013-01-17 15:28 (UTC) - Expand

(no subject)

[identity profile] artureg.livejournal.com - 2013-01-17 17:59 (UTC) - Expand

(no subject)

[identity profile] zamotivator.livejournal.com - 2013-01-18 02:48 (UTC) - Expand

(no subject)

[identity profile] artureg.livejournal.com - 2013-01-18 07:52 (UTC) - Expand

(no subject)

(Anonymous) - 2013-01-18 12:27 (UTC) - Expand

(no subject)

[identity profile] jakobz.livejournal.com - 2013-01-17 15:31 (UTC) - Expand

[identity profile] metaclass.livejournal.com 2013-01-17 03:59 pm (UTC)(link)
Функции высшего порядка и их арность это вещи друг с другом никак не связанные )

(no subject)

[identity profile] artureg.livejournal.com - 2013-01-17 17:47 (UTC) - Expand

[identity profile] asvil (from livejournal.com) 2013-01-17 03:21 pm (UTC)(link)
в конкретном примере не ФВП, а макрос, который видимо принимает неопределённое кол-во параметров.
С другой стороны если это макрос, то сделан он как-то криво. with- макросы не принимают что-либо для дергания, а принимают "контекст" (назовем его так) и тело для выполнения, правда это не обязательство, а хороший тон.

Тут вообще наезд настолько специфический, что больше похоже на бред, а не на реальный наезд.

(no subject)

[identity profile] metaclass.livejournal.com - 2013-01-17 16:00 (UTC) - Expand

(no subject)

[identity profile] asvil - 2013-01-17 16:07 (UTC) - Expand

[identity profile] metaclass.livejournal.com 2013-01-17 03:58 pm (UTC)(link)
Там у макросов и функций количество параметров может быть произвольным :)

(no subject)

[identity profile] jakobz.livejournal.com - 2013-01-17 16:00 (UTC) - Expand

[identity profile] andrew kondratovich (from livejournal.com) 2013-01-17 03:15 pm (UTC)(link)
потому что нужно или в стркоу все параметры писать или по однмоу переносить =)

[identity profile] theiced.livejournal.com 2013-01-17 04:30 pm (UTC)(link)
видно с первого взгляда же

[identity profile] blackyblack.livejournal.com 2013-01-17 06:17 pm (UTC)(link)
Да, я тоже понял, что в лиспах форматирование кода - неотъемлемая часть языка. Правда недокументированная.

[identity profile] vit-r.livejournal.com 2013-01-17 06:37 pm (UTC)(link)
Нужно всегда выносить непарную скобку на новую строчку.
(  abc
   (def)
   g
   )

всегда лучше "традиционного"
Правда, я за скобкой ещё и комментарий ставлю, к чему она относится, чтобы вверх-вниз не бегать

[identity profile] theiced.livejournal.com 2013-01-17 08:21 pm (UTC)(link)
за такое вырывать яйца

(no subject)

[identity profile] vit-r.livejournal.com - 2013-01-17 21:09 (UTC) - Expand

(no subject)

[identity profile] theiced.livejournal.com - 2013-01-17 21:22 (UTC) - Expand

(no subject)

[identity profile] vit-r.livejournal.com - 2013-01-17 21:23 (UTC) - Expand

(no subject)

[identity profile] theiced.livejournal.com - 2013-01-17 21:26 (UTC) - Expand

(no subject)

[identity profile] metaclass.livejournal.com - 2013-01-17 21:29 (UTC) - Expand

(no subject)

[identity profile] vit-r.livejournal.com - 2013-01-17 21:30 (UTC) - Expand

[identity profile] metaclass.livejournal.com 2013-01-17 09:31 pm (UTC)(link)
Я так выносил, пока редактор с более-менее адекватной подсветкой скобок не попался под руки.
Но вообще отдельная строка для закрывающей скобки часто удобнее (и комментарии ставить проще и копироваьт строки.

(no subject)

[identity profile] vit-r.livejournal.com - 2013-01-17 21:45 (UTC) - Expand

(no subject)

[identity profile] theiced.livejournal.com - 2013-01-17 21:49 (UTC) - Expand

(no subject)

[identity profile] vit-r.livejournal.com - 2013-01-17 21:59 (UTC) - Expand

(no subject)

[identity profile] blackyblack.livejournal.com - 2013-01-18 05:05 (UTC) - Expand