Conversation

Nope
@sean_of_w
The "PL as Math" side always left me cold, same as arguing "Shakespeare is just words." I read Knuth's "Literate Programming" in college in the '90s, and ever after have thought of PL as language, as description, as communication, first and foremost.
1
Brendan Zabarauskas
@brendanzab
I dunno, perhaps that's because you get different connotations when you hear the word, 'Math', which is perfectly understandable. To me the word evokes ideas of structure, relationships, beauty, form, and creativity… the deep underpinnings of everything we know and love.
2
Nope
@sean_of_w
I got the "vibe" of SML, and later Haskell and Rust. Correctness and totality are good properties, but they're *cold*. They exist for the machine, not for the human, and PLs are really about humans. PL as language, as literature, as communication, as art - that matters more.
1
Brendan Zabarauskas
@brendanzab
I dunno, I find langs like Rust and Elm and Reason bending over backwards to help me express myself better and more clearly, where as others give me the silent treatment and never critique me until it's too late, then it's a big slap in the face… 😰
2