张量安全 tensor-safe是一个依赖类型的框架，用于定义深度学习模型，其结构在编译时已得到验证。 如果模型有效，则可以将其编译为外部框架，例如Python或Javascr ipt中的Keras框架。 安装说明 使用cabal new-install安装tensor-safe可执行文件 cabal new-install tensor-safe 安装tensor-safe库 cabal new-install tensor-safe --lib 建筑说明和开发工具 通过stack inst