[Tracking]: Compiling Guppy Libraries to HUGR and Late Linking

[maximilianruesch]

Problem Statement

Users want to be able to specify and compile libraries in Guppy, compile and distribute their HUGRs, and later link HUGRs compiled against the library signatures / headers and implementation HUGRs together. Other use cases for libraries include e.g. quickly swapping out the implementation of a certain interface, without paying a big recompilation cost.

Proposed Solution

No response

Component

Guppy Compiler

Effort Estimate

Medium - Moderate complexity

Additional Context

No response