Candid：互联网计算机上应用程序接口的通用语言

提供接口和数据描述：使用Candid的开发人员能够描述服务的公共接口，通常以部署为容器的程序的形式进行描述。作为开发人员，您可以将运行在互联网计算机上的外部服务称为异步函数调用。
原则上支持接口的演变：Candid通过精确指定可以在不破坏现有客户端的情况下进行的更改来支持服务接口的演变，例如，这意味着您可以安全地向服务中添加新的可选参数而不会失去与现有客户的兼容性。
支持互联网计算机功能：Candid特别适合开发互联网计算机的应用程序。

Candid在某种程度上受到了类似IDL和数据定义语言（DDL），例如Protobuf、Thrift和JSON的启发，但是Candid提供了这些其他技术所没有的独特功能组合：

如何使用Candid？

Candid的主要目的是将以某种宿主语言（例如Motoko、Rust或JavaScript）编写的程序与互联网计算机连接。在大多数情况下，您不必将程序数据作为Candid值处理。

相反，您可以使用熟悉的JavaScript值使用JavaScript之类的宿主语言，然后依靠Candid将这些值透明地传输到用Rust或Motoko编写的容器中。容器接收这些值，并将其视为原始Rust或Motoko值。

在某些情况下，以人类可读的形式直接查看Candid值很有用-例如，在命令行上记录、调试或与服务交互时。在这些情况下，您可以将文本表示形式用于Candid值。

Candid是一个强类型化的系统，具有一组规范地涵盖大多数用途的类型（要查看列表，请参阅我们的SDK页面）。

这组类型背后的原理是，它们足以描述数据的结构，以便可以对信息进行编码、传递和解码，但是它们不尝试描述超出此范围的语义约束。

无论您是以Motoko、Rust、JavaScript还是其他语言编写代码，Candid都支持这组类型，以允许基于适用于每种宿主语言的合理、规范的选择来自然映射数据类型。

可以使用Candid类型通过Candid服务描述文件（.did文件）来描述服务，该文件可以手动编写，也可以从服务实现中生成。

例如，如果您在Motoko中编写一个容器，则编译器在编译程序时会自动生成一个Candid描述。

在其他语言中，例如Rust，您将必须手动编写Candid接口说明。在类型的帮助下，我们开发了工具来自动生成UI并根据服务描述文件执行随机测试。

Candid对服务升级也很有用，服务随着时间而发展，他们获得了新的方法，而现有的方法返回了更多的数据，或者期望有其他参数。通常，服务作者希望在不破坏现有客户的情况下做到这一点。

Candid通过定义精确的子类型化规则（在Coq！中正式化）来帮助服务安全地发展，这些子类型化规则指示何时新的服务类型仍将能够与使用先前接口描述的所有其他方进行通信。

有兴趣了解更多吗？以下是一些与Candid相关的材料，可帮助您入门……

Candid的教程和资源

Candid的讲解视频：您可以观看文章开始有关如何使用Candid的视频教程。
Candid的文档和教程：您可以访问我们SDK网站上有关Candid的文档：https://sdk.dfinity.org/docs/candid-guide/candid-intro.html
Candid Crate：Candid Crate是一个序列化/反序列化库，可用于在Rust中创建Candid服务或客户端：https://crates.io/crates/candid
JavaScript的互联网计算机代理库：该代理包括对Candid的支持。
社区支持的Candid库：Haskell、Elm、AssemblyScript和Kotlin当前存在库。
Candid UI：此容器为互联网计算机上运行的任何容器生成一个前端UI，从而使开发人员能够与Web上的容器（而不是终端）进行交互，并提供调试功能。

作者：DFINITY

翻译：Catherine

进Dfinity交流社群，请添加小助手微信：

comiocn

长按关注

Dfinity微信公众号

给你第一手资讯和项目信息

更可随时答疑解惑