Corbin Simpson
Corbin Simpson
This is gonna be long. Strap in. We could imagine a rather simple module: ``` exports (main) def main(_) as DeepFrozen: object popsicle as DeepFrozen {} traceln(`$popsicle`) return 0 ```...
Today in IRC we explored the concept of module composition, and whether this issue interferes with composition. We came to the conclusion that no, module composition would be unaffected by...
This was infeasible until #213 was fixed. The module semantics are definitely fine now, and all that we need is a more flexible parser.
`makeProcess` can do it, although this isn't a complete solution.
This is analogous to decorator syntax in Python or Java, and is in general an instance of the Decorator Pattern, aka the Wrapper Pattern, which is common in ocap designs...
Recent conversation on IRC has suggested that none of the routes we want to pursue would involve this sort of package authority. I don't quite want to close this yet,...
The next round of work on this involves forward propagation of values so that we can find more live auditors.
This needs more discussion and we're not going to be able to have it today.
Maybe `.contains/1` is also in scope. MarkM on the topic: "In any case, "has" is shorter. Even the clearest "hasKey" is shorter than "contains"."
`meta.context()` may have to remain in Kernel for AST-revealing objects à la `OpenSource`. #192 is tracking that work.