YK
Typed Racket
Size: a a a
2021 April 08
YK
Coalton
T
Carp
MW
Спасибо! погляжу
MK
Ого, выглядит здорово
2021 April 09
DP
ну давайте и я тогда добавлю - Shen for Common Lisp https://github.com/Shen-Language/shen-cl/ )
a
а кто нибудь знает, в каком-нибудь из этих статически типизированных лиспов присутствует динамический полиморфизм? в Typed Racket, например, нет, если я правильно понял
N
Corman Common Lisp ?
DP
Динамический это как с классами? Есть, вроде: https://docs.racket-lang.org/ts-reference/Typed_Classes.html
DP
просветите и меня что такое динамический полиморфизм. параметрический вроде понятно. адхок тоже. а динамический это что?
YK
когда во время исполнения, а не на этапе компиляции, видимо
O
Жаль иссходники abstract-classes удалены, щапаковал бы для guix
MK
Возможно есть в software heritage
DP
заверните и мне пожалуйста
O
Я далеко не капал, ссылка в quicklisp мертвая
MK
Дай линк
MK
Если оно хостилось не у себя, то есть вероятность сохранения
O
6 лет тому назад