summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2017-02-13 02:05:37 -0800
committerOri Bernstein <ori@eigenstate.org>2017-02-13 02:05:37 -0800
commite7f3b436eec95b0de2cc0837e51f11c62e30d830 (patch)
tree79dc126753def2a7223df07768ccdfc3ebb14fc1 /doc
parented5a96dec13db05df59e4af350be066f2c57efd2 (diff)
downloadmc-e7f3b436eec95b0de2cc0837e51f11c62e30d830.tar.gz
Simplify the abstract.
Diffstat (limited to 'doc')
-rw-r--r--doc/lang.txt26
1 files changed, 12 insertions, 14 deletions
diff --git a/doc/lang.txt b/doc/lang.txt
index b0db488..c272133 100644
--- a/doc/lang.txt
+++ b/doc/lang.txt
@@ -35,20 +35,18 @@ TABLE OF CONTENTS:
1. ABOUT:
- Myrddin is designed to be a simple, low-level programming
- language. It is designed to provide the programmer with
- predictable behavior and a transparent compilation model,
- while at the same time providing the benefits of strong type
- checking, generics, type inference, and similar. Myrddin is
- not a language designed to explore the forefront of type
- theory or compiler technology. It is not a language that is
- focused on guaranteeing perfect safety. Its focus is on being
- a practical, small, fairly well defined, and easy to
- understand language for work that needs to be close to the
- hardware.
-
- Myrddin is a computer language influenced strongly by C and
- ML, with ideas from too many other places to name.
+ Myrddin is designed to be a simple programming language.
+ It is designed to provide the programmer with predictable
+ behavior and a pragmatic set of semantics, providing the
+ benefits of strong type checking, generics, type inference,
+ and modern features with a high cost-benefit ratio. Myrddin
+ is not a language designed to explore the forefront of type
+ theory or compiler technology. Its focus is on being a
+ practical, small, well defined, and easy to understand
+ language for work that needs to be close to the hardware.
+
+ Myrddin is influenced strongly by C and ML, with ideas from
+ too many other places to name.
2. LEXICAL CONVENTIONS: