AL
вот пишу я трейд бота, как «математичски» можно доказать что он рабочий? Это можно только частично проверить на исторических данных
Size: a a a
2018 February 13
DM
Никак
DM
В теории алгоритм можно доказать
DM
Но про функции все равно не понятно
S
С ботом никак. Это не про ЯП
AL
можно пример задачи которую хаскел решает сильно круче чем обычный яп с тестами, при том что на обычном япе скорей всего писать быстрее и дешевле
S
Общий ответ будет примерно такой: в любой задаче, где использование функционального ЯП более удобно/осмысленно. Например, в BigData много удобнее: lazy, pure functions.
AL
ну я работаю со статиской на php, не вижу никаких проблем с биг датой и япом, там проблема скорее в БД чтобы она тащила десятки миллонов записей и кликхаус эту проблему решает
S
Это если структурированные данные. А если нет?
S
Триллион csv
AL
а при чем тут функциональный язык? ну я пойму если там асинхронность и много поточность
AL
точнее даже причем тут математическое доказательство?
AL
от кривого запроса это не застрахует, а вот тест - застрахует
AL
хочется понять киллер фичу хаскела, пока ее не видно )
S
В тестах мы просто проверяем что Add(1+1) == 2 + граничные случаи. В Haskell мы можем проверить на всём множестве значений функции.
S
Это киллер-фича с тз криптографии
S
В остальном он просто функциональный ЯП
AL
так в тесте и так провереяется все множество значений
AL
все возможные кейсы