第1回 Egison Dev Meeting

XENO @xenophobia__

参加者の方々お疲れ様でしたー #egison_dev

Satoshi Egi @__Egi

@xyx_is Egison3では、パターンマッチの際のパターン変数に対する束縛の参照範囲が静的スコープになってます。このページのExample 2に例があります。 http://t.co/nJX3bKOCP6

XENO @xenophobia__

さっきのツイートの補足だけど、今のSyntaxの何が問題って{[]}と{}の違いがわかりにくい。あと読みづらい。 #egison

えくすわいえくす / xyx @xyx_is

Egisonは型付きにするときにスコープの問題をどうするのかがきになるのと、SATとの連携が行われればいいなぁ

XENO @xenophobia__

Egison Dev. Meet.中に考えてたんだけど、matcherの各ケースの返り値はコレクションだとわかりづらい気がする。要は失敗を許容できるMaybeみたいな値が欲しいわけだから<Success [ret1, ret2, ...]>と<Failure>とかのが見やすい。

often @often_zz

#egison_dev 楽しかったです。お疲れ様でした。 とりあえず処理系を読みます。

shige @takeishg

お疲れさまでしたー #egison_dev

ちゅーん @its_out_of_tune

そういえば懇親会で、改めて「ここは一つちょまどしゃんに頼んでEgisonの擬人化を…」とゆー話をしておいた(ぇ #egison_dev

ちゅーん @its_out_of_tune

お疲れさまでしたー #egison_dev

XENO @xenophobia__

懇親会なう #egison_dev

often @often_zz

組み込みのマッチャーがsomethingだけってゆうのがすごい綺麗だと思った。#egison_dev

Egison @Egison_Lang

Egison4の文法の例はhttps://t.co/6ZFOccLCcAにあります。

XENO @xenophobia__

型付き！ #egison_dev

XENO @xenophobia__

Haskellに似た文法を持つ、egison4の構想！ #egison_dev

shige @takeishg

再開です #egison_dev

ちゅーん @its_out_of_tune

egison4のリポジトリのdocにこっそり書かれてるEgison Interpreter with Egisonというの見るとｗｋｔｋしてくる。 #egison_dev

ちゅーん @its_out_of_tune

とりあえず議論は先に進んでるっぽいけど、まずMStateの動きを頭に入れるので精一杯でござるよ。 #egison_dev

autotaker @autotaker1984

EgisonでEgison書くのは簡単みたいな話？ #egison_dev

XENO @xenophobia__

Matching Atomの持ち上げ: 外側から渡されてきたパターンは、マッチングアトムをその「外側」に持ち上げてやる。これにより変数のスコープが混らない。 #egison_dev

XENO @xenophobia__

んー惜しいなぁ。ほとんど似てるし統一したほうが扱いやすいんではなかろうか…… #egison_dev

XENO @xenophobia__

昔(define $p $x)からの(match-all {1 2 3} (list integer) [p x])とか許されてたもんなぁ。 #egison_dev

XENO @xenophobia__

egison3ではパターンまわりのスコープ有効範囲が明確化した。 #egison_dev

XENO @xenophobia__

pattern-constructorを含むケース。これがちょっと面倒。 #egison_dev

ちゅーん @its_out_of_tune

この processMState 関数が凶悪ってか、昨日読んでてこれで死んだorz #egison_dev

autotaker @autotaker1984

egisonで無限ループに陥ったら処理系落とすしかないんですか？ #egison_dev