delbertooo · July 30, 2012 14:52
diff --git a/tail_cps.hs b/tail_cps.hs
 tail_cps s k = k (tail s)
diff --git a/thrice_ausgabe.txt b/thrice_ausgabe.txt
 *Main> thrice tail "foobar"
 "bar"
diff --git a/thrice_cont.hs b/thrice_cont.hs
 tail_cont :: [a] -> Cont r [a]
 tail_cont x = return $ tail x

 thrice_cont :: (a -> Cont r a) -> a -> Cont r a
 thrice_cont f x = do
  fx <- f x
  ffx <- f fx
  fffx <- f ffx
  return fffx
diff --git a/thrice_cont_ausgabe.txt b/thrice_cont_ausgabe.txt
 *Main> runCont (thrice_cont tail_cont "foobar") print
 "bar"
diff --git a/thrice_cont_prime.hs b/thrice_cont_prime.hs
 thrice_cont' :: (a -> Cont r a) -> a -> Cont r a
 thrice_cont' f x = f x >>= f >>= f >>= return
diff --git a/thrice_cps.hs b/thrice_cps.hs
 thrice_cps :: (o -> (o -> r) -> r) -> o -> (o -> r) -> r
 thrice_cps f_cps x k =
 f_cps x $ \fx ->
 f_cps fx $ \ffx ->
 f_cps ffx $ \fffx ->
 k fffx
diff --git a/thrice_cps_ausgabe.txt b/thrice_cps_ausgabe.txt
 Main*> thrice_cps tail_cps "foobar" print
 "bar"
diff --git a/thrice_normal.hs b/thrice_normal.hs
 thrice :: (o -> o) -> o -> o
 thrice f x = f (f (f x))
	thrice_cont' :: (a -> Cont r a) -> a -> Cont r a
	thrice_cont' f x = f x >>= f >>= f >>= return