okay, let me try using this as an example: http://research.microsoft.com/en-us/um/people/simonpj/papers/eval-apply/ …
-
-
Replying to @bitemyapp @Meaningness
Haskell is a language with a standard, GHC is an implementation of that standard. Part of GHC's utility is pioneering
1 reply 0 retweets 0 likes -
Replying to @bitemyapp @Meaningness
new ways to efficiently compile lazy functional programming languages. The paper above is a product of that.
1 reply 0 retweets 0 likes -
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
Ah, now you are talking! What guarantees should we want?
-
-
Replying to @Meaningness
Chris Allen 🇻🇦(Lent!) Retweeted Chris Allen 🇻🇦(Lent!)
Chris Allen 🇻🇦(Lent!) added,
2 replies 0 retweets 0 likes -
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.