А
в общем фп тут не поможет
Size: a a a
2021 March 01
SP
поможет офк
А
а вот когда данные из бд уже пришли и их надо как-то обработать, тогда поможет да
p
я понял почему эти обяснения не работают. ты математик. ты выводишь из общего частное. довольно много кодерков наоборот. им надо показать то что они уме умеют и обобщить в единую картину
Да
А
потому что обработку уже можно сделать чистой
p
я бы сказал мне удобнее программировать на экспрешенах. без циклов, состояний. вот примерно так
Вот кстати когда нужно состояние удобнее циклами
SP
Вот кстати когда нужно состояние удобнее циклами
когда нужно да. но оно редко нужно просто
SP
реже чем его юзают
SP
в этом проблема
А
Правда почти во всех языках ты сам следишь где у тебя чистое, а где у тебя грязное прямо как за типами в языках с динамической типизацией. В хаскеле например и его родственниках наличие или отсуствие сайдэффектов указано в системе типов.
SP
Правда почти во всех языках ты сам следишь где у тебя чистое, а где у тебя грязное прямо как за типами в языках с динамической типизацией. В хаскеле например и его родственниках наличие или отсуствие сайдэффектов указано в системе типов.
а вы начинаете понимать типы
А
а вы начинаете понимать типы
нет
А
я и не преставал их понимать
SP
тогда я погорячился
p
Суть в том, что
(a mul b) и (c mul d) мы можем вычислять независимо, например, параллельно.Это не объясняет зачем это надо, до сих пор.
SP
типы это просто перенос информации о коде в сам код
s
Это не объясняет зачем это надо, до сих пор.
То есть быстрые вычисления не нужны?
SP
есть кстати более практичная штука на эту тему https://wiki.haskell.org/Correctness_of_short_cut_fusion
А
типы это просто перенос информации о коде в сам код
ага, и эта иформация почти всегда неполная
SP
ага, и эта иформация почти всегда неполная
а зачем вам полная