«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.»
Порядок вычисления может не быть частью семантики языка. Так же можно сказать, что C++ однозначно задает набор ассемблерных инструкций в которые надо превратить операторы => программировать на C++ все равно, что писать на ассемблере, к тому же последнее естественнее для компьютеров.
Но дело в том, что пишущему на C++ по большей части пофиг на опкоды которые он генерирует, ему главное, чтобы соблюдались какие-то обещания во время выполнения. А будет это 1 инструкция или две других — все равно.
Вы опять говорите о том, как вычисляются функции, а я о том, что они значат. Нам не нужна абстракция параллелящего комипилятора — нам не важно параллельно оно вычислится или последовательно. Нам важно чтобы оно вычислилось. А параллельно или последовательно пускай решает исполнитель.
«Да. Но функциональное программирование так не работает.»
Приведите определение, по которому вы не считаете приведенное функциональным программированием.
Во фразе «ближе к происходящему при исполнении программ в компьютерах» я прочитал низкоуровневость. В том случае, когда сам компьютер по себе не является предметной областью.
«Порядок вычисления просто задаётся всегда явно, через структуру lambda-абстракций. Иначе, никакой бы разницы между foldr и foldl не было бы. „
Конечно задавая зависимости мы в какой-то мере задаем порядок вычисления. Но не полностью (например, теоретически можно вычислить при foldl f z [f1,f2] мы можем вычислить z, f1 и f2 в любом порядке и частично вычислить f по мере готовности аргументов).
Это все равно что заявлять что задание зависимостей в make file это все равно что задание порядка их сборки в командном файле.
Разумеется при каких то конкретных способах описания зависимостей им соответствует ровно один порядок вычисления. Например в языке clean для этого вводят специяльный тип World (состояние мира). Описывая зависимости типа:
НужныйМнеЧайник = ПоставленныйНаПлиту(СНалитойВодой(ПустойЧайник)) мы задаем порядок в котором мы наливаем чайник и ставим на огонь, но можем это и не делать, если нам это не важно.И поддействия внутри каждого из этих действий могут выполняться независимо друг от друга.
foldr и foldl как я понимаю управляют ассоциативностью а не порядком вычисления.
«Допустим, есть та же CSP Чарльза Хоара, в которой вычисления — это процессы, что гораздо, гораздо, несравненно, несравненно ближе к происходящему при исполнении программ в компьютерах. „
«И да, что–то я по сёлам БТРов не замечал, а человечки в основном состояли из крымчан.»
А откуда эти данные? Я так понял, что человечки — спецназ ЧФ РФ вместе с приданными им местными активистами. Техника вся явно новая российская, Путин, вроде сам признал, некоторые ЗЧ проговаривались, что они из РФ
Анне́ксия (лат. annexio, от лат. annexus — присоединённый)[1] — насильственное присоединение государством всего или части территории другого государства в одностороннем порядке[2][3]. В некоторых случаях аннексией считается создание государств с марионеточными правительствами[1]. По международному праву аннексия — один из видов агрессии[4] и в настоящее время влечёт международно-правовую ответственность[5].
Аннексию следует отличать от оккупации, которая сама по себе не влечёт изменения юридической принадлежности территории. Так, например, Босния и Герцеговина, находившаяся под оккупацией Австро-Венгрии с 1878 года, была аннексирована ею только в 1908 году, а до того формально считалась территорией Османской империи.
Тогда я не понимаю зачем если
«Крупный бизнес и без всяких указов в такую ситуацию не полезет. Так что этот указ — это, скорее, просто констатация сложившейся ситуации. А если по-простому, то прикрывают свою задницу: «сами туда полезете — сами будете и расхлёбывать, если что».
»
Вообще даже у нас когда где какая заварушка не запрещают туда ездить, а нерекомендуют. А с Америкарнским индивидуализмом и подавно. Не думаю, что это забота о бизнеменах.
А за что наказывают часть Украины? Я так понимаю, что наказывать можно за какие-то решения. Неправильные с точки зрения наказывающего. Какие решения принимали жители Крыма?
Ну просто смешно, что в качестве примера недостатков приведена ссылка на статью, основной поинт которой — не доверяйте облачным фримиум сервисам из-за ненадежности, при этом в рекламной части статьи предлагается олачный фримиум сервис. :)
Вот из википедии:
«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.»
Порядок вычисления может не быть частью семантики языка. Так же можно сказать, что C++ однозначно задает набор ассемблерных инструкций в которые надо превратить операторы => программировать на C++ все равно, что писать на ассемблере, к тому же последнее естественнее для компьютеров.
Но дело в том, что пишущему на C++ по большей части пофиг на опкоды которые он генерирует, ему главное, чтобы соблюдались какие-то обещания во время выполнения. А будет это 1 инструкция или две других — все равно.
«Да. Но функциональное программирование так не работает.»
Приведите определение, по которому вы не считаете приведенное функциональным программированием.
Конечно задавая зависимости мы в какой-то мере задаем порядок вычисления. Но не полностью (например, теоретически можно вычислить при foldl f z [f1,f2] мы можем вычислить z, f1 и f2 в любом порядке и частично вычислить f по мере готовности аргументов).
Это все равно что заявлять что задание зависимостей в make file это все равно что задание порядка их сборки в командном файле.
Разумеется при каких то конкретных способах описания зависимостей им соответствует ровно один порядок вычисления. Например в языке clean для этого вводят специяльный тип World (состояние мира). Описывая зависимости типа:
НужныйМнеЧайник = ПоставленныйНаПлиту(СНалитойВодой(ПустойЧайник)) мы задаем порядок в котором мы наливаем чайник и ставим на огонь, но можем это и не делать, если нам это не важно.И поддействия внутри каждого из этих действий могут выполняться независимо друг от друга.
foldr и foldl как я понимаю управляют ассоциативностью а не порядком вычисления.
То есть низкоуровневее?
en.wikipedia.org/wiki/Monad_(functional_programming)#History
Авиацию не рассматривали как средство передвижения?
А откуда эти данные? Я так понял, что человечки — спецназ ЧФ РФ вместе с приданными им местными активистами. Техника вся явно новая российская, Путин, вроде сам признал, некоторые ЗЧ проговаривались, что они из РФ
Собственно, как мне кажется, международное право, это временное состояние наблюдающееся при примерно одинаковой длинне стволов.
“Все большие страны ведут себя как бандиты, все малые страны — как проститутки». (С) Бисмарк
По словарю
Анне́ксия (лат. annexio, от лат. annexus — присоединённый)[1] — насильственное присоединение государством всего или части территории другого государства в одностороннем порядке[2][3]. В некоторых случаях аннексией считается создание государств с марионеточными правительствами[1]. По международному праву аннексия — один из видов агрессии[4] и в настоящее время влечёт международно-правовую ответственность[5].
Аннексию следует отличать от оккупации, которая сама по себе не влечёт изменения юридической принадлежности территории. Так, например, Босния и Герцеговина, находившаяся под оккупацией Австро-Венгрии с 1878 года, была аннексирована ею только в 1908 году, а до того формально считалась территорией Османской империи.
«Крупный бизнес и без всяких указов в такую ситуацию не полезет. Так что этот указ — это, скорее, просто констатация сложившейся ситуации. А если по-простому, то прикрывают свою задницу: «сами туда полезете — сами будете и расхлёбывать, если что».
»
По опросам можно ли ссылку в википедии несколько другие цифры даже для опросов которые были до крымского кризиса
Чорт за неправильное мнение по Крыму хабратолпа применила ко мне санкции и я отключен от тега A HREF а так URL безобразный tinyurl.com/pw9md7q