Category:Egison: Difference between revisions
Content added Content deleted
No edit summary |
m (Egison is not on codepad.org) |
||
| Line 5: | Line 5: | ||
|gc=yes |
|gc=yes |
||
|LCT=yes |
|LCT=yes |
||
|site=http://www.egison.org |
|site=http://www.egison.org}} |
||
{{language programming paradigm|Pattern-matching oriented}} |
{{language programming paradigm|Pattern-matching oriented}} |
||
{{language programming paradigm|functional}} |
{{language programming paradigm|functional}} |
||
Revision as of 20:01, 11 March 2014
This programming language may be used to instruct a computer to perform a task.
| Official website |
|---|
| Garbage collected: | Yes |
|---|---|
| Type safety: | Safe |
| Type strength: | Strong |
| Type checking: | Dynamic |
| See Also: |
Egison is the programming langugage that realized non-linear pattern-matching against unfree data types. With Egison, we can represent pattern-matching with unfree data types intuitively. For example, we can represent pattern-matching against lists, multisets, sets, trees, and graphs.
Pages in category "Egison"
The following 8 pages are in this category, out of 8 total.