p
чистый != ФП. ФП это про отсутсвие мутабельного состояния. про ссылочно прозрачные функции это самовыдумка.
Size: a a a
2020 May 15
p
ссылочно прозрачные функции это следствие из ФП, но не причина.
p
любой ФП код ссылочно прозрачный. но не любой ссылочно прозрачный код - ФП
DS
ссылочно прозрачные функции это следствие из ФП, но не причина.
Ну вот опять мне это пытается говорить человек, который почерпнул какие-то мифы из головы, ни разу не писал ни на одном ФП языке
DS
Потрясающе
p
Ну вот опять мне это пытается говорить человек, который почерпнул какие-то мифы из головы, ни разу не писал ни на одном ФП языке
ты вкурсе что сейчас разговор идет про определения?
p
чтобы знать определение слова "торт" не нужно уметь его готовить
DS
ты вкурсе что сейчас разговор идет про определения?
Ну у тебя опредление зря использует термин декларативно:
Т.е. вот это абсолютно верно для всех тех програм с ST, что я скинул выше. Они все состоят из фукнций, скомпоженных вместе, каждая из который возвращает значение.
function definitions are trees of expressions that each return a value, rather than a sequence of imperative statements which change the state of the program or world.
Т.е. вот это абсолютно верно для всех тех програм с ST, что я скинул выше. Они все состоят из фукнций, скомпоженных вместе, каждая из который возвращает значение.
p
Ну у тебя опредление зря использует термин декларативно:
Т.е. вот это абсолютно верно для всех тех програм с ST, что я скинул выше. Они все состоят из фукнций, скомпоженных вместе, каждая из который возвращает значение.
function definitions are trees of expressions that each return a value, rather than a sequence of imperative statements which change the state of the program or world.
Т.е. вот это абсолютно верно для всех тех програм с ST, что я скинул выше. Они все состоят из фукнций, скомпоженных вместе, каждая из который возвращает значение.
неа, у тебя там состояние есть
DS
неа, у тебя там состояние есть
Где?
DS
Там только функции и значения
DS
Там нет стейтментов
p
ref
p
ты его изменяешь
p
Там нет стейтментов
let mut foo = 10;
(1..10).for_each(|i| do_some(&mut foo, i));
здесь тоже только функции)
(1..10).for_each(|i| do_some(&mut foo, i));
здесь тоже только функции)
DS
let mut foo = 10;
(1..10).for_each(|i| do_some(&mut foo, i));
здесь тоже только функции)
(1..10).for_each(|i| do_some(&mut foo, i));
здесь тоже только функции)
Нет, тут стейтмент, let mut foo = 10;
А та хаскель программа без стейтментов же, она вот такая штука:
А та хаскель программа без стейтментов же, она вот такая штука:
newSTRef "hello" >>= (\ref -> readSTRef ref >>= (\x -> writeSTRef ref (x ++ "world") >> readSTRef ref ))
DS
Где newSTRef "hello" - это функции вида: #State s (STRef String)
p
Нет, тут стейтмент, let mut foo = 10;
А та хаскель программа без стейтментов же, она вот такая штука:
А та хаскель программа без стейтментов же, она вот такая штука:
newSTRef "hello" >>= (\ref -> readSTRef ref >>= (\x -> writeSTRef ref (x ++ "world") >> readSTRef ref ))
create_foo().and_then(|mut foo| (1..10).for_each(|i| do_some(&mut foo, i)))а так?)
DS
create_foo().and_then(|mut foo| (1..10).for_each(|i| do_some(&mut foo, i)))а так?)
Нет, из-за того, как for_each устроен, он отдаёт (), то есть то же стейтмент
DS
create_foo().and_then(|mut foo| (1..10).for_each(|i| do_some(&mut foo, i)))а так?)
Т.е. в том коде выше у тебя нет ни одного стейтмента, у тебя только значения, которые ты как-то композируешь вместе