Type level implementation of Peano numbers in Rust

In this screencast, I'm leveraging Rust's type system by defining Peano numbers using Rust's structs and traits, and exploring some fundamental arithmetic operations.
The code for the video: github.com/mag...

[@_glowlight_8583]

Круто, не догадывался, что настолько просто можно реализовать факториал на уровне типов Rust. Спасибо за видео.