PG
есть ощущение что SBCL более статически типизирован чем Typed Racket
Size: a a a
2020 December 14
A
Hacket вспомнили?))
PG
Сильно старались забыть
A
Не благодарите
y
https://old.reddit.com/r/scheme/comments/jomhpr/ideas_for_a_statically_typed_dialect_of_scheme/
Тут много ссылок на сильно (aka строго) и статически типизированные лиспы.
Тут много ссылок на сильно (aka строго) и статически типизированные лиспы.
VL
Ну я имел ввиду со строгими тайп аннотейшнс
Про cl я и так знаю
Про cl я и так знаю
ну вот там имелся ввиду не просто CL, а именно SBCL. Если ему все типы указать, он их будет чекать в компайл-тайме. А если задекларировать safety выше speed, то будет чекать как assertion в рантайме еще
VL
Сильно старались забыть
а че, он плох?
VL
мне тут его советовали недавно
PG
да мемы какие-то сплошные
S
Да не парься, ещё будут возможности
A
Да не парься, ещё будут возможности
Embrace lisp
S
Embrace tradition
A
мне тут его советовали недавно
Я думал, что никому меня не переплюнуть с моими советами уйти на фряху
¥
ну вот там имелся ввиду не просто CL, а именно SBCL. Если ему все типы указать, он их будет чекать в компайл-тайме. А если задекларировать safety выше speed, то будет чекать как assertion в рантайме еще
А
DL
yosk
https://old.reddit.com/r/scheme/comments/jomhpr/ideas_for_a_statically_typed_dialect_of_scheme/
Тут много ссылок на сильно (aka строго) и статически типизированные лиспы.
Тут много ссылок на сильно (aka строго) и статически типизированные лиспы.
разве лиспы не чуть менее чем все строго типизированные?
A
мой любимый тип срача - когда путают строгую и статическую типизацию, даа...
SM
а что такое строгая типизация?
¥
а что такое строгая типизация?
Строгая это не динамическая
Типо вот у переменной есть тип и он у неё и будет
Типо вот у переменной есть тип и он у неё и будет
PG
Строгая это не динамическая
Типо вот у переменной есть тип и он у неё и будет
Типо вот у переменной есть тип и он у неё и будет
разве это как раз не статическая?
¥
разве это как раз не статическая?
Ну может и она