1:15 PM Sunday Room: 4201
This session presents practical functional techniques for achieving correctness in production quality code from strongly-typed functional-first languages. Discussion and examples are in F# and SQL. The techniques and languages demonstrated are applicable across Linux and Windows servers, all mobile devices (iOS, Android, etc.), and single board computers such as Raspberry Pi.