Conversation

Notices

1. なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Sunday, 04-Nov-2018 15:06:18 JST なのやつ

   FParsecなんもわからん　具体的にいうと左再帰(左再帰よくわかってない)を読めるっぽいのを書きたいけど項どうしも再帰型だからそのままパーサ突っ込んだらスタックオーバーフローする　なんもわからん

   • なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Sunday, 04-Nov-2018 15:06:41 JST なのやつ

     in reply to

     参考： http://bleis-tift.hatenablog.com/entry/json-parser-using-fparsec

   • なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Sunday, 04-Nov-2018 15:10:06 JST なのやつ

     in reply to

     具体的には

     (λa.λb.a b λt.λf.f) (λt.λf.t) λt.λf.t

     を
     関数適用(左式,右式)と
     ラムダ式(変数,式)と
     識別子(名前)　にしたい（ねむすぎてなんもわからんのでSNSに吐き出す行為）

   • なのやつ (nanoyatsu@qiitadon.com@qiitadon.com)'s status on Sunday, 04-Nov-2018 15:11:27 JST なのやつ

     in reply to

     なお型のほうから文字列にするのはできている模様（簡単なので）