search

DaisukeBekki / lightblue

A CCG parser for Japanese with DTS-representations
BSD 3-Clause "New" or "Revised" License
17 stars 8 forks source link

DTS.DTT.Preterm について関数適用のパーズを切替可能にする #24

Closed hinarid closed 1 week ago

hinarid commented 1 year ago

DTS.DTT.Preterm について、表示の方法として loves(john,mary) と loves(mary)(john) を切り替えられるようにしたいです。 現時点では Preterm の表示として Show を使っていますが、新しく関数を実装する必要があります。

DaisukeBekki commented 11 months ago

toText' :: Preterm -> Bool -> T.Text のような関数を用意して、Boolの値で切り替えられるようにしておき、 かつ、PretermのtoText関数は、toText' Trueのような関数として定義すればよいか。

DaisukeBekki commented 11 months ago

useWaniブランチ内で、

DTS.UDTTdeBruijn.toText' :: Bool -> (Preterm a) -> T.Text DTS.UDTTvarName.toText' :: Bool -> (Preterm a) -> T.Text

を定義してexportしました。第一引数がTrueだとf(y)(x)がf(x,y)になり、Falseだとそのままです。toTeXやtoMathMLバージョンはのちほど。