Comment on Zero to hero

• mnemonicmonkeys@sh.itjust.works ⁨6⁩ ⁨months⁩ ago

  *Most programming languages

  source

  • Maggoty@lemmy.world ⁨6⁩ ⁨months⁩ ago

    We don’t talk about those kids, they’re weird. :)

    source
• baseless_discourse@mander.xyz ⁨6⁩ ⁨months⁩ ago

  I 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

  source

  • Maggoty@lemmy.world ⁨6⁩ ⁨months⁩ ago

    It’s really just a joke about counting from 0 instead of 1.

    source

    • baseless_discourse@mander.xyz ⁨6⁩ ⁨months⁩ ago

      Oh, array indexing, sure.

      source