It (AFAIK!) says nothing about abstraction, type systems, memory management, etc.
-
-
Replying to @glaebhoerl @wycats and
(Well, it does say something about abstraction because at worst you can always write an
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @wycats and
interpreter for the other language, but that's a pretty loose "upper bound"...)
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @deech and
put another way, why did you think it was important to write https://github.com/rust-lang/rfcs/pull/243 … ?
1 reply 0 retweets 0 likes -
I wonder if we're talking at cross-purposes. You seem to be saying "syntax matters" - & I agree
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @wycats and
I said the same thing elsewhere in the thread. There is the other thing, semantics.
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @wycats and
Syntax is the UI for semantics. You seemed to argue that due to TC, semantics is trivial.
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @wycats and
That's the part I was trying to counter. I very much don't think syntax is insignificant.
1 reply 0 retweets 0 likes -
Replying to @glaebhoerl @deech and
oh! Definitely not! I agree with the Fellesein definition I cited earlier for semantics.
1 reply 0 retweets 0 likes -
Replying to @wycats @glaebhoerl and
but syntax is the UI for semantics and has to co-evolve.
1 reply 0 retweets 0 likes
due to TC, you can see that the ease of expressiveness is relevant, is all.
-
-
Replying to @wycats @glaebhoerl and
from the cited paper ("On the Expressive Power of Programming Languages")pic.twitter.com/PTzjy30cou
1 reply 0 retweets 1 like - 1 more reply
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.