diff options
Diffstat (limited to 'draft/motivation.txt')
| -rw-r--r-- | draft/motivation.txt | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/draft/motivation.txt b/draft/motivation.txt new file mode 100644 index 0000000..0336bd4 --- /dev/null +++ b/draft/motivation.txt @@ -0,0 +1,26 @@ +====================================== +Motivation +====================================== + +* reuse of tools, models, system, code both "up" and "down": can be built upon + and extended, or built "under" and applied as an extension to other existing + systems + +* seperation/abstraction of model, methods, and types from implementation, + allows for metaprogramming, compilation, symbolic analysis, potential for + proofs + +* conceptual simplicity/purity of a reference implementation allows it to serve + as a blueprint or recipe for similar systems or reimplementation + +* open source allows the entire heirarchy, tool chain, and implementation to be + explored, shared, extended, abused + +* unambiguous notation and syntax checking + +* educational exploration + +* same tools for theoretical development (symbolic, checking, searches) and + efficient numerical computation (compilation, parallelizing combinators, + evaluation flow control, optimization) + |