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

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

Date: 2006-04-06 01:08 am (UTC)
From: [identity profile] spamsink.livejournal.com
Изучать-изучать. Другое дело, что для нормального функционального программирования на С++ нужно под него столько инклюдов подложить, что компилятор на машине медленнее 4 ГГц и с памятью меньше 2 Гб будет ползать, как тот пингвин.

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

Date: 2006-04-06 01:45 am (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Хм. А я - топосы. Когда-то ещё возникнет такой топохаскель, чтобы в интуиционистской логике работать. Монадам-то в принципе пофиг дым.

Date: 2006-04-06 07:02 am (UTC)
From: [identity profile] spamsink.livejournal.com
Не люблю я интуиниционистскую логику. То, что не-Х или Х не истинно - я не допускаю. Я вполне интуитивно чувствую, что завтра я точно или умру, или не умру, хотя ни того, ни другого я доказать не могу.

Date: 2006-04-06 05:09 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Применить к суждению двойное отрицание - это как всю ауру отрезать - ну или как у планеты атмосферу, или у частицы поле.

Date: 2006-04-06 05:21 pm (UTC)
From: [identity profile] spamsink.livejournal.com
Это уже не интуиционизм, это какой-то эмоционализм получается.

Date: 2006-04-06 11:15 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Ха. Любопытно, как взгляды различаются. Видишь ли, если посмотреть на двойное отрицание с точки зрения топологии Гротендика, то оно самое и будет. Операция замыкания.

Date: 2006-04-07 12:01 am (UTC)
From: [identity profile] spamsink.livejournal.com
Мне словосочетание "топологии Гротендика" ничего не говорит даже после гуглования.

Date: 2006-04-07 03:28 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Grothendieck Topology" (http://en.wikipedia.org/wiki/Grothendieck_topology)
Правда, написано всё это, как бы это сказать, шуршавым языком гомологической алгебры. Всё проще и интереснее на самом деле.

Date: 2006-04-06 05:40 pm (UTC)
From: [identity profile] ex-ex-annut.livejournal.com
этим фичам в компиляторе окола 5 лет по большому счету
поддождите

Date: 2006-04-06 04:48 am (UTC)
From: [identity profile] yakov-sirotkin.livejournal.com
У С++ всегда была своя область применения!

Date: 2006-04-06 05:27 am (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Как сказал один человек сегодня, си++ - язык универсальный. Хм...

Date: 2006-04-06 07:08 am (UTC)
From: [identity profile] spamsink.livejournal.com
То, что он универсальный - это в нем не главное. Вон, комбинаторная логика тоже универсальная, но поди на ней попиши. Для меня С++ главное то, что на нем можно эффективно реализовать низкоуровневую функциональность и немедленно абстрагироваться от нее.

Date: 2006-04-06 08:42 am (UTC)
From: [identity profile] ex-ex-annut.livejournal.com
"универсальный язык" пишется из пяти символов с возможностью селф-референции (пример Смальяна дан в книжке Манина по логике)
Это отнюдь не значит, что на нем "хорошо программировать"

Date: 2006-04-06 02:56 pm (UTC)
From: [identity profile] spamsink.livejournal.com
В комбинаторных выражениях 4 символа - S, K, и скобки. Вроде это рекорд?

Date: 2006-04-06 05:11 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Я под универсальностью подразумевал универсальность применения "в реальной жизни".

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

Date: 2006-04-06 05:37 pm (UTC)
From: [identity profile] ex-ex-annut.livejournal.com
да, конечно, это был тонкий юмор

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

:)

Date: 2006-04-06 06:22 pm (UTC)
From: [identity profile] ygam.livejournal.com
http://ygam.livejournal.com/49526.html

Date: 2006-04-06 11:22 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Юмор оценил. У меня аналогичный случай был, когда я имел глупость (слабость) в ЛЭТИ в аспирантуру поступать. Меня спросили о разнице между "контекстными и автоматными" языками программирования. Ну у них там в богадельне своя вселенная. Я понёс было о контекстно-свободных и автоматных грамматиках - но они меня не понимали, гвоорят, "слишком абстрактно". Тогда я им, на их уровне. стал рассказывать, как работает бейсик, на примере LET X = (an expression) - говорят, слишком конкретно. Ну, проехали - у них всё равно для меня была готовая оценка запланирована.

Date: 2006-04-06 07:43 pm (UTC)
From: [identity profile] anspa.livejournal.com
Вот-вот. А Джава не умеет сделать ввод с клавиатуры без отображения символов (речь про консольный режим, а не всякие опять же библиотечки и нэйтив компонентс).

Date: 2006-04-06 07:42 am (UTC)
From: [identity profile] polter.livejournal.com
не, ну а чего как что, так сразу С++, мало языков что ли хороших воруг
Вон MLей сколько всяких, лиспов тоже, да хоть Nemerle в .NET и Scala на той же JVM.
Smalltalk и Erlang еще для полного счастья.

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

Date: 2006-04-06 05:13 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
А что Scala? Хороша? Мне она что-то показалась... ну, скажем, тот факт, что все - объекты (и, как я понимаю, объекты одной категории) меня нынче как-то настораживает.

Date: 2006-04-06 08:27 pm (UTC)
From: [identity profile] polter.livejournal.com
Как замена джаве - безусловно хороша :)
Так-то конечно не хаскель - язык для реального мира и реальных пацанов.

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

