diff options
| author | Jan Tuomi <jans.tuomi@gmail.com> | 2022-09-26 16:29:32 +0300 |
|---|---|---|
| committer | Jan Tuomi <jans.tuomi@gmail.com> | 2022-12-05 14:21:53 +0200 |
| commit | f8578936553468785ff1c70fb7f4b0efebfbf55d (patch) | |
| tree | a726d8d206cd58591ec05895fce5f513a2c6a764 /examples/algebraic-types-concept.lisp | |
| parent | 367cefd18ba6c96c9753e69a19db84ce50f34abf (diff) | |
Add maybe concept
Diffstat (limited to 'examples/algebraic-types-concept.lisp')
| -rw-r--r-- | examples/algebraic-types-concept.lisp | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/examples/algebraic-types-concept.lisp b/examples/algebraic-types-concept.lisp deleted file mode 100644 index 315a693..0000000 --- a/examples/algebraic-types-concept.lisp +++ /dev/null @@ -1,19 +0,0 @@ -(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") |