プログラミング言語Egison

プログラミング言語 Egison - 直感をそのまま表現するパターンマッチング - Egison は1つの定まった標準形を持たないデータに対しても柔軟なパターンマッチが表現可能なプログラミング言語です。 リストや多重集合、集合、ツリー、グラフなどといった幅広いデータ型に対して、パターンマッチが記述できます。 それにより、Egison プログラマは非常にシンプルにプログラムを記述できるようになります。 -- 素数の無限リストから全ての双子素数をパターンマッチにより抽出 def twinPrimes := matchAll primes as list integer with | _ ++ $p :: #(p + 2) :: _ -> (p, p + 2) -- 最初の10個の双子素数を列挙 take 10 twinPrimes -- => [(3, 5), (5, 7), (11, 13)

[kiyo_hiko]

微妙にS式じみた記法だけどLispではいかんの / ×エジソン ○エギソン

[righ1113]

そそられる。

[morita_non]

ふーむ

[Haaaa_N]

@public_ai000ya

[kosh04]

パターンマッチ指向

[naqtn]

おもしろげ。"強力で直感的なパターンマッチを実現"とのことだが、デモのコードをみても表現形式は直感的でないので、にわかにはつかめぬ..。

[masu_mi]

ずっと気になってたまま触れてなかったらページの押しが強くなってた

[shi3z]

通分と約分を勝手にやってくれるだけで便利

[Pink]

egison]

[kasumani]

プログラミング言語 Egison - 直感をそのまま表現するパターンマッチング - Egison は1つの定まった標準形を持たないデータに対しても柔軟なパターンマッチが表現可能なプログラミング言語です。 リストや多重集合、集合、

[yohshiy]

Lisp 風の関数型兼論理型言語という感じかな。

[ryskosn]

パターンマッチ指向