Move some sections

This commit is contained in:
David Gonzalez Martin 2024-06-06 12:16:12 -06:00
parent b148be1e7a
commit f205f7162e

View File

@ -4,7 +4,10 @@ title: Nativity
Nativity is the language and compiler for Birth Software. Nativity is the language and compiler for Birth Software.
# Design decisions and goals
# Language draft
## Design decisions and goals
Nativity is aimed to be reliable, fast and secure. It's designed with performance in mind. A few goals: Nativity is aimed to be reliable, fast and secure. It's designed with performance in mind. A few goals:
@ -19,7 +22,7 @@ Nativity is aimed to be reliable, fast and secure. It's designed with performanc
- Types are not values - Types are not values
- Uniforming runtime and comptime evaluation is inherently slow. Specialized solutions must be proposed in order to guarantee efficiency. - Uniforming runtime and comptime evaluation is inherently slow. Specialized solutions must be proposed in order to guarantee efficiency.
# Initial constraints ## Initial constraints
Before self-hosting, Nativity will only be available on Linux (x86\_64) and MacOS (aarch64). The main reason for this is that these are the platforms commonly used for the lead developer, so extending the target range could be wasteful. Before self-hosting, Nativity will only be available on Linux (x86\_64) and MacOS (aarch64). The main reason for this is that these are the platforms commonly used for the lead developer, so extending the target range could be wasteful.
@ -27,8 +30,6 @@ Nonetheless, self-hosting is the main immediate goal of the project, so after th
Before self-hosting, there will be no float or vector support. Intrinsics will only be implemented as needed. After self-hosting, an implementation of all this will follow. Before self-hosting, there will be no float or vector support. Intrinsics will only be implemented as needed. After self-hosting, an implementation of all this will follow.
# Language draft
## Basic types ## Basic types
### Boolean ### Boolean