Это toy-example.hs: {-# LANGUAGE ImpredicativeTypes #-} import Control.Arrow data From = From (forall a. Arrow a => a Int Char -> a [Int] String) data Fine = Fine (forall a. Arrow a => a Int Char -> a () String) data Broken =...

Недавняя активность в блоге Haskell 1 вдохновила меня попробовать свои силы в написании Forth-подобного DSL на Haskell. Подход, который я выбрал, одновременно прост и запутан: {-# LANGUAGE TypeOperators, RankNTypes, ImpredicativeTypes #-} -- a...

Мне нужно реализовать общий стек для того, над чем я работаю. Этот стек должен содержать элементы разных типов. Например, (1, 'c', True, "Strings"). Поддерживаемые функции: top, pop и push. Кортежи - самая естественная идея для этого. push x...