А
а это эпловская хрень какая-то
Size: a a a
2021 March 01
OA
никогда не слышал об этом переворачивателе мира
Айфон был такой
А
ну только вот эппловский objective c пошёл по пути смолтока
SP
а есть пример, как на фп будет выглядеть - открыть бд, исполнить sql?
db = open()
res = db.get('sql')
res = db.get('sql')
H
я понял почему эти обяснения не работают. ты математик. ты выводишь из общего частное. довольно много кодерков наоборот. им надо показать то что они уме умеют и обобщить в единую картину
кодерки в отличие от математиков привыкли мыслить операционно, а не соотношениями. вот в чём проблема, я сам таким же был
EP
db = open()
res = db.get('sql')
res = db.get('sql')
ну с виду мало чем отличается
А
и то сейчас вроде как все самые модные яблочнные пацаны на swift переходят
s
в ООП "все - объект" и то более понятно. Потому что сразу понятно что никакой синтаксис кроме "послать мессаж" не нужен. Но это не сразу объясняет в чем прелесть.
Смотри, вот выражению a
mul (b mul (c mul d)) соответствует такое дерево:mul
a mul
b mul
c d
H
кодерки в отличие от математиков привыкли мыслить операционно, а не соотношениями. вот в чём проблема, я сам таким же был
поэтому мув семантика, вот это всё легко даётся. это операционно
EP
ну с виду мало чем отличается
может, мы и так на фп пишем?
s
Переставив скобки, мы можем получить такое:
mul
mul mul
a b c d
А
ну с виду мало чем отличается
это императивный код с сайдэффектами, он и в чистом хаскеле будет мало чем отличаться
s
То есть
(a mul b) mul (c mul d).SP
это императивный код с сайдэффектами, он и в чистом хаскеле будет мало чем отличаться
нам не важны его сайд эффекты
EP
это императивный код с сайдэффектами, он и в чистом хаскеле будет мало чем отличаться
а в чём идея тогда
s
Суть в том, что
(a mul b) и (c mul d) мы можем вычислять независимо, например, параллельно.SP
а в чём идея тогда
идея в том что с db мы можем делать что хотим и его стейт и поведение не зависит от того в каком месте программы мы с ним чтото делаем.
"не фп" версия бы кидала десяток эксепшенов на тему ой, ты уже кверил и недокверил, ой я не рекавернулась от предыдущего состояния, и тд
"не фп" версия бы кидала десяток эксепшенов на тему ой, ты уже кверил и недокверил, ой я не рекавернулась от предыдущего состояния, и тд
T1
т.е. подход конечно должен быть не революционным как у хаскелля, а эволюционным (скала)
развернёшь мысль?
s
Более того, в случае
a = b = c = d, нам достаточно вычислить лишь один из листов дерева.EP
идея в том что с db мы можем делать что хотим и его стейт и поведение не зависит от того в каком месте программы мы с ним чтото делаем.
"не фп" версия бы кидала десяток эксепшенов на тему ой, ты уже кверил и недокверил, ой я не рекавернулась от предыдущего состояния, и тд
"не фп" версия бы кидала десяток эксепшенов на тему ой, ты уже кверил и недокверил, ой я не рекавернулась от предыдущего состояния, и тд
не понял, бд одна, она и тут может поломаться, и там