RISC-V architecture gets support for language that enables development of highly concurrent and highly safe systems. The Rust language has a syntax that is... (more…)

GATs allow type parameters to associated types in traits. This feature enables total type-level functions to be associated to structs. I show how to use this pattern to implement higher-order type-level functions, and how to use specialization to make par... (more…)

A portion of the community (and of the core team) sees one or more of the following features as important for programmer ergonomics: keyword-based parameters (as opposed to position-based parameter... (more…)

In Rust, data types - primitives, structs, enums and any other ‘aggregate’ types like tuples and arrays - are dumb. They may have methods but that is just a convenience (they are just functions). Types have no relationship with each other. (more…)

Canrun is a new logic programming library for Rust with static types and constraints. (more…)