continuation monad

Date: 2006-04-06 08:45 pm (UTC)
From: [identity profile] polter.livejournal.com
http://scala.epfl.ch/examples/files/callccInterpreter.html
Собссно вот некоторые маленькие радости из жизни чуть менее реальных пацанов

Date: 2006-04-06 08:41 am (UTC)
From: [identity profile] ex-ex-annut.livejournal.com
как вам книжка Абрахамса Гуртового?

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

Date: 2006-04-06 08:57 am (UTC)
From: [identity profile] joesephz.livejournal.com
Жаба, с++ - какая нафиг разница.
Факт простой, на жабе даже чайники могут писать так, что потом можно разобраться. На с++ запутать код легче легкого.
А в наше время, когда космические корабли бороздят просторы большого театра, простота есть жизнь. Когда в небольшой проект затаскивает с десяток библиотек, простота этих библиотек, возможность посмотреть в их код заменяет многое. С++ этим сильно не славится. Посмотришь к инклюды, а там все макросами, темплейтами и все через задницу. И как тут работать...

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

Date: 2006-04-06 03:28 pm (UTC)
From: [identity profile] anspa.livejournal.com
for a change предлагаю выучить ruby.

Date: 2006-04-06 03:29 pm (UTC)
From: [identity profile] anspa.livejournal.com
А вообще я и не знал что уважаемый тов. Ганди - мастер устраивать религиозные споры. :)

Date: 2006-04-06 05:14 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Да мне просто забавно показалось. А религиозные споры поздно устраивать. Бога нет потому что - как выясняется.

Date: 2006-04-06 03:45 pm (UTC)
From: [identity profile] scolar.livejournal.com
Ха. Услышать это от Javaиста - дело обычное, а вот как бы это услышать от людей которые последние 20 лет пишут на ванильном C...

Date: 2006-04-06 05:19 pm (UTC)
From: [identity profile] 109.livejournal.com
C# более функционален, чем С++, если уж на то пошло. делегаты, например.

Date: 2006-04-06 05:39 pm (UTC)
From: [identity profile] ex-ex-annut.livejournal.com
тут человек говорит о большой и универсальной поддерживаемой парадигме
а не отдельных маленьких фичах

Date: 2006-04-06 07:26 pm (UTC)
From: [identity profile] 109.livejournal.com
я говорю о том же. в качестве фейка настоящего функционального языка C# подходит лучше, чем С++.

Date: 2006-04-06 11:18 pm (UTC)
From: [identity profile] ivan-gandhi.livejournal.com
Так в том и цимес ++, что в нём, с помощью темплейтов, макросов, лома и какой-то матери можно всё что угодно сымплементировать.

Date: 2006-04-10 06:01 am (UTC)
From: (Anonymous)
ocaml

Date: 2006-04-14 07:04 pm (UTC)
From: [identity profile] gdy.livejournal.com
http://gdy.livejournal.com/22333.html

Profile

juan_gandhi: (Default)
Juan-Carlos Gandhi

September 2025

S M T W T F S
 1 23456
78910111213
14151617181920
21222324252627
282930    

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Sep. 6th, 2025 03:15 pm
Powered by Dreamwidth Studios