clarity-jupyter-kernel

Clarity 是一种由 Blockstack 设计的 可判定 的智能合约语言，它优化了可预测性和安全性。智能合约允许开发者在区块链上编码关键业务逻辑。

一种编程语言是可判定的，如果你可以从代码本身确切地知道程序将做什么。Clarity 故意设计成图灵不完整，以避免 Turing complexity。这允许对给定智能合约的整个调用图进行完全的静态分析。此外，我们的类型和类型检查器支持可以消除整个类别的错误，如意外的类型转换、重入性错误和读取未初始化的值。

Jupyter Notebook 是一个开源的网页应用，允许你创建和分享包含实时代码、方程式、可视化内容和叙事文本的文档。应用包括：数据清洗和转换、数值模拟、统计建模、数据可视化、机器学习等。

笔记本内核是一个 计算引擎，它执行笔记本文档中的代码。

当你打开一个笔记本文档时，相关的内核会自动启动。当笔记本执行时（无论是逐个单元格还是通过菜单“单元格”->“运行所有”），内核执行计算并产生结果。根据计算类型的不同，内核可能会消耗大量的 CPU 和 RAM。请注意，RAM 不会释放，直到内核关闭。

快速入门

第一步是使用 pip 或你喜欢的包管理器（brew、pacman 等）安装 jupyter-notebook。然后你可以构建和安装处理 Clarity 的内核

从源码构建

第一步是确保你已经安装了 Rust 和支持软件。

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

然后你可以克隆此存储库

git clone https://github.com/lgalabru/clarity-jupyter-kernel.git

cd clarity-jupyter-kernel

cargo install --path . 
clarity-jupyter-kernel --install

通过启动 jupyter-notebook

jupyter-notebook

现在你可以创建一个新的包含 Clarity 的笔记本。