Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Eric Lippert's Sharp Regrets