1с-подобный Хаскель

1CPrelude.hs

---------------- Базовое ----------------------
type Число = Int
type Строка = Text
type Строчное = Show
type ИО = IO
type Сравнимое = Eq
type Упорядоченное = Ord

печатать :: Строчное значение => значение -> ИО ()
печатать = print

---------------- Скукоживаемый -----------------
type Скукоживаемый = Foldable

скукожить :: Скукоживаемый контейнер
  => (аккумулятор -> значение -> аккумулятор)
  -> аккумулятор
  -> контейнер значение
  -> аккумулятор
скукожить = foldl

---------------- Волшебный -----------------------
type Волшебный = Functor

превратить :: Волшебный контейнер
  => (староеЗначение -> новоеЗначение)
  -> контейнер староеЗначение
  -> контейнер новоеЗначение
превратить = fmap

----------------- Есть чё? -----------------------
type Возможно = Maybe

pattern Есть :: всё -> Возможно всё
pattern Есть чё = Just чё

pattern НетЗначения :: Возможно значение
pattern НетЗначения = Nothing

наКрайняк :: значение -> Возможно значение -> значение
наКрайняк = fromMaybe

----------------- ИлиИли -------------------------
type ИлиИли = Either

pattern Там :: там -> ИлиИли там тут
pattern Там там = Left там

pattern Тут :: тут -> ИлиИли там тут
pattern Тут тут = Right тут

поЛюбому :: (там -> здесь) -> (тут -> здесь) -> ИлиИли там тут -> здесь
поЛюбому = either

------------------ Лист

раздербанить :: (значение -> Возможно (элемент, значение)) -> значение -> [элемент]
раздербанить = unfoldr