That's just the pprinter working its magic :-). Just read the standard, it's quite clear from the semantics that it's a stack machine: https://webassembly.github.io/spec/core/exec/runtime.html#st...…
I'm not saying that because the lockdown has been a failure you need to save face. Is there something unclear in my reasoning from the rest of my comment that you'd like me to re-word?
It is absolutely not the same, since Sweden may change their position because they are not inherently opposed by some inherent moral absolutism to do so.
>[...] but quietly so they don't have to admit it's a change of course. Where exactly does this come from? Sweden has no need to save face. We've been transparent and had open discussion from the beginning with the…
Mutual intelligibility for the sake of information exchange is good, but we can have both. Most Europeans already have both. In the EU (the organization) it's Euro English. The person above you has not said that mutual…
1. They can do both, learning a separate script that's as simple as the Latin one is not a huge investment. 2. You're talking about people who immigrate to an English speaking country, correct? Good advice for people…
Interesting! Would you like to expand on that argument?
I've never seen a computer scientist put a lot of effort into syntax. The POPL people are more interested in type systems and semantics than they are in syntax.
All of what the author said is what Scala does (author likes Scala). I've written a decent amount of Scala, it's fine. I've also written a lot of Common Lisp, where array access is done using aref. That was also fine.
Now we just need to render Emacs onto a tesseract.
I have no issue with that decision at all and find it akin to Go forcing users to adhere to gofmt, and I don't use Zig. A good error message would be nice (EDIT: A zigfmt would be even better). How many developers who…
He shattered his spine? Was he 80 years old and his spine calcified?
Sounds slow to use RPC with JSON for communication. It seems that Racket does allow for C-to-Racket calls. You could write a glue program that generates C code that calls Racket functions and returns data, Swift code…
Sure, but the general idea that you should disallow undefined operations are a core application of type systems. You don't need too advanced of a type system to implement what you're talking about. With the caveat that…
Is it the type checking or the runtime that's slow?
Racket has Typed Racket, you might want to try that out!
I'm not sure that WASM actually is that analysis-resistant. It's more high-level in some aspects than the JVM bytecode for example. For example, it doesn't support arbitrary computed goto:s. Instead it supports…
That failure can be a teachable moment is well-known and is applicable in all aspects of life, it is not particularly interesting to read about that in this specific context. In some ways, it is also insulting. For some…
Yes, and apparently it's also used in Indian schools (see comments found here: https://www.facebook.com/poshenloh ).
An alternative company which actually seems to do good work w.r.t. safe languages is Alacris/LegiLogic. Though I haven't found the operational semantics of the language there is a public compiler that can be found here:…
I disagree, I don't think we will ever do the right thing if the reward is big enough. I think the right way to go is to dismantle these unnecessary power structures that allow us to do the wrong choice and replace them…
It just means "demonstration effect", right?
There's a lot of work that I want to do that I cannot be paid to do, therefore those are the things I would be doing with my time instead. Being paid is not a substitute for enjoying the fruits of one's labour.
Really? Could you link me to Skatteverket where it says this? The only info I find is that you tax when you sell your stock. I read most of this: https://www.skatteverket.se/privat/skatter/vardepapper/omakt...
So to ensure that your system follows this state machine you need to write a proof for that in some other theory (like an abstract interpretaion of your program)?
That's just the pprinter working its magic :-). Just read the standard, it's quite clear from the semantics that it's a stack machine: https://webassembly.github.io/spec/core/exec/runtime.html#st...…
I'm not saying that because the lockdown has been a failure you need to save face. Is there something unclear in my reasoning from the rest of my comment that you'd like me to re-word?
It is absolutely not the same, since Sweden may change their position because they are not inherently opposed by some inherent moral absolutism to do so.
>[...] but quietly so they don't have to admit it's a change of course. Where exactly does this come from? Sweden has no need to save face. We've been transparent and had open discussion from the beginning with the…
Mutual intelligibility for the sake of information exchange is good, but we can have both. Most Europeans already have both. In the EU (the organization) it's Euro English. The person above you has not said that mutual…
1. They can do both, learning a separate script that's as simple as the Latin one is not a huge investment. 2. You're talking about people who immigrate to an English speaking country, correct? Good advice for people…
Interesting! Would you like to expand on that argument?
I've never seen a computer scientist put a lot of effort into syntax. The POPL people are more interested in type systems and semantics than they are in syntax.
All of what the author said is what Scala does (author likes Scala). I've written a decent amount of Scala, it's fine. I've also written a lot of Common Lisp, where array access is done using aref. That was also fine.
Now we just need to render Emacs onto a tesseract.
I have no issue with that decision at all and find it akin to Go forcing users to adhere to gofmt, and I don't use Zig. A good error message would be nice (EDIT: A zigfmt would be even better). How many developers who…
He shattered his spine? Was he 80 years old and his spine calcified?
Sounds slow to use RPC with JSON for communication. It seems that Racket does allow for C-to-Racket calls. You could write a glue program that generates C code that calls Racket functions and returns data, Swift code…
Sure, but the general idea that you should disallow undefined operations are a core application of type systems. You don't need too advanced of a type system to implement what you're talking about. With the caveat that…
Is it the type checking or the runtime that's slow?
Racket has Typed Racket, you might want to try that out!
I'm not sure that WASM actually is that analysis-resistant. It's more high-level in some aspects than the JVM bytecode for example. For example, it doesn't support arbitrary computed goto:s. Instead it supports…
That failure can be a teachable moment is well-known and is applicable in all aspects of life, it is not particularly interesting to read about that in this specific context. In some ways, it is also insulting. For some…
Yes, and apparently it's also used in Indian schools (see comments found here: https://www.facebook.com/poshenloh ).
An alternative company which actually seems to do good work w.r.t. safe languages is Alacris/LegiLogic. Though I haven't found the operational semantics of the language there is a public compiler that can be found here:…
I disagree, I don't think we will ever do the right thing if the reward is big enough. I think the right way to go is to dismantle these unnecessary power structures that allow us to do the wrong choice and replace them…
It just means "demonstration effect", right?
There's a lot of work that I want to do that I cannot be paid to do, therefore those are the things I would be doing with my time instead. Being paid is not a substitute for enjoying the fruits of one's labour.
Really? Could you link me to Skatteverket where it says this? The only info I find is that you tax when you sell your stock. I read most of this: https://www.skatteverket.se/privat/skatter/vardepapper/omakt...
So to ensure that your system follows this state machine you need to write a proof for that in some other theory (like an abstract interpretaion of your program)?