Type theory and functional programming | lit.salon