The coroutine issue is complicated. I believe we need an asynchronous execution model that uses effects typing to ensure effects are issued in an observably correct order. I think it’s best to build that on futures rather than coroutines.
-
-
-
However, we also need an approach for iterating over collections of values produced by arbitrary sources where production and consumption are separated modularity. I believe first-class failure and backtracking rather than coroutines are the right answer.
- 2 more replies
New conversation -
-
-
I expect scalable transactions will come with significant overhead. However, if that cost buys us the ability to scale to 64+ cores without sacrificing a traditional, easy-to-use programming model, it will be worth it.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I envision a future where all mutable data is managed by something like Haskell IORef: pointers managed by a garbage collector which can be read and written concurrently using a transactional memory framework, but which don't support pointer arithmetic or other unsafe ops.
-
ILM's Zeno4/Virtual Studio prototype used transactional pointers (a library we wrote) to enable concurrent and consistent reads and writes across processes. It was amazing to code against, many lessons learned. it's unfortunate we didn't publish.
End of conversation
New conversation -
-
-
Looks interesting and elegant. At the opposite extreme, you have super-optimization -- try every possible combination of machine code until you get the fastest compilation: https://dl.acm.org/citation.cfm?id=36194 …
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
I'd settle for an interpreter able to perceive my intent.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Thanks, that's exactly what I needed, I want to make a compiled language with the freedom of LISP. Now I need one year of study to understand this paper. :)
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
South African servers
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
Bring back tilted towers tim
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.