λ
Все обкладываются
ну ты тратишь время на то, что в других нормальных языках уже в компилятор встроено
Size: a a a
2020 March 06
Oℕ
статическая типизация
Ну так в кложуре тоже статическая типизация, просто тип один
λ
типо я хз
λ
рациональность где?
AC
На каждый чих - это как раз в статически типизированных языках
ᛒ
количество багов не зависит от типов но с ними удобно отслеживать сайдэффекты, по-сути компилятор не дает в рандомных местах делать всякие стремные вещи и композицию этих самых эффектов
NOTE под типами понимаю систему как в хаскеле (типы как в java, c, ++ и прочие GO не дают никакого преимущества, как по мне)
NOTE под типами понимаю систему как в хаскеле (типы как в java, c, ++ и прочие GO не дают никакого преимущества, как по мне)
ну вроде как зависит но не сильно - https://arxiv.org/pdf/1901.10220.pdf
Oℕ
Вы разве не читали статью главного кложуриста Харпера об этом?
λ
Ну так в кложуре тоже статическая типизация, просто тип один
как-то маловато
Oℕ
Надо бы разбираться в теории динамических языков
λ
всего один
ST
будто кложуристы не обкладываются спеками и тестами, чтобы каждый чих проверить
проверяешь все чихи в репле
потом тесты и не нужны 😊
потом тесты и не нужны 😊
λ
проверяешь все чихи в репле
потом тесты и не нужны 😊
потом тесты и не нужны 😊
ну так в школе дети программируют
λ
как-то несерьезно
AC
количество багов не зависит от типов но с ними удобно отслеживать сайдэффекты, по-сути компилятор не дает в рандомных местах делать всякие стремные вещи и композицию этих самых эффектов
NOTE под типами понимаю систему как в хаскеле (типы как в java, c, ++ и прочие GO не дают никакого преимущества, как по мне)
NOTE под типами понимаю систему как в хаскеле (типы как в java, c, ++ и прочие GO не дают никакого преимущества, как по мне)
Да, только вот сами накладные расходы на то чтобы у тебя все сошлось - очень высокие
MB
как-то несерьезно
Тут мы переходим к серьезным языкам программирования
AC
Вы разве не читали статью главного кложуриста Харпера об этом?
о чем?
Oℕ
о чем?
о динамических языках
AC
о динамических языках
давай ссылку
MB
Кстати, а расскажите, как в Хаскеле мутируемые массивы работают?
Я все ещё интересуюсь)
AC
почитаем