Ok, this is a wild back-story for a new programming language:

What if the type system knew about cryptographic secrets and processed them differently than other values?

https://github.com/google/rune

Seems like any language with operator overloading could do something like this, like Rust for example, so I’m still not sure why Rune is whole language instead of just a library.

I guess it’s because they also do fancy memory management stuff like defining relationships between objects, in a SQL-ish way. Then the compiler has access to extra optimizations.

I’m still not sure what this language is trying to be when it grows up.