Additional Patterns for case

[lavirlifiliol]

As the language is dynamically typed, some way to check the type of values would be useful. I suggest using names of the types starting with uppercase letters

{(Int) {'a number'}
 (Str) {'a string'}
 (Tuple) {'some tuple'}
 (Atom) {'some atom'}
 (Fun) {'a function'}
}case

Another useful feature would be

{(5..^9) {'between 5 and 9 excluding 9'}
 (9..15) {'between 9 and 15, including 15'
# should also support fractions
 (1/4..5/4) {'both bounds are inclusive'}
 }case

[decorator-factory]

Other useful pattern types would be union pattern and intersection pattern:
e.g. (| (a b) (a _ b)) means either (a b) or (a _ b)
and e.g. (& (Int Str) (a b)) means: (a b), where a is Int and b is Str