# 推荐：VSCode 插件
安装 Silq 的推荐方法是使用其 Visual Studio Code 插件。这种方法适用于 Linux 、Mac 和 Windows 。同样适用于 VSCodium（VSCode 的 Fork 版本）
# 安装 VSCode
# 安装插件
- 打开 VSCode
- 打开扩展选项卡（快捷键 Ctrl + Shift + X）
- 安装
vscode-silq
# Unicode 输入
- 安装 Input Assist 扩展
- 在
VSCode设置（快捷键 Ctrl + ,）里加入：
"input-assist.languages": ["plaintext", "silq"] |
# 开始编程
只需创建一个扩展名为 slq 的文件，并加入以下代码：
def main() { | |
x := 0: 𝔹; | |
return H(x); | |
} |
# 运行类型检查
使用 F5 执行程序时会自动运行类型检查。
# 运行程序
按 F5 可运行具有 main 主函数的程序。
# 备选：从 GitHub 安装
在 Ubuntu 中安装：
sudo apt-get install -y build-essential git wget unzip | ||
git clone https://github.com/eth-sri/silq.git # 克隆仓库 | ||
cd silq && ./dependencies.sh && ./build.sh # 下载依赖和编译项目 | ||
#【忽略编译警告】 | ||
/path/to/silq/silq | ||
error: no input files |
添加到环境变量：
# 一般不需要：创建目录 | ||
sudo mkdir -p /usr/local/bin | ||
# 确保当前路径是 `/path/to/silq` | ||
sudo ln -s $(pwd)/silq /usr/local/bin/silq | ||
silq | ||
error: no input files |
运行类型检查：
# 创建一个有类型错误的 `erroneous` 文件： | ||
echo "def main() { x := H(false); }" > erroneous.slq | ||
silq erroneous.slq # 创建文件的类型检查 | ||
# 排除错误信息： | ||
# erroneous.slq:1:13: error: variable 'x' is not consumed | ||
# def main() { x := H(false); } |
# 创建一个正确的 Silq 文件： | ||
echo "def main(){ x:=H(false); return measure(x); }" > correct.slq | ||
silq correct.slq # 正确文件的类型检查 | ||
#【无输出】 | ||
silq correct.slq --run # 运行正确文件 | ||
# 输出 0 或 1 |
