RubyにHaskellよりも強力なパターンマッチを実装した - Qiita
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節のパターンから順番にパターンマッチに成功
Rubyで高速にパターンマッチするgemを作った - TODESKING
Ripperの出力とかParseletの解析結果などを扱うのに､ArrayやHashでパターンマッチして中身を取り出す処理を多用する必要があったのでパターンマッチライブラリを作りました｡ GitHub: todesking/patm 同様のライブラリとしてはpattern-matchがあります｡ 機能面ではpattern-matchのほうが豊富ですが､PATMは高速なのが売りです(DSLによるメソッド定義を使用した場合､ネイティブRubyコードにコンパイルされるため50倍くらい速い｡case式内で使用した場合でも7倍程度)｡ベンチマークについてはこの記事の下のほう参照｡ 主な機能 DSLによるメソッド定義 extend Patm::DSL することで define_matcherを使ったメソッド定義が可能です｡ 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
Route 477(2014-05-14)
■ [types][ruby] IbisをRubyに途中まで移植した 最近ちょっと型推論の実装に興味があって、IbisのRubyへの移植をやってみた。 まだ途中だけど fun x -> x * 2 くらいは推論できる。 https://github.com/yhara/ibis-rb 実装は基本的にオリジナルと同じだけど、構文木についてはクラスを作らず、ArrayとSymbolでできたS式っぽいものを使っている。ビジュアライザ部分は移植するつもりはないのでこれで問題ないはず。 RubyでArray S式を扱う場合、pattern-match gemを使うと便利。こんな感じで配列に対するパターンマッチを書ける。 def self.infer_(ctxt, env, variants, expr) match(expr){ with(_[:Const, :unit]) { Type::UNIT
Ruby (とか直和型がない言語)でも case の網羅性をテストしたい - tomykaira makes love with codes
2013-07-17 Ruby (とか直和型がない言語)でも case の網羅性をテストしたい test 状態コードがあって、もとは waiting, running, exited だったところに、新しい状態 failed を追加するような場合を考える。 直和型がある言語 (Haskell, OCaml, Scala など。strictly typed functional language に分類される言語が中心) なら、 直和型に要素を追加したとき、ワイルドカードを書いていないすべての case 文で警告が出る。 C や Java では生の数値や enum で状態コードを扱い、 ruby ではシンボルや文字列で扱うのが一般的である。 これらの言語では網羅性をコンパイラがチェックするようなサポートは提供されない。 Ruby に至ってはコンパイルが実行直前まで行なわれない! Ruby の
Rubyのcaseを〇〇(言語名)のswitch文だと思っている人たちにぼくから一言ガツンと申し上げたい
「Rubyのcase」を一瞥し「あー要は〇〇(言語名)のswitchね」などと早合点し、その後もその真の価値を知ることなく一生を終えるプログラマが近年跡を絶たない。加えて、「今更条件分岐？RubyはOOPなんだからポリモフィズムじゃね？」とか「HashにProc突っ込んでcallするのがオレ流。」とかうそぶく人たちもまた増加の一途を辿っている。 そんな世の中にあって、ぼくは一言、できればガツンと一言申し上げたい。生まれも育ちもRubyなぼくから、是非ともそんな人たちに「Rubyのcase」について一言申し上げておきたい。 ─ 問題１ ─ 名前name、レベルlevel、ポイントpointの各属性を持った複数のCharacterオブジェクトcharlie, liz, benがある。 class Character < Struct.new(:name, :level, :point) def
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - egison/egison-ruby: A Ruby gem for non-linear pattern-matching with backtracking
GitHub - k-tsj/pattern-match: A pattern matching library for Ruby