Record · corpus.blog/posts/01a0878a-1983-723e-a7f3-d31ae21c126f

Untapped potential in Rust’s type system

jakobmeier.ch · published 28 May 2021

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at jakobmeier.ch Wayback capture

0blogs citing

First cited: —
Most recent: —
Rank this month: not ranked
External links: 35
Words captured: 11,971

Cited by

No blog we hold has cited this post yet.

Links from this post

Link

Host

https://doc.rust-lang.org/reference/types/trait-object.html

doc.rust-lang.org

https://doc.rust-lang.org/std/any/index.html

doc.rust-lang.org

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&code=use%20core%3A%3Aany%3A%3A%7BAny%2C%20TypeId%7D%3B%0Afn%20main(

play.rust-lang.org

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&code=use%20core%3A%3Aany%3A%3A%7BAny%2C%20TypeId%7D%3B%0Ause%20std%3A%3Aops%3A%3ADeref%3B%0A%0Astruct%20Rectangle%3B%0Astruct%20Triangle%3B%0A%0Atrait%20Shape%3A%20Any%20%7B%7D%0A%0Aimpl%20Shape%20for%20Rectangle%20%7B%7D%0Aimpl%20Shape%20for%20Triangle%20%7B%7D%0A%0Afn%20main(

play.rust-lang.org

https://doc.rust-lang.org/std/any/trait.Any.html

doc.rust-lang.org

https://doc.rust-lang.org/std/boxed/struct.Box.html

doc.rust-lang.org

https://doc.rust-lang.org/std/mem/fn.transmute.html

doc.rust-lang.org

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&code=use%20core%3A%3Aany%3A%3A*%3B%0Ause%20std%3A%3Acollections%3A%3AHashMap%3B%0A%0Afn%20main(

play.rust-lang.org

https://play.rust-lang.org/?version=stable&mode=release&edition=2018&code=use%20core%3A%3Aany%3A%3A*%3B%0Ause%20std%3A%3Acollections%3A%3AHashMap%3B%0A%0Astruct%20SingletonCollection%20%7B%0A%20%20%20%20data%3A%20HashMap%3CTypeId%2C%20Box%3Cdyn%20Any%3E%3E%2C%0A%7D%0Aimpl%20SingletonCollection%20%7B%0A%20%20%20%20fn%20get%3CT%3A%20Any%3E(%26self

play.rust-lang.org

https://github.com/amethyst/shred

github.com

https://github.com/amethyst/shred/blob/63778ae268970b7526f74fca7ec6e0364a7514c9/src/world/mod.rs

github.com

https://chrismorgan.info/

chrismorgan.info

https://github.com/chris-morgan/anymap

github.com

https://en.wikipedia.org/wiki/Object-oriented_programming

en.wikipedia.org

https://en.wikipedia.org/wiki/Message_passing

en.wikipedia.org

https://github.com/jakmeier/nuts

github.com

https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=bfcd9a908ca17401cdf3b212dd8c6453

play.rust-lang.org

https://doc.rust-lang.org/nomicon/hrtb.html

doc.rust-lang.org

https://docs.rs/nuts/0.2.1/nuts/struct.ActivityId.html

docs.rs

https://docs.rs/nuts/0.2.1/nuts/struct.DomainState.html

docs.rs

https://github.com/jakmeier/paddlers-browser-game/

github.com

https://github.com/QuietMisdreavus

github.com

https://crates.io/crates/handler_map

crates.io

https://crates.io/crates/eventbus

crates.io

https://en.wikipedia.org/wiki/Actor_model

en.wikipedia.org

https://en.wikipedia.org/wiki/SOAP

en.wikipedia.org

https://github.com/google/tarpc

github.com

https://github.com/rust-lang/rust/blob/fa72878a61f2b0a2127fe7d700724642fc79ec66/compiler/rustc_middle/src/ty/util.rs

github.com

https://doc.rust-lang.org/std/any/struct.TypeId.html

doc.rust-lang.org

https://github.com/rust-lang/rust/issues/10389

github.com

https://github.com/rust-lang/rust/pull/75923

github.com

https://github.com/jakmeier/universal-type-id

github.com

https://github.com/serde-rs/serde

github.com

https://crates.io/crates/bincode

crates.io

https://users.rust-lang.org/t/blog-post-untapped-potential-in-rust-s-type-system/60372

users.rust-lang.org