As you might expect from someone who tried her hand designing a programming language , I have a lot of strong opinions about language design. Recently I’ve been thinking about doing some hobby programming, but lately I haven’t found any languages to my taste. Maybe I’m just too picky? Probably my most subjective requirement of a language, but also the one I feel most strongly about: ahead-of-time typechecking . Types eliminate so many classes of annoying mistakes and serve as a strong communi...

Read the original article