Dear Haskell Community,
Since May, 2022, I’ve had the honor and pleasure of serving as the Executive Director of the Haskell Foundation. As many of you know, I’ve had a deep and abiding interest in dependently-typed programming, formal verification, compile-time metaprogramming, and programmer tooling. A rare opportunity came by to work on all of these at once, and I will be returning to a full-time developer role at the beginning of October.
Based on the hard work of our volunteers, the board, and our collaborators, the HF has become a key part of the community’s infrastructure. This will not stop - we’ve arranged for project work to continue after my last day, and the next ED will take over an organization in action.
I won’t be going anywhere - I love Haskell, and it will continue to be the best tool for many of the jobs I like to do. The Board of Directors will soon begin the process of recruiting my replacement, who will certainly have their own take on how to most effectively help the community. Please direct questions about that process to the Chair of the Board, @rae. If you’re considering applying and would like to discuss the job with me, please get in touch. I will do everything I can to help the new ED succeed - I hope you will too, just as you’ve helped me so much.
Thank you, dear community, for your trust and kindness. Thank you HF sponsors, for making it possible for me and my successor to do this work. This isn’t goodbye - I’ll see you around.