Seyon Sivarajah

https://docs.python.org/3/library/collections.abc.html#collections.abc.MutableMapping should makea few methods redundant Or maybe UserDict Or maybe something even closer to what the datastructure actually does.

CircBox option to prevent compiler modifications inside the box

5

Often users want to write precise target-aware circuits and want the compiler to not modify them, it would be useful to offer this functionality in a composable way. Inspired by...

a way to decorate functions indicate that optimisation-by-rewriting shouldn't be done on a function (especially important for quantum functions). This likely needs to translate in to a reserved metadata tag...

Should make recursive circuit definitions nicer see: https://arxiv.org/abs/2311.01725

Use True/False constants for cfg branching if known at compile time

2

avoid needless Tag(0, MakeTuple()) calls

https://github.com/CQCL/guppylang/blob/main/examples/demo.ipynb For example, guppy.compile_module() calls are now required to get hugr

chore: switch to pyright for static type check

1

For TypeAliasType support mainly https://github.com/python/mypy/issues/16614

Rather than a full module

Currently the `Circuit` trait is implemented on anything that implements `HugrView`. That means you can ask for a `CommandIterator` over any Hugr. The logic is that any input linear wires...