1. Как создавать свои собственные монады при помощи техники нанизывания имеющихся монад друг на друга посредством трансформаторов монад?
2. Как строить цикл интерпретации команд, в котором происходит распознавание введённой команды, её выполнение и вывод результатов (REP)?
3. Как в этом цикле «таскать» из функции в функцию изменяемое состояние, не прилагая для этого никаких усилий?
4. Как в любом месте цикла интерпретации бросать исключения и ловить их, обрабатывая красивым образом?
5. Как предоставлять пользователю возможность вводить команды в очень гибком режиме?

N-грамма — непрерывная последовательность из n символов, взятых из заданной большей последовательности тех же символов. Под символами могут пониматься такие объекты, как буквы, фонемы, слоги, морфемы, слова, пары оснований ДНК и другие подобные объекты. Каждой N-грамме приписывается частная вероятность, подсчитанная на основе выборки всех возможных N-грамм из достаточно большого корпуса текстов (под «текстом» здесь понимается соответствующая последовательность объектов — собственно тексты, речь на естественном языке, геном и т. д.).

Даны числа 1, 5, 6 и 7. При помощи произвольного числа арифметических операций и скобок необходимо составить такое математическое выражение из этих чисел, чтобы его значение было равным 21. Данные числа можно использовать в выражении ровно по одному разу. Числа нельзя «склеивать» друг с другом (то есть из 1 и 5 нельзя получать 15 и т. п.).

Крестьянину нужно перевезти через реку волка, козу и капусту. Но лодка такова, что в ней может поместиться только крестьянин, а с ним или один волк, или одна коза, или одна капуста. Но если оставить волка с козой, то волк съест козу, а если оставить козу с капустой, то коза съест капусту. Как перевёз свой груз крестьянин, если известно, что все переправились через реку в целости и сохранности?

Дан индикатор, состоящий из n лампочек, которые могут гореть или не гореть. Дан алфавит из k символов, которые закодированы различными комбинациями горящих и не горящих лампочек на индикаторе. Необходимо определить максимальное число лампочек индикатора p (p <= n) и указать эти лампочки, которые, если и перегорят, то не влияют на однозначное распознавание всех символов алфавита.

Обозначения

• Объекты: α, β, γ, δ ∷ ∗
• Функторы: θ, φ, ψ, ω ∷ ∗ → ∗
• Морфизмы: f, g, h ∷ α → β

Категория с объектом Hask

• Часть 1. Необходимый минимум
• Часть 2. Инструменты цитирования кода

Материализация

$(optimize [d| fib = … |])

fib = $(optimize [| … |])

Облегчённое цитирование имён

f ∷ Exp → Exp
f (App (Var m) e) |  m == 'map  =  …

• 'Foo означает “конструктор данных Foo в контексте выражения”
• 'foo означает “имя foo в контексте выражения”
• ''Foo означает “конструктор типа Foo в контексте типов”
• ''foo означает “переменная типа foo в контексте типов”

• Часть 1. Необходимый минимум
• Часть 3. Прочие аспекты TH

Монада цитирования

Цитирующие скобки

yell file line = fail ($(printf "Error in file %s line %d") file line)

yell file line = fail ((\x1 x2 -> "Error in file "++x1++" line "++show x2) file line)

data T = A Int String | B Integer | C
$(deriveShow ''T)

data T = A Int String | B Integer | C
instance Show T
    show (A x1 x2) = "A "++show x1++" "++show x2
    show (B x1)    = "B "++show x1
    show C         = "C"

1. Как Haskell-код представляется в шаблонах (TH-функциях)
2. Как монада цитирования используется для унификации имён
3. Как сгенерированный TH-код вставляется в программу

Две фундаментальные монадические операции