Hacker News new | ask | show | jobs
by zozbot234 1594 days ago
Yes, abstracting away from the context only works if you can tell that the problem really is context-independent. This works well with apples, not so well with e.g. commutativity once you get to things like matrices. So abstraction (from "apples" to "numbers" to "matrices") can sometimes reintroduce context that had previosly been discarded.