The Egison Programming Language

- Express Intuition Directly with Essentially New Syntax - Egison is a programming language that features extensible efficient non-linear pattern matching with backtracking for non-free data types. We can directly represent pattern matching for a wide range of data types including lists, multisets, sets, trees, graphs, and mathematical expressions. Egison makes programming dramatically simple! --

[Kureduki_Maari]

@public_ai000ya .｡oO(わたしもわかりたい領域ですが、非線形のマッチと云ふとPrologの單一化とか とかのやうです。)

[yosuke_furukawa]

egison?

[tmatsuu]

パターンマッチ指向という新たなパラダイムを持つ日本発の新たな純粋関数型プログラミング言語Egison、本家サイトこっちに移ってた