Побег от Зурга

[geniepro]

Я тут как-то на досуге перевёл статью Мартина Эрвига "Побег от Зурга". В этой статье показывается, как на Хаскелле решаются типичные прологовские задачи поиска с возвратом, и рассказывается, что Хаскелл гораздо проще для студентов, чем Пролог...

Побег от Зурга

Упражнение в логическом программировании

Мартин ЭРВИГSchool of EECS, Oregon State

Comments

[deni_ok]

Здорово! Спасибо.

[geniepro]

Всегда пожалуйста... ;о)

а аааааа

[ex_croco667]

Ну нету, нету, и не может быть в русском языке словоформы "мультипарадигменный"! В русском языке может быть словоформа "мультипарадигмальный". Если сомневаетесь, приведите пример хоть одного слова на "-менный", имеющего более чем два слога в корне. И/или хотя бы один пример слова на "-менный" с корнем иностранного происхождения.

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

Re: а аааааа

[geniepro]

А можно поинтересоваться, где Вы откопали слово "мультипарадигмальный"? Его, как и слова "мультипарадигменный", нет в словарях (в интернете).
Но "мультипарадигменный" хотя бы в википедии употребляется, в отличии от...

"мультипарадигмальный" -- слух режет невообразимо...

Хорошо, пусть рассудит гугл:
"мультипарадигмальный" -- 103 ссылок
"мультипарадигменный" -- 1100 ссылок

Хотя что нам гугл? Яндекс-словари:
"парадигмальный" -- 155 ссылок
"парадигменный" -- 0 ссылок

Ох уж эта парадигма, грамматический пример, система форм одного слова... Какие же у неё самой словоформы?

ЗЫ. Вы знаете, языки имеют тенденцию к изменению со временем... ;о)

Re: а аааааа

[geniepro]

> Если сомневаетесь, приведите пример хоть одного слова на "-менный", имеющего более чем два слога в корне. И/или хотя бы один пример слова на "-менный" с корнем иностранного происхождения.

Вапще-то это некорректная постановка вопроса -- "м" является частью корня "парадигм", а слов с окончанием "-енный" найти можно много... Ну например, "качественный"...

Re: а аааааа

[igde]

>>>хотя бы один пример слова на "-менный" с корнем иностранного происхождения.
форменный

[prince_florizel]

Спасибо! Очень интерсное реешение. А как посмотреть результат (ходы)? Что в main надо вызвыть?

[prince_florizel]

Спасибо! Уже сам справился. Проще можно? Только начинаю на Хаскелле.

Вот первое решение:

main = do

let move1 = solution !! 0
putStrLn ("First solution=" ++ show move1)
getLine

[prince_florizel]

Разобрался! И оба решения ещё проще. ;-)

main = do
putStrLn ("Solutions=" ++ show solution)
getLine

А Вы ещё вот так попробуйте:

[geniepro]

main = sequence_ $ map (putStrLn . unlines . map show) $ map fst solution
на печать выводится все (два) решения:

Right [Buzz,Woody]
Left Buzz
Right [Hamm,Rex]
Left Woody
Right [Buzz,Woody]

Right [Buzz,Woody]
Left Woody
Right [Hamm,Rex]
Left Buzz
Right [Buzz,Woody]

Re: А Вы ещё вот так попробуйте:

[prince_florizel]

Спасибо огромное! Разберу эту волшебную строчку. ;-)

Re: А Вы ещё вот так попробуйте:

[geniepro]

Я там немного переусложнил, лучше так:

main = putStrLn $ unlines $ map (unlines . map show . fst) solution
Очень просто -- берём список результатов solution, каждый элемент которого является списком ходов вправо/влево + конечный положение игрушек, которое нас не интересует (ведь мы итак его знаем, так что берём только ходы по fst), и обрабатываем (map) так, что все ходы преобразуются в текстовый вид (map show). Получившийся список строк сцепляем в одну строку с переносами (unlines), и имеем снова список строк, который также сцепляем по unlines. Полученную строку печатаем (putStrLn)