Примеры haskell часто не работают

Question

Я новичок в haskell и использую последний GHCi 2011.2.0.1. Одно разочарование, с которым я сталкиваюсь, часто состоит в том, что очень часто примеры в Интернете и книгах (даже с официального сайта haskell.org, например пример-2 из http://www.haskell.org/haskellwiki/State_Monad) не компилируются. И это требует нескольких раундов охоты и размещения вопросов, чтобы выяснить, в чем проблема. Даже некоторые из примеров из книги RWH не работают.

Это проблема с новой версией haskell или платформы haskell? Развиваются ли языки/платформа и нестабильны, или только примеры устарели? В любом случае, что лучший способ для нового ученика найти правильные примеры, чтобы учиться?

В частности, вы можете помочь исправить пример государственной монады, упомянутый выше?

Answer 1

В этом случае проблема заключается в том, что конструктор State был удален в новейшей версии Monad Transformer Library. Если вы замените использование State в определении getNext с state, то программа работает нормально. (Это связано с тем, что State был переопределен как StateT Identity, т. Е. Государственный монадный трансформатор над тождественной монадой, и поэтому отдельный тип данных был удален. Если вы не знаете, что это значит, не беспокойтесь об этом, просто означает, что вы должны заменить Statestate всякий раз, когда вы его видите.)

Большинство проблем с существующими примерами в Интернете или в RWH происходит просто из-за новых версий библиотек. (Я думаю, что основная проблема с примерами RWH заключается в том, что примеры Parsec написаны для Parsec 2, Parsec 3 изменился совсем немного, поэтому, по крайней мере, вам, вероятно, потребуется добавить некоторые импортные товары.)

В целом, Haskell страдает от нехватки актуальных и полезных ресурсов; что страница HaskellWiki просто не поддерживается. (Хотя HaskellWiki действительно является официальным сайтом haskell.org, страницы написаны и поддерживаются пользователями, поэтому только потому, что что-то в вики не обязательно означает, что оно соответствует современному или высокому качеству.)

Релиз Monad Transformer Library, который удалил State, был выпущен в октябре 2010 года, так что обидно, что по-прежнему существует много кода, который не работает с новой версией из-за этого. К счастью, исправление прост.