MaybeVoid
  • Twitter
  • GitHub
  • Projects
  • Blog
  • About

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
  • Powered by Netlify, Zola, and AdiDoks
  • Home
  • Privacy