kotlingrad:具有代数数据类型的形状安全符号微分 源码

Kotlin∇:Kotlin的类型安全符号区分 Kotlin∇是的类型安全的框架。 它允许用户使用更高维度的数据结构和运算符来表达可。 我们试图将语法上有效的构造限制为代数上有效并且可以在编译时检查的构造。 通过在类型系统中强制执行这些约束,可以消除在可微程序执行期间可能发生的某些类别的运行时错误。 由于类型推断,最终用户可以安全地忽略大多数类型声明。 Kotlin∇努力做到表达性,安全性和在概念上类似于数学。 它目前是预发布版本,目前不提供稳定性保证。 目录 介绍 受 , , , , , , 等人的启发,Kotlin∇尝试将自动分化(AD)的最新进展移植到Kotlin语言中。 A