The type system is so strict that if it compiles it will almost always run. Nil is a type that must be explicitly ruled out before you can use a potentially nil

The type system is so strict that if it compiles it will almost always run. Nil is a type that must be explicitly ruled out before you can use a potentially nilable value. But it avoids the manual memory management/borrow checking/pointer vs. reference vs. value unpleasantness of Zig/Rust/C++. It's probably most comparable to Java/C#, but something about the design of the syntax and standard library makes it much more appealing than either of those for me.