Type-Level Programming in Rust

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

Similar

Rust’s Ugly Syntax

People complain about Rust syntax. I think that most of the time when people think they have an issue with Rust's syntax, they actually object to Rust's semantics. In this slightly whimsical post, I'll try to disentangle the two. (more…)

Read more »

Pake โ€“ An Electron Alternative in Rust

๐Ÿคฑ๐Ÿป A simple way to make any web page a desktop application using Rust. ๐Ÿคฑ๐Ÿป ๅพˆ็ฎ€ๅ•็š„็”จ Rust ๆ‰“ๅŒ…็ฝ‘้กต็”Ÿๆˆๅพˆๅฐ็š„ๆกŒ้ข App - Pake/README_EN.md at master ยท tw93/Pake... (more…)

Read more »