Skip to content

Commit 37faf03

Browse files
hyperpolymathclaude
andcommitted
docs(ecosystem): add pipeline position, typed-wasm + nextgen-typing relationships
- Position in katagoria → typell → typed-wasm → PanLL pipeline - typed-wasm: aggregate-library (shared WasmGC binary layout conventions) - typell: type-theory-foundation (typell-affinescript bridge crate) - nextgen-typing: coordination-parent - ephapax: sibling-wasm-target - katagoria: research-upstream Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent 9866727 commit 37faf03

1 file changed

Lines changed: 16 additions & 0 deletions

File tree

.machine_readable/6a2/ECOSYSTEM.a2ml

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,19 @@ ecosystem = "hyperpolymath"
99
[position]
1010
type = "programming-language"
1111
purpose = "A systems programming language combining affine types, dependent types, row polymorphism, and extensible effects, compiling to WebAssembly"
12+
13+
[pipeline]
14+
position = "co-product"
15+
chain = "katagoria → typell → typed-wasm → PanLL"
16+
notes = "AffineScript compiles to typed WasmGC. TypeLL grounds its type system. typed-wasm provides the shared binary layout and ABI conventions."
17+
coordination = "nextgen-typing"
18+
19+
[related-projects]
20+
projects = [
21+
{ name = "typell", relationship = "type-theory-foundation", notes = "TypeLL's open-ended progressive framework grounds AffineScript's type system. typell-affinescript bridge crate." },
22+
{ name = "typed-wasm", relationship = "aggregate-library", notes = "Shared binary layout conventions for WasmGC cross-language calls. AffineScript Option[T]/Result[T,E]/String have agreed layouts here." },
23+
{ name = "nextgen-typing", relationship = "coordination-parent", notes = "Coordination monorepo for the type theory pipeline. Canonical architecture doc." },
24+
{ name = "ephapax", relationship = "sibling-wasm-target", notes = "Both compile to typed WasmGC. Independent designs; converge at binary level via typed-wasm." },
25+
{ name = "katagoria", relationship = "research-upstream", notes = "Type theory research origination. Future AffineScript type system extensions may originate there." },
26+
{ name = "panll", relationship = "consumer", notes = "AffineScript is one of PanLL's development language targets." },
27+
]

0 commit comments

Comments
 (0)