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

Read full article

Similar

CIS 198: Rust Programming

This schedule will be filled out as the semester progresses. (Tentative) (more…)

I’ve been thinking a lot lately about how often Rust changes. There are some people that assert that Rust stays fairly static these days, and there are some people who say Rust is still changing far too much. In this blog post, I want to make a data drive... (more…)

String vs. Andstr in Rust

In this article we'll explore the difference between String and str in Rust and when to use which. (more…)

Building a Container Runtime in Rust[Oracle]

The container ecosystem is growing up. Proprietary implementations are gradually being replaced by open standards. One of the most important standards from the open container initiative is the oci-runtime spec, which allows alternative container runtimes ... (more…)

Building a telnet chat server with Rust and Lunatic

I love the aesthetics of terminals and I’m not the only one, there is a whole subreddit dedicated to... (more…)

Latest News

One author pushed the limits of AI copyright

Developing Rapidly with Generative AI

OpenAI winds down AI image generator that blew minds and forged friendships 2022