Lazy evaluation is well-known from Haskell, but here is asynchronous lenient evaluation:pic.twitter.com/9dtjZY6ZSs
-
-
Replying to @TimSweeneyEpic
It's a referentially-transparent evaluation model that suspends each operation until its inputs are ready.
4 replies 2 retweets 7 likes -
-
Replying to @pervognsen
Yes, my earlier compiler work was based deeply on constraint-based evaluation with purely functional backtracking.
1 reply 0 retweets 2 likes
I couldn't figure out how to typecheck a useful fragment of my advanced type system, so I'm just building a runtime with dynamic typing.
4:55 PM - 26 Jan 2017
0 replies
0 retweets
3 likes
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.