Потрогать палочкой функциональщину

И в добавок, что кроме SICP почитать? (чтобы не сильно было завязано на конкретном языке).

чтобы хоть с вероятностью 0.0001% я мог бы применить в разработке.

Scala. Она, конечно, не чисто функциональная, зато вероятность применения не нулевая.

Скалу с кложурой заюзай. Будет тебе вся java-инфраструктура искаропки. В разработке применяются.

http://fprog.ru/2009/issue1/alex-ott-literature-overview/

Если будешь ковырять F#, то для начала будет нужна VS2010 (Голый Express подойдёт, на него можно накатить плагин с F#), т.к. в начале будет оч. туго с пониманием вывода типов.

Lisp не функциональный ЯП, хотя там можно писать и в функциональном стиле.

Я соглашусь с tailgunner, бери Scala.

Плюсую за scala. У нас она уже в реально работающих проектах пользуется. Правда пока в виде смеси java и scala кода.

Читай документацию к выбранному тобой языку, так надёжнее и практичнее. А бызовые идеи там везде одинаковы.

Ед. что, простой и понятный разбор идей функций высших порядков я видел в первом томе Мира лиспа. Правда ближе к концу.

Спасибо всем. Добавил в закладки fprog.ru

Ок, сейчас вот реально смотрю таки clojure vs scala. Вроде как, scala выглядит пободрее. Можно в двух словах `pros&cons` для каждого?

С вероятностью 1 применяю CL в разработке. Уже отметились юзающие скалу. Сейчас набегут хаскелиты с питонщиками, и у каждого своя правда.

Попробуй все сам и сделай выбор.

F#

А если не секрет, что Вы делаете с помощью CL?

Если будешь ковырять F#, то для начала будет нужна VS2010 (Голый Express подойдёт, на него можно накатить плагин с F#), т.к. в начале будет оч. туго с пониманием вывода типов.

Старьё, бери F# 3.0

Ох, а оно реально нужно? Или там таки уже ввели атрибут для обязательности хвостовой рекурсии (это ед. чего реально иногда не хватало).

Scala более классический ЯП, эдакий C#, только более функциональный. Собственно можно писать в ООП или ФП стиле в зависимости от потребностей.

Clojure лиспобразный и функциональный ЯП. Лисповость даёт макросы, а функциональщина - простоту паралелизма без косяков с изменяемыми состояниями. Но за это приходися платить большим порогом вхождения. Т.е. на Scala ты сможешь писать код через 3-4 часа, а на Clojure чераз пару дней (имеется в виду код для решения конкретных простых задачек по 1-2к строк кода).

Спасибо. Ну, что ж. Тогда стартану со Scala, а если дело пойдет, то потом и на Clojure погляжу.

http://fprog.ru/2009/issue1/alex-ott-literature-overview/

Спасибо за ссылочку!

C# или даже C++. Там вполне достаточно элементов функциональщины. Больше не надо.

На фоне последних тем про всякие там лиспы и хаскелли возникло желание тоже стать «крутым»

Попса, уже не модно.

а теперь добавь fprog.ru/planet — агрегатор русскоязычных блогов по функциональщине

теперь читай programming in scala одерского и/или beginning scala поллака. ну и числа так 18 на курсере начнется курс по скале.

Scala более классический ЯП, эдакий C#, только более функциональный.

Тогда уж и Scala нифига не функциональная, но позволяет писать в функциональном стиле.

Автору. Если занимаешься вебом, то я бы выбирал между clojure и Scala, причем clojure концептуально чище и ближе к ФП. Если десктопными приложениями, то между F# и Common Lisp (LispWorks / Allegro CL). Если теориями, то Haskell. Еще может быть полезен Ocaml перед тем, как приступить к изучению Haskell.

в своем блоге отт постоянно исправляет этот список, добавляя всякие новые книги.

Ох, а оно реально нужно? Или там таки уже ввели атрибут для обязательности хвостовой рекурсии (это ед. чего реально иногда не хватало).

type Конечно = member val X = 0 with get, set //hallelujah

чтобы хоть с вероятностью 0.0001 я мог бы применить в разработке

Да забей.

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

Agda 2.

Или там таки уже ввели атрибут для обязательности хвостовой рекурсии (это ед. чего реально иногда не хватало).

Это я не понимаю, что значит «для обязательности хвостовой рекурсии» ?

А если не секрет, что Вы делаете с помощью CL?

В последнее время это компиляторы/трансляторы, а вообще по-разному. Иногда использую ECL в качестве встраиваемого скриптового языка.

А вот за ссылку на курсеру вообще большое данке!

Scheme. И забудьте о SICP, в таком случае, читайте Sketchy Scheme, к примеру.

мог бы применить в разработке

J

[tailrec]
let rec foo x = ...

Типа такого, чтобы компилятор выдавал error если не удалось развернуть рекурсию в foo.

И ради этого ставить 3й F#? Имхо, бредово, особенно если учесть, что в ООП стиле писать легче на C#, разбавляя его модулями из F# (и не нужно никаких классов писать на F#, в крайнем случае - расширить шарповый класс).

В последнее время это компиляторы/трансляторы

Всегда умиляюсь таким заявлениям. Такое впечатление, что люди пишут по компилятору в месяц %)

Единственное, ради чего вроде стоит поставить 3й F# - провайдеры. Но я в них не особо копался, поэтому хз с чем их едят.

И ради этого ставить 3й F#? Имхо, бредово, особенно если учесть, что в ООП стиле писать легче на C#, разбавляя его модулями из F# (и не нужно никаких классов писать на F#, в крайнем случае - расширить шарповый класс).

не только ради этого, но F# позволяет писать ООП код, у меня нет предрассудков по этому поводу и желания для каждого класса цеплять C# проект нет тоже.

Всегда умиляюсь таким заявлениям.

Ну так ты известный лошок.

Такое впечатление, что люди пишут по компилятору в месяц %)

Поддержка одного большого компилятора - задача долгая. Наше местное поделие на C++ еще много человеколет сожрет. Платформа развивается, новые алгоритмы оптимизации появляются, да и язык меняется, хоть и медленно.

Кроме того, многие пишут компиляторы DSL (знаю, что опять дебилка про вавилон затявкает, ну да кого мнение дебилки-то волнует). А их действительно можно клепать по парочке в неделю.

Единственное, ради чего вроде стоит поставить 3й F# - провайдеры. Но я в них не особо копался, поэтому хз с чем их едят.

Действительно единственное из-за чего стоит его не ставить - это отказ руководства в обновлении студии, но я надеюсь, что это временный барьер.

Ну так ты известный лошок

Не, ну уж про кого-нибудь, но про tailgunner ты явно не в тему.

Не, ну уж про кого-нибудь, но про tailgunner ты явно не в тему.

Да ну? Он последние десять (!!!) лет не меняется. Умнее не становится. Уже столько лет даже ocaml освоить не осиливает. Лошок и есть. Лу-у-у-узер!

Ну так ты известный лошок.

Я ждал тебя :)

Кроме того, многие пишут компиляторы DSL [...] их действительно можно клепать по парочке в неделю.

И компиляторы арифметических выражений.

ну да кого мнение дебилки-то волнует

Вполне очевидно, что мое мнение тебя волнует %)

И компиляторы арифметических выражений.

Я тебе уже говорил про типичные компилируемые DSL, используемые внутри компиляторов. Тот же Datalog, например (ты только тупо поржал, гы-гы-гы, потому что ты, очевидно, дебил). Да хотя бы на Tablegen в LLVM посмотри, дебил.

Еще может быть полезен Ocaml перед тем, как приступить к изучению Haskell.

Почему?

Если теориями, то Haskell.

И снова вопрос, почему?

Я тебе уже говорил

Мой же сосед, говорит, что пять женщин

За день имеет, а сам долгожитель,

Старше меня лет на десять, не меньше"...

- «А кто Вам мешает? И Вы говорите».

Тот же Datalog, например (ты только тупо поржал, гы-гы-гы

А вот здесь ты лжешь.

А вот здесь ты лжешь.

Сява, ты опупел. Искать мне пруфлинк лениво, но дело было именно так.

Сява, ты опупел.

Обиделся штоле?

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

Пруфов от тебя никто и не ждал.

P.S. Был рад тебя видеть, продолжим срач в другом месте и другом времени.

Я трогал Haskell. Говорят, что он хорош. Чтобы потрогать лучше всего брать что-то популярное, но с не сильно упоротыми фанатами.

В разработке никак не применял. Но ту же Scala можно применить только если JVM.

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

И забудьте о SICP, в таком случае, читайте Sketchy Scheme, к примеру.

Вкратце, чем хороша?

Кстати, твоя неспособность отвечать за базар тоже за десять лет не изменилась. Такое же тупое ничтожество, как всегда!

Всегда умиляюсь таким заявлениям. Такое впечатление, что люди пишут по компилятору в месяц %)

Не понял, чему ты умиляешься.

Не понял, чему ты умиляешься.

Девальвации термина «компилятор».

Простая для новичка книжка о схеме (не умаляю крутости SICP, но он — не учебник по языку), в которой язык рассматривается во всей полноте.

Девальвации термина «компилятор».

«Компилятор» может использоваться как в смысле «продукт» (ГЦЦ, например), так и в более широком смысле решения задач обработки языков. «Продукты» каждый месяц я и правда не выпускаю.