Yan Chen

How do you pass in the init args, via `--argument` in dfx? Is the init args type specified in the .did file? Something like `service : (InitArgs) -> {...}`. It...

Yeah, nothing surprising here. The remaining ones are: * Reading deeply nested value can cause stack overflow * A binary parser we use (`binread`) doesn't do defensive read, so it...

Yeah, I wonder if it's worth fixing. We always do subtype checking before decoding. Unless the receiver expects a `vec null/reserved` type, sending such a vector will be rejected immediately....

The problem with `blob` is that in Motoko, we need to expose the serialization/deserialization primitives to the end user. Are we ready to open this up? The use of `record...

I see. So the trick comes from `&[Self]` which side-stepped the specialization restriction. Instead of `impl` for `Vec` and `Vec`, we impl for `u8`, and other types, and decide what...

Right. Both JS and Rust binding only generate types referenced in the service. Because both languages require identification of recursion points, and that algorithm requires sorting the type definitions from...

This is only a problem when the did file is not around. With the system level support for fetching did file, textual values will be annotated with the method signature...

I see the pain, but I don't think subtyping is the solution. Without did files, you cannot accurately know the number type, e.g. for wallet canister, one of the field...

I see several problems here: 1) Textual representation is not optimized for writing. I don't think inputing number is the only pain here. Nested records, variants, recursive values are all...

> Are you saying that if I pick a number to be nat16, I will never be able to upgrade it to nat32 without breaking backward compatibility? To me, that's...