Home

Welcome to Soares Chen's homepage MaybeVoid. My interest is in functional programming (Haskell, Rust, Ocaml, etc), and programming language research (dependent types algebraic effects, row polymorphism, session types, etc).

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.

Projects

Casimir

Effects library in Haskell supporting both algebraic effects (free monad) and mtl-style effects.

Ferrite

Session type EDSL in Rust, supporting both linear and shared session types. Draft paper

Quasi Params

Better implicit parameters in Haskell.

Dabble

Row polymorphism library in Haskell.

Recent Posts

Read more in Archive.