MaybeVoid is Soares Chen's personal website to talk about his various topics of interest, including Rust, programming language theory, and blockchain.

In Haskell, the type MaybeVoid is defined as:

data Void
data Maybe a = Just a | Nothing
type MaybeVoid = Maybe Void

In Rust, the type MaybeVoid is defined as:

enum Void {}
enum Option<T> { Some(T), None }
type MaybeVoid = Option<Void>;

Highlights

Ferrite

Session types EDSL for Rust

Mononym

Type-Level Named Values in Rust

Flex Error

Flexible error handling in Rust