Love all the ideas here. I found it might be possible to tackle "strict aliasing" and "pointer provenance" with a type system and I would head down to it early

Love all the ideas here. I found it might be possible to tackle "strict aliasing" and "pointer provenance" with a type system and I would head down to it early. The approach might sound like Rust's `MaybeUninit` but I didn't think much about it. I've already implemented procedural metaprogramming in a JS dialect of mine [1], it's also trivial to use it to implement compile-time format strings. I would improve the whole experience in this new C-like language. Again, very very practical ideas here. Great thanks! [1]: https://github.com/rowscript/rowscript/blob/16cb7e1/core/src/prelude/json.rows#L2 https://github.com/rowscript/rowscript/blob/16cb7e1/core/src...