JS
Кек. А говорили, что математику пишут
и математику, и реальные программы, причём одновременно
Size: a a a
2020 May 14
DS
Почему о содержимом можно догадываться, а о типах нужно твёрдо знать?
Не о типах твёрдо знать, а по типам твёрдо знать, как взаимодействовать с этой функцией.
JS
Ясно, понятно, секта.
я бы забанил за такие наезды
AI
выше мой пример на кложе полностью аналогичен твоим, Денис
AI
я бы забанил за такие наезды
поэтому мы, слава типам, и не в хаскель чатике. где банят
DS
я бы забанил за такие наезды
Нет, зачем? Человек высказывает свою позицию.
YS
Ну, в любом нормальном чате ща такое можно словить
n
Не о типах твёрдо знать, а по типам твёрдо знать, как взаимодействовать с этой функцией.
Т.е. на поведение кода плевать, лишь бы типы сошлись.
AI
а больше и требовать нельзя от компилятора
n
я бы забанил за такие наезды
Я бы забанил за пропаганду языка без наследования.
AI
поэтому летальный аппарат развалился от ошибке в знаке, хотя кот был на статипизированном языке )
AT
Т.е. на поведение кода плевать, лишь бы типы сошлись.
такое тоже может быть, если типы полностью фиксируют семантику кода
n
а больше и требовать нельзя от компилятора
Мы тут за документацию своим
YS
Т.е. на поведение кода плевать, лишь бы типы сошлись.
Вот это у тебя выводы
YS
Как ты кодишь вообще
AI
такое тоже может быть, если типы полностью фиксируют семантику кода
это уже некст левел, программирование на типах как оно есть
n
такое тоже может быть, если типы полностью фиксируют семантику кода
Везде есть допущения. Вспомни идрис
AT
я не говорил, что это легко)
AT
например, временную сложность алгоритма легко поломать, но часто трудно зафиксировать
DS
Т.е. на поведение кода плевать, лишь бы типы сошлись.
Как верно заметил @niquola в своём докладе на fpconf, "мы говорим о степени корректности". Типы это не всеспасительная панацея - это инструмент, который увеличивает степень корректности (то есть уменьшает вероятность того, что программа сделает то, что я от неё не ожидаю). И если я могу увеличить ту самую корректность, то сделаю это. Повторюсь: мне это помогает. Другие могут без этого.