Программистов заносим в Красную Книгу

[nuclight]

Пролетело тут в сендере (читал архивы, чего понаписали за время моего пребывания в Москве). Обращаю внимание, это сеть компьютерного факультета, далеко не самого худшего вуза страны.
Наткнулся тут на несколько строчек описания характеристик языка программирования

Comments

[kouzdra]

Вообще-то говоря - все нормально. Я сам в лет 8 назад потратил некоторое количество усилий на внедрение этого в умы публики. Именно это сейчас и есть программировние.

PS: Хотя некритические восторги по поводу Haskell и полное непонимание откуда у него уши растут - печально. Но все лучше, чем рассуждения о "дизайн паттернах"

[vuohioksennus]

>>Именно это сейчас и есть программировние

А что из более менее известного софта написано на функциональных языках?

[bipbip]

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

[alexott]

СМАП "Дозор-Джет"! :-) Емакс, да и во многих софтах используется подмножества лиспа для выполнения внутренних скриптов. Среди свободного софта много использующих lisp
но основной вопрос не в том, что написано, а в том, что люди эти вещи должны знать - я вот пишу на С++, но в функциональном стиле, так что получается элегантно и коротко

[kouzdra]

Дело не в том, "что написано" (хотя на лиспе много чего написано). Дело в том, что это то, что надо знать. Просто потому, что фактически единственный за последние лет 10 источник новых идей

[potan]

Как раз ленивость можно использовать и без поддержки языка. В отличие от Хиндли - Милнера.

[kouzdra]

Ленивость даже в ML, где кое-какая поддержка есть, содержательно использовать невозможно - получается слишком громоздко и неуправляемо.

А H-M type system c type inference на самом деле в С++/Java/C# присутствует в полный рост, хотя и в изрядно извращенной форме - в виде generics.

[potan]

В ML да, ленивость не очень удобна. По сравнению с обычным порядком вычислений.
А в плюсах не сложно сделать юзабельную ленивость, пользоваться которой не сложнее чем контейнерами.

В С++/Java/C# H-M type system есть в самом языке. А в чистом C ей воспользоваться уже не удасться. В отличии от ленивости.

научи меня, как

[nealar]

Недавно размышлял на тему того, что на асме очень удобно писать управляющие конструкции: стековые вычисления, мультитредность разную, исключения, continuation-passing, и т.д. Кроме ленивости.

Re: научи меня, как

[potan]

Что тебе мешает макросы для создания замыканий и отложенной оценки на асме сделать? ;-)))

Re: научи меня, как

[nealar]

Что такое "создание замыканий"?
Что такое "отложенная оценка"?
Куда на асме пихать управление памятью? Энергичный язык может жить без закадровых махинаций с памятью, ленивый - вряд ли.

Re: научи меня, как

[potan]

Кто тебе мешает вызывать malloc из асма?
Отложенная оценка - что то типа FORCE(eax,value), где value - указатель на структуру с величиной, признаком вычисленности и ссылкой на код вычисления.
Замыкания можно хранить как указатель на функцию и массив аргументов.

Было бы желание, а извратиться всегда можно :-).

Re: научи меня, как

[nealar]

+ ещё мы забыли про сборщик мусора.
Получается очень даже громоздко. Не асмовский стиль. Лучше на другом языке делать.

[potan]

На Haskell в ИТБиВТ написана потактовая модель MIPS-совместимого процессора. И еще несколько моделей устройств попроще.
Еще система статистики по коммитам в subversion - но это совсем мелочевка.

[palm_mute]

> Хотя некритические восторги по поводу Haskell и полное непонимание откуда у него уши растут - печально.
А откуда у него уши растут? У меня есть некоторые соображения на этот счет, но интересно послушать профессионала.

[smee_again]

> некритические восторги по поводу Haskell и полное непонимание откуда у него уши растут - печально

Где можно поподробнее почитать, откуда у него растут ноги?