SymbolicTracing.jl:（实验）跟踪和SymbolicUtils.jl的抽象解释

SymbolicTracing.jl SymbolicUtils.jl类型的实验跟踪。 SymbolicTracing.jl可以让你有效地治疗Symbolic{T}作为的一个亚型T用于调度的目的，如果T是一个抽象类。 julia > using SymbolicTracing, Symbolics julia > @syms x :: Real ; julia > f (x :: Number , y) = sin (x + 1 ) + ( sin ( 3 y) - 1 ); julia > @trace f (x, 3.0 ) sin (x + 1 ) - 0.5878815147582435 julia > typeof (ans) SymbolicUtils . Term{Real, Nothing} 这适用于任何抽象类型 julia > @syms s :: Abstract