But wait, the implication here is that "the theory underlying their work" is similar for most languages? Don't Haskell and Java differ significantly wrt Type s

But wait, the implication here is that "the theory underlying their work" is similar for most languages? Don't Haskell and Java differ significantly wrt Type systems? And the rigid class structures of Java might cause one to build very different programs that you might in a more dynamic language?