# Untapped potential in Rust's type system

**URL:** <https://forum.devtalk.com/t/untapped-potential-in-rusts-type-system/10574>\
**Category:** Blogs/Articles/Talks/Podcasts\
**Tags:** type, rust, in-the-news\
**Created:** [16 June 2021 12:56 UTC](https://forum.devtalk.com/t/untapped-potential-in-rusts-type-system/10574 "2021-06-16T12:56:27Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![CommunityNews](https://forum.devtalk.com/user_avatar/forum.devtalk.com/communitynews/32/1113_2.png) [@CommunityNews](https://forum.devtalk.com/u/CommunityNews)\
**Post date:** [16 June 2021 12:56 UTC](https://forum.devtalk.com/t/untapped-potential-in-rusts-type-system/10574/1 "2021-06-16T12:56:27Z")

</div>

> Today, I’m writing about what types can be used for other than checking code properties. It will involve a good chunk of dynamic typing, and yes it’s in Rust. There are some wild ideas in it, so fasten your seatbelt and get ready for a ride!
> 
> # Overview
> 
> The article is divided into introduction, background, three sections containing the main content, and a conclusion. The three sections in the middle each cover their own idea with a separate motivation. What connects is the way runtime type evaluation is applied. In that aspect, they build on top of each other.
> 
> - [Overview](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#overview)
> - [Introduction](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#introduction)
> - [Background: Dynamic Types in Rust](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#background-dynamic-types-in-rust)
> - [Section 1: A Heterogenous Collection of Singletons](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#section-1-a-heterogenous-collection-of-singletons)
> - [Storing heterogenous data](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#storing-heterogenous-data)
> - [Real world applications and AnyMap](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#real-world-applications-and-anymap)
> 
> - [Section 2: Type-Oriented Message Passing](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#section-2-type-oriented-message-passing)
> - [What I want to achieve and why](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#what-i-want-to-achieve-and-why)
> - [Implementation](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#implementation)
> - [More about Nuts](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#more-about-nuts)
> - [Comparison to existing implementations](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#comparison-to-existing-implementations)
> 
> - [Section 3: Universal Type IDs](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#section-3-universal-type-ids)
> - [Dirty secrets about TypeId](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#dirty-secrets-about-typeid)
> - [Why I’m not using TypeId](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#why-im-not-using-typeid)
> - [Deriving my own Type ID](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#deriving-my-own-type-id)
> - [How would this be used?](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#how-would-this-be-used)
> 
> - [Final Thoughts](https://www.jakobmeier.ch/blogging/Untapped-Rust.html#final-thoughts)

Read in full here:

[https://www.jakobmeier.ch/blogging/Untapped-Rust.html](https://www.jakobmeier.ch/blogging/Untapped-Rust.html)

_This thread was posted by one of our members via one of our news source trackers._