[PRL] Bob Harper's new blog

[Joe Marshall]

On Thu, Mar 17, 2011 at 12:39 PM, Duncan Mak <duncan at ccs.neu.edu> wrote:
> So, going back to pedagogy  - the reason not to teach OO style to freshmen
> is because compiler writers don't know how to (or perhaps, provably cannot
> ever) write a good (?) statically optimizing compiler for languages like C#
> and Java?

Heavens no!

The reason not to teach OO style is because it encourages poor
programming practices, discourages simple uses of FP concepts
and prevents more complex uses of FP concepts.

(The compiler argument showed up because Matthias asked
``How does the dynamic dispatch of inheritance differ from
 the 'random' jumps induced by calls to first-class functions
 in FPLs?'')

-- 
~jrm