new ways to efficiently compile lazy functional programming languages. The paper above is a product of that.
-
-
Replying to @bitemyapp @Meaningness
If a dated implementation of GHC had been part of the Haskell standard, the paper wouldn't have been applicable in _practice_
2 replies 0 retweets 0 likes -
Replying to @bitemyapp
Right; but Nock is not defined by an implementation, it’s defined by a one-page axiomatization?
1 reply 0 retweets 0 likes -
Replying to @Meaningness
The VM over-specifies things that do not matter for what a system like Urbit is trying to accomplish.
2 replies 0 retweets 0 likes -
Replying to @bitemyapp
I think I agree with that, if I’m following… But maybe that was my point: the PL doesn’t matter, what does matter is the >
1 reply 0 retweets 0 likes -
Replying to @Meaningness @bitemyapp
> overall conception of a platform for personal servers.
2 replies 0 retweets 0 likes -
Replying to @Meaningness @bitemyapp
Freezing a random VM may not matter if you can compile arbitrary langs to that VM and get acceptable performance.
1 reply 0 retweets 0 likes -
Replying to @Meaningness
the VM doesn't provide the guarantees you'd really want for this sort of thing and ties you down in ways that aren't beneficial
1 reply 0 retweets 0 likes -
Replying to @bitemyapp
Ah, now you are talking! What guarantees should we want?
1 reply 0 retweets 0 likes -
Replying to @Meaningness
Chris Allen 🇻🇦(Lent!) Retweeted Chris Allen 🇻🇦(Lent!)
Chris Allen 🇻🇦(Lent!) added,
2 replies 0 retweets 0 likes
Cool. I’m starting to work through that paper.
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.