inferred implicit parameters for ergonomic object capabilities

from blog binarycat, | ↗ original
a system that elegantly provides the security benefits of an effect system and ocaps, while also being convenient to use. !--more-- inspired by scala's implicit paramaters and the object-capability model (ocaps). background: what is an ocap put simply, an object-capability is an object that represents a capability to do something. for example, on...