M
Size: a a a
2020 May 08
G
это же калкулус хуялкулус ловер прекондишщин
G
или как там его
G
короче это круто
M
G
и это тоже типы только рефинмент
VG
а хз, в кложуре из умных слов ток трансдюсеры, других умных слов я там не встречал, там люди работу работают, а не дрочат
G
ну знай что по сути контракты в кложуре это refinement types что тоже типы
VG
ну много чего можно притянуть
VG
прост такая проблема что в кложуре можно такое творить что никакая система типов не опишет
M
Я бы потыкал но сука лиспоподобные скободеревья
M
В хаскеле в этом плане няшнец
VG
а ты седом замени скобки на begin end из луа да и все
G
короче в чем преимущество типов перед тестами:
1) быстрее проверяются
2) проверяют все случаи, в тестах можно много чего не предусмотреть
3) более точно описывают контракты, по сути с мощной системой типов программирование сводится к деланию и всовыванию деталек в правильные дырки, иногда даже делаешь то что IDE говорит, чото написал просто через типы, сам не понимаешь как это работает но это работает кек
1) быстрее проверяются
2) проверяют все случаи, в тестах можно много чего не предусмотреть
3) более точно описывают контракты, по сути с мощной системой типов программирование сводится к деланию и всовыванию деталек в правильные дырки, иногда даже делаешь то что IDE говорит, чото написал просто через типы, сам не понимаешь как это работает но это работает кек
VG
а как типы все случаи проверяют то?
M
Никак
G
что опишешь то и проверяют лол
G
rev (rev xs) = xsG
на тестах такое не написать
M
С чего бы блять