4 ms·
Andreas' comment is not about OO at all. It's about the second-class status of modules in ML, where the 1ML design that he described in the talk makes modules f
by samth 12y ago
Andreas' comment is not about OO at all. It's about the second-class status of modules in ML, where the 1ML design that he described in the talk makes modules first-class values.
And is your claim really that people in the functional programming community shouldn't make jokes in their talks until FP lives up to your notion of practicality? How many banks need to use Haskell, how many switches need to run on Erlang, etc etc, until you're satisfied?
- theoh 12y agoActually, for what it's worth, it's the widely accepted status of FP as a kind of elite ghetto that I was alluding to, rather than its practicality. I'm not the first to comment on that, and not the best placed to know how to fix it, but, you know, I was musing on what it might be like to have an ML family event involving kids learning functional programming. Something a bit "soft" rather than relentless logic and category theory.
- samth 12y agoActually, there was no category theory at the ML workshop. And the particular complaints you made were based on misunderstanding Andreas' joke, and on being annoyed that FP people are playful while being an "elite ghetto". The particular example of someone who makes a joke, Simon Peyton-Jones, has spent the last several years pushing computing into every elementary school in the UK.