Generic associated types encode higher-order functions on types in Rust

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… Read more

Similar

Tiobe Index 2020 – Rust jumps to Top 20

Almost 10 years after its birth, programming language Rust enters the TIOBE index top 20 for the first time. Is this surprising? Rust has been awarded "the most loved programming language" by Stackoverflow users for the last 5 years. In a row! The main ... (more…)

Read more »