An Optional is a collection of zero or one elements.
Force unwrapping is [0].
Fight me
Conversation
It used to be actual peano numbers but the errors were bad. github.com/diesel-rs/dies
1
1
2
Languages like Idris or Lean have much better error reporting for this stuff. Can be very useful, but you do need good error reporting.
But do they tell you when your peano needs to be tuned?
1
2
I just define a `has_coe ℕ 🎹` instance!
1