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.
-
-
Aspects introduced may include concurrency, memory allocation (linearity), error reporting, persistence, access control, logging. Suddenly none of your functions are pure anymore and you live in either dynamic types or lifting hell.
-
- 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!