возрождение реликтового языка

[juan_gandhi]

В 97-м я типа объявил друзьям, под их громкий смех. что си++ - язык прошлого, и писать надо на джаве (тогда это называлось явой).

А вот нынче с некоторым изумлением наблюдаю следующее явление: джава исчерпала себя; ей функциональноле программирование идёт rак корове cедло - а си++ как ни в чем не бывало, разумеется, в руках энтузиастов, постепенно выплывает в новый век - век функционального программирования. Ну и что ж теперь? Си++ обратно изучать? Конечно, лучше Хаскель, но tсть же ещё окружающая реальность.

Comments

[spamsink.livejournal.com]

Изучать-изучать. Другое дело, что для нормального функционального программирования на С++ нужно под него столько инклюдов подложить, что компилятор на машине медленнее 4 ГГц и с памятью меньше 2 Гб будет ползать, как тот пингвин.

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

[ivan-gandhi.livejournal.com]

Хм. А я - топосы. Когда-то ещё возникнет такой топохаскель, чтобы в интуиционистской логике работать. Монадам-то в принципе пофиг дым.

[spamsink.livejournal.com]

Не люблю я интуиниционистскую логику. То, что не-Х или Х не истинно - я не допускаю. Я вполне интуитивно чувствую, что завтра я точно или умру, или не умру, хотя ни того, ни другого я доказать не могу.

[ivan-gandhi.livejournal.com]

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

[spamsink.livejournal.com]

Это уже не интуиционизм, это какой-то эмоционализм получается.

[ivan-gandhi.livejournal.com]

Ха. Любопытно, как взгляды различаются. Видишь ли, если посмотреть на двойное отрицание с точки зрения топологии Гротендика, то оно самое и будет. Операция замыкания.

[spamsink.livejournal.com]

Мне словосочетание "топологии Гротендика" ничего не говорит даже после гуглования.

[ivan-gandhi.livejournal.com]

Grothendieck Topology" (http://en.wikipedia.org/wiki/Grothendieck_topology)
Правда, написано всё это, как бы это сказать, шуршавым языком гомологической алгебры. Всё проще и интереснее на самом деле.

[ex-ex-annut.livejournal.com]

этим фичам в компиляторе окола 5 лет по большому счету
поддождите

[yakov-sirotkin.livejournal.com]

У С++ всегда была своя область применения!

[ivan-gandhi.livejournal.com]

Как сказал один человек сегодня, си++ - язык универсальный. Хм...

[spamsink.livejournal.com]

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

[ex-ex-annut.livejournal.com]

"универсальный язык" пишется из пяти символов с возможностью селф-референции (пример Смальяна дан в книжке Манина по логике)
Это отнюдь не значит, что на нем "хорошо программировать"

[spamsink.livejournal.com]

В комбинаторных выражениях 4 символа - S, K, и скобки. Вроде это рекорд?

[ivan-gandhi.livejournal.com]

Я под универсальностью подразумевал универсальность применения "в реальной жизни".

И вообще-то надо различать модель и теорию. Кабы их мы не различали, так все модели были бы идентичны.

[ex-ex-annut.livejournal.com]

да, конечно, это был тонкий юмор

Какой же С++ универсиальный язык?
Он даже про консоль клавиатуру и монитор ничего не знает.
Вот в бейсике есть "очисть экран" "отлови букву с клавиатуру"
А в в плюсах какие-то абстрактные "потоки" "библиотечки" приходится подключать для такого простого дела

:)

[ygam.livejournal.com]

http://ygam.livejournal.com/49526.html

[ivan-gandhi.livejournal.com]

Юмор оценил. У меня аналогичный случай был, когда я имел глупость (слабость) в ЛЭТИ в аспирантуру поступать. Меня спросили о разнице между "контекстными и автоматными" языками программирования. Ну у них там в богадельне своя вселенная. Я понёс было о контекстно-свободных и автоматных грамматиках - но они меня не понимали, гвоорят, "слишком абстрактно". Тогда я им, на их уровне. стал рассказывать, как работает бейсик, на примере LET X = (an expression) - говорят, слишком конкретно. Ну, проехали - у них всё равно для меня была готовая оценка запланирована.

[anspa.livejournal.com]

Вот-вот. А Джава не умеет сделать ввод с клавиатуры без отображения символов (речь про консольный режим, а не всякие опять же библиотечки и нэйтив компонентс).

[polter.livejournal.com]

не, ну а чего как что, так сразу С++, мало языков что ли хороших воруг
Вон MLей сколько всяких, лиспов тоже, да хоть Nemerle в .NET и Scala на той же JVM.
Smalltalk и Erlang еще для полного счастья.

Ява конечно ужасна. Я кстати в девяностых точно так же всем толкал яву. Даже как-то неловко теперь.
Но как-то не настолько неловко, чтобы самоС++ себе делать.
Да и яве кстати еще расти и расти, чтобы запороть то количество проектов, что С++.

[ivan-gandhi.livejournal.com]

А что Scala? Хороша? Мне она что-то показалась... ну, скажем, тот факт, что все - объекты (и, как я понимаю, объекты одной категории) меня нынче как-то настораживает.

[polter.livejournal.com]

Как замена джаве - безусловно хороша :)
Так-то конечно не хаскель - язык для реального мира и реальных пацанов.

Но вообще там хватает приятных моментов и с типами и с каррингом/ленивостью.
Если что из JVM можно было выжать, Одерский это сделал.

continuation monad

[polter.livejournal.com]

http://scala.epfl.ch/examples/files/callccInterpreter.html
Собссно вот некоторые маленькие радости из жизни чуть менее реальных пацанов

[ex-ex-annut.livejournal.com]

как вам книжка Абрахамса Гуртового?

Надо признать такие приложения как Hibernate дают яве большое преимущество для определенного вида приложений

[joesephz.livejournal.com]

Жаба, с++ - какая нафиг разница.
Факт простой, на жабе даже чайники могут писать так, что потом можно разобраться. На с++ запутать код легче легкого.
А в наше время, когда космические корабли бороздят просторы большого театра, простота есть жизнь. Когда в небольшой проект затаскивает с десяток библиотек, простота этих библиотек, возможность посмотреть в их код заменяет многое. С++ этим сильно не славится. Посмотришь к инклюды, а там все макросами, темплейтами и все через задницу. И как тут работать...

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

[anspa.livejournal.com]

for a change предлагаю выучить ruby.

[anspa.livejournal.com]

А вообще я и не знал что уважаемый тов. Ганди - мастер устраивать религиозные споры. :)

[ivan-gandhi.livejournal.com]

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

[scolar.livejournal.com]

Ха. Услышать это от Javaиста - дело обычное, а вот как бы это услышать от людей которые последние 20 лет пишут на ванильном C...

[109.livejournal.com]

C# более функционален, чем С++, если уж на то пошло. делегаты, например.

[ex-ex-annut.livejournal.com]

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

[109.livejournal.com]

я говорю о том же. в качестве фейка настоящего функционального языка C# подходит лучше, чем С++.

[ivan-gandhi.livejournal.com]

Так в том и цимес ++, что в нём, с помощью темплейтов, макросов, лома и какой-то матери можно всё что угодно сымплементировать.

[(Anonymous)]

ocaml

[gdy.livejournal.com]

http://gdy.livejournal.com/22333.html