Когда я изучал Haskell, я использовал Hangman в качестве первой программы. Она проста, имеет взаимодействие пользователя и файла, небольшую, но некоторую обработку ошибок и т. Д. Все ваши ученики слышали о ней или могут быстро научиться игре. Думаю, моя программа оказалась на странице кода.
Покопайтесь на http://hackage.haskell.org - там 2200+ библиотек и программ, многие в разделе игры, в частности, разработаны для обучения. Как и этот jpeg-кодер, или этот прекрасный mp3-декодер.
С точки зрения практичности, ядро xmonad лаконично, чисто и используется тысячами людей каждый день.
Это ссылка на Девяносто девять проблем Haskell, основанных на девяноста девяти проблемах пролога. Я не знаю, точно ли это то, что вам нужно, но, возможно, там есть что-то, что вы можете использовать.
Я собираюсь вставить плагин для Star Rover и Freekick, по нескольким причинам:
Удачи, и надеюсь, что это поможет.
xmonad - хорошая идея, как говорили другие, если вы можете продемонстрировать ее им. Кстати, Саймон Пейтон Джонс очень убедительно использовал xmonad в своем учебнике «Вкус Haskell» http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-tutorial /index.htm
Это, конечно, менее наглядно, но я хотел проголосовать за Pandoc - сосредоточившись на невероятно простом центральном модуле,
определение «документа» и демонстрация того, как чистые функции экспортируются «писателями» и «читателями» ( readMarkdown
, writeLatex
и т. Д.) Относятся к нему.
Самый популярный пример, который мне известен, - это оконный менеджер мозаичного типа xmonad . Это реальная программа, которую люди действительно используют, а кодовая база довольно мала и хорошо написана (мне сказали - я не считаю себя способным судить код Haskell большинства людей).