LINUX.ORG.RU
ФорумTalks

Зачем вообще нужно функциональное программирование?


0

1

И так, вот уже сколько лет прошло с момента выхода первых версий Haskell. И что мы в итоге имеем?

  • XMonad - тайловое поделие для красноглазиков. В силу ущербности языка, для добавления элементарных фишек фреймовых оконных менеджеров нужно переписать ядро;
  • Emacs - тренажер для пианистов от малонужного красноглазого хиппи.
  • Кучка скобочных поделий, не запускающихся без бубна и падающих от каждого чоха
  • Сообщество гиков, мечтающих купить что-нибудь в интернет-магазине, написанном на предмете своего фетиша;
  • Кипы бумаги, имитирующие труды математиков (в реальной жизни без всякого заззрения пишущих на Delphi/Pascal)

Внимание, вопрос - зачем это все нужно, когда есть языки, на которых можно писать полезные для пользователей программы?

★★★

Что, опохмелиться нечем? Эх ты, бедолага...

OldFatMan
()

Emacs - тренажер для пианистов от малонужного красноглазого хиппи.

Бедному емаксу тоже люлей досталось. За что?

gensym ★★
()

Зачем вообще нужно функциональное программирование?

Emacs - тренажер для пианистов от малонужного красноглазого хиппи.

Причем тут Emacs и различные диалекты Lisp? Почти все Lisp'ы мультипарадигменные ЯП, а не функциональные.

resurtm ★★★
()
Ответ на: комментарий от resurtm

Причем тут Emacs и различные диалекты Lisp? Почти все Lisp'ы мультипарадигменные ЯП, а не функциональные.

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

Minoru ★★★
() автор топика

Зачем вообще нужно функциональное программирование?

Пригодится.

>И что мы в итоге имеем?

Axiom

Единственная в мире CAS, способная аналитически взять любой интеграл :3

wolfy
()
Ответ на: комментарий от Pavval

Вот тут и поужинаем.

Не взлетит, ТС слишком жирный.

mopsene ★★★
()
Ответ на: комментарий от Pavval

Да не Computer Algebra Systems — из контекста же ясно, хотя Chinese Academy of Sciencies тоже забористая штука — сплошные завидки.

Evgueni ★★★★★
()
Ответ на: комментарий от wolfy

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

wolfy
()

прям эпидемия какая. Чуть ли не каждый тридцатый пост про одно и то же.

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

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

vvff
()

Это есть оппозиция, которая когда-нибудь захватит власть.

Ginki
()
Ответ на: комментарий от wolfy

ну ложь же, это единственная в мире CAS способная «не взять» интерграл, т.е. доказать, что он не берётся в элементарных функциях.

qnikst ★★★★★
()
Ответ на: комментарий от wolfy

Это смотря каких функций и смотря по каким переменным. Тупой численный счёт интеграллов — это не от хорошей жизни.

Evgueni ★★★★★
()
Ответ на: комментарий от Evgueni

Chinese Academy of Sciencies тоже забористая штука — сплошные завидки.

а я думал, там шарлатоанов полно. Или тому и завидуешь?

vvff
()

программирование

Emacs

Перестанешь путать теплое с мягким - возвращайся.

segfault ★★★★★
()
Ответ на: комментарий от qnikst

А это не то же самое? Решить задачу == найти все решения, или доказать, что их нет.

Ну да, может доказать. Но тогда она его через гамма-функцию разрисует и все будет пучком.

wolfy
()
Ответ на: комментарий от vvff

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

Мне вот честно говоря довольно смешно наблюдать за вершителями судеб «простых пользователей» рассматривающих их как свою кормовую базу. Вы же их рабы.

Evgueni ★★★★★
()

можно писать полезные для пользователей программы

Приложения на чисто функциональных языках не пишутся.

note173 ★★★★★
()
Ответ на: комментарий от quantum-troll

Ещё сервера ёжиков же.

...встроенные в самих ежиков

tailgunner ★★★★★
()
Ответ на: комментарий от wolfy

нет.

