An Optional is a collection of zero or one elements. Force unwrapping is [0]. Fight me
It used to be actual peano numbers but the errors were bad.https://github.com/diesel-rs/diesel/commit/7ae93499d7f7388058681cdec82efa4f0bde6cc7 …
-
-
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 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.