About Me

I am a Haskell Consultant at Well-Typed and a member of the Glorious Glasgow Haskell Compiler (GHC) development team. I hold bachelor's and master's degrees in computer science from the University of Wyoming. During my studies, I was the primary instructor for the functional programming and programming language courses.

In addition to my technical interests, I love birding. I created and maintain a suite of eBird API libraries and tools for Haskell, and am interested in continuing to use technology to support conservation.

Recent Blog Posts

Announcing ebird-haskell

Haskell libraries for working with eBird data and the public eBird API

November 27, 2023

An in-depth tour of the GHC specialiser

Feeling ad-hoc? Let this post specialise you.

October 10, 2023

Reducing Haddock's Memory Usage

A cross-post of my blog post for Well-Typed

October 6, 2023

A GHC plugin that detects overloaded calls

Shedding some light on ad-hoc polymorphism

September 27, 2023

A website appears

Introducing my new personal website

September 26, 2023
... see the rest on my blog

Get in Touch

The best way to reach me is via email. My email is the single string generated by the context-free grammar below, specified in labelled Backus-Naur form:

Email.  Email  ::= Name "@" Domain   ;
Name.   Name   ::= "finleymcilwaine" ;
Domain. Domain ::= "gmail.com"       ;

To verify my email, you could save this in a file finley-email.cf and generate a parser using BNF Converter:

bnfc -m finley-email.cf
echo <my email> | ./TestFinleyEmail

If you got my email right, the parser will succeed.