It looks like you're new here. If you want to get involved, click one of these buttons!
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".