My name is Alexis King, and I write a lot of software. I live in Los Angeles, but I’m potentially willing relocate, depending on location.
I’m interested in functional programming and programming language research, and I try to spend as much time as I can writing Haskell and Racket. I mostly work on web applications and infrastructure, but I’m especially passionate about writing libraries and tooling.
I write about some of the things I do on this blog, and I sometimes tweet about them and other things on Twitter. I work on a lot of open-source projects on GitHub, and you can email me at email@example.com.
Things I’m good at
Programming languages and DSLs
I have spent a lot of time turning complicated problems into less complicated ones by building languages to solve them, focusing on everything from environment variable management to type-safe unit testing to shell scripts that manage their own dependencies.
Web applications and APIs
I’ve been working with web tech for most of my programming lifetime, and I know how to design user-friendly applications and strong, stable APIs. I know how to encode most domains into a type system in such a way that makes the most common bugs impossible, and I can build embedded languages that make things like database queries and templating safe, efficient, and concise.
Libraries and developer tooling
I dedicate most of my free time to developing and maintaining open source software, and I know how to write and document watertight abstractions that can be used and reused. I approach library interfaces from a user experience perspective as well as a technical one.
Teaching and technical writing
Things I like to use
I am deeply familiar with Haskell and its ecosystem, and I know how to do everything from practical type-level programming to metaprogramming with Template Haskell. I am skilled in structuring Haskell applications to make them testable and easy to change. I use a hand-picked complement of libraries and GHC extensions to turn Haskell into a compile-time assistant that knows so much about my domain that it can write a lot of my code for me.
Recently, I’ve done a lot of work using servant, a Haskell type-level DSL for building REST-y HTTP APIs, which makes implementing complex APIs easy in a composable way. I also maintain two open-source Haskell libraries, text-conversions and test-fixture.
I work on Racket almost as much as I work with Racket, and I know its state of the art macro system inside and out. I use Racket to build extremely flexible tools that are both easy to extend and easy to understand, and I use its documentation language, Scribble, to write general-purpose technical documentation and specifications.
I maintain too many Racket libraries to list.
Projects I’m working on
racket-tulip and Racket language tooling
I maintain a working prototype of the tulip programming language. While having an implementation of tulip is useful in and of itself, the main purpose of the project is to explore Racket’s language tools in more depth. A handful of libraries have come out of my research, most notably megaparsack, a Parsec-style parser combinator library that is uniquely capable of automatically producing “syntax objects”, which cooperate with Racket’s advanced set of static analysis tools.
Other research in a related space has involved looking into ways to compose syntactic language extensions in safe and predictable ways, making reader syntax as composable and safe as ordinary Racket macros. This work is demonstrated by the curly-fn package, powered by the underlying namespaced-transformer library.
Testing strongly-typed monadic effects in Haskell
I am a co-author of the test-fixture Haskell library, which aims to assist Haskell developers in flexibly testing effectful code without any boilerplate and without giving up any static guarantees. This is implemented with a combination of some type-level trickery, a monadic implementation of explicit typeclass dictionary passing, and a Template Haskell utility for eliminating boilerplate and unnecessary manual maintenance.
The general technique is described in more detail in this blog post. Open research problems with this technique include cleanly testing polymorphic methods and better supporting concurrent programs, but I’m working on that.
The Hackett programming language
Hackett is a very new programming language that combines a Haskell-style type system and Racket’s cutting-edge macro technology into a statically typed Lisp that exposes type information at macro-expansion time. It is based on research by Stephen Chang, Alex Knauth, and Ben Greenman about embedding types and typechecking as macros. It is semantically much closer to Haskell than Scheme, but it uses an s-expression-based syntax to enable more powerful syntactic abstractions.
My efforts so far have involved fusing the new types-as-macros technique with more traditional unification-based type inference in a composable way. The initial results are promising, and my working prototype is currently pretty close to a somewhat usable ML, but the initial goal is to support all of Haskell 98’s core features.