n
Size: a a a
2018 February 26
AV
а, я просто не согласен с этим утверждением про ограничения
AV
я не могу ответить на вопрос, который содержит ложное утверждение в контексте
AV
т.к. из лжи следует что угодно
Aq
но вообще, поклонники статики просто вводят ограничения на задачу, если их типизация не натягивается на реальность.
динамика поволяет реализовать разные подходы
динамика поволяет реализовать разные подходы
динамика ограничивает подходы, много чего без статики на практике использовать не возможно, всякие высокоуровневые комбинирования комбинаторов вроде линз, или собирание кода по типам, как во всех использованиях тайпклассов
AV
поэтому нужно или уточнить, и объяснить мне почему это утверждение верно - уточнить аксиоматику
Aq
динамика проще, т.к. ты не ограничен решёткой из типов
поэтому её поклонники гибче подходят к задачам
поэтому её поклонники гибче подходят к задачам
статика проще, потому что короче цикл получения информации об ошибке
Вл
- но вообще, поклонники статики просто вводят ограничения на задачу, если их типизация не натягивается на реальность. динамика поволяет реализовать разные подходы
- нет
- обкладывают ещё одним слоем обсракций? или рефакторят всю систему типов?
- нет
- обкладывают ещё одним слоем обсракций? или рефакторят всю систему типов?
ну на самом деле в динамике тоже бывает рефакторинг. там тоже может выясниться что выбранная абстракция не подошла и лучше описать в другой (ну обычно рефакторинг гораздо тупее происходит, просто сверху накидываешь новые таблички и новые правила).
ну и как бы статика в случае рефакторинга выйгрывает (ну и тесты в обоих случаях нужны)
ну и как бы статика в случае рефакторинга выйгрывает (ну и тесты в обоих случаях нужны)
AV
мне кажется мы в МСК это обсуждали в кулуарах?
Вл
динамика ограничивает подходы, много чего без статики на практике использовать не возможно, всякие высокоуровневые комбинирования комбинаторов вроде линз, или собирание кода по типам, как во всех использованиях тайпклассов
наверное минимальный пример это pure, но нужен ли кому-нибудь полиморфный pure
n
я не могу ответить на вопрос, который содержит ложное утверждение в контексте
о чём я и говорю - скипаете неудобные вопросы
Aq
наверное минимальный пример это pure, но нужен ли кому-нибудь полиморфный pure
в ФП нужен
Aq
о чём я и говорю - скипаете неудобные вопросы
если вопрос содержит ложное утверждение он как раз удобный
AV
о чём я и говорю - скипаете неудобные вопросы
ну если я спрошу, что как вы живете с динамическими языками если их использование приводит к тому, что в каждой строке минимум 3 бага вводится
Aq
лучший подарок от оппонента
n
если вопрос содержит ложное утверждение он как раз удобный
да. очень удобно объявить его ложным и скипнуть
n
ну если я спрошу, что как вы живете с динамическими языками если их использование приводит к тому, что в каждой строке минимум 3 бага вводится
поклонник динамики ответит, что тестами это фиксят
Aq
да. очень удобно объявить его ложным и скипнуть
ну да, я правда ответил
Aq
поклонник динамики ответит, что тестами это фиксят
но это не правда