mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-04-12 06:19:33 -06:00
24 lines
600 B
Plaintext
24 lines
600 B
Plaintext
Some features of the Transfer language:
|
|
|
|
* Purely functional
|
|
* Dependent types
|
|
* Eager evaluation
|
|
* Generalized algebraic datatypes
|
|
* Metavariables
|
|
* Records with subtyping
|
|
* Overloading by explicit dictionary passing
|
|
* Pattern matching by case expressions
|
|
|
|
Additional features in the front-end language:
|
|
|
|
* Disjunctive patterns
|
|
* do-notation
|
|
* Hidden arguments (not implemented yet)
|
|
* Automatic derivation of some operations on user-defined GADTs:
|
|
- Compositional maps and folds
|
|
- Equality
|
|
- Ordering
|
|
- Showing
|
|
* Pattern equations
|
|
* Operator syntax for common functions, most are overloaded
|