Egison is the
A feature of Egison is the strong pattern matching facility.
With Egison, you can represent pattern matching for data types whose data have no normal forms,
such as set, multiset, and algebraic structures such as group, ring, field, and so on.
Egison will include
A feature of Egison is the strong pattern-matching facility.
Egison can pattern-match with data types whose data have no normal forms (unfree data types).
Following features enable it.
Pattern-matching has multiple results.
This feature is necessary to pattern-match with unfree data types.
Because unfree data have many forms for same data, so there are multiple ways of destruction.
Bindings in a pattern can be refer in the same pattern.
It is necessary to write useful patterns for pattern-matching with multiple results.
We can write functions that receive patterns and return a pattern.
Useful patterns can be reused in many places in a program.
Egison's pattern-matching is going to include a following feature.
Parallelizable loops are expressed with a single pattern-matching expression in Egison.
Pattern-matching process inside Egison itself can be parallelized easily.
Algorithms are expressed intuitively and will be auto-parallelized with Egison!!
Egison has Twitter account. Please follow Egison.