Даже более. Исключения можно разрешить, они не особо влияют.

И там серьезно оптоволокно в квартиру?

Нет, у меня оптоволокно в подвал, а там уже с коммутатора до квартир 4-жильный провод (8p4c) 100мбит

В процедурном или ООП языке нужно придумывать собственное определение чистой функции. Чистую функцию в функциональном смысле там не построить.

чистая функция == для одних аргументов вернет всегда одно например, функция с мемоизацией (первый вызов 1000с, остальные 0.1с) — "чистая" независимо от ООП или прочей фигни

чистая функция == для одних аргументов вернет всегда одно например, функция с мемоизацией (первый вызов 1000с, остальные 0.1с) — "чистая" независимо от ООП или прочей фигни

здесь ты говоришь о возможности заменить чистую функцию на значение

ага

А если она будет логировать еще?

Мне кажется нужно определить какие сайд эффекты допустимы.

тогда не труъ

логированние не дает заменить функцию на значение

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

сделать "чистое" деление можно десятком способов — div(a, b, whatToDoIfBIsZero); div(a, v): Optional[...], ...

А какой профит это дает в работе?

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

И как твоя функция ведет себя в многопоточном режме?)

И как твоя функция ведет себя в многопоточном режме?)

нормально ведет, почему бы нет надо логгировать — логгируй

А какой профит это дает в работе?

кеширование же

Нет, у меня оптоволокно в подвал, а там уже с коммутатора до квартир 4-жильный провод (8p4c) 100мбит

А меня вот оптоволокном в квартиру заманивают

нормально ведет, почему бы нет надо логгировать — логгируй

Серьезно? Вот логгирование в многопоточном режиме ок отрабатывает?

кеширование же

Что-то не представляю как.

Серьезно? Вот логгирование в многопоточном режиме ок отрабатывает?

честно говоря, я юзаю акку и не парюсь

А меня вот оптоволокном в квартиру заманивают

Ну тоже хорошо наверно

Серьезно? Вот логгирование в многопоточном режиме ок отрабатывает?

Ну конечно, захватил монитор, записал, отпустил ?

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

если она с такими же параметрами уже вызывалась

Ох вейт, захват монитора ?

но тапками не кидайте, я тока первый раз по вене ФП ширнулся

Очи хаскель)

Хаскель рулез.

Чому не лісп?

Помню как в питоновском чатике была хаскель-эпопея около года назад)

хаскель никем серьезным не юзается из-за ленивости по умолчанию это делает невозможным анализ алгоритмов на нем

хаскель никем серьезным не юзается из-за ленивости по умолчанию это делает невозможным анализ алгоритмов на нем

Лень - двигатель прогресса

хаскель никем серьезным не юзается из-за ленивости по умолчанию это делает невозможным анализ алгоритмов на нем

Эм... Смотря что ты хочешь анализировать.

Эм... Смотря что ты хочешь анализировать.

память, время

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

А какой профит это дает в работе?

основное — меньше напряга мозгу меньше вариантов "а чего ещё эта функция может сделать" — проще вьехать в код

основное — меньше напряга мозгу меньше вариантов "а чего ещё эта функция может сделать" — проще вьехать в код

Хм, но ведь любой io не может быть чистый по дефолту

А представить приложение без io как-то не могу

Хм, но ведь любой io не может быть чистый по дефолту

а здесь самое время сломать мозг про монаду IO

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

Нет. Ленивость вообще никаким боком здесь. Алгоритмы как раз на функциональных языках и анализируют.

та ну?

чистые функции в обычном ооп есть смысл использовать?

а здесь самое время сломать мозг про монаду IO

Читал, неюзабельная.

А представить приложение без io как-то не могу

Оттого и лепят в фп вокруг ио костыли

та ну?

Да. А какую модель для алгоритмов ты бы выбрал? Процедурную? Ну удачи.

Мне проще как-то жить с тем io что устоялось

Ленивость-бай-дефолт уже год как выпилили из хаскеля. Или одним ключиком отключается.

Нет. Ленивость вообще никаким боком здесь. Алгоритмы как раз на функциональных языках и анализируют.

