Comment on Zero to hero
baseless_discourse@mander.xyz 6 months agoI don’t personally know much programming language that provides natural number type in their prelude or standard library.
In fact, I can only think of proof assistants, like Lean, Coq, and Agda. Obviously the designer of these languages know a reasonable amount of mathematics to make the correct choice.
(I wouldn’t expect the same from IEEE or W3C, LOL
Maggoty@lemmy.world 6 months ago
It’s really just a joke about counting from 0 instead of 1.
baseless_discourse@mander.xyz 6 months ago
Oh, array indexing, sure.