プログラミング言語Egison

[1 デフォルトの名無しさん 2013/10/31(木) 20:35:59.36]

パターンマッチが強力みたいです。

[45 デフォルトの名無しさん 2013/11/03(日) 00:28:36.78]

マニュアルの中の例で、
> (match-all {1 2 3 4} (list integer)
[<cons $x $xs> [x xs]])
{[1 {2 3 4}]}

は、なんで{[1 [2 3 4]]}ではないの？
list integerとするならcdr側の$xsもlist integerにならないの？

[46 デフォルトの名無しさん 2013/11/03(日) 00:45:13.48]

そうか、リストを[ ]で表してるんじゃないのか
Collectionは全部{ }で表現して、マッチさせるときに(list integer)とか指定するんだ
でもどうしてそうするの？