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

The MaybeVoid Type

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

Context-Generic Programming

A new modular programming paradigm for Rust

Hermes SDK

Modular relayer for facilitating inter-blockchain communication using CGP

Ferrite

Session types EDSL for Rust