This is code to accompany my talk
types are awesome.
This is some Rust code where I first implement Peano numerals using the Rust
type system, and then implement a List<T, N> type which has length known at
compile time. The Peano numeral code is heavily inspired by
peano.rs.
- The full slides are here.
- The recording of the full talk (given to an audience of UPE members) is on YouTube.
- The abridged slides for CSM×TwoSigma are here.