Egison
https://gyazo.com/8f1fabf50d048d9de4d6c0f35c2d699c
Egison is a programming language that features extensible efficient non-linear pattern matching with backtracking for non-free data types.
We can directly represent pattern matching for a wide range of data types including lists, multisets, sets, trees, graphs, and mathematical expressions.
Egison makes programming dramatically simple!
昔は Lisp 上に作られてたけど、今は HaskellHaskell.icon 上に作られてる。文法は迚も好く成った pattern match
backtrack
名前を附けて再利用出來る
再歸可能
變數が使へる
Erlang.iconでも可能
無限個數の match 結果を持ち得る
and/or/not の論理演算が出來る
述語を含められる
Erlang.iconでは pattern match ではなく guard に分けられてゐる
match 出來る data 型
この一覽無いっぽい
list
multiset
set
tuple