Функциональные языки

DonDublon3 · 30-08-10 21:06:47

Граждане!

У кого есть опыт работы с этим чудом, выскажитесь плиз.

Это действительно круто, как об этом говорят, или все-таки больше понт?

Уважаемые те, кто не работал с ФЯ - большая просьба, не флудить. Копипаста также не интересует, хочется послушать тех, кто реально это дело щупал.

Linfan · 24-09-10 14:53:58

DonDublon3 пишет:

Это действительно круто, как об этом говорят, или все-таки больше понт?

В Питоне элементы функционального кодинга порой позволяют резко сократить объем кода и сделать его более читабельным. Но написание большого приложения полностью на ФЯ требует полного переключения сознания на стиль ФЯ. Говорить о том, что ФЯ типа silver bullet - думаю глупо, т.к. ООП для сложных архитектур ИМХО более приемлема.

Отредактировано Linfan (24-09-10 14:54:47)

petrun · 24-09-10 15:53:10

В двух словах.Местами чистый ФЯ в разы удобнее.Писать лексеры - одно удовольствие.
А вот если программа занимается активным и сложно структурированным вводом-выводом это ад.
Потому что, сколько ты не устаривай слой монадического ввода-вывода все равно какая-нибудь мерзкая зависмость от глобального состояния вылезет.

Дестер · 30-09-11 16:08:12

Тема интересная, так что повторю вопрос DonDublon3'a.

DonDublon3 пишет:

У кого есть опыт работы с этим чудом, выскажитесь плиз.

Babusha · 30-09-11 16:31:19

На функциональщине денег не заработает, изучается очень трудно, один язык не похож на другой (как с явы можно легко перейти на шарп), отсутствуют нормальные среды разработки, нету нормальных библиотек, и еще раз, очень трудно изучается, так как в хаскеле a = a + a не совсем тоже самое, что и в шарпе, это рекурсивный вызов функции, в общем - закопать и не нужно. А если очень хочется функциональщины, используем руби:

((double = -> x { (x*x) };) print(double.(10)))

Mazzy · 02-10-11 00:37:46

Babusha пишет:

отсутствуют нормальные среды разработки

=
Нету Вижуал Студии

Luca · 02-10-11 00:46:26

Как я понимаю функциональные языки проще в том плане, что у них спецификация в разы меньше? Если не ошибаюсь полное описание Хаскеля занимает всего 100 страниц. Только компенсируется это тем, что нужно иметь строго математическую манеру мышления чтобы понимать их лексику.

Я правильно понимаю?

MOP3E · 02-10-11 08:22:15

Babusha пишет:

30-09-11 17:03:54 SemyonKozakov пишет:
Babusha, утихомирься! Сам же знаешь, чем подобное для тебя в прошлый раз кончилось. Бан на три дня. Прошу тебя за этот срок обдумать, нужно ли подобным образом засорять ветки форума.

Да успокойся ты уже, в этом посте нет троллинга.

Дестер · 02-10-11 09:24:01

Mazzy пишет:

Нету Вижуал Студии

Вы будете смеяться, но есть. F#, например.

Tiphon · 02-10-11 09:32:41

Дестер пишет:

Вы будете смеяться, но есть. F#, например.

F#, сука, забавный (с). Имея полную интеграцию с плюшками .NET, например, он может работать полностью под silverlight или, что еще забавнее, WPF.

Возможностью такой интеграции (нативного использования прямо из языка) с такого рода средствами ни один другой функциональный язык в мире в данный момент времени похвастаться не может...

petrun · 02-10-11 11:43:24

Tiphon
Вот только F#, как и ML, не чистый ФЯ.

Tiphon · 03-10-11 00:04:59

petrun пишет:

Вот только F#, как и ML, не чистый ФЯ.

Ты борешься за чистоту расы?))

Babusha · 03-10-11 13:33:00

Mazzy пишет:

=
Нету Вижуал Студии

F# есть.

Добавлено спустя 10 ч 13 мин 49 с:
nesteruk.wordpress.com/2011/02/05/are-f … an-csharp/

Babusha · 09-10-11 15:06:09

exception LexerException of string
let lexer_token_safe lexbuf =
    try Lexer.token lexbuf
    with Failure s -> raise (LexerException s)
 
