When you work at only one level of abstraction, current type systems are already great. When you work at several levels of abstractions... they mostly don't even try yet.
-
-
-
Once thing I can't relate to is dynamic languages without metaprogramming. Or statically types without inferencer. Lambdas but no tuples. Languages lacking either or both ad hoc and/or parametric polymorphism. There are trade offs. And then there's paying for nothing.
- 1 more reply
New conversation -
-
-
Are you using “aspects” in the technical sense from the AOP community?
-
In a more technical sense maybe. See my thesis about AOP and much more: http://j.mp/FarePhD
- 4 more replies
New conversation -
-
-
Some aspects act in opposing ways, such as linearity optimizations vs orthogonal persistence. Dealing with the exponential explosion of aspect interactions without being shielded by language abstraction is crazy.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
This thread reminded me of this paper Convergence in Language Design: A Case of Lightning Striking Four Times in the Same Place https://pdfs.semanticscholar.org/87ab/9ebf4208bf574f93b9f9acbffd71dc5f532e.pdf …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
Read my blog!