From e9aee071f44876bcce4d741eea52198249e5b339 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sat, 7 Dec 2019 11:21:30 -0800 Subject: 5795 --- apps/mu.subx | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'apps/mu.subx') diff --git a/apps/mu.subx b/apps/mu.subx index 50139ab9..b0cf03c1 100644 --- a/apps/mu.subx +++ b/apps/mu.subx @@ -8,8 +8,12 @@ # 1. Be memory safe. It should be impossible to corrupt the heap, or to create # a bad pointer. (Requires strong type safety.) # 2. Do as little as possible to achieve goal 1. -# - runtime checks to avoid complex static analysis # - minimize impedance mismatch between source language and SubX target +# (e.g. programmer manages registers manually) +# - checks over syntax +# (e.g. programmer's register allocation is checked) +# - runtime checks to avoid complex static analysis +# (e.g. array indexing always checks bounds) # == Language description # A program is a sequence of function definitions. -- cgit 1.4.1-2-gfad0