Silicon Valley Code Camp : October 11th and 12th 2014Session

Functional Programming for Production Quality Code

Practical functional techniques for correct production quality code using the strongly-typed functional-first language F#. Applicable across Linux and Windows servers, all mobile devices, and single board computers such as Raspberry Pi.

Jack Fox

When 1:15 PM Sunday
Where 4201

About This Session

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.

Time 1:15 PM Sunday
Room 4201

The Speaker(s)

Jack Fox

Engineer, Tachyus

Jack Fox is an F# MVP who works as a software engineer at Tachyus, the first Silicon Valley tech company to implement full stack F# across all its production software platforms. He has a passion for software correctness, and has presented functional and type-theory topics at SVCC, Chicago Lambda Jam, the N.Y. City F# User Group, the S.F. Bay Area F# User Group, and S.F. Types, Theorems, and Programming languages.