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

[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

[thedeemon.livejournal.com]

А ведь я даже ничего не придумывал:

"Moreover, intensional type theory has been interpreted in the model categories of ω-groupoids, simplicial sets
and many others, where a dependent type over a type became a fibration over a space. In fact, the groupoid interpretation was the first interpretation of intensional type theory which had non-trivial paths."

- с первых страниц одной _дипломной работы_ на тему, которую nivanych безошибочно угадал (аксиома унивалентности и связанная с ней гомотопическая теория типов).

[sum-erman.livejournal.com]

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