YS
Клапауций с Александром сказали что все не правы
Size: a a a
2020 November 09
YS
А правды не сказали(
YS
Хоть не читай чатиков!
JS
в смысле лемма об исключенном третьем используется?
тут вообще высказывание из воздуха
Y
А правды не сказали(
Удобно!
YS
пошёл я писать свой частичный код (
JS
Но у нас хаскелл это готовый для продакшена язык, поэтому нам нужно более практичное определение частичности
в мэйнстриме вообще плевать всем на частичность
AA
Общепринятное — это что-то типа на каждом значении из домейна возвращает значение из кодомейна
Но очевидно, что это определение расходится с тем, которое принято в хаскеле
Но очевидно, что это определение расходится с тем, которое принято в хаскеле
проблема не в определении, говорю же, а в том, чтоб правильно определить соотвествует ли хаскельная функция ему
AA
в мэйнстриме вообще плевать всем на частичность
в мейнстриме стектрейсы нормальные бывают обычно
VD
в мэйнстриме вообще плевать всем на частичность
В мейнстриме начали пытаться завозить nullability. Так что не совсем плевать, они просто еще не знают, что это проблема.
AA
а в хачкель начали завозить паттерн-чекер который даже кое-как что-то чекает
JS
проблема не в определении, говорю же, а в том, чтоб правильно определить соотвествует ли хаскельная функция ему
в Liquid Haskell есть целых 2 определителя — про полноту и тотальность
MK
@A64m_qb0 мы всё ещё ждем определение частичности и определение что такое функция в хаскеле, которыми ты пользуешься
AA
@A64m_qb0 мы всё ещё ждем определение частичности и определение что такое функция в хаскеле, которыми ты пользуешься
я же сказал, пользуюсь общепринятым
VD
Смотрите, зануды затравили новичков и теперь принялись за других зануд :D
MK
я же сказал, пользуюсь общепринятым
озвучь его
JS
@A64m_qb0 мы всё ещё ждем определение частичности и определение что такое функция в хаскеле, которыми ты пользуешься
у него было "все частичные"
YS
Смотрите, зануды затравили новичков и теперь принялись за других зануд :D
"Если зануда травит зануду, это не значит, что он любит травить зануд, это значит, что временно закончились новички"
YS
Отсылка к Чаку Норрису
AV
А двавайте у нас появится HasCallStack на всех функциях, которые явно вызывают state или зацикливаются, а потом продолжим?