|
|
|
|
|
|
by itishappy
876 days ago
|
|
|
In the same vein, having a dedicated type for natural (or even Peano) numbers can be quite nice. I've seen some clever use-cases in Haskell and Rust such as statically enforcing bounds checks. Can't have a negative length list! |
|
|