Add some concept docs

2 files changed, 38 insertions, 0 deletions

diff --git a/examples/algebraic-types-concept.lisp b/examples/algebraic-types-concept.lisp
new file mode 100644
index 0000000..315a693
--- /dev/null
+++ b/examples/algebraic-types-concept.lisp
@@ -0,0 +1,19 @@
+(let just (\[a]
+    ["maybe" "just" a]))
+(let nothing (\[]
+    ["maybe" "nothing"]))
+
+(let at (\[n seq]
+    (match seq
+        [] (nothing)
+        (match n
+            0 (head seq)
+            (at (- n 1) (tail seq))))))
+
+(let from-just (at 2))
+(let kind (at 1))
+
+(let m (just 10))
+(match (kind m)
+    "just" (from-just m)
+    "nothing" "nothing")
diff --git a/examples/effects-concept.lisp b/examples/effects-concept.lisp
new file mode 100644
index 0000000..efca43e
--- /dev/null
+++ b/examples/effects-concept.lisp
@@ -0,0 +1,19 @@
+; FUNCTIONS
+
+(let prompt-input (\[]
+    (let p "> ")
+    (do get-user-input "prompted" p)))
+
+; SIGNAL HANDLERS
+
+(on user-input (\[msg s]
+    (match msg
+        "prompted" (batch [
+            (do print-line (fmt "You entered: %%" [s]))
+            (prompt-input)])
+        (batch [
+            (do fatal-error (fmt "error: unknown signal %%" [msg]))]))))
+
+;; ENTRYPOINT
+
+(prompt-input)