Jessitron & Avdi Learn About Alloy
A dive into formal model checking, plus a bonus cocktail recipe
Don’t throw away invalid data
Recently I saw a wonderful talk about domain modeling in F#, by Scott Wlaschin. Here’s an older version of it. It was a superbly executed presentation, crystal clear and compelling….