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

[metaclass]

Макрос 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? :)

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

Comments

[http://users.livejournal.com/_slw/]

драмматической типизации

[swizard.livejournal.com]

Ну на самом деле, если использовать slime и нормально форматировать код, то таких проблем не возникает. А синтаксис малознакомых макросах лично я всё время макроэкспандом просматриваю перед отправкой на компиляцию.

[artureg.livejournal.com]

всё очевидно же

[(Anonymous)]

Так такой строки в лиспе:
[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]
и тут разница сразу понятна.

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

[thedeemon.livejournal.com]

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

[alexott.livejournal.com]

можно еще и rainbow-delimiters поставить, тогда сразу видно матчинг скобок на разных уровнях...

[jakobz.livejournal.com]

А это там макросы, это не просто ФВП?

[artureg.livejournal.com]

[jakobz.livejournal.com]

А вот нельзя в парсер этих ваших скобочек прикрутить хоть проверку на количество параметров? Можно же наверняка в 90% случаев выпалить сколько у тебя функция жрет, и сколько ей скармливают. Или это уже попахивает строгой типизацией и не богоугодно?

[nivanych.livejournal.com]

Она гибкая!
А статическая типизация не нужна!

[artureg.livejournal.com]

про функции высшего порядка слыхали?

[jakobz.livejournal.com]

Какая связь между ФВП и количеством аргументов?

[artureg.livejournal.com]

а как вы поймете, вам надо функцию вот сейчас передать в другую функцию или результат функции? От этого зависят скобки и то то с точки зрения компилятора верно.

[andrew kondratovich (from livejournal.com)]

потому что нужно или в стркоу все параметры писать или по однмоу переносить =)

[artureg.livejournal.com]

нет, макросы это макросы

[asvil (from livejournal.com)]

в конкретном примере не ФВП, а макрос, который видимо принимает неопределённое кол-во параметров.
С другой стороны если это макрос, то сделан он как-то криво. with- макросы не принимают что-либо для дергания, а принимают "контекст" (назовем его так) и тело для выполнения, правда это не обязательство, а хороший тон.

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

[thedeemon.livejournal.com]

О типизации вообще не надо думать, меня айсед учил.

[thedeemon.livejournal.com]

Если f принимает 2 аргумента, то
(f a (g x y)) - ok
(f a g x y) - явно не ок

[nivanych.livejournal.com]

Можеть быть, он подразумевал, что работа с типизацией должна стать рефлекторной?

[jakobz.livejournal.com]

Я сразу не разобрался что там макрос с переменным количеством аргументов. Такое не отловить, да.

Насчет как отличить результат от функции - не вижу проблем. В типизированных языках - от х-ля до C#-а - этот вопрос ведь решен как-то. Даже в нетипизированном эрланге все ок вроде как.

[thedeemon.livejournal.com]

[thedeemon.livejournal.com]

Полагаю, он предлагал думать в терминах путей в топологических пространствах или модельных категорий ω-группоидов, на худой конец расслоений над пространствами. Думать о типах слишком примитивно.

[metaclass.livejournal.com]

Там у макросов и функций количество параметров может быть произвольным :)

[metaclass.livejournal.com]

Функции высшего порядка и их арность это вещи друг с другом никак не связанные )

[jakobz.livejournal.com]

Ну тут макрос с переменным количеством параметров, это я не сразу понял. Но вообще - не все же функции с переменным количеством параметров, можно же это отлавливать.