matlab如何敲代码-slap:OCaml中的BLAS和LAPACK绑定具有基于类型的静态大小检查，可用于矩阵运算

matlab如何敲代码尺寸线性代数软件包（SLAP） SLAP是一个线性代数库，其中包含用于矩阵运算的基于类型的静态大小检查。 用于数值分析的许多编程语言（例如，，等）和线性代数库（例如，，等等）不能静态地（即，在编译时）保证向量和矩阵维的一致性。 尺寸不一致，例如，二维和三维矢量相加会导致运行时错误，例如内存损坏或错误的计算。 SLAP通过检测尺寸不一致来帮助您进行调试 在编译时（而不是运行时）和 在更高的级别（即，在呼叫者站点而不是在呼叫堆栈内部的某个地方）。 例如，添加不同大小的向量会在编译时导致类型错误，并且不会发生诸如异常之类的动态错误。 对于大多数高级矩阵运算，将静态验证大小的一致性。 （某些低级操作，例如通过索引访问元素，需要动态检查。） 该库是对FORTRAN的两个广泛使用的线性代数库BLAS（基本线性代数子程序）和LAPACK（线性代数包）的绑定。 通过基于类型的静态大小检查，这提供了许多有用的高性能线性代数运算，例如，最小二乘问题，线性方程，Cholesky，QR分解，特征值问题和奇异值分解（SVD）。 它们的大多数接口都与Lacaml功能兼容。 安装 OPAM安装