|
@@ -23,7 +23,7 @@ func : (a -> b) -> (a |->| b)
|
|
|
|
|
|
apply : (a |->| b) * a -> |<b>|
|
|
|
|
|
|
-suspend : (a -> |<b>|) -> (a |->| b)
|
|
|
+dynamic : (a -> |<b>|) -> (a |->| b)
|
|
|
|
|
|
ignore : |<b>| -> (a |->| b)
|
|
|
|
|
@@ -34,8 +34,8 @@ id : a |->| a
|
|
|
|
|
|
return(x) = task(fun() -> x end)
|
|
|
apply(func(f), x) = task(f, x)
|
|
|
-suspend(fun(X) -> return(f(x)) end) = func(f)
|
|
|
-ignore(x) = suspend(fun(_) -> x)
|
|
|
+dynamic(fun(X) -> return(f(x)) end) = func(f)
|
|
|
+ignore(x) = dynamic(fun(_) -> x)
|
|
|
|
|
|
nop = return('nop')
|
|
|
id = func(fun(X) -> X)
|
|
@@ -66,7 +66,7 @@ bind(bind(x, f), g) = bind(x, fun(X) -> bind(f X, g) end)
|
|
|
bind(x, return) = x
|
|
|
bind(return(x), f) = f x
|
|
|
|
|
|
-feed(x, suspend(f)) = bind(x, f)
|
|
|
+feed(x, dynamic(f)) = bind(x, f)
|
|
|
|
|
|
|
|
|
Scattering
|