文件名称：phantom-matrix:强类型矩阵加法
文件大小：19KB
文件格式：ZIP
更新时间：2024-08-05 10:16:27
OCaml
矩阵的幻影 下面两个矩阵的和是多少？ 嗯，这是一个非常简单的问题。 它是以下矩阵： 下一个问题。 下面两个矩阵的和是多少？ 嗯，这个问题真的没有意义。 如果两个矩阵的大小不同，则不能将它们相加！ 该存储库包含向量和矩阵的实现，其中在编译时捕获并拒绝此类非法操作。 只有有效的向量和矩阵加法是类型良好的。 代码的灵感来自。
【文件预览】：
phantom-matrix-master
----.gitignore(583B)
----Makefile(103B)
----main.ml(2KB)
----.merlin(9B)
----linAlg.ml(594B)
----linAlg.mli(358B)
----README.md(1011B)
----eq1.png(5KB)
----eq3.png(8KB)
----eq2.png(3KB)