p
Эмпирично мб
Size: a a a
2020 August 05
KR
Зачем тогда стрелять по ногам?
KR
Хорошо, давай от минимума
p
Зачем тогда стрелять по ногам?
Почему сразу стрелять
KR
На каком сабсете типов не будет отстрела ног?
KR
Почему сразу стрелять
Потому что неявно можно напороться на авто-эффект там, где ты хотел бы тайп-еррур
KR
Это частично как замалчивать ошибки
KR
Работает, но потом огребаешь на проде
В
Почему считаешь, что не отстрелишь ногу?
+, мне кажется не очень
KR
Ибо не уследил
KR
Типа в 95% случаев всё будет "на мази" и работать как задумано. Но вот оставшиеся 5% будут очень и очень много боли приносить.
AZ
Переслано от Alex Gryzlov
второй подход это обобщение параметризации предикатом, типа как в https://github.com/bmsherman/blog/wiki/Quicksort-in-Idris
AZ
Ну это норм, если оно проверяется до мономорфизации
не проверяется и не выражается, в чем и суть.
AZ
То есть концепты с его точки зрения - проблема реализации
все это его "является-не является" типом это какое-то балабольство
p
Потому что неявно можно напороться на авто-эффект там, где ты хотел бы тайп-еррур
Поэтому нужно аккуратно использовать, говорю жк
AZ
"их примитивные суеверия - наша великая вера"
AZ
по сути результат один и тот же что у концептов что у трейт баундов
AZ
если не соответствует спеке будет ошибка
AZ
Например имплисттный pure - хорошо или плохо?
чем это хорошо?
p
Типа в 95% случаев всё будет "на мази" и работать как задумано. Но вот оставшиеся 5% будут очень и очень много боли приносить.
Мне лично не кажется что если в расте можно было писать без сраного collect, то кому-то стало бы хуже.