From 4d81434f2c00dc73b1364a92edd05a62cd4be2a7 Mon Sep 17 00:00:00 2001 From: bnewbold Date: Fri, 27 Feb 2009 13:39:56 -0500 Subject: draft notes --- draft/motivation.txt | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 draft/motivation.txt (limited to 'draft/motivation.txt') 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) + -- cgit v1.2.3