about summary refs log tree commit diff stats
path: root/archive/3.transect/compiler8
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2020-01-01 17:04:37 -0800
committerKartik Agaram <vc@akkartik.com>2020-01-01 17:04:37 -0800
commit2a4088119cf41175457414dfa59bd4064b8f0562 (patch)
tree64fe184e399f9870ebd481a90eec34d51e5dff68 /archive/3.transect/compiler8
parent23fd294d85959c6b476bcdc35ed6ad508cc99b8f (diff)
downloadmu-2a4088119cf41175457414dfa59bd4064b8f0562.tar.gz
5852
Diffstat (limited to 'archive/3.transect/compiler8')
-rw-r--r--archive/3.transect/compiler853
1 files changed, 0 insertions, 53 deletions
diff --git a/archive/3.transect/compiler8 b/archive/3.transect/compiler8
deleted file mode 100644
index b3b35271..00000000
--- a/archive/3.transect/compiler8
+++ /dev/null
@@ -1,53 +0,0 @@
-== Goal
-
-A memory-safe language with a simple translator to x86 that can be feasibly written in x86.
-
-== Definitions of terms
-
-Memory-safe: it should be impossible to:
-  a) create a pointer out of arbitrary data, or
-  b) to access heap memory after it's been freed.
-
-Simple: do all the work in a 2-pass translator:
-  Pass 1: check each instruction's types in isolation.
-  Pass 2: emit code for each instruction in isolation.
-
-== types
-
-int
-char
-(address _)
-(array _ n)
-(ref _)
-
-== implications
-
-addresses can't be saved to stack or global,
-      or included in compound types
-      or used across a call (to eliminate possibility of free)
-
-<reg x> : (address T) <- advance <reg/mem> : (array T), <reg offset> : (index T)
-
-arrays require a size
-(ref array _) may not include a size
-
-argv has type (array (ref array char))
-
-variables on stack, heap and global are references. The name points at the
-address. Use '*' to get at the value.
-
-instructions performing lookups write to register, so that we can reuse the register for temporaries
-instructions performing lookups can't read from the register they write to.
-  But most instructions read from the register they write to?! (in-out params)
-
-== open questions
-
-If bounds checks can take multiple instructions, why not perform array
-indexing in a single statement in the language?
-
-But we want addresses as intermediate points to combine instructions with.
-
-Maybe disallow addresses to function calls, but allow addresses to non-heap
-structures to be used spanning function calls and labels.
-
-That's just for ergonomics. Doesn't add new capability.