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

[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

[artureg.livejournal.com]

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

[thedeemon.livejournal.com]

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

[artureg.livejournal.com]

рассмотрим частные случаи:
1. f принимает 2 аргумента f1 принимает 0 аргументов
(f a f1)
(f a (f1))

2. f принимает 2 аргумента f1 принимает 1 аргумент и возвращает f3, f3 принимает 0 аргументов
(f a (f1 b))
(f a ((f1 b)))

домашнее задание:. f принимает 3 аргумента, последний не обязательный

[zamotivator.livejournal.com]

Артурег, как всегда, нихуя не понял, но поучает.

Никто не говорит про полную проверку типов функций - это в динамически типизированном языке by design не сделаешь. Домашнее задание: найти ответ "почему".
Речь про частичные проверки функций, декларации которых нам известны из внешнего scope

[artureg.livejournal.com]

как это ни кто? попробуй ещё раз прочитать исходный камент.

[(Anonymous)]

> хоть проверку на количество параметров

[jakobz.livejournal.com]

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

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