AZ
только это дольше
быстрее
Size: a a a
2020 January 09
S
и нереализаемо для большинства задач
G
челик написал на идрисе разворот и доказал что он делает что нужно
О, скинь
G
"Тесты против типов"?
AZ
AZ
и нереализаемо для большинства задач
я говорю в пределе
G
P
define "насущная задача"
"тасочку в джире на qa перевести"
AZ
на хаскелле у тебя будет условно 50 тестов навсю программу
AZ
на питоне для того же покрытия - 5000 тестов
AZ
и вот я нихуя не думаю чо подписать типчики сложнее чем написать 4950 правильных тестов
SP
и вот я нихуя не думаю чо подписать типчики сложнее чем написать 4950 правильных тестов
ты вбрось это в питоночатик
B
челик написал на идрисе разворот и доказал что он делает что нужно
Тю, я думал это хаскель а не Идрис 😳
G
ты вбрось это в питоночатик
О, пришёл наш угнетатель питонистов))
S
define "насущная задача"
1. Данные распарсить и проанализировать
2. Захендлить запросы к апи
3. Отправить бабосики, принять бабосики
4. То, чем занимается 99 процентов формошлеперов и других бузинесов
2. Захендлить запросы к апи
3. Отправить бабосики, принять бабосики
4. То, чем занимается 99 процентов формошлеперов и других бузинесов
S
Понятно, что ты щас скажешь, что у тебя другие насущные задачи
S
И у меня впрочем тоже
S
Но мы смотрим в среднем по больнице
AZ
Тю, я думал это хаскель а не Идрис 😳
идрис это развитие хаскеля по сути. Можно отличить просто тем, что там типы через : пишутся (в хаскеле через ::)
SP
у вас нет чувства когда вы пишете на расте что идете против царя и это в целом постыдно?