delbertooo

-- Without callCC
square :: Int -> Cont r Int
square n = return (n ^ 2)

-- With callCC
square :: Int -> Cont r Int
square n = callCC $ \k -> k (n ^ 2)

delbertooo

callCC :: ((a -> Cont r b) -> Cont r a) -> Cont r a
callCC f = Cont $ \k -> runCont (f (\a -> Cont $ \_ -> k a)) k

delbertooo

tail_cps s k = k (tail s)

delbertooo

add :: Int -> Int -> Int
add x y = x + y

add_cps :: Int -> Int -> (Int -> r) -> r
add_cps x y k = k (add x y)

delbertooo

#include <stdio.h>
#include <stdlib.h>
#include <libspirit/spirit_news.h>
#include <libspirit/spirit_error.h>

int main(void) {
	SPIRIT *spirit_handle;
	SPIRITcode res;

	spirit_handle = spirit_init("https://spirit.fh-schmalkalden.de/");