From 13c97c15cc9ac10c0bab54b72e2a9b3dcac2b900 Mon Sep 17 00:00:00 2001 From: David Gonzalez Martin Date: Thu, 6 Jun 2024 12:13:31 -0600 Subject: [PATCH] Design decisions addition and fix typo --- content/nativity/_index.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/content/nativity/_index.md b/content/nativity/_index.md index 4313834..3084269 100644 --- a/content/nativity/_index.md +++ b/content/nativity/_index.md @@ -4,7 +4,7 @@ title: Nativity Nativity is the language and compiler for Birth Software. -# Design goals +# Design decisions and goals Nativity is aimed to be reliable, fast and secure. It's designed with performance in mind. A few goals: @@ -16,6 +16,8 @@ Nativity is aimed to be reliable, fast and secure. It's designed with performanc - Statically-linked binaries when possible. - Allocation in the standard library is based on virtual memory based arenas. - 64-bit platform focus +- Types are not values +- Uniforming runtime and comptime evaluation is inherently slow. Specialized solutions must be proposed in order to guarantee efficiency. # Initial constraints @@ -73,7 +75,7 @@ fn [cc(.c)] main [export] () s32 { // With pointers >pointer: ?*u32 = a.&; - if (?a) { + if (?pointer) { // Here the variable is shadowed, the attribute "non-null" is added to the backend to the pointer variable } else { // Here the pointer is null