Options

Introduction: Geordie McBain

Hello. I'm a working mechanical engineer doing mathematical modelling and writing and running simulation software. I've been using functional programming for many years but on recently taking the QFPL course was exposed to type theory and started to feel like that "recently-retired programmer" in Fong & Spivak's preface "who’s always had an eerie feeling that category theory is what they’ve been looking for to tie it all together".

Sign In or Register to comment.