第2回 Egison Workshop

ぐらふぃ @grafi_tt

Egisonワークショップ行ってました

k.ono @k_o_gj

Egison懇親会中

でぃー(Dee) @wdko

お疲れ座でした！！ #egison #egison_workshop

XENO @xenophobia__

「パターンマッチは数学的に厳密なモデル化がなされてるの？」って問題。 #egison_workshop

XENO @xenophobia__

Matcherがいろいろ変えられる例とかも含めて、ポーカーや麻雀以外の「すげー！」ってなる例がもうちょっと欲しいとこやね。 #egison #egison_workshop

k.ono @k_o_gj

何故分からないんだって思った瞬間、分かる人だけの世界に閉じこもろうとする心に支配される。Egisonはそうなってはいけない #egison #egison_workshop

XENO @xenophobia__

僕はHaskellチックな文法になったらより一層応援しますよ（ﾁﾗ #egison_workshop

k.ono @k_o_gj

江木、コメント思い出せ #egison #egison_workshop

k.ono @k_o_gj

S式じゃなかなかユーザー付かない、これ大学院の頃から言われてたよな〜 #egison #egison_workshop

k.ono @k_o_gj

安全性も追求したいですね #egison #egison_workshop

XENO @xenophobia__

カットパターンは未実装らしい。 #egison_workshop

XENO @xenophobia__

match-allでとってこれるデータ群の順序は不定。まぁ、match-allでとってこれる順番の仕様なんて下手に決めないほうが無用な混乱が無くなると思う。 #egison_workshop

k.ono @k_o_gj

探索方法については議論の余地がある #egison #egison_workshop

XENO @xenophobia__

可能な束縛が無限個ある場合でもマッチングできる例。 #egison_workshop

XENO @xenophobia__

algebraic-data-matcher: 代数的データ型に対する通常のパターンマッチは、態々定義せずとも糖衣構文ですっきり定義できるように。 #egison_workshop

k.ono @k_o_gj

いろいろ整理してんだな〜 #egison #egison_workshop

XENO @xenophobia__

前はコレが通らなかったんだよな。 https://t.co/RvHIsamOMa #egison 今は通ってる。

XENO @xenophobia__

さらには(+ $2 $1)のように順番を指定することも。 #egison_workshop

XENO @xenophobia__

部分適用が導入された。$をプレースホルダとして(+ $ 4)や(* 5 $)、(+ $ $)のような書き方ができる。 #egison_workshop

k.ono @k_o_gj

静的スコープになった #egison #egison_workshop

XENO @xenophobia__

Pattern constructor: パターンを受けとってパターンを返す関数。 #egison_workshop

XENO @xenophobia__

お、この話はつまり俺が随分前に報告したバグが解決されたということ……？ #egison_workshop

k.ono @k_o_gj

Egison3の新機能 #egison #egison_workshop

XENO @xenophobia__

Egison3の新機能！ #egison_workshop

でぃー(Dee) @wdko

Egisonのパターンマッチ、これ文脈自由文法を解釈できるLALR解析器とよく似た動作なんだよな。 #egison #egison_workshop