Ben L. Titzer
Ben L. Titzer
@sparker-arm Can you clarify which arm architectures might be affected? Does this apply to modern processors and arm64, or is this limited to certain classes of arm processors?
Thanks for sharing your thoughts, I have read this comment a couple times and will try to boil it down: First, suppose: ``` def trySomething() -> A | Err1; def...
I'm going to close this for now, as I think choice types are overkill. Instead I'd like to explore adding a maybe type `?` that works as a union type:...
I am thinking that `null` is just to signal the absence of a value, and that you use an `ErrorReporter` pattern to put errors into a context that is passed...
It's hard to anticipate the use cases, so I am not sure if green threads would need this functionality. But from the view of EH and stack switching composability, it...
Sorry I missed the meeting, the notes aren't up yet, so I don't know all the discussion points. I echo the points @conrad-watt raised, to the extent I understand them...
TBH I prefer that they remain unprefixed and low, because these opcodes are fundamental additions to control flow constructs. Or, to put it another way, I cannot imagine other instructions...
Should we close this issue?
I think it's more consistent with the rest of Wasm to keep the continuation as the last argument. I have a slight preference for left-to-right binding for `cont.bind` because that...
On Fri, Jun 19, 2015 at 2:29 AM, JF Bastien [email protected] wrote: > @titzer https://github.com/titzer suggested that "a module may > optionally define that out-of-bounds includes small indices close to...