Функциональное програмирование , Что за зверь такой

[applegame]

Цитата OpenGL @ 25.04.16, 12:03

Негативно поахал, или как в той цитате про Ламборджини в деревне?

Как в той цитате.

Добавлено 25.04.16, 12:14
Вот моя темка о ФП - Сломать шаблон

[settler]

Цитата applegame @ 25.04.16, 11:08

Когда я задался таким же вопросом, то просто пошел и прочитал Learn You a Haskell for Great Good!, после чего немного поахал-поохал и пошел работать на тракторе.

Бегло просмотрел напоминает логические языки типа пролога, с примесями embeded sql.
У меня у одного такое ощущение,? Ну и разницы с явой-8 лямдами не увидел,
таже дама только с другой прической ,
Ну и пока непонятно что с этим языком делать на практике,

[Flex Ferrum]

Цитата settler @ 25.04.16, 15:41

Цитата applegame @ 25.04.16, 11:08

Когда я задался таким же вопросом, то просто пошел и прочитал Learn You a Haskell for Great Good!, после чего немного поахал-поохал и пошел работать на тракторе.

Бегло просмотрел напоминает логические языки типа пролога, с примесями embeded sql.
У меня у одного такое ощущение,? Ну и разницы с явой-8 лямдами не увидел,
таже дама только с другой прической ,
Ну и пока непонятно что с этим языком делать на практике,

Императивный язык + элементы функционального программирования - это совсем не то же самое, что чистый функциональный язык. И никогда не будет тем же самым. Функциональный подход - это совершенно иной взгляд на структуру программы. На, тот же Haskell и Prolog чем-то похожи, но общего у них - это декларативный подход. В остальном они разные.

[settler]

Цитата Flex Ferrum @ 25.04.16, 16:50

И никогда не будет тем же самым. Функциональный подход - это совершенно иной взгляд на структуру программы.

Это когда нету состояния обьекта, так я под веб пишу лет 10, там тоже нет состояние,
У меня функциональный подход? , Да и где граница между новым подходом и тем что его придумали?
как глобальное потепление

Сообщение отредактировано: settler - 25.04.16, 18:32

[applegame]

Цитата settler @ 25.04.16, 18:31

Это когда нету состояния обьекта, так я под веб пишу лет 10, там тоже нет состояние,
У меня функциональный подход? , Да и где граница между новым подходом и тем что его придумали?
как глобальное потепление

Господи, Сирожа, не неси ерунды. ФП это не только иммутабельность и лямбды. Попробуй написать что-нибудь без циклов и без ветвлений.

[Flex Ferrum]

Цитата applegame @ 25.04.16, 19:05

Цитата settler @ 25.04.16, 18:31

Это когда нету состояния обьекта, так я под веб пишу лет 10, там тоже нет состояние,
У меня функциональный подход? , Да и где граница между новым подходом и тем что его придумали?
как глобальное потепление

Господи, Сирожа, не неси ерунды. ФП это не только иммутабельность и лямбды. Попробуй написать что-нибудь без циклов и без ветвлений.

Вот да. У прожжённого императивщика вроде меня функциональные языки просто взрывают мозг. Два часа программирования - и мозги сворачиваются в трубочку.

[Qraizer]

Пффф. Пять лет шаблонного метапрограмминга без буста, и вуаля.
Ну или пять лет Лиспа, кому как.

[D_KEY]

Цитата Qraizer @ 26.04.16, 01:03

Пффф. Пять лет шаблонного метапрограмминга без буста, и вуаля.
Ну или пять лет Лиспа, кому как.

А на каком языке ты пишешь функциональщину? Мне опыт с шаблонами мало помогает. Я использую scala. Для себя редко играюсь с haskell'ем

[Flex Ferrum]

Цитата D_KEY @ 26.04.16, 03:29

Цитата Qraizer @ 26.04.16, 01:03

Пффф. Пять лет шаблонного метапрограмминга без буста, и вуаля.
Ну или пять лет Лиспа, кому как.

А на каком языке ты пишешь функциональщину? Мне опыт с шаблонами мало помогает. Я использую scala. Для себя редко играюсь с haskell'ем

Мне вот тоже мало помог. Одно дело писать так строго определённую часть программы, совсем другое - всю. В конце концов на шаблонах серьёзная логика не наворачивается.
Правда сейчас, с новым и будущим стандартом и продвинутыми constexpr'ами всё может несколько поменяться.

[settler]

Цитата applegame @ 25.04.16, 19:05

ФП это не только иммутабельность и лямбды. Попробуй написать что-нибудь без циклов и без ветвлений.