let render tmppath finalpath tree =
    let outtex = Util.mapjoin Texutil.render_tex tree in
    let md5 = Digest.to_hex (Digest.string outtex) in
    begin
        let mathml = Mathml.render tree
        and html = Html.render tree
        in print_string (match (html,!Html.conservativeness,mathml) with
         None,_,None -> "+" ^ md5 
         | Some h,Html.CONSERVATIVE,None -> "c" ^ md5 ^ h
         | Some h,Html.MODERATE,None -> "m" ^ md5 ^ h
         | Some h,Html.LIBERAL,None -> "l" ^ md5 ^ h
         | Some h,Html.CONSERVATIVE,Some m -> "C" ^ md5 ^ h ^ "\000" ^ m
         | Some h,Html.MODERATE,Some m -> "M" ^ md5 ^ h ^ "\000" ^ m
         | Some h,Html.LIBERAL,Some m -> "L" ^ md5 ^ h ^ "\000" ^ m
         | None,_,Some m -> "X" ^ md5 ^ m
        );
        Render.render tmppath finalpath outtex md5
    end

Код на функциональном языке. ВООБЩЕ НИХЕРА непонятно, как на _ЭТОМ_ вообще можно писать? Глаза сломаешь просто, вот по этому, F#, в основе которого OCaml и загибается из за ненужности. Перл и мой бенифак просто героем выразительности, чистоты синтаксиса и понятности кажется!

Отредактировано Luca (09-10-11 17:25:14)

Дестер · 09-10-11 16:31:20

Babusha пишет:

Ебать код на функциональном дерьме, пиздец, ВООБЩЕ НИХУЯ непонятно

Перепиши на руби, тогда и говори.

Babusha · 09-10-11 16:43:06

Дестер пишет:

Перепиши на руби, тогда и говори.

Как я могу это переписать, если я не могу разобрать этого говнокод?

Дестер · 09-10-11 19:49:22

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

Babusha · 09-10-11 20:23:56

Дестер пишет:

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

Из за огромного порога вхождения из за глупого синтаксиса, основанного на фанатическом "функциональном" стиле, который якобы наиболее близкий к математике. К примеру, моим первым языком был Си (ну я его знал совсем поверхностно), потом я выучил руби, после этого я без затруднений понимал PHP, Perl, Python, Java, C# и куча еще, как видишь, я когда взялся за C# совсем крепко, решив писать компилятор и виртуальную машину для бреинфака, он мне дается очень просто, а все мои знания основаны на простом синтаксисе руби и си. Я так смогу изучать просто функциональный язык?

Отредактировано Babusha (09-10-11 20:44:05)

MOP3E · 09-10-11 21:11:58

Дестер пишет:

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

Поддержу предыдущего оратора. В "стандартных" ЯП синтаксис команд как можно сильнее приближен к разговорному языку. А в функциональных получается, извините, хрень. Я, конечно, понимаю что таким образом экономятся сотни строк "ненужного" кода, но всё это идёт в ущерб читаемости этого самого кода. Современные же IDE позволяют не обращать внимание на "многабукафф", так как во всех них есть автоподстановка как единичных команд, так и целых стандартных блоков кода. А эффективность оптимизации исполняемого кода уже давно зависит не от программиста, а от компилятора.

spoilt · 09-10-11 22:10:47

Babusha пишет:

Из за огромного порога вхождения

Неправда ваша. Моим первым самостоятельно изученным языком был Scheme (классический ФЯ с мозгоразрывным синтаксисом). Выучил на вполне неплохом уровне за полтора-два месяца попутно с пинанием баклуш на форумах.

Babusha пишет:

из за глупого синтаксиса

Чем же он так туп?

Babusha пишет:

я выучил руби, после этого я без затружднений понимал PHP, Perl, Python, Java, C# и куча еще

На уровне реализации "Hello World"? В этом нет особой заслуги. Чтобы понимать язык чуть глубже, нужно вникнуть в его тонкости. Можете проверить и портануть какой-нибудь ваш код с руби на жабу ту же. Узнаете много нового.

MOP3E пишет:

А в функциональных получается, извините, хрень.

Мне после начала изучения Python и Java все больше и больше нравится синтаксис Scheme. Он красив. В нем подход к любому оператору всегда унифицирован и выглядит как вызов функции. В то время как в других языках городится целое скопище синтаксических конструкций. Да и с практикой синтаксис любьго языка будет понятен.

