χλ
А как считаете, может ли лисп дружить чо статической типизацией?
Size: a a a
2020 August 26
V(
если не сделал
χλ
и ты такой сразу сделал чат по идрис2?
Есть же чат практически по идрису
χλ
"Зависимые типы в массы" который
Мне кажется он исчерпывающий
Мне кажется он исчерпывающий
SA
всм
SA
во первых может и в каком то очень кастрированном смысле даже и дружит
SA
вон у хаскеллистов нету никаких там
(integer 123 3452345)SA
или
(array fixnum (3 4 5 6))SA
во вторых идите кто то уже помогите доброму человеку сделать коалтон
SA
мне лень)
SA
и я не такой фанат этого дела
SA
хотя и не против
χλ
или
(array fixnum (3 4 5 6))Ну это же всё про динамические типы, не?
SA
всм
χλ
Он на этапе компиляции всего ентого никак не проверяет
SA
проверяет
SA
SA
sbcl проверяет
SA
давай так
χλ
проверяет
В run time же, не?