egisatoshi

> (test (match-all {0 1} (Set Integer)
          [<cons $a_1 <cons $a_2 <cons $a_3 _>>>
           {a_1 a_2 a_3}]))
{{0 0 0} {0 0 1} {0 1 0} {0 1 1} {1 0 0} {1 0 1} {1 1 0} {1 1 1}}

egisatoshi

% cd sample/icfpc2012/
% egisonc mine.egi
[1 of 1] Compiling Main             ( _tmp.hs, _tmp.o )
Linking mine ...
% ./mine maps/contest1.map
######
#. *R#
#  \.#
#\ * #
L  .\#

egisatoshi

(define $poker-hands
  (lambda [$Cs]
    (match Cs (Multiset Card)
      {[<cons <card $S $n>
         <cons <card ,S ,(- n 1)>
          <cons <card ,S ,(- n 2)>
           <cons <card ,S ,(- n 3)>
            <cons <card ,S ,(- n 4)>
             !<nil>>>>>>
        <straight-flush>]

egisatoshi

(define $Multiset
  (lambda [$a]
    (type
      {[,$val []
        {[$tgt (match [val tgt] [(Multiset a) (Multiset a)]
                 {[[<nil> <nil>] {[]}]
                  [[<cons $x $xs> <cons ,x ,xs>] {[]}]
                  [[_ _] {}]})]}]
       [<nil> []
        {[{} {[]}]