About
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