News for hackers. Stuff that matters.

A comment on Computers are made of metal, not category theory. Parent comment

Re:Computers are made of metal, not category theory by codygman on Thursday October 02, 2014 @06:06PM (#8403351)
You might as well ditch the abstraction? So you program everything in assembler then?

OOP is leaky, maybe we should ditch it. The ADT and typeclasses in Haskell are much more general and well-behaved than objects in my experience.

[ Parent | on HN ]
Re:Computers are made of metal, not category theory by sanderjd on Thursday October 02, 2014 @07:22PM (#8403666)
I sort of buried the lede in my comment... My main point was that while all abstractions are leaky, it's reasonable to judge them on the relative extent of their leakiness.
[ Parent | on HN ]