"функциональность" перпендикулярна "ленивости", вообще и алгоритмы как раз на джавах-питонах-сях обычно показывают

чистые функции в обычном ооп есть смысл использовать?

Да, если есть возможнось, то делай их чистыми. Читать удобно.

а то я так подумал у меня в коде каждый третий метод может эксепшон выкинуть

"функциональность" перпендикулярна "ленивости", вообще и алгоритмы как раз на джавах-питонах-сях обычно показывают

Да. А ты прав. Ты сам утверждаешь, что ленивость мешает анализировать алгоритмы.

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

"функциональность" перпендикулярна "ленивости", вообще и алгоритмы как раз на джавах-питонах-сях обычно показывают

О да, я посмотрю как ты на сях будешь алгоритм анализировать. Давай.

Мне проще как-то жить с тем io что устоялось

ну вот это как раз тот случай, когда удобнее считать этот метод чистым — оберткой <Result, Error>

О да, я посмотрю как ты на сях будешь алгоритм анализировать. Давай.

почитай книжки, что ли, на эту тему

почитай книжки, что ли, на эту тему

Что посоветуешь?

Что посоветуешь?

я могу посоветовать, но в инете ее можно ток купить

свежак

https://www.manning.com/books/functional-programming-in-java

а, вы уже не про фп(

Или давай проще. Вот дан алгоритм быстрой сортировки. Докажи его завершаемость и то, что он именно сортирует массив, а не делает что-либо другое.

ну вот это как раз тот случай, когда удобнее считать этот метод чистым — оберткой <Result, Error>

что, в общем, можно считать сопоставимым с обычным исключением

https://www.manning.com/books/functional-programming-in-java

Твой лид ее дочитал?

Алгоритм написан на Сях.

Твой лид ее дочитал?

не знаю, но отзывается хорошо

Чет жаба душит покупать.

Ленивость-бай-дефолт уже год как выпилили из хаскеля. Или одним ключиком отключается.

я слышал, что юзают специальный компилятор (не ghc) для энергичных вычислений, и вообще далеко не достаточно "одного ключа"

ERROR: S client not available

Ладно, быстрая сортировка - глупый вариант. Она по индукции доказывается.

Надо взять что-либо по экхотичнее.

Надо взять что-либо по экхотичнее.

глянь того же кормана или кнута, лол, если на экзотику тянет

глянь того же кормана или кнута, лол, если на экзотику тянет

И что я там увижу? Перечисление алгоритмов?

Отлично. Давай самое простое. Вот дан код на сях. Докажи его завершаемость.

анализ алгоритмов, оценки сложности, памяти

В общем случае.

ты сейчас совсем другое просишь

я говорю, что, исторически, большинство алгоритмов и структур данных описываются в императивном стиле

а ты мне про проблему остановки

я говорю, что, исторически, большинство алгоритмов и структур данных описываются в императивном стиле

Рекурсия относится к императивному стилю?

вполне

Думаю, что нет.

ну окей, тогда зачем спрашивать

Хотя да, я не прав.

я слышал, что юзают специальный компилятор (не ghc) для энергичных вычислений, и вообще далеко не достаточно "одного ключа"

https://ghc.haskell.org/trac/ghc/wiki/StrictPragma

Вроде оно, я с телефона, на ходу, не очень удобно ?

https://ghc.haskell.org/trac/ghc/wiki/StrictPragma

может, так и есть, я хаскель активно изучал года два назад

https://www.manning.com/books/functional-programming-in-java

https://www.manning.com/books/functional-programming-in-scala (trollface) у меня где-то есть бумажная, в инете есть бесплатные

мне в жабе больше хочется почитаь

не потому что жаба больше подходит, а потому что мне сложно одновременно ширяться скалой и фп-понятиями

public Try div(int a, int b){ if(b==0) return Try.setError("cant div on zero); else return Try.setResult(a/b); }

это является чистой функицей?

с монадой Try условной

угу

каеф

правда, Try тут совершенно не обязательно быть монадой (и она ею быть не может)

чому не может?

А что делать с out of memory?

смириться

мне в жабе больше хочется почитаь

Тебе чистые функции для чего? Глупо их городить в ООП языке)

я в процессе изучения фп