https://twitter.com/sliminality/status/1317331148360437760 · As someone who strongly prefers static types, I can't believe I am saying this but I don't love the trend of dunking on dynamically typed languages as "merely" unityped/badly statically typed. Dynamism has its own rich history, including contributions to static typing.
https://tmandry.gitlab.io/blog/posts/2021-12-21-context-capabilities/ · I recently worked out a promising idea with Niko Matsakis and Yoshua Wuyts to solve what I’ll call the “context problem” in Rust. The idea takes inspiration from features in other languages like implicit arguments, effects, and object capabilities. While this is very much at the early stages of development, I’m sharing it here to hopefully get more perspectives and ideas from the Rust community. The problem Very often in programming we find ourselves needing access to some context object in many places in our code.