impl Schema for NamedType et. al

[jamesmunns]

I attempted to implement Schema for the various types associated with schemas, like SdmTy and such.

However, this ends up causing an unbounded cycle: NamedType contains an SdmTy that can contain a NamedTy, etc. This can be seen in: https://github.com/jamesmunns/postcard/tree/james/schema-schema

I don't know if there is a way around this, at least with the currently recursive definition of how we do schemas.

For now, I think I'm just going to have a NewType([u8]) if I want to send schemas, and do the deserialization as a second step if I want to send schemas over postcard-rpc.

[max-heller]

do the deserialization as a second step if I want to send schemas over postcard-rpc.

Is there a plan to make schemas implement Deserialize? I've been wanting the ability to send schemas around and deserialize bytes into a generic representation (analogous to serde_json::Value) based on a schema, but Schema only supporting 'static references seems like a blocker

[jamesmunns]

Check out https://github.com/jamesmunns/postcard/tree/james/owned-schema

And https://github.com/jamesmunns/postcard-dyn/

I'm actively working on it now

[max-heller]

Check out https://github.com/jamesmunns/postcard/tree/james/owned-schema

And https://github.com/jamesmunns/postcard-dyn/

I'm actively working on it now

Exciting, thanks for the pointers!

[jamesmunns]

And if you want a preview of what I'm working on it for: https://onevariable.com/poststation/

[jamesmunns]

Implemented in #170