🚀 go-pugleaf

Poniżej kopia tego, co wysłałem przed chwilą na pl.comp.programming. Celem  
zabawy jest pokazanie, że jeżeli dostatecznie mocno się uprzeć, to nawet w  
Haskellu można wygodnie pisać w imperatywnym stylu.

***

Kiedy byłem studentem, jednym z ulubionych zadań gnębiących z semantyki i
weryfikacji, było podanie fragmentu programu w jakimś języku i pytanie o
to, co ten program robi. Ja proponuję trochę inną zabawę - poniżej jest
napisny mały program w Haskellu - oczywiście wiadomo co on robi. Pytaniem
jest dlaczego on robi to co robi. Miłej zabawy :-)


***
module Main (main)  where

import Control.Monad.Cont
import Control.Monad.State
import Data.Map
import IO (print)

infixr 0 <-:


-- nasze srodowisko bedzie zwyklym slownikiem odwzorowujacym
-- nazwy zmiennych w wartosci wstrzyknietym w monade stanu
getRef var = State $ \dict -> (Data.Map.lookup var dict, dict)
setRef var val = State $ \dict -> (Just val, insert var val dict)

-- podniesione przypisanie na zmienna / czytanie ze zmiennej
ref var = lift (getRef var)
var <-: val = lift (setRef var val)


-- definicja petli nieskonczonej
-- aby wykonac petle z cialem instr
--   wykonaj instr
--   wykonaj petle z cialem instr
loop :: ContT a (State s) a -> ContT a (State s) a
loop instr = instr >> loop instr


computeFact = callCC $ \exit ->
    loop $ do
      Just i   <- ref "i"      -- wez wartosc zmiennej "i"
      Just acc <- ref "acc"    -- wez wartosc zmiennej "acc"
      if i == 0
        then exit $ Just acc   -- wyskakujemy z petli z wynikiem acc
        else do
          "i"   <-: i-1        -- ustawiamy "i" na i-1
          "acc" <-: acc*i      -- ustawiamy "acc" na acc*i

fact n = k  where
    Just k = evalState (runContT computeFact return) initEnv
    initEnv = fromList [("i"  , n),
                        ("acc", 1)]

main = print $ fact 5

***

-- 
Michał Przybyłek