О чистоте и лени

[iamjaph]

После N-ной провальной попытки изучить Haskell и понять суть религии под названием "монадический фетишизм", решил изобрести свой "велосипед", то есть чистый и ленивый язык программирования.

Для любой открытой системы важным моментов является взаимодействие с внешним миром. В данном случаем - порядок обмена информацией.

У энергичных языков порядок определяется непосредственно самой последовательностью инструкций в программе. Напротив, для ленивых языков последовательность выполнения инструкций неопределена, а значения вычисляются по мере необходимости. Поэтому для осуществления взаимодействия с внешним миром в ленивые языки порядок вводиться искусственно.

Одним из способов упорядочивания вычислений является ввод дополнительных переменных-маркеров, при помощи которых указываются дополнительные зависимости между подпрограммами. Например, подпрограмма "C" зависит от переменной "b", которая определяется в подпрограмме "B", в свою очередь подпрограмма "B" зависит от переменной "a", значение которой определяется в подпрограмме "A", что приводит к выполнению сначала подпрограммы "A", затем "B" и лишь затем "C". Эти переменные маркеры в Mozart-OZ получили название свободные (unbound) переменные, а в Clean - уникальные типы.

Другим способом упорядочивание вычислений является использование стиля передачи продолжений. Однако этот стиль труден для использования им требует модификации подпрограмм. К счастью последнего можно избежать при помощи подпрограммы-обертки. В Haskell этой оберткой является оператор bind, а монады по сути не что иное, как своеобразный "концептуальный сахар" над стилем передачи продолжений. В свою очередь Haskell оператор do является "синтаксическим сахаром" вокруг монад, создающих иллюзию того, что переменные меняют свое значение.

Так что на самом деле Haskell, как и Clean, - абсолютно чистый язык, а религия "монадический фетишизм" - удел тех, кто на видеть разницы между иллюзией и реальностью.

P.S.
Во загнул! С другой стороны, что взять с простого физ-химика, волей случая написавшего несколько маленьких программ на Perl.

Comments

[migmit.livejournal.com]

Если коротко - достаточно оставить instance Monad (Cont r). Всё остальное делается через неё:

data Cont r a = Cont {runCont :: (a -> r) -> r}
instance Monad (Cont r) where ... -- ну, понятно.

data IO a = ... -- встроенный тип, для которого НЕТ instance Monad, но есть
retIO :: a -> IO a
bindIO :: IO a -> (a -> IO b) -> IO b

toCont :: IO a -> Cont (IO r) a
toCont ioA = Cont {runCont = bindIO ioA}
fromCont :: Cont (IO r) r -> IO r
fromCont cnt = runCont cnt retIO

main = fromCont $
  do toCont $ putStrLn "What's your name?"
     name <- toCont $ getLine
     toCont $ putStrLn $ "Hi, " ++ name