JuliaCon 2026

Symbolic computation is inherently very dynamic. It needs to support representing arbitrary function calls, on arbitrary symbolic types. Older versions of Symbolics.jl and SymbolicUtils.jl were notoriously type-unstable. This talk goes over the methods used and challenges involved in making the latest major versions of those packages type-stable and precompilation-friendly. The techniques and insights discussed are generally applicable to other packages as well.