Add state demoHEADmain

1 files changed, 18 insertions, 0 deletions

diff --git a/samples/fun/deepthought_state.bruijn b/samples/fun/deepthought_state.bruijn
new file mode 100644
index 0000000..5f5cb36
--- /dev/null
+++ b/samples/fun/deepthought_state.bruijn
@@ -0,0 +1,18 @@
+# state monad example: logger/writer
+
+:import std/Combinator .
+:import std/List .
+:import std/Number .
+:import std/Monad/State .
+
+log [[[[0 (1 ++ 2) 3]]]]
+
+deepthought answer >>= [correct >>= [check >>= [return]]]
+	answer log (+42) "Finding answer... "
+	correct log (0 =? (+42)) "Checking answer... "
+	check 0 (log [[0]] "Is correct!") (log [[0]] "Is false!")
+	return pure 2
+
+:test (deepthought [[0]]) ([0 (+42) "Finding answer... Checking answer... Is correct!"])
+
+main [deepthought [[0]] [[0]]]