News for hackers. Stuff that matters.

A comment on Type-Level Programming in Rust.

Re:Type-Level Programming in Rust by jswrenn on Monday October 05, 2020 @10:18AM (#24687975)
A few months later, Will released Tyrade, an impressive macro-based DSL for type-level programming in Rust: https://github.com/willcrichton/tyrade

The README uses some of the same motivating examples as the blog post.

Type-level programming absolutely has its place. Rust's `typenum` and `generic_array` crates enabled projects like `nalgebra` long before const generics. I recently used type-level programming to prototype an extension to Rust's type system — that's now an RFC (#2981)!

[ Parent | on HN ]
Re:Type-Level Programming in Rust by mateus_amin on Monday October 05, 2020 @03:24PM (#24691088)
That is really cool. Would "Use types as data primitives" be a good way to describe Tyrade?
[ Parent | on HN ]