Модераторы: LSD

Поиск:

Ответ в темуСоздание новой темы Создание опроса
> Функциональные языки против традиционных, ML, OCaml, Haskell против С++, Java, C# 
:(
    Опции темы
 
Как, по-вашему, что в итоге будет более востребовано со временем?
Традиционные языки программирования [ 55 ]  [78.57%]
Функциональные языки программирования [ 15 ]  [21.43%]
Всего проголосовавших: 70
В этом опросе возможен один вариант ответа
Гости не могут голосовать 
mr.DUDA
Дата 3.8.2008, 23:16 (ссылка) |    (голосов:2) Загрузка ... Загрузка ... Быстрая цитата Цитата


3D-маньяк
****


Профиль
Группа: Экс. модератор
Сообщений: 8244
Регистрация: 27.7.2003
Где: город-герой Минск

Репутация: 4
Всего: 232



Недавно сломал себе мозг чтением вводной документации по OCaml. Хоть и многие идеи лично мне близки (лямбда-функции, корректный и логичный вывод типов, функции как аргументы функций, замыкание, мега-перекрытие операторов, сокращённая запись), но там настолько кошмарный синтаксис для "традиционно" настроенного программерского мышления, что я решил провести некоторую перепись - как считаете лично вы, что более удобно, перспективно и технологично с точки зрения любых возможных критериев оценки? Для себя ещё не определился, пока что C-подобная ветвь языков кажется более оправданной даже с учётом всё возрастающих по сложности задач. 

Мой критерий оценки: большие затраты на понимание кода не окупаются сокращением времени на его написание. Грубо говоря, не каждый поймёт чужой или даже свой собственный код через полгода будь он написан на С++, а если речь о функциональном ЯП....  smile 

Вопрос сугубо о полезности идеи в перспективе как таковой, т.е. стоит ли переучиваться и ломать свой заработанный на опыте способ мыслить и преобразовывать мысль в исходный код. Наличие либо отсутствие реальных задач под функциональные языки по сравнению с традиционными просьба не учитывать (кроме компиляторов и парсеров, задач коммерческого уровня пока не видно, но время может всё поменять местами - а вдруг традиционные ЯП окажутся не у дел).

Будущее за ML-языками или нет ???


--------------------
user posted image
PM MAIL WWW   Вверх
nickless
Дата 3.8.2008, 23:54 (ссылка) |    (голосов:4) Загрузка ... Загрузка ... Быстрая цитата Цитата


Гентозавр
****


Профиль
Группа: Участник Клуба
Сообщений: 2976
Регистрация: 29.8.2005
Где: Germany

Репутация: 2
Всего: 181



Цитата
Традиционные языки программирования


Имхо со временем все интересные и удобные идеи функциональных языков будут добавлены в традиционные языки (см. питон), возможно в слегка изменённом и/или упрощённом виде, но мейнстримом функциональные не станут, слишком они абстрактные для большинства программистов и неудобные для повседневных задач.


--------------------
user posted image

Real men don't use backups, they post their stuff on a public ftp server and let the rest of the world make copies
- Linus Torvalds
PM MAIL   Вверх
mr.DUDA
Дата 3.8.2008, 23:56 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


3D-маньяк
****


Профиль
Группа: Экс. модератор
Сообщений: 8244
Регистрация: 27.7.2003
Где: город-герой Минск

Репутация: 4
Всего: 232



Да-да, питон... Насчёт питона хотел отдельно тут сказать, но ты опередил: смешанные ЯП не рассматриваем, речь о парадигме программирования (функциональные vs. остальные). Питон будем считать коллаборационистом-шпионом в обоих лагерях smile


--------------------
user posted image
PM MAIL WWW   Вверх
Void
Дата 4.8.2008, 07:37 (ссылка) |   (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


λcat.lolcat
****


Профиль
Группа: Участник Клуба
Сообщений: 2206
Регистрация: 16.11.2004
Где: Zürich

Репутация: 11
Всего: 173



О какая тема smile
Функциональщина в нынешнем виде в массы не пойдёт из-за описанных симптомов мозгового взрыва.
С другой стороны, в следующей версии Visual Studio мы увидим среди основных языков F#, который более походит всё же на OCaml, нежели на C#. Думаю, тогда в сравнительно короткие сроки он побьёт по популярности OCaml и выйдет куда-нибудь во второй-третий десяток рейтинга TIOBE.
Непонятно так же, какие подходы станут мейнстримными в «борьбе» с многоядерностью: Erlang-style, STM, что-то ещё.
В конечном итоге, думаю, востребован открытый ум, готовый ко всяким инновациям.


--------------------
“Coming back to where you started is not the same as never leaving.” — Terry Pratchett
PM MAIL WWW GTalk   Вверх
Mayk
Дата 4.8.2008, 07:42 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


^аВаТаР^ сообщение>>
****


Профиль
Группа: Участник
Сообщений: 2616
Регистрация: 22.5.2005
Где: за границей разум а

Репутация: 2
Всего: 134



Цитата(mr.DUDA @  4.8.2008,  03:56 Найти цитируемый пост)
смешанные ЯП не рассматриваем,

зря. будущее за ними. Да и настоящее уже тоже

Добавлено через 23 секунды
не голосовал, пожалйста.


--------------------
 Здесь был кролик. Но его убили.
Человеки < кроликов, йа считаю.
PM MAIL WWW ICQ   Вверх
mr.DUDA
Дата 4.8.2008, 10:09 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


3D-маньяк
****


Профиль
Группа: Экс. модератор
Сообщений: 8244
Регистрация: 27.7.2003
Где: город-герой Минск

Репутация: 4
Всего: 232



Цитата(Mayk @  4.8.2008,  07:42 Найти цитируемый пост)
зря. будущее за ними. Да и настоящее уже тоже

Если добавить ещё один вариант в голосование, ясное дело кто победит. Поэтому умышленно его пропустил.  smile 


--------------------
user posted image
PM MAIL WWW   Вверх
JackYF
Дата 4.8.2008, 11:47 (ссылка) |    (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


полуавантюрист
****


Профиль
Группа: Участник
Сообщений: 5814
Регистрация: 28.8.2004
Где: страна тысячи озё р

Репутация: 2
Всего: 162



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


--------------------
Пожаловаться на меня как модератора можно здесь.
PM MAIL Jabber   Вверх
kemiisto
Дата 4.8.2008, 18:38 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Дикий Кот. =^.^=
****
Награды: 1



Профиль
Группа: Участник Клуба
Сообщений: 3292
Регистрация: 29.7.2007

Репутация: 3
Всего: 160



Цитата(mr.DUDA @  4.8.2008,  00:16 Найти цитируемый пост)
Недавно сломал себе мозг чтением вводной документации по OCaml.

Аналогично! Только причина "поломки" - Haskell.

Цитата(nickless @  4.8.2008,  00:54 Найти цитируемый пост)
Имхо со временем все интересные и удобные идеи функциональных языков будут добавлены в традиционные языки (см. питон)

Как что, так сразу Python! В C# 3.0 тоже появились некоторые идеи из ФП. smile 

Цитата(Void @  4.8.2008,  08:37 Найти цитируемый пост)
Непонятно так же, какие подходы станут мейнстримными в «борьбе» с многоядерностью: Erlang-style, STM, что-то ещё.

В качестве что-то ещё: Smalltalk + разрешить объекту продолжать свои действия после посылки сообщения и после отправки ответа. 
ConcurentSmalltalk.

Это сообщение отредактировал(а) kemiisto - 4.8.2008, 18:40


--------------------
PM MAIL WWW GTalk Jabber   Вверх
Lazin
Дата 4.8.2008, 18:51 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Эксперт
****


Профиль
Группа: Завсегдатай
Сообщений: 3820
Регистрация: 11.12.2006
Где: paranoid oil empi re

Репутация: 4
Всего: 154



серебряной пули нет
PM MAIL Skype GTalk   Вверх
Shaggie
Дата 4.8.2008, 19:00 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Завсегдатай
Сообщений: 570
Регистрация: 21.12.2006
Где: outer space

Репутация: нет
Всего: 72



Цитата(kemiisto @  4.8.2008,  19:38 Найти цитируемый пост)
причина "поломки" - Haskell.

А когда "въедешь", будешь говорить - просто, просто  smile 


--------------------
Цитата(alina3000 @  6.3.2014,  10:47 Найти цитируемый пост)
Сорри что не по теме 
PM MAIL ICQ GTalk Jabber   Вверх
kemiisto
Дата 4.8.2008, 19:21 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Дикий Кот. =^.^=
****
Награды: 1



Профиль
Группа: Участник Клуба
Сообщений: 3292
Регистрация: 29.7.2007

Репутация: 3
Всего: 160



Цитата(Shaggie @  4.8.2008,  20:00 Найти цитируемый пост)
А когда "въедешь", будешь говорить - просто, просто  smile

Я пытался, пытался - и забил. Сейчас нет, нет, да загляну в Foundations of F#. Там как то попонятней, чем в той книге по которой я "ломал" мозг с помощью Haskell.



--------------------
PM MAIL WWW GTalk Jabber   Вверх
Aristotelb
Дата 4.8.2008, 20:25 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 55
Регистрация: 23.3.2007
Где: Саратов

Репутация: нет
Всего: 5



Цитата(kemiisto @  4.8.2008,  19:21 Найти цитируемый пост)
Там как то попонятней, чем в той книге по которой я "ломал" мозг с помощью Haskell.


Душкин ?       
ИМХО крайне неудачная книга

советую обратить пристальное внимание на CL, по нему есть оч. хорошая литература.
PM MAIL ICQ   Вверх
kemiisto
  Дата 4.8.2008, 20:52 (ссылка)  | (голосов:1) Загрузка ... Загрузка ... Быстрая цитата Цитата


Дикий Кот. =^.^=
****
Награды: 1



Профиль
Группа: Участник Клуба
Сообщений: 3292
Регистрация: 29.7.2007

Репутация: 3
Всего: 160



Цитата(Aristotelb @  4.8.2008,  21:25 Найти цитируемый пост)
Душкин ?

 smile Как Вы угадали?

Цитата(Aristotelb @  4.8.2008,  21:25 Найти цитируемый пост)
советую обратить пристальное внимание на CL, по нему есть оч. хорошая литература.

CL = Common Lisp? 
Aristotelb, а можно ссылочки на хорошую литературу? 
По ФП листал (кроме уже упомянутого Душкина и Robert Pickering):
  • Harold Abelson and Gerald Jay Sussman with Julie Sussman - Structure and Interpretation of Computer Programs в русском переводе. ЯП = Scheme, тяжеловато идёт.
  • John Harrison - Введение в функциональное программирование.  smile

В итоге всё сводится к непониманию исчисления лямбда конверсий (или как его там правильно). По сему два вопроса:
  • это вообще познаваемо?  smile 
  • а нужно ли понимание этой математической теории для того, чтобы писать код на функциональных языках?



--------------------
PM MAIL WWW GTalk Jabber   Вверх
Aristotelb
Дата 4.8.2008, 22:33 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Шустрый
*


Профиль
Группа: Участник
Сообщений: 55
Регистрация: 23.3.2007
Где: Саратов

Репутация: нет
Всего: 5



Цитата(kemiisto @  4.8.2008,  20:52 Найти цитируемый пост)
Как Вы угадали?


на сколько я знаю она единственная по Haskell на русском языке.

по Common Lisp:

"Мир лиспа" Хювяннен и Сеппянен (1990 г) книга хоть и старая, но очень основательная и доступная для понимания (есть в эл. виде)

Practical Common Lisp посовременнее и есть неплохое описание объектной модели CLOS

ну это классика

P.S можно на ты.

PM MAIL ICQ   Вверх
Shaggie
Дата 4.8.2008, 22:52 (ссылка) | (нет голосов) Загрузка ... Загрузка ... Быстрая цитата Цитата


Опытный
**


Профиль
Группа: Завсегдатай
Сообщений: 570
Регистрация: 21.12.2006
Где: outer space

Репутация: нет
Всего: 72



Цитата(kemiisto @  4.8.2008,  21:52 Найти цитируемый пост)
это вообще познаваемо?

Очень даже.

Цитата(kemiisto @  4.8.2008,  21:52 Найти цитируемый пост)
а нужно ли понимание этой математической теории для того, чтобы писать код на функциональных языках?

Желательно... и развитое логическое мышление приветствуется. Но научиться можно всему.

Итак, Haskell. Если есть базовое знание английского - рекомендую Yet Another Haskell Tutorial. Чтение несложное, в конце каждой главы есть практические задания (с решениями на случай полного невтупления; здорово просветляют). Осторожно, там почти мегабайтная пэдээфка, не тыкайте ссылку при нехватке трафика.


--------------------
Цитата(alina3000 @  6.3.2014,  10:47 Найти цитируемый пост)
Сорри что не по теме 
PM MAIL ICQ GTalk Jabber   Вверх
Ответ в темуСоздание новой темы Создание опроса
Правила ведения Религиозных войн
Smartov
1. Уважайте собеседника
2. Собеседник != враг
3. Старайтесь воздерживаться от тем вида "Windows Rulez" или "Linux Rulez"

С уважением, Smartov.

 
1 Пользователей читают эту тему (1 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема | Религиозные войны | Следующая тема »


 




[ Время генерации скрипта: 0.0992 ]   [ Использовано запросов: 23 ]   [ GZIP включён ]


Реклама на сайте     Информационное спонсорство

 
По вопросам размещения рекламы пишите на vladimir(sobaka)vingrad.ru
Отказ от ответственности     Powered by Invision Power Board(R) 1.3 © 2003  IPS, Inc.