Andreas Rossberg

Interesting! Nit: Wouldn't s/method/func/ be more in line with Candid syntax and terminology?

I don't think it makes sense trying to solve this on the Candid level. It is mostly coincidence that Rust and Motoko are even that close on this. Plenty of...

@chenyan-dfinity, we introduced Candid to abstract away from language specifics. This would be reintroducing them. No such approach can possibly scale. When designing any language-related mechanism for the IC, we...

> It kind of happened already. In Motoko, we can import actor class from another Motoko file without going through Candid. That seems unrelated. Imports are a Motoko mechanism that...

> The spec is only about how to map Candid type to the host language. In fact, it's hard to know if a service is a Rust canister by just...

How many passes do we have on the IR? Is it checked after every one of them? Maybe by default, we should just check the IR after the very last...

Btw, the tail calls proposal for Wasm is now at stage 4, which means it's completed and merely needs to be merged into the main spec. I hope this can...

This is actually expected. In the outer block, you first need to gather all type definitions. For classes without an annotation, that requires inferring the type of the body. I...

This is very nice. But I have to agree with @dschuff about early phases: there is basically no entry requirement to phase 1, and proposals at this stage generally are...

Custom page sizes is scheduled for a phase 2 vote next Tuesday, so we could just wait that out. The component model is rather special, since it is it's own...