VG
вот [Int] -> Int -> Int точно не проверит что элемент есть в массиве, надо тащить пздц типов
Size: a a a
2020 May 08
G
С чего бы блять
ну как ты будешь бесконечное множество списков тестировать?
VG
в итоге тесты я любые могу написать, а на типах мне надо молить создателей языка о всяких зависимых типах
G
вот [Int] -> Int -> Int точно не проверит что элемент есть в массиве, надо тащить пздц типов
ну ок тащи, иначе тебе писать еще больше пздц тестов
G
в итоге тесты я любые могу написать, а на типах мне надо молить создателей языка о всяких зависимых типах
ну естественно
M
А нахуя блять
G
в идрисе вот нету function extensionality
G
и приходится иногда как аксиому хуярить
G
но в принципе ничего страшного
G
житьможно
VG
assertEq(elem([], 5), null) готово проверен случай
G
assertEq(elem([], 5), null) готово проверен случай
ну ты понимаешь что это тесты ни о чем
VG
это тест что проверяет именно мое условие и я могу его на любом языке сделать
M
Хз мне кажется есть 2 адекватные причины писать типы чуть мощней 1 что бы компиль лучше оптимизировал 2 что бы компиль по рукам бил
G
но ты не можешь тест написать который покрывает все случаи что ты тестируешь
G
а на типах можно
M
Нахуя чекать что элемент есть в массиве в сигнатуре функции
M
Это странно что пиздец
G
Нахуя чекать что элемент есть в массиве в сигнатуре функции
> что бы компиль по рукам бил
M
Но блять нахуя тебе выносить код из рантайма в декларацию типа?