文件名称：Mjolnir.jl:少谈一点，多一点抽象
文件大小：27KB
文件格式：ZIP
更新时间：2024-06-12 17:09:50
Julia
姆乔尼尔 Mjolnir是部分评估/抽象解释的混合方法，并在Julia中实现。 可以将其视为基于运算符重载的跟踪（如JAX，PyTorch Script，分级编程系统等）和基于数据流的抽象解释（如Julia，TypeScript和Crystal的类型推断系统）的混合。 它针对的是软件包开发人员，而不是Julia的最终用户。 Mjolnir可以重现跟踪系统的紧凑线性跟踪（也称为计算图或Wengert列表）。 julia > function pow (x, n) r = 1 while n > 0 n -= 1 r *= x end return r end pow (generic function with 1 method) julia > using