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

テクノロジーカテゴリーの変更を依頼記事元:

184 usersがブックマークコメント

規約違反を報告

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

require 'egison' include Egison match_all(object) do with(pattern) do ... end end match(object) d... require 'egison' include Egison match_all(object) do with(pattern) do ... end end match(object) do with(pattern) do ... end with(pattern) do ... end ... end パターンマッチに成功すると、withに渡されたブロックが実行され、その結果が返されます。このライブラリのパターンマッチでは、パターンマッチの結果が複数あるということがあります。 match_all構文はそのすべてのパターンマッチの結果それぞれについてwithに渡されたブロックを実行し、すべての結果をまとめた配列を返します。 match_all構文は1つのwith節を取ります。一方、matchは複数のwith節を取ります。先頭のwith節のパターンから順番にパターンマッチに成功

記事へのコメント31件

注目コメント
新着コメント

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

ruby

2014/05/28 リンク

kiyo_hiko すごくつよい感じ

2016/04/04 リンク

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

2015/03/13 リンク

scndhnd #rubykaigi #rubykaigiA

2014/09/18 リンク

larker egison

Ruby
library

2014/05/30 リンク

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

Ruby

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

2014/05/29 リンク

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

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

mickn 何だろうと思ったらegisonか

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 )) ... は正しくマッチするのだろうか。