VL
мне очень понравилась идея с просто make
получается
получается
cl-posix-mqueue:make и cl-posix-mqueue.attributes:makemq:make и mq.attr:makeSize: a a a
2020 September 07
VL
а с никнеймами будет ахуенно
VL
а как лисп воспринимаем подпакеты? он понимает что между ними есть relation или для него это просто символы?
VL
Denis Ermolenko
через (instance `queue) по-идее можно брать слот instance или еще чего-то . А вот глагол четко говорит что к чему и нету двусмысленности
+
VL
Хмм а правильно ли я понимаю что систему типов можно (и нужно?) использовать для валидации аргументов функций в рантайме?
Ну т.е. ты не пишешь чек внутри функции, а просто создаешь отдельный тип, как это делается например в ML-like языках
Ну т.е. ты не пишешь чек внутри функции, а просто создаешь отдельный тип, как это делается например в ML-like языках
V(
в лиспе принадлежать типу = входить в список (множество, сет)
V(
так что проверяй стандартные или объявляй свои и тоже проверяй
V(
но во втором случае, как я понял в свое время @akater , выигрыш будет не всегда
a
но во втором случае, как я понял в свое время @akater , выигрыш будет не всегда
Ну, SBCL не сделает толковых выводов из
satisfies (немудрено).VL
Ну, SBCL не сделает толковых выводов из
satisfies (немудрено).Так он хоть так, хоть так не сделает
VL
Мне же нужен просто чек который бы выбрасывал еррор если с переменной что-то не так
VL
Я полюбому для этого чека функцию бы отдельную делал
VL
в лиспе принадлежать типу = входить в список (множество, сет)
Да, меня именно это интересует
a
Мне же нужен просто чек который бы выбрасывал еррор если с переменной что-то не так
asserta
Мне же нужен просто чек который бы выбрасывал еррор если с переменной что-то не так
В SBCL на высокой safety, declare это де факто assert, который во время компиляции работает.
VL
В SBCL на высокой safety, declare это де факто assert, который во время компиляции работает.
А declaim
VL
Он же вроде проверяет в рантайме
a
Он же вроде проверяет в рантайме
Судя по CLHS, разница между
Когда будет эффект, от имплементации зависит. В некоторых имплементациях может не быть вообще никакого.
declaim и declare только в том, что declaim глобальный, а не в том, когда будет эффект. Я с осторожностью пользуюсь declaim, так что не особо искушен.Когда будет эффект, от имплементации зависит. В некоторых имплементациях может не быть вообще никакого.
a
В общем, я люблю объявлять типы просто с помощью
и тогда SBCL очень рано указывает на ошибки типов.
declare (в т.ч. свои), и во время разработки у меня в asdf:defsystem написано:around-compile
(lambda (next)
(proclaim '(optimize
(compilation-speed 0)
(debug 3)
(safety 3)
(space 0)
(speed 0)))
(funcall next))
и тогда SBCL очень рано указывает на ошибки типов.
SA
declaim/declare