関数を書きました。たとえば、次の行があります (これは関数の一部にすぎません)。
up (St(d)::Dt::St(c)::[rp]) = Pr (Sym(d), Sym(c))
Pr
, Sym
, St
, Dt
- はすべてデータ型です。d
そしてc
文字列です。
function を実行するup
と、引数が ではなく([St("hello"),Dt,St("hi"),rp]),
printになります。なんで?ありがとう。val it =Pr(Sym(#), Sym(#))
val it = Pr(Sym("hello"), Sym("hi"))