PEGと構文解析に関するアレコレの勉強会 Vol.1 まとめ

saka1 @saka1_p

「コンパイル中だった」 #peg_study

がくぞ @gakuzzzz

Coproduct による Free の合成っぽい印象をうける #peg_study

κeen @blackenedgold

関数の合成ではなく融合の話 f: A -> B g: C -> D に対して f|g: A∪C -> B∪D #peg_study

Takuto Wada @t_wada

うおおアセンブリ言語のみで言語処理系を作った人だ…… speakerdeck.com/nineties/boots… #peg_study

Kohei.Sakamoto @KoheiSakamoto88

コンパイル中なのでデモは後にします。(LT中の話です。)　 #peg_study

κeen @blackenedgold

同じ名前の関数を複数定義すると定義域も合成される #peg_study

Ktz @ktz_alias

なんかerlangっぽい #peg_study

コツメカワウソ @_nnioo_

スゴイの一言 #peg_study

トデス子'\ @todesking

うつくしい #peg_study

opaopa6969 @opaopa6969

Amberすげええ #peg_study

thinca @thinca

amber かっこいいな。 #peg_study

κeen @blackenedgold

実行時にバイトコンパイル… ナチュラルにJIT実装してるぞ #peg_study

がくぞ @gakuzzzz

パターンマッチのバックトラックの計算量は確かに取り除きたい #peg_study

thinca @thinca

完全に時間オーバーしているけどタイムキーパーがいない。 #peg_study

コツメカワウソ @_nnioo_

ついでで実装されてしまう構文解析器ニキ #peg_study

saka1 @saka1_p

美しいものを実装できる方なんだなあ。 かっこいい。 #peg_study

ドッグ @Linda_pp

ドメインとアクションで1つの関数としてみて，つなぎ合わせるのを f | g でやるのか #peg_study

トデス子'\ @todesking

圧倒的デモ体験だ #peg_study

κeen @blackenedgold

関数の融合で構文拡張。設計が良い。 #peg_study

ドッグ @Linda_pp

構文解析器とかも自分自身で書かれているから，直接呼び出して自分自身の定義を書き換えられるのか #peg_study

κeen @blackenedgold

流石最適化コンパイラの専門家だな。 #peg_study

コツメカワウソ @_nnioo_

良かった #peg_study

Tetsuya Morimoto @t2y

amber のデモおもしろい #peg_study

コツメカワウソ @_nnioo_

idein.jp 人材求めてます、とのこと #peg_study

Takuto Wada @t_wada

amber のデモ超絶格好いい。ため息しか出ない。 github.com/nineties/amber #peg_study