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.
-
-
Your thesis *draft* you mean? It’d be clearer if you mark it as such clearly on page *1*, not *11* (no I’m not going to read this in order, and I shouldn’t have to).
-
Apologies, will amend immediately.
- 2 more replies
New conversation -
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!