RubyにHaskellよりも強力なパターンマッチを実装した - Qiita

Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article?

[coolstyle]

使いどころはあるかもだけど、可読性がよいとは思えないし、パターンの網羅性とか静的にチェックしてくれるわけでもなさそうなので、んー...という印象。

[kiyo_hiko]

すごくつよい感じ

[Kureduki_Maari]

.｡oO(おお。あの変形LispのEgisonの構文が、Rubyの構文になると読める…。)

[scndhnd]

#rubykaigi #rubykaigiA

[larker]

egison

[manaten]

タイトルでHaskellを比較に出すなら、パターンマッチの比較も書いてほしいな。 / 集合に対するマッチングのオーダーが気になる

[kasumani]

RubyにHaskellよりも強力なパターンマッチを実装した RubyにHaskellなどのような関数型言語のパターンマッチを使っても表現できない強力なパターンマッチを実装しました。 この記事ではその使い方と威力を紹介したいと思いま

[korin]

アンダースコアが読みにくいというのは関数型言語のパターンマッチの記述由来なので、NativeなRubyistには読みにくいってことかなあ。自分はRubyも関数型言語も門外漢なのでよくわからない。このままで使ってみたい。

[mswar]

確かにポーカー役のサンプルソースは面白いけど、どうなんだろう。うーーん。。。

[mickn]

何だろうと思ったらegisonか

[Dryad]

とりあえず「代数的データ型は？」と言いながらマサカリを投げてみる。

[Jxck]

あれ？ Egison って今楽天研究所でやってるの？

[ruicc]

ViewPattern使えばnon-linearなMultiSetの例に近いことは出来る case ls of (multiSet (\a -> [a, a+1, a+2]) -> ns) -> {- ... -} ところで線型パターンは線型性持ってるんですかね。

[n314]

タイトル見てHaskellより強力は言い過ぎだろうと思ったらやっぱりそうだった。というかパターンマッチの概念が違ってそう。

[akasata]

ふむふむ

[V120]

RubyにHaskellよりも強力なパターンマッチを実装した - Qiita

[antimon2_math]

すごそうだけど可読性も書く方も大変そう。明後日のRuby東海勉強会で試す。

[kirakking]

Set および Multi Set に対するACマッチングは羨ましい。ruby はよう知らんけんど、object は常に normal form なのだろうか。例えば f(x) = y のとき match ( [ f(x), y ]) do with (List.[ _a, _a )) ... は正しくマッチするのだろうか。

[aiam]

面白そう。可読性を高めるには _ 辞めればいいんじゃないかな

[theatrical]

割とすごいと思うんだけど、なんか読みづらいなぁと思った。で、それはなんでかなと考えた結果が、アンダースコアが多すぎる事という結論。

[taninsw]

正直全くわかってないのだけれど、HaskellのClosed Type Familyにおけるnon-linear pattern-matchingとかじゃダメなんだろうか。

[Haaaa_N]

凄いけど実行時エラー地獄になりそう 可読性は別に高くないと思う

[joker1007]

可読性がかなり問題だな。やっぱデータのコンストラクタと上手く紐付いてないとパターンマッチ使うのは難しい。

[yasuyuky]

なにをもって強力としているのかわからないし釣りタイトルとしか

[terazzo]

網羅性チェックは無理だろうけど、ガードとあずにゃんはすぐ対応できそう。ガードなくても値パターンでも書ける範囲多そうだし。

[yohshiy]

すごいっぽいけど、使いどころがいまいちわかんない。

[kksg]

“このGemのパターンマッチはコンピュータサイエンスの歴史レベルですごいものだと私は思っています。 ぜひ試してみて新しいプログラミングの"感覚"を味わってみてください。”

[t_f_m]

Egisonから

[koyancya]

すごい夢広がる

[todesking]

パターンマッチはやってる