2 ms·
> From what I've seen, the other mechanisms for limiting over-exuberant abstraction don't work well enough over the long term, at scale. Can you name a specifi
by pcwalton 10y ago
> From what I've seen, the other mechanisms for limiting over-exuberant abstraction don't work well enough over the long term, at scale.
Can you name a specific example of people using ML-style generics (i.e. no typeclasses, no module system) to achieve "over-exuberant abstraction"?
- stcredzero 10y agoNope. You got me there. I'm not so sure that would be cheap to implement in Golang, though. Also, your comment prompted me to find and read this: http://people.cs.uchicago.edu/~jacobm/pubs/templates.html http://people.cs.uchicago.edu/~jacobm/pubs/templates.html