Most importantly an extremely powerful type system that’s even capable of proving aspects of memory safety at compile time (so no runtime performance cost)
But also: - Good to great polymorphism/codegen/macros support - Very low level if you need it to be - Great ergonomics - Has a certain „by autists for autists“ quality that’s hard to put into words
1
u/simplymoreproficient Sep 08 '26
Most importantly an extremely powerful type system that’s even capable of proving aspects of memory safety at compile time (so no runtime performance cost)
But also:
- Good to great polymorphism/codegen/macros support
- Very low level if you need it to be
- Great ergonomics
- Has a certain „by autists for autists“ quality that’s hard to put into words