Functional Programming @programming.dev demesisx @infosec.pub 1y ago "Propositions as Types" by Philip Wadler