мож я чего не понимаю, но в скала-мире дофига объектов с конструктором, состоянием и методами

Чистый — без сайд эффектов Императивщина не может быть чистой Функциональщина может себе позволить, но строго говоря не обязана

можно для дураков, почему императивный не может быть чистым?

я не вижу ни одной причины для справедливости этого утверждения..

можно для дураков, почему императивный не может быть чистым?

Ну если под "императивным" понимается программа как последовательность шагов, то состояния ты никак не передашь между шагами

не понял

Смотри

Допустим, ты можешь объявлять переменные

var a = 4 print a var a = 5 print a Вот собственно значение а (и других переменных, а так же состояния вывода) и есть твой стейт, и у там сайд эффекты

Более простой пример print 10 print 11 Собственно тут уже куча сайд эффектов в терминал

main = main

Нельзя просто взять и мемоизировать значение print

Каждый раз print нужно исполнить, потому что сайд эффекты

@faerytea а могу не делать print

вроде меня никто делать его не обязывает

ничто не мешает в императивном языке использовать чистые функции (кроме как для io, очевидно) и использовать изменяемое состояние по минимуму Собственно это уже считается нормой

так же как императивность не обозначает, что я могу изменить значение a

вообще-то ни императивный ни функциональный язык в практике не может быть чистым

вообще-то ни императивный ни функциональный язык в практике не может быть чистым

именно

императивность обозначает что я пишу последовательность инструкций, которые компилятор исполнит

хаскель только в хаскель репорте чистый

в отличии от функционального, где я строю граф, который *как-то* будет редуцироваться

@faerytea а могу не делать print

У тебя есть программа, это тупо список A1, A2, A3 примитивных команд. Если ты не изменяешь значения, то не можешь даже условный цикл сделать. Разве непонятно?

Попробуй написать факториал на своём недоязыке

вот у меня программа на си, компилируется в SSA форму

у меня там есть циклы и нету изменений переменных

учитывая существование этой формы мне непонятно почему я не могу написать условный цикл

так же мне непонятно почему в императивной форме я не могу написать настолько же чистую функцию, как я могу написать на haskell

и почему у и меня не может быть ссылочной прозрачности

Ок, напиши сумму чисел от нуля до n

так же мне непонятно почему в императивной форме я не могу написать настолько же чистую функцию, как я могу написать на haskell

Потому что в хаскеле есть лямбда!

и?

Ок, напиши сумму чисел от нуля до n

В cpp?

что мне мешает иметь функцию в императивном языке (специально сейчас не пишу лямбда чтобы не вдаваться в дальшейшие споры)?

Лямбда даёт возможность создать эффект

do + State монада это разве не императивно?

Потому что в хаскеле есть лямбда!

а в си есть поинтер на функцию

Потому что это уже примесь фп. Императивщина эьо тьюринг-машин

фп убивает императивность?

учитывая что lambda calculus и MT выражаются друг через друга я не понимаю этот агрумент

если у тебя есть MT, то есть LC; если есть LC то есть MT

фп убивает императивность?

в идеале это совмещение лучшего из обоих миров

Так Покажите мне сейчас современный язык без элементов функциональщины, кроме Go

учитывая что lambda calculus и MT выражаются друг через друга я не понимаю этот агрумент

Ну конечно. МТ на входе имеет целый континуум значений, а лямбда только счётное число

Так Покажите мне сейчас современный язык без элементов функциональщины, кроме Go

так в го есть анонимные функции, это все что нужно

Так Покажите мне сейчас современный язык без элементов функциональщины, кроме Go

Даже в cpp есть итераторы, лямбды и прочий фарш

Но вообще суть спора изначально другая была

Вопрос шёл о возможности чистого императивного программирования

lf

я и не вижу причин почему оно невозможно

Правильный ответ: не умея лямбды чистоту не построить

все ещё

так в го есть анонимные функции, это все что нужно

в го можно писать в функциональном стиле, но это такая жопа (с рефлексией и прочими радостями жизни), что лучше забудь

Так Покажите мне сейчас современный язык без элементов функциональщины, кроме Go

D мб

у меня могут быть функции без сайд эффектов с ссылочной целостностью

я и не вижу причин почему оно невозможно

Потому что ты называешь чистый функуциональный язык императивным

я уже выше написал, что я называю императивным, а что функциональным

в го можно писать в функциональном стиле, но это такая жопа (с рефлексией и прочими радостями жизни), что лучше забудь

в го все "жопа" на самом деле

Вопрос шёл о возможности чистого императивного программирования

что такое чистое императивное программирование Это как "экологически чистый вулкан"

в го все "жопа" на самом деле

неа )

я уже выше написал, что я называю императивным, а что функциональным

Alexander Vershilov: императивность обозначает что я пишу последовательность инструкций, которые компилятор исполнит.

Потому что ты называешь чистый функуциональный язык императивным

императивность настолько же чиста насколько и функциональное программирование

што

Любой чистый функциональный язык с call-by-value в твоём определении императивный

вот возьмем ats

(потому что эта мера не имеет смысла)

Хаскель не даёт последовательности потому что он ЛЕНИВЫЙ

ML даёт последовательность инструкций

Можно сделать чистый ML, но он будет всё равно чистым функциональным языком.

не будет он чистым

Даже идрис даёт последовательность. Идрис ИМПЕРАТИВНЫЙ?

Открытие века

@marblegarden имеет в виду что нам всё равно придётся сделать io, а он не может быть чистым просто потому что так мир устроен

да все проще

но зато мы можешь всё inpure загнать под коврик монад и сделать что вид что всё ок

IO делать не нужно

@marblegarden имеет в виду что нам всё равно придётся сделать io, а он не может быть чистым просто потому что так мир устроен

google linear types

пока твоя редукция происходит бинарник проводит очень много действий над памятью

IO делать не нужно

ну это уже терминальный случай когда мы хотим например квартиру погреть от процессора

пока твоя редукция происходит бинарник проводит очень много действий над памятью

или компилятор

google linear types

Причём тут линейные типы? Это вообще другая степь