Oops, sorry @jcoo092, I missed your answer! I quite agree with what you say: functional programming is a complex cultural phenomenon which accreted around λ-calcus-based programming and which is hard to capture right. It’s half programming, half sociology :slightly_smiling_face: