• Sharp Things

    Correct by Construction in F#

    • 9 Comments
    Correct by Construction in F# Jomo Fisher—a theme in the design of the F# language is that problems in the code are revealed as compilation errors. Consider this C# code which is used to compose a courteous letter to a customer: enum Courtesy {...
Page 1 of 1 (1 items)