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

[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

[nivanych.livejournal.com]

Ну в крайнем случае, про сравнение различных хороших свойств на (∞,1)-категориях, близким к тем, что достаточно для гомотопической теории типов — может быть, стоит обойтись структурами, подобными претопосам или предикативным топосам, а унивалентность, ведущая к топосности, не так и нужна?
Так же, хотелось бы обсудить с ним практическую разницу обобщения аксиомы множественного выбора для (∞,1)-категорий и более сильного — унивалентности (если уже есть ПW-претопосность).
Может быть, и metaclass к нам присоединится — нутром чую, его подобные разговоры страшно увлекают!

[thedeemon.livejournal.com]

Нет-нет, без унивалентности писать на Руби решительно невозможно!

[nivanych.livejournal.com]

Но ведь он много, на чём пишет!
Например, как и Метакласс, частенько и на кложурке!