Home

MaybeVoid is the personal site for Soares Chen. I blog about functional programming in languages including Haskell, Racket, OCaml, Rust. I also write about research topics in programming language theory including Type Theory, Algebraic Effects, Linear Types, and Formal Verification.

In general, if you understands how the Haskell type Maybe Void is equivalent to (), or if you are interested in finding that out, then you might be interested to read my posts here.

Disclaimer: Content on this site are purely my personal opinions produced on my own free time. This site is not affiliated with any organization or company that I work with.

Recent Posts

Read more in Archive.