🚀 go-pugleaf

Dnia 26-07-2008 o 00:46:58 Michal Przybylek <michal.przybylek@gmail.com>  
napisał(a):

> -- 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

Można oczywiście dać ogólniejszy typ, np.:
loop :: ContT a (State s) t -> ContT a (State s) u

Zagadka - jaki typ powstanie z rekonstrukcji?

> 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

Tutaj prościej jest wyskoczyć z samym "acc".

Podaję całość jeszcze raz z poprawkami:

***

module Main (main)  where

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

infixr 0 <-:


getRef var = State $ \dict -> (Data.Map.lookup var dict, dict)
setRef var val = State $ \dict -> (Just val, Data.Map.insert var val dict)

ref var = lift (getRef var)
var <-: val = lift (setRef var val)


loop instr = instr >> loop instr


{- glowny program -}

computeFact n = callCC $ \exit ->
   do
     "i"   <-: n                -- inicjalizujemy "i" na n
     "acc" <-: 1                -- inicjalizujemy "acc" na 1
     loop $ do
       Just i   <- ref "i"      -- wez wartosc zmiennej "i"
       Just acc <- ref "acc"    -- wez wartosc zmiennej "acc"
       if i == 0
         then exit 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 =  runContT (computeFact n) return `evalState` empty

main = print $ fact 5


-- 
Michał Przybyłek