А что только ? как ты это понимаешь? , только сам ,без ссылки на гугль или вики,

Добавлено 26.04.16, 11:36

Цитата Flex Ferrum @ 26.04.16, 07:35

Правда сейчас, с новым и будущим стандартом и продвинутыми constexpr'ами всё может несколько поменяться.

Новый стандарт даст возможнось эти самиые шаблоны дебагитровать?
Че за любовь такая к метапрограмигу?
В разработке апликаций шаблоны не очень то и нужны, разве чтоб написать свою инфраструктуру,
тех что есть хватает с головой,

Если пишешь свой компилятор, как Александреску для Фейсбука, тогда шаблоны - мощный инструмент,

Добавлено 26.04.16, 11:39

Цитата D_KEY @ 26.04.16, 03:29

Я использую scala. Для себя редко играюсь с haskell'ем

И много на ней систем крупный видел,? Какие сервера ее поддерживают ?

[Qraizer]

Цитата Flex Ferrum @ 26.04.16, 07:35

Мне вот тоже мало помог. Одно дело писать так строго определённую часть программы, совсем другое - всю. В конце концов на шаблонах серьёзная логика не наворачивается.

Дык речь-то не о программе целиком была, а о "без циклов и ветвлений". Плюс полная иммутабельность на чистых функциях. Сначала жёстко, со временем привыкаешь.
А вообще, и целиком программы тоже были. Детские, конечно, но всё-таки.

Добавлено 26.04.16, 12:17
P.S. А "серьёзная логика" – это какая?

[Flex Ferrum]

Цитата Qraizer @ 26.04.16, 12:16

Цитата Flex Ferrum @ 26.04.16, 07:35

Мне вот тоже мало помог. Одно дело писать так строго определённую часть программы, совсем другое - всю. В конце концов на шаблонах серьёзная логика не наворачивается.

Дык речь-то не о программе целиком была, а о "без циклов и ветвлений". Плюс полная иммутабельность на чистых функциях. Сначала жёстко, со временем привыкаешь.
А вообще, и целиком программы тоже были. Детские, конечно, но всё-таки.

Добавлено 26.04.16, 12:17
P.S. А "серьёзная логика" – это какая?

Ну, я ломал себе мозг парсингом текста и генерацией на базе полученного AST другого текста. Всё это на Haskell.

[Qraizer]

Прикольно. А я – построением Matlab-моделей. Исполнение было, конечно, в рантайм.

[korvin]

Цитата applegame @ 25.04.16, 11:08

На самом деле я планировал свою фразу как беззлобное подтрунивание, но korvin в последнее время какой-то агрессивный стал.

Это всё из-за Джавы и Политики =)

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

Добавлено 28.04.16, 03:28

Цитата settler @ 25.04.16, 15:41

Ну и разницы с явой-8 лямдами не увидел,
таже дама только с другой прической

Функция compose в Хаскелле:

compose :: (a -> b) -> (b -> c) -> a -> c
compose f g = \x -> f (g x)

где запись

\x -> f (g x)

аналогичен Java'вской

x -> f(g(x))

Покажи пример реализации этой функции на Java-8 с лямбдами. Ты можешь попробовать написать что-то вроде

public static <A, B, C> Function<A, C> compose(Function<A, B> f, Function<B, C> g) {
    return x -> f(g(x));
}

но этого будет сильно не достаточно, т.к.
Consumer<T> — это не Function<T, Void>
Supplier<R> — это не Function<Void, R>
BiFunction<T1, T2, R> — это не Function<Pair<T1, T2>, R>
Predicate<T> — это не Function<T, Boolean>
IntBinaryOperator — это не Function<Integer, Integer>
и так далее.

Этих разных типов в java.util.function 21 штука, ЕМНИП. У каждого свои методы, не всегда совместимые друг с другом, поэтому писать обощённый функциональный код для всего этого зоопарка весьма затруднительно.
Всё это подробно описано в статьях, ссылки на которые я давал ранее.

С тем же успехом можно сравнивать ООП в Си и в каком-нибудь SmallTalk'е или Eiffel'е.

Вот ещё про ФП:

https://www.youtube.com/watch?v=E8I19uA-wGY

[korvin]

P.S. Чуть не забыл: ссылки на методы, бросающие статически проверяемые исключения нельзя использовать в Stream API, потому что проверяемые исключения являются частью сигнатуры метода, а методы интерфейсов из java.util.function не бросают проверямые исключения, соответственно не совместимы с ними. Т.е., например, OutputStream.this::write — это не Consumer<byte[]>.