I
Здесь нет демагогии, здесь есть полное непонимание того, что есть ФП с твоей стороны.
А что такое фп?
Size: a a a
2020 April 20
DS
А что такое фп?
Стиль написания программ в полностью ссылочно-прозрачном виде.
DS
Т.е. программа написана так, что вызов каждой функции можно заменить на возвращаемое ей значение без измнения поведения программы.
I
Стиль написания программ в полностью ссылочно-прозрачном виде.
Те если написать всю программу внутри IO монады, это фп?
А на кложуре можно в фп?
А на кложуре можно в фп?
(
бля а вот кстати
(
Те если написать всю программу внутри IO монады, это фп?
А на кложуре можно в фп?
А на кложуре можно в фп?
как на кложуре будет выглядеть вот это?
fun jopa(): Int {
println(3)
return 3
}DS
Те если написать всю программу внутри IO монады, это фп?
А на кложуре можно в фп?
А на кложуре можно в фп?
1. Да, потому что свойство ссылочной прозрачности при работе с IO монадой полностью сохраняется.
2. Да, практически на любом современном языке можно, вопрос в том, насколько он к этому распологает из коробки. На кложуре можно попробовать, скорее всего выйдет.
На расте особо не выйдет или будет очень больно из-за местных проблем с фукнциями, замыканиями и т.п.
2. Да, практически на любом современном языке можно, вопрос в том, насколько он к этому распологает из коробки. На кложуре можно попробовать, скорее всего выйдет.
На расте особо не выйдет или будет очень больно из-за местных проблем с фукнциями, замыканиями и т.п.
DS
Точнее IO - и нужно для того, чтобы сохранить ссылочную прозрачность в присутствии побочных эффектов.
DS
Если ты пишешь в ссылочно-прозрачном стиле, то какой-то аналог IO на каком-то этапе точно возникнет
DS
Как способ привести работу с побочными эффектами к ссылочно-прозрачному стилю
QH
ёпт, что за «ссылочно-прозрачный»? Наполовину ссылочный, наполовину прозначный?
DS
как на кложуре будет выглядеть вот это?
fun jopa(): Int {
println(3)
return 3
}Т.е. вот это хороший пример не ссылочно-прозрачной функции, потому что при её замене на возвращаемое ей значение, поведение программы изменится
DE
ёпт, что за «ссылочно-прозрачный»? Наполовину ссылочный, наполовину прозначный?
тебя опять пытаются разъебать умными словами
QH
тебя опять пытаются разъебать умными словами
та нет, я сразу увидел неконструктив и сбежал)
DE
Т.е. вот это хороший пример не ссылочно-прозрачной функции, потому что при её замене на возвращаемое ей значение, поведение программы изменится
т.е ссылочно-прозрачная функция = чистая функция?
DE
нахуя миллион новых терминов
QH
Т.е. вот это хороший пример не ссылочно-прозрачной функции, потому что при её замене на возвращаемое ей значение, поведение программы изменится
аффтар, поясни, что такое «ссылочная функция» и «прозрачная функция» для начала
I
как на кложуре будет выглядеть вот это?
fun jopa(): Int {
println(3)
return 3
}(defn jopa []
(println 3)
3)
DS
аффтар, поясни, что такое «ссылочная функция» и «прозрачная функция» для начала
Есть такой термин: ссылочная прозрачность.
(
т.е ссылочно-прозрачная функция = чистая функция?
ссылочно-прозрачная функция это необязательно чистая функция