Track type memory safety #7

New issue

Open

opened 2026-01-26 18:59:28 -05:00 by yukirij · 0 comments

yukirij commented

2026-01-26 18:59:28 -05:00

Owner

Memory safety refers to whether all memory states are valid or not.
Almost all primitives types are safe, while variable containers are usually not.

Memory-safe types may allow users to read and write memory directly.

Safe Groups

A safe type can have any binary state without introducing memory risks.

Boolean
Number
Block

Conditional Groups

A conditional type depends on the safety of the inner type.

Option
Array
Record

Unsafe Groups

An unsafe type may include pointers or contextual information that can result in invalid operations given arbitrary values.

String/Sequence
List
Schema

Memory safety refers to whether all memory states are valid or not. Almost all primitives types are safe, while variable containers are usually not. Memory-safe types may allow users to read and write memory directly. # Safe Groups A safe type can have any binary state without introducing memory risks. - Boolean - Number - Block # Conditional Groups A conditional type depends on the safety of the inner type. - Option - Array - Record # Unsafe Groups An unsafe type may include pointers or contextual information that can result in invalid operations given arbitrary values. - String/Sequence - List - Schema