zig has less memory usage correctness guarantees but its type system is good too.