MaybeVoid
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>;