Untapped potential in Rust's type system

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.

Read in full here:

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

Corresponding tweet for this thread:

Share link for this tweet.