PG
читайте Кауфмана
Size: a a a
2020 August 26
χλ
функция из языка в язык это транслятор
Ну да, а это автотранслятор
SA
короче
SA
убедил?
V(
да, вполне. я знал к тому же
SA
ты то мб
SA
а лиса
χλ
а лиса
Ты что-то странное кинул, я не совсем понял
SA
..........камон чего уж там то непонятного
SA
объявил типа массива
SA
сказал ограничение на длину
SA
потом потребовал элемент котоырй в такую длину не влезет
SA
скомпилировал
χλ
Мне кажется там тип проверить можно, банально попытавшись заэвалить подвыражение
SA
заорало
SA
пойнт в том что можно в типа вписать длину и он это проверит
SA
в чем вопрос то
PG
@uselessone в sbcl есть вывод типов на этапе компиляции
χλ
@uselessone в sbcl есть вывод типов на этапе компиляции
Хм, ну ладно
χλ
(Defun foo (vector)
(declare (type (array * (10 15)) vector))
(aref vector 16 23))
Понял, неплохо