(
Не срача ради, но разве грязная? Это же по сути лямбда получилась, и в случае с лямбдой скоуп который она захватывает это тоже часть функции становится.
вот и я хз. Формализовать мутабельность или не мутабельность вообще тяжко
Size: a a a
2020 April 20
(
вообще грязная, потому что не детерменированная
СГ
а чем определние из вики плохо?
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
но при этом строгого запрета тоже нет, так чтаа...
AN
а чем определние из вики плохо?
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
Потому что это можно сделать без хаскеля. Не ынтыресна
AM
вообще грязная, потому что не детерменированная
И точно не ref transparent, потому что вызов функции на результат нельзя заменить.
AK
но при этом строгого запрета тоже нет, так чтаа...
так что это размытое понятие специально для проведния холиваров и толкования различных трактовок... сосбивенно вот оно и происходит
(
И точно не ref transparent, потому что вызов функции на результат нельзя заменить.
Сча я кое-что гляну и попробую поспорить
ML
а чем определние из вики плохо?
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
In computer science, functional programming is a programming paradigm—a style of building the structure and elements of computer programs—that treats computation as the evaluation of mathematical functions and avoids changing-state and mutable data.
avoids changing-state and mutable data - особенно эта часть, понятно и проста же. ни мутируй
тем что складывается ощущение, что вообще никогда нельзя делать то самое ради чего пишут программы – менять стейт и тем самым создавать сайд-эффекты
(
Опять же, мутабельность оч сложно формализовать
СГ
так что это размытое понятие специально для проведния холиваров и толкования различных трактовок... сосбивенно вот оно и происходит
да не, просто обычно впадание в крайности имеет мало практической ценности
ML
вот и я хз. Формализовать мутабельность или не мутабельность вообще тяжко
заходишь на google scholar и вбиваешь immutability
(
заходишь на google scholar и вбиваешь immutability
А как насчёт mutability?
ML
в одном из пейперов ссылаются на https://link.springer.com/chapter/10.1007/978-3-642-36946-9_9
но оно чёт платное. там прям несколько размерностей иммутабельности приведено
но оно чёт платное. там прям несколько размерностей иммутабельности приведено
(
да не, просто обычно впадание в крайности имеет мало практической ценности
"Крайность" - это демагогический термин
ML
var a = 3
fun rt() = a
функция не ссылочно прозрачная
rt()
a = 4
rt()
СГ
"Крайность" - это демагогический термин
с чего начали, тем и закончим)
ML
а значит, одно из двух условий не выполняется
ML
и она не чистая
(
а значит, одно из двух условий не выполняется
Какие ещё два условия?
СГ
а значит, одно из двух условий не выполняется
а термин "ссылочно прозрачная" к лямбдам вообще применим?