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

[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]

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

[nivanych.livejournal.com]

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

[thedeemon.livejournal.com]

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

[nivanych.livejournal.com]

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

[thedeemon.livejournal.com]

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

[nivanych.livejournal.com]

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

[levgem.livejournal.com]

цуко, жжошь!! омега-групоиды! Это же ещё хуже чем трихомонадиоз!

[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]

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