#类型化

Silq：面向量子计算的高级强静态类型化编程语言
Silq: High-level strong static typed programming language for quantum computing(github.com)
2020-6-24 13:43
SILQ是一种用于量子计算的高级编程语言，具有强大的静态类型系统。更多信息：https://silq.ethz.ch。 这里给出的构建说明是针对GNU/Linux和OSX的。Silq也可以构建在其他平台上，您可以自由地为您喜欢的平台编写一个带有工作构建脚本的Pull请求。 运行./silq example.slq，其......