context-capabilities-initiative
context-capabilities-initiative copied to clipboard
nikomatsakis
- [mock the time source for testing in an async code base]( https://www.ditto.live/blog/mocking-time-in-async-rust?utm_source=reddit-rust&utm_campaign=async-rust-blog) - mark a thread as being "the UI thread" #7
We should create a section summarizing how the problem we're setting out to solve here is solved in other languages. For example Koka's effects, Scala's implicits (versions 1 and 2),...
Blog posts have been written by members of the community, this is an issue gathering them so we can reference them later on: - https://blog.sunfishcode.online/context-brainstorming/ - https://blog.sunfishcode.online/the-spectrum-from-namespaces-to-values/ - https://jam1.re/blog/thoughts-on-contexts-and-capabilities-in-rust
### Motivation Covered in https://blog.sunfishcode.online/context-brainstorming/ ### Details TODO
The ["Bundling and Splitting"](https://nikomatsakis.github.io/context-capabilities-initiative/evaluation/bundling.html) section covers how to combine context capabilities on the declaration side. E.g. ```rust context foo; context bar; context baz; context kaboodle = foo + bar +...
Right now we don't have a design yet for how to model globals. We might expect `Allocator` to be a context capability, but right now that has to be set...
I just read [this excellent blog post](http://ais523.me.uk/blog/scoped-generics.html) titled "Why Rust needs scoped generics", and found the proposed solution to have a fair deal of overlap with contexts and capabilities. One...
