Skip to content

Latest commit

 

History

History
13 lines (11 loc) · 757 Bytes

README.md

File metadata and controls

13 lines (11 loc) · 757 Bytes

Types are Awesome Talk Demo

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.