⭕Security Features

In relation with the review

Building on the strength, the following features were implemented to ensure security and robustness:

• Garbage Collection: Automatic memory management eliminates risks associated with manual allocation and deallocation, such as memory leaks and dangling pointers.

• Default Immutable Structs: Structs are constant by default, preventing accidental or malicious modifications. This immutability ensures data integrity, simplifies debugging, and reduces side effects.

• No Pointers: By removing pointers, your language avoids the vulnerabilities associated with direct memory manipulation, such as buffer overflows and segmentation faults.

• No Non-Constant Global Variables: This design choice promotes encapsulation and prevents unpredictable behavior stemming from uncontrolled global state changes.

• Safe and Explicit Type System: Inspired by Go, the type system prioritizes clarity and enforces type safety, reducing errors from implicit type conversions or misuse.

• Syntactic Sugar for Clarity: Features like list[0,1] access improve code readability and reduce opportunities for subtle bugs without introducing unsafe behaviors.

• VM - errors of builtin are handled by the VM directly