ФЯП

> P.S. И есть ли у этой байды перспективы?

Смотря где.

> Расскажите про ФЯП

Это круто :)

> И есть ли у этой байды перспективы?

Умереть не умрет, но массово использоваться не будет.

ps просто взгляд реалиста

У нас в универе был предмет Prolog - правда, преподавательница его сама не понимала до конца :( Вещь любопытная, но пока реализуешь привычные алгоритмы на нем, сломаешь весь мозг. Достаточно взглянуть на реализацию quicksort на прологе ;)

> Расскажите про ФЯП

Кстати, как ты расшифровуешь эту аббревеатуру? Может ФП или ФЯ лучше?

функциональные языки программирования?

>Умереть не умрет, но массово использоваться не будет.

Тоже самое говорили о питоне и других зверушках несколько лет назад.

> функциональные языки программирования?

хм :)

Говорите, что знаете - им все равно в одном котле вариться.

> Тоже самое говорили о питоне и других зверушках несколько лет назад.

Ну у пайтона только синтаксис слегка необычен, а тут другая парадигма, сознание надо менять.

ps 2anonymous да да, я уже записался на прием

И железо ковать новое

> Говорите, что знаете - им все равно в одном котле вариться.

Честно не понял что ты хотел сказать :)

Так все-таки какие задачи на них решаются лучше?

> Достаточно взглянуть на реализацию quicksort на прологе ;)

А зачем это делать на нём? Чисто из спортивного интереса?

> Ну у пайтона только синтаксис слегка необычен, а тут другая парадигма, сознание надо менять.

не менять, а расширять. проще говоря - накуриться перед программингом :)

>А зачем это делать на нём? Чисто из спортивного интереса?

Нам на зачет задали реализовать сортировку на нем. Естественно, сам никто написать не сумел (учитывая то, КАК нам преподавали сий предмет), вот я в тырнете и нашел. Пытался понять quicksort на прологе, да не вышло. Сдавал merge sort - там хоть понятнее ;)

http://upload.wikimedia.org/wikibooks/ru/c/c2/2_1.jpg

http://upload.wikimedia.org/wikibooks/ru/f/ff/2_2.jpg

http://upload.wikimedia.org/wikibooks/ru/c/cf/2_3.jpg

Зато на Хаскеле быстрая сортировка -- лепота:

qsort [] = []
qsort (x:xs) = qsort (filter (< x) xs) ++ [x] ++ qsort (filter (>= x) xs)

> Так все-таки какие задачи на них решаются лучше?

Ну вообще говоря апологеты ФП утверждают что любые задачи, кроме тех которые императивны по своей природе...

http://www.softcraft.ru/paradigm/fp/whyfp.shtml

http://www.softcraft.ru/paradigm/fp/whynotfp.shtml

Только я не уверен, что в данном случае это будет _быстрая_ сортировка)

http://rsdn.ru/Forum/Info/FAQ.declprog.funclang.aspx

Может кто-нибудь потестит?

http://rsdn.ru/article/funcprog/fp.xml?print

Лепота конечно лепота, только уж больно неэффективно... =)

> Вещь любопытная, но пока реализуешь привычные алгоритмы на нем, сломаешь весь мозг

А не надо на нем реализовывать привычные алгоритмы. На нем надо реализовывать только то, что на привычных языках сделать нельзя или можно, но слишком сложно.

А вам шашечки или ехать? =)

> А вам шашечки или ехать? =)

Вот, кстати, с функциональными языками ответ будет шашечки :)

Так, конечно, сразу Пролог не понять. Для начала надо понять предикативную логику, дизъюнкты Хорна etc.

А с каких пор пролог стал ФЯП???? Это язык логического программирования.

1) Нет, это не поделие. 2) Фишка - в более мощных абстракциях, в большей безопасности программирования. 3) Есть, раз уж Эриксон разработал свой ФЯ, а Майкрософт - как минимум, два.

>Тоже самое говорили о питоне и других зверушках несколько лет назад.

Петон не умер. Но массово используется только в специализированной с математическим уклоном школе для синих детей №1995. На нем там пишут проги для составления расписания дежурств по классу

>А с каких пор пролог стал ФЯП???? Это язык логического программирования.

Для меня функциональные и логические из одной оперы - декларативные...

>а Майкрософт - как минимум, два.

Х.ня, какие два. Двадцать, а то и все тридцать. И даже интернет был секретным проектом Microsoft, тока злобные фитишисты надомники военные выкрали его и продали Советам. А от них он уже утек в интернет

>Есть, раз уж Эриксон разработал свой ФЯ, а Майкрософт - как минимум, два.

MSовцы знаменитые велосипедасты. Видимо Баллмер увидел у кого-то и сказал "дайте две!"

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

>а Майкрософт - как минимум, два

VBScript и J++?

я знал!

:-D

>Вот, кстати, с функциональными языками ответ будет шашечки :)

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

F# и чо-нить еще.

> Вот, кстати, с функциональными языками ответ будет шашечки :)

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

Так шашечки -- это и есть выразительность.

И Haskell.

>Так шашечки -- это и есть выразительность.

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

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

в толках недавно была занимательнейшая ссылка на sql.ru, сходи почитай :)

Различие будет недетское. Вышеприведенный код на Haskell хорош для объяснения студентам самой концепции quick sort. Он плох как реализация quicksort-а. Хотя бы тем плох, что поворотным элементом всегда выбирается первый, что во многих случаях просто очень глупо. Если же на Хаскелле написать полноценную, серьезную реализацию quicksort-а, то получится не менее нечитабельная мешанина, чем на C++.

извините, но вы рассуждаете как быдло ;)

> извините, но вы рассуждаете как быдло ;)

и вас туда же любезнейший :)

> > извините, но вы рассуждаете как быдло ;)

> и вас туда же любезнейший :)

какие все вежливые, аж противно :D

особенно, если учесть, что qsort на C++ переходит в пузырьковую
сортировку при малом кол-ве элементов в массиве/списке, так что qsort на хаскелле очень неэфективен :((.

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

т.е. ФЯ подходят далеко не всем и не всегда(банальная истина :) )

ЗЫ - изучать хаскель не прошу :))

s/не прошу/не брошу/

- прямо по фрейду оговорочка ))

>Различие будет недетское. Вышеприведенный код на Haskell хорош для объяснения студентам самой концепции quick sort. Он плох как реализация quicksort-а. Хотя бы тем плох, что поворотным элементом всегда выбирается первый, что во многих случаях просто очень глупо. Если же на Хаскелле написать полноценную, серьезную реализацию quicksort-а, то получится не менее нечитабельная мешанина, чем на C++.

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

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

может просто другой подход к написанию пока не кажется тривиальным и незапутанным, я тож почитав флейм недавний на sql.ru решил этим языком заняться, правда пока никуда не применял, но примеры кода на нем выглядят впечатляюще, так что доучу точно, в крайнем случае можно будет на форуме умничать:)