User loginNavigation |
Number-Parameterized Types by Oleg KiselyovNumber-Parameterized Types by Oleg Kiselyov
Oleg shows several approaches towards encoding numbers into types and using those numbers to check list length, matching sizes for matrices or vectors. Oleg also points out connections to dependent types, phantom types, and shape-invariant programming. |
Browse archives
Active forum topics |
Recent comments
6 weeks 13 hours ago
6 weeks 13 hours ago
6 weeks 13 hours ago
12 weeks 1 day ago
1 year 1 day ago
1 year 1 day ago
1 year 1 day ago
1 year 22 weeks ago
1 year 26 weeks ago
1 year 28 weeks ago