第2回 Egison Workshop

XENO @xenophobia__

各々のmatching atomは互いに独立なので、ここは並列処理できる、か。なるほど。 #egison_workshop

XENO @xenophobia__

１つのmatching atomに対するpattern matchが成功するとそれは消えていく。stackが空になったらmatching成功。 #egison_workshop

XENO @xenophobia__

matching atomをstackに積み、それをreduceしていく。 #egison_workshop

とむ @masquerade0324

Egisonって言語でもあるのかな。気になる。

XENO @xenophobia__

Egisonパターンマッチの詳細解説。 #egison_workshop

k.ono @k_o_gj

Egisonのパターンマッチ機能の解説 #egison #egison_workshop

でぃー(Dee) @wdko

やはりいままでLispや関数型言語に馴染んでない人にはわかり辛いという意見が。かつて自分もそうだったので痛いほどよくわかる。 #egison #egison_workshop

XENO @xenophobia__

むしろ独自Matcherの定義ができなきゃおもしろくない。 #egison_workshop

XENO @xenophobia__

え？ここはユーザが普通に定義するところでは。 https://t.co/sLf8fEH2TR #egison_workshop

XENO @xenophobia__

Matcherを定義するのにパターンマッチを行う必要があるが、ここで行われるパターンマッチはprimitive data patternによるものに制限される。 #egison_workshop

でぃー(Dee) @wdko

これはユーザーが普通書く部分ではないのだが凄いことになっている #egison #egison_workshop http://t.co/vCreOzJKY1

拡大

XENO @xenophobia__

ようやくmatcherの定義方法理解できた。説明されりゃなんてことないんだがなぁ。 #egison_workshop

でぃー(Dee) @wdko

本田さん説明に奮闘中。みなさんがこれを見てどう思うか。 #egison_workshop #egison http://t.co/Qu7MbjQOSq

拡大

でぃー(Dee) @wdko

記号たっぷり #egison #egison_workshop

でぃー(Dee) @wdko

佳境にはいってきたwww #egison

XENO @xenophobia__

Matcherの定義方法。 #egison_workshop

XENO @xenophobia__

egison4はS式じゃなくなるかも？ #egison_workshop

k.ono @k_o_gj

Egison4はS式じゃなくなるのかな #egison #egison_workshop

k.ono @k_o_gj

S式じゃ流行らん #egison #egison_workshop

XENO @xenophobia__

他の言語では特殊構文であるasパターンが、&とpattern variableの機能の組合せで表現できるというのが重要で、egisonのパターンマッチの強力さを表す１つの例。 #egison_workshop

XENO @xenophobia__

(& pattern ＄x)でasパターンっぽい書きかたができる。 #egison_workshop

XENO @xenophobia__

matchは、１つのパターンに複数のマッチ結果があったらどれを返すかはわからない。 #egison_workshop

でぃー(Dee) @wdko

nilはパターンか。<>つけてパターンね #egison

Takayuki KUSANO @tkusano

Egison かー。おもしろそうだな

でぃー(Dee) @wdko

nilってなんだっけ{}とちがったっけ #egison