Add features to VM based hom search - Githubissues

AlgebraicJulia / Catlab.jl

A framework for applied category theory in the Julia language

https://www.algebraicjulia.org

MIT License

599 stars 56 forks source link

Add features to VM based hom search #892

Open kris-brown opened 4 months ago

kris-brown commented 4 months ago

As mentioned in https://github.com/AlgebraicJulia/Catlab.jl/pull/830 there are some more features that would be nice to have for VM hom search, not limited to:

Handle attributes, initial/monic/etc. constraints
Sample random codomains and optimize the compiled program
Convert program into an actual julia function rather than interpreting the VM
Load instruction has f as a symbol, so dynamic dispatch used. This could be made static.