diff options
author | Ori Bernstein <ori@eigenstate.org> | 2017-02-13 02:05:37 -0800 |
---|---|---|
committer | Ori Bernstein <ori@eigenstate.org> | 2017-02-13 02:05:37 -0800 |
commit | e7f3b436eec95b0de2cc0837e51f11c62e30d830 (patch) | |
tree | 79dc126753def2a7223df07768ccdfc3ebb14fc1 /doc/lang.txt | |
parent | ed5a96dec13db05df59e4af350be066f2c57efd2 (diff) | |
download | mc-e7f3b436eec95b0de2cc0837e51f11c62e30d830.tar.gz |
Simplify the abstract.
Diffstat (limited to 'doc/lang.txt')
-rw-r--r-- | doc/lang.txt | 26 |
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: |