Babusha · 09-10-11 22:16:59

spoilt пишет:

Неправда ваша. Моим первым самостоятельно изученным языком был Scheme (классический ФЯ с мозгоразрывным синтаксисом). Выучил на вполне неплохом уровне за полтора-два месяца попутно с пинанием баклуш на форумах.

Вот по этому ФЯ и хуита, мне C# реально учить даже не пришлось, пошел как будто я его всю жизнь знаю, клянусь, так и было!

spoilt пишет:

Чем же он так туп?

Ну как в хачзсцкеле fun = fun + fun это рекурсивный вызов функции, очень непривычно, неправда ли?

spoilt пишет:

На уровне реализации "Hello World"? В этом нет особой заслуги. Чтобы понимать язык чуть глубже, нужно вникнуть в его тонкости. Можете проверить и портануть какой-нибудь ваш код с руби на жабу ту же. Узнаете много нового.

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

spoilt пишет:

Мне после начала изучения Python и Java все больше и больше нравится синтаксис Scheme. Он красив. В нем подход к любому оператору всегда унифицирован и выглядит как вызов функции. В то время как в других языках городится целое скопище синтаксических конструкций. Да и с практикой синтаксис любьго языка будет понятен.

Просто ради интереса, покажи реальный пример кода где ФП и включая Scheme будет круче чем тот же код на Ruby & C# ?

spoilt · 09-10-11 22:33:42

Babusha пишет:

Ну как в хачзсцкеле fun = fun + fun это рекурсивный вызов функции, очень непривычно, неправда ли?

Обычная тонкость языка. В каждом языке есть что-то свое, иначе они были бы как две капли воды, не?

Babusha пишет:

Просто ради интереса, покажи реальный пример кода где ФП и включая Scheme будет круче чем тот же код на Ruby & C# ?

Что значит круче? Реальные примеры в сети есть.

Babusha · 09-10-11 22:44:03

spoilt пишет:

Обычная тонкость языка. В каждом языке есть что-то свое, иначе они были бы как две капли воды, не?

Согласен, но оно нужно?

spoilt пишет:

Что значит круче? Реальные примеры в сети есть.

Или примеры кода или до свидания.

spoilt · 09-10-11 23:28:17

Babusha, сам найдешь, следующий.

Babusha · 09-10-11 23:32:42

spoilt пишет:

Babusha, сам найдешь, следующий.

ФП слился, уря!

Хотя

(* 10 20 30 40)

выглядит няшно.

Отредактировано Babusha (09-10-11 23:33:15)

Форум StopLinux

Объявление

#1 30-08-10 21:06:47

Функциональные языки

#2 24-09-10 14:53:58

Re: Функциональные языки

#3 24-09-10 15:53:10

Re: Функциональные языки

#4 30-09-11 16:08:12

Re: Функциональные языки

#5 30-09-11 16:31:19

Re: Функциональные языки

#6 02-10-11 00:37:46

Re: Функциональные языки

#7 02-10-11 00:46:26

Re: Функциональные языки

#8 02-10-11 08:22:15

Re: Функциональные языки

#9 02-10-11 09:24:01

Re: Функциональные языки

#10 02-10-11 09:32:41

Re: Функциональные языки

#11 02-10-11 11:43:24

Re: Функциональные языки

#12 03-10-11 00:04:59

Re: Функциональные языки

#13 03-10-11 13:33:00

Re: Функциональные языки

#14 09-10-11 15:06:09

Re: Функциональные языки

#15 09-10-11 16:31:20

Re: Функциональные языки

#16 09-10-11 16:43:06

Re: Функциональные языки

#17 09-10-11 19:49:22

Re: Функциональные языки

#18 09-10-11 20:23:56

Re: Функциональные языки

#19 09-10-11 21:11:58

Re: Функциональные языки

#20 09-10-11 22:10:47

Re: Функциональные языки

#21 09-10-11 22:16:59

Re: Функциональные языки

#22 09-10-11 22:33:42

Re: Функциональные языки

#23 09-10-11 22:44:03

Re: Функциональные языки

#24 09-10-11 23:28:17

Re: Функциональные языки

#25 09-10-11 23:32:42

Re: Функциональные языки

Подвал форума