文件名称:dimensional-dk-linalg:基于Dimension-DK软件包的Haskell尺寸类型线性代数
文件大小:14KB
文件格式:ZIP
更新时间:2024-06-07 08:29:51
Haskell
尺寸-dk-linalg 基于软件包的Haskell的尺寸类型线性代数。 基础线性代数库 Dimension-dk- 的初始版本将基于 。 在更高的版本中可能会更改它,因为: hmatrix具有更严格的许可证 hmatrix依赖于 ,这使得在Windows上安装它相对笨拙。 理想情况下,最终版本将同时支持Windows和ARM,而作者打算将其分别用于仿真和机器人控制。 致谢 的Dimension和Dimension-dk软件包是关键的依赖和启发。 基于道格拉斯•麦克林和。 该程序包与不同之处在于,其主要目的是检查尺寸,而不是沿“向后”方向(从结果类型到参数类型)推断尺寸。
【文件预览】:
dimensional-dk-linalg-master
----.gitignore(86B)
----Setup.hs(46B)
----dimensional-dk-linalg.cabal(1KB)
----src()
--------Numeric()
----LICENSE(1KB)
----examples()
--------Controls.hs(4KB)
----README.md(1KB)