axiom может: (1) выдать решение, (2) сказать что его нет, (3) не вычислить т.к. алгоритмы реализованы не до конца. Как видишь, тут есть один «лишний» вариант.

правда в других CAS (2) отсуствует, что является ключевым бонусом axiom.

qnikst ★★★★★
()

Зачем нужна математика, когда есть калькулятор?

Deleted
()
Ответ на: комментарий от vvff

а я думал, там шарлатоанов полно. Или тому и завидуешь?

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

В основном же я их финансированию завидую. В Штатах, Японии и Европе конечно сейчас лучше, местами гораздо. На долго ли? — предсказать не берусь.

Evgueni ★★★★★
()
Ответ на: комментарий от wolfy

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

qnikst ★★★★★
()
Ответ на: комментарий от wolfy

глядишь, они и вопрос с равенством двух выражений решат. Надо не зыбыть багрепорт оформить. Я уверен, что Дейли тут же всё бросит и кинется решать, а во фрикасе на перегонки с ним.

vvff
()
Ответ на: комментарий от gensym

И лиспу досталось. Он норкоман же. И вообще интересно, как у него на лиспе падает, а на C - нет. В CL же вообще ничего не может упасть - там рестарты

different_thing
()

Emacs - тренажер для пианистов от малонужного красноглазого хиппи.

толсто

Внимание, вопрос - зачем это все нужно, когда есть языки, на которых можно писать полезные для пользователей программы?

дай угадаю: пе-хе-пешник?

Komintern ★★★★★
()
Ответ на: комментарий от leave

каким боком лисп до хаскела?

Ну как же, это очевидно. На лиспе написан компилятор спада. К спаду делается сишный интерфейс, а оттуда и до хаскелла рукой подать.

vvff
()

Да знаешь, емакс так криво написан, тоже пытался на летних каникулах понять хаскель по коду емакса, да вот не смог. Явно писал какой-то красноглазый хиппи.

AiFiLTr0 ★★★★★
()

И да, назвать лиспы функциональными - это надо быть альтернативно одаренным. Особенно CL

different_thing
()
Ответ на: комментарий от vvff

Точно, я как-то не подумал в этом направлении совсем.

leave ★★★★★
()
Ответ на: комментарий от Komintern

Нафиг, hunchentoot же есть. Ещё archimag сделал какой-то там RESTAS - типа фреймворк для всяких сайтов/форумов и прочего, который вроде hunchentoot и использует в качестве сервера. Точно не скажу.

different_thing
()
Ответ на: комментарий от different_thing

Странно, он без iolib похоже обошелся. Написал свой велосипед. И там он использует epoll, а в hunchentoot схема тред на соединение. Мне тут объяснили, чем схема в hunchentoot хужее.

Молодец чувак. чо

different_thing
()
Ответ на: комментарий от different_thing

И вообще интересно, как у него на лиспе падает

Про это ему «посоны во дворе рассказали»...

OldFatMan
()

Фу таким толстым быть.

srj ★★
()
Ответ на: комментарий от wolfy

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

Ох ты ж святая дева! Реквестирую линк на подробности.

Manhunt ★★★★★
()

Зачем вообще нужно функциональное программирование?

Лично мне с ним очень удобно - на питоне позволяет писать очень лаконичный код. Но Вам, судя по вопросу, оно и правда не нужно, так что не заморачивайтесь, продолжайте писать на своем любимом вижуал бейсике такие полезные для пользователей екселевые скрипты;-)

AIv ★★★★★
()
Ответ на: комментарий от Manhunt

кстати, на самом деле самый крутой алгоритм нахождения первообразной, который рвет математику и мэпл, отнюдь не алгебраический. Он фактически по таблицам интегрирования. Так что все эти алгоритмы Риша и параллельное интегрирование пользователям не упали совершенно. С аксиомой его видать не сравнивали, потому что в ней лет 12-15 как интегрирование не менялось и не развивалось.

vvff
()

Зачем вообще нужно функциональное программирование?

Чтобы функционально программировать.

power
()
Ответ на: комментарий от vvff

а с каких пор математика и мэпл перестали интегрировать «фактически по таблицам интегрирования»?

qnikst ★★★★★
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.