Haskell предоставляет стандартный класс типов «Альтернативный», который эффективно предоставляет оператор <|> для любого типа, который также является аппликативным. Насколько я понимаю, альтернатива считается моноидом для аппликативных,...

В предыдущем сообщении пользователь предложил реализацию чисто аппликативного синтаксического анализатора для Haskell (исходный код из здесь ). Ниже приведена частичная реализация этого парсера: {-# LANGUAGE Rank2Types #-} import...

Категория множеств является как декартовой моноидальной, так и кокартовой моноидальной. Типы канонических изоморфизмов, свидетельствующих об этих двух моноидальных структурах, перечислены ниже: type x + y = Either x y type x × y = (x, y) data...