Case Study: Peano Numbers in Rust

[marioortizmanero]

TODO list:

• [ ] Create an issue for the comments
• [ ] Add at least one image for previews when sharing
• [ ] Make sure it doesn't start with section such as "Introduction" (it'll mess up the post preview)
• Add the following metadata fields:
  • [ ] title
  • [ ] description
  • [ ] author
  • [ ] images
  • [ ] tags
  • [ ] series (optionally)
  • [ ] date
  • [ ] GHissueID
• [ ] Clean up bibliography
• [ ] Share on other platforms (lobste.rs, reddit, hackernews, twitter?)

Hey @SabrinaJewson, I hope you don't mind it if I write an article based on your const generics design. It's hard to actually come across usage of const generics in my experience, and I think it could make for a cool post if I can find other similar cases. I'll definitely credit you :)

Edit: I could start with a peano numbers approach, and then go with const generics arithmetics, which will surely work as well and possibly be prettier.

[SabrinaJewson]

Well, it’s not technically const generics, just clever use of the existing type system. But yes, go ahead, I’d be honoured :D

[marioortizmanero]

Ah dang, you're right. Still, sounds like a nice article for whenever I have more time :)