Analyze Dang compiler invariants for hoisting, dynamic-scope cells, and Module.Eq subtyping.
npx skills add https://github.com/vito/dang --skill dang-internals
Please help me install this Agent Skill. Skill: dang-internals Source: https://github.com/vito/dang/tree/main/.agents/skills/dang-internals Command: npx skills add https://github.com/vito/dang --skill dang-internals
Dang's internals expose subtle invariants in the compiler, including multi-pass hoisting, the interaction between copy-on-write mutation and closures, and the Module.Eq subtyping rules.
Explain the forward-reference handling and hoisting order for a new type-like declaration in Dang.
High-intent search queries and answers about installing and using this skill.
Multi-pass hoisting in the Dang compiler hoists top-level type-like declarations before bodies are inferred, enabling mutual references. This ensures forward references are resolved correctly during the inference phase.
Debug dynamic-scope cell interactions in Dang by analyzing Clone, Fork, NewDynamicScope, and SetDynamicScope operations. These control how self is shared across method calls and manage copy-on-write mutation visibility.
Module.Eq subtyping in Dang defines how asymmetry affects assignment and interface/union relationships. Understanding these rules is crucial for maintaining correct type-like declarations and avoiding scoping pitfalls.
To add a new type-like declaration in pkg/dang, implement forward-reference handling and follow the multi-pass hoisting order. This ensures the declaration is hoisted before body inference, maintaining mutual reference compatibility.
Closure mutation visibility issues in Dang's dynamic scope often stem from incorrect NewDynamicScope or SetDynamicScope usage. Check how Clone and Fork manage copy-on-write behavior to ensure mutations propagate correctly.
Yes, the Skill explains Dang's internal compiler invariants and common pitfalls for scoping and mutation. It provides checks and guidance to evaluate scope behavior and debug issues without necessarily modifying the core infer/eval code.
vitoExtend Dang's standard library by adding built-in functions and methods in registerStdlib().
JunjieChen0Analyze Cangjie type systems for subtyping, variance, and conversions.
sanand0Query and analyze CZ CELLxGENE Census single-cell genomics data with scanpy and PyTorch.
amrahman90Guide Python static type hinting with Mypy and Pyright integration.
