Появился ещё один отчёт о трёхдневном соревновании ICFPC-08.
Сама задача заключалась в дистанционном управлении роботом-ровером, посланным с Земли на Марс -- модная тема. Нужно было привести робот на базу, не упав в кратер (ровер разобьётся) и не попавшись в лапы злобных марсиан, которые принесут робота в жертву своему богу (ох уж эти религиозные фанатики, даже на Марсе от них нет покоя :о)...

Хорошо известный в узких кругах рускоязычных функциональщиков Дмитрий Астапов aka Adept , как и раньше, описал, что делала его команда эти три дня.
Работали они на Хаскелле, затронули вопросы не только управления роботом в нелёгких условиях, но также и вопросы построения и отладки необходимого ПО на функциональном языке...

In Soviet Union, the rover moons you! -- отчет о ICFPC'08, часть 1
часть 2
часть 3

Ответ на »сообщение 4318« (Илья Ермаков)
___________________________

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

Проблемно-ориентированные языки -- это DSL, как я понял?
Функциональные языки, хоть Лисп, хоть Хаскелл, прекрасно зарекомендовали себя в области реализации DSL'ей...


Кроме того, системы, построенные на базе языков программирования типа lisp и ему подобных, практически не поддаются диагностике.

Опять же, какие языки авторы называют подобными лиспу? Лисп -- это мета-язык, язык, на основе которого можно построить любой нужный вам язык, любой проблемно-ориентированный язык... Некоторые сравнивают в этом плане форт с лиспом, но, имхо, это слишком натянутые сравнения. Боюсь, с лиспом в этом плане мало какой язык может сравниться, ну разве что какой-нибудь Немерле...

Опыта диагностики ошибок в программах на Лиспе я сам не имею (хотя дебаггер в DrScheme очень прост в использовании, как мне показалось). Ещё надо дождаться второго местного лиспера -- Lisp Hobbyist'а... ;о)


Этот факт известен как проблема lisp-отладчика, т. е. проблема не существования алгоритма (способа) узнать, почему некоторая программа ведет себя именно таким образом, иначе как проделав в точности те же действия и в той же последовательности. Некоторые возможности решения этой проблемы предусматриваемые в lisp-подобных языках типа ML и Miranda ситуацию кардинально не изменяют.

Эта фраза опять же вызывает вопросы...

Вообще, упоминание в этой статье таких давно вымерших языков, как ML и Miranda, наводит на подозрение, что и сама статья писалась в древности, когда ещё не было того же Хаскелла, т.е. где-то конец 80х, начало 90х годов (Хаскелл сам появился как раз в то время, но был относительно малоизвестен, особенно у нас)...

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

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

Ответ на »сообщение 4319« (Jack Of Shadows)
___________________________

>>> ML лиспоподобный язык ??? Либо они укурились? либо ML в глаза не видели.

Ага, а коммерческая Миранда -- непосредственный предшественник бесплатного Хаскелла.
Называть ML и Миранду лиспоподобными... Ну, может быть они это имели в иносказательном смысле? Типа -- необычные языки функционального семейства?
Хотя ML и Miranda отличаются от лиспа не только синтаксически, но и семантически. Непонятно, что они хотели сказать...

Ответ на »сообщение 4318« (Илья Ермаков)
___________________________
Что имели в виду авторы из выдранного куска понять невозможно. А читать весь их труд у меня нет никакого желания.
Что они имеют в виду под "получая от такой системы не удовлетворяющие нас решения" ? Ошибку или непонятный результат ?
Если ошибку, то в лиспе есть очень мощный отладчик и трассировщик. Я им пользуюсь, всю необходимую мне информацию по всему стеку вызова функций получаю.
Если непонятный результат, то тут помочь могут только логические языки типа пролога, которые автоматически выдают диагностику. У лиспа по сравнению с теми же языками семейства паскалей здесь есть преимущество, поскольку пролог в лисп встраивается очень легко. Например оба коммерческих лиспа Аллегро и Лиспворкс имеют встроенный пролог. А для бесплатных лиспов есть открытый же пролог.

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

А вот эта их фраза: Некоторые возможности решения этой проблемы предусматриваемые в lisp-подобных языках типа ML и Miranda ситуацию кардинально не изменяют.
заставляет вообще усомниться в профпригодности авторов. ML лиспоподобный язык ??? Либо они укурились? либо ML в глаза не видели.

Приветствую уважаемых функциональщиков, да избегнут их на тернистых дорогах коварные побочные эффекты :-)

Скажите пожалуйста, о чём идёт речь в следующем абзаце, что авторы имеют в виду:


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

Кроме того, системы, построенные на базе языков программирования типа lisp и ему подобных, практически не поддаются диагностике. Иначе говоря, получая от такой системы не удовлетворяющие нас решения, мы не имеем гарантированной возможности заставить систему сообщить нам, почему, по какой причине и внутри какой из составляющих ее программ зародилась нежелательная ситуация.

Этот факт известен как проблема lisp-отладчика, т. е. проблема не существования алгоритма (способа) узнать, почему некоторая программа ведет себя именно таким образом, иначе как проделав в точности те же действия и в той же последовательности. Некоторые возможности решения этой проблемы предусматриваемые в lisp-подобных языках типа ML и Miranda ситуацию кардинально не изменяют.

Текст: http://www.polyakov.com/informodynamics/chast2_glava5.html
(Лачинов, Поляков "Информодинамика" http://www.polyakov.com/informodynamics).

Ответ на »сообщение 4316« (Geniepro)
___________________________
Хехе, однако как они на Скале то завязли. У меня кстати такое же впечатление от языка осталось. Java с налепленными поверху, безо всякого плана, "на свякий случай" фичами из фп.
Результат - жутко большой, громоздкий и сложный механизм, в котором одно и тоже можно сделать множеством совершенно разных способов. Ну как PL/1

А вот один из коментариев весьма порадовал:
200 erlang + 300 cl = выход на траекторию, подруливание, объезжание кратеров и убегание от марсиан.

ICFPC 2008 закончился, результаты будут известны через несколько месяцев, а пока появились первые впечатления наших от конкурса.

Полное разочарование от языка Scala:

Мы надеялись, что она окажется "старой доброй джавой, где иногда можно перейти на старый добрый хаскелл", но она оказалась мегамиксом из огромного количества фич - как если бы Simon Peython-Jones сошел с ума и написал свой Перл.

Ответ на »сообщение 4314« (Geniepro)
___________________________

Это персонаж из "Властелина колец", как я понял...
Не совсем. Это из других сказаний о Средиземье ;-)

Ответ на »сообщение 4313« (Geniepro)
___________________________

Разные варианты этого же текста на разных языках:
http://search.cpan.org/src/AUDREYT/Perl6-Pugs-6.2.13/docs/other/earendil_translations
Это персонаж из "Властелина колец", как я понял...

Ковырялся в исходниках PUGS (интерпретатор Perl6, написанный на Хаскелле; автор Одри Танг, в девичестве (до перемены пола) -- Атриджус).
Совершенно случайно наткнулся на такой вот кусок в главном файле Main.hs:

{-|
    The Main REPL loop.

>  Но сpок настал, и новый челн
>  В даp получил Эаpендил:
>  Избpали Эльфы для него
>  Хpусталь эльфийский и мифpил;
>  Его венчал живой огонь,
>  Огонь бессмеpтный - Сильмаpилл,
>  Подаpок светлой Элбеpет

-}

Что оне имели в виду? 8-О Одри знает русский??? Круто... ;о)