Lisp のコンスを用いたバージョン。ほぼ PAIP 2.3 を直訳したつもり。 まず実例。ex 、ex' 関数は共に Object -> Object -> IO Object で、QuickCheck の sample' 関数を使っている。ex は文を、ex' は解析木を吐く。 *EnglishRule13> ex simpleGrammar (S "…