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
• Introduction
• Background: Dynamic Types in Rust
• Section 1: A Heterogenous Collection of Singletons
  • Storing heterogenous data
  • Real world applications and AnyMap
• Section 2: Type-Oriented Message Passing
  • What I want to achieve and why
  • Implementation
  • More about Nuts
  • Comparison to existing implementations
• Section 3: Universal Type IDs
  • Dirty secrets about TypeId
  • Why I’m not using TypeId
  • Deriving my own Type ID
  • How would this be used?
• Final Thoughts

Read in full here:

https://www.jakobmeier.ch/blogging/Untapped-Rust.html

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