a
Ага, там
#'true и #'falseSize: a a a
2021 April 07
A
но и "логические" функции должны быть реализованы так, чтобы возвращать #'true и #'false вместо nil и t
a
Есть
coerce, но он не будет приводить типы так.UT
хм. то есть невозможно реализовать _if, чтобы он был один в один похож на оригинальный, из-за того, что в условии оператор вернет t/nil?
coerce видел, но он не сработал
coerce видел, но он не сработал
a
Можно, например, сделать свой пакет
Но цель неясна уже.
my-if, написать, что my-if:t это #'true и т.д.. Будет «один в один» «похож».Но цель неясна уже.
UT
Окей, спасибо. Да цель уже мне просто интересно, определить свой макрос с таким же поведением. Образовательная.
UT
Нельзя, нельзя перевести bool в int. Можно!
(or (and boolean 1) (or boolean 0))
(or (and nil 1) (or nil 0)) ; => 0
(or (and t 1) (or t 0)) ; => 1
(or (and boolean 1) (or boolean 0))
(or (and nil 1) (or nil 0)) ; => 0
(or (and t 1) (or t 0)) ; => 1
A
тут нюанс, что or и and реализованы как special form тоже
UT
Блин, ну ладно... Но думаю and и or в своем решении заиспользую всё равно, задачу ставил сделать именно if. Сейчас ещё потестил, через and и or вполне себе ветвление получается
UT
По идее if это (or (and condition 'then) 'else)
a
Я в самом начале указал, что кроме if и cond еще есть when и unless. Потом собирался напомнить про and и or, потом про logior, …, но в итоге предложил переформулировать вопрос не дожидаясь этого. :-]
VL
Кому интересно, вмержили мой хотфикс в sly-asdf. Теперь должно работать с ECL
DP
(or (and 123 nil) 'else) ; => ELSE
- по твоему ожидаемый результат дает?
- по твоему ожидаемый результат дает?
DP
так-то ожидаемый, но это правильный результат для семантики if? ) condition у нас выполняется, должны вернуть NIL, но возвращаем ELSE
UT
Да, кейс с nil не учтён.
DP
if это спецоп (в скобочках - не просто так)
DP
а зачем тебе? (defun t-nil-cast (tn)(if tn 1 0)) ; => ))
a
Можно с генсимом
Можно return над then и block сверху.
`(or (and ,g ,then)
(and (not ,g) ,else))
Можно return над then и block сверху.
2021 April 08
MW
Привет, подскажите пожалуйста статически типизированный лисп, только по-настоящему который проверяет типы, а не всякие чекеры
IZ
SBCL