diff options
| author | aarne <aarne@cs.chalmers.se> | 2008-06-26 21:05:01 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2008-06-26 21:05:01 +0000 |
| commit | fb1d9b7d2c3c8261fc5a2ce3698e6749458b207a (patch) | |
| tree | 466adc81f2c6ac803d20804863927c076e2b243a /transfer/README | |
| parent | 33eb6d899fef48f2d38a92bc0fab66ff585be553 (diff) | |
removed transfer from gf3
Diffstat (limited to 'transfer/README')
| -rw-r--r-- | transfer/README | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/transfer/README b/transfer/README deleted file mode 100644 index 5a764ca07..000000000 --- a/transfer/README +++ /dev/null @@ -1,48 +0,0 @@ -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 -* 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 - - - -Differences between Transfer and Cayenne: - -* Cayenne has a more advanced module system - -* Cayenne has mutually recursive record fields - -* Cayenne erases type arguments before running - -* Transfer is eager, Cayenne is lazy - -* Transfer has GADTs (inductive families) - -* Transfer has metavariables - -* Transfer has record patterns - -* Transfer has disjunctive patterns - -* Transfer has derivation of compositional functions - -* Transfer has a standard library which uses a hierarchy - of "type classes" - |