I'm a full stack developer who's particularly interested in functional programming, type systems and metaprogramming.