Kenneth Posey Kenneth-Posey
swlaschin
/ Calculator_implementation.fsx
Last active
July 30, 2023 14:50
Type-first design and implementation for a calculator app
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* | |
| Calculator_implementation.fsx | |
| Related blog post: http://fsharpforfunandprofit.com/posts/calculator-implementation/ | |
| *) | |
| // ================================================ | |
| // Draft of Domain from previous file | |
| // ================================================ | |
| module CalculatorDomain_V3 = |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| module Algebra.Boolean.Tests | |
| open Microsoft.FSharp.Quotations | |
| open Algebra.Boolean | |
| open Xunit | |
| [<Fact>] | |
| let ``not pattern`` () = | |
| Assert.Equal (<@@ true @@>, match <@@ not true @@> with Not' e -> e) |