I show how two domain-specific type systems, information flow control and two-party communication protocols, can be implemented in Rust using type-level programming. I explain how interesting properties of these domains can be verified at compile-time. Fi... (more…)

Years ago, Andrew Kennedy published a foundational paper about a type checker for units of measure, and later implemented it for F#. To this day, F# is the only mainstream programming language which provides first class support to make sure that you will ... (more…)

With Rust gaining traction among the GStreamer community as an alternative to C to write applications and plugins, we began wondering, could the size of such Rust plugins be a problem for embedded systems? (more…)

"Memory managed languages? In my kernel?" It's more likely than you think. (more…)

This article is a response to the #rust2020 call for blog posts. We talk about what we’re grateful for and what we’d like to see improved... (more…)