1.该措施向两个差异的处事发出两个请求（第1、2行），这两个处事都是由actor内部实现的；
Motoko是一种现代编程语言，专门用于开拓互联网计较机平台上的措施，也能作为在其他平台措施的通用语言。
我们上面没有列出这种“notify”模式的例子，因为它利用了回调（以及高阶函数和节制流），因此显得越发巨大
详细来说，异步措施是指那些措施在处理惩罚其情况的请求时，不需要期待情况的措施。同时，答允措施在期待时（大概是主动的）在此情况中举办内部处理惩罚。在上面的示例中，措施在期待第一个微处事的同时发出了第二个请求。
纵然在没有交织执行的环境下（假如上面只有一个挪用），出于同样的原因，编程抽象仍然清晰和简捷。Motoko会向编译器发出在那边需要转换措施的信号，措施员不必为将措施的执行与底层系统的动静通报轮回交错，而去调解措施自己的逻辑。
finalStep(await result1, await result2)
和大部门现代编程语言一样，Motoko答允利用切合人体工程学的语法去实现组件之间的异步通信。
Motoko是为那些利用过JavaScript或其他现代编程语言(如Rust、Swift、TypeScript、C#或Java)，劈面向工具或函数式编程习惯有一些根基相识的措施员所设计的。
actor雷同于工具，其非凡性在于它的独立状态是长途方法（remotely），而且它与外界的交互是异步的。
易用性
凡是，动态测试可以实现Motoko范例系统无法到达的查抄本领。Motoko固然包括了较前卫的编程思想，但我们并不想让这个范例系统变得艰涩且难以领略。相反，Motoko的范例系统吸取了现代编程思想、易用性思想以及已有的范例系统的履历教导，从而为通用漫衍式编程提供了一种更易用、数学上更准确的语言。相对的，情况向措施提倡请求，情况也不需要在期待返反响应的同时，期待该措施的响应环绕其举办外部处理惩罚。
Motoko为开拓者提供了一个基于actor的编程模子来实现处事操纵，包罗互联网计较机上的微处事。
在这里，措施在第3行中利用 await ，通过利用Motoko提供的人类可读语法，以一种简朴的方法来暗示交错行为。
当开拓人员利用这些要害字时，编译器会按照需要对措施举办转换，凡是会对措施的实现和数据流举办巨大的转换，而这些转换将很繁琐。同时，Motoko的范例系统为这些结构写死了一些正确的利用模式，，包罗在动静的“消费者”和“出产者”之间活动的范例始终保持一致，而且答允处事之间发送的数据范例也将切合这些法则，而且不包括私有的可变状态。
Motoko拥有范例安详的形式属性，也称为范例不变性。范例友好型的Motoko措施不会堕落，这意味着它们不会因为把措施布局看成错误的范例来看待，而错误的利用它们。
我们可以通过以下三个步调来描写措施的行为：
这种系统级编程成果固然强大，但很是容易堕落，因为它会把高级数据流解析为通过共享状态举办通信的初级系统事件。有时这种方法是须要的，但在互联网计较机里就不是必需的。
Motoko措施会静态地编译为WebAssembly执行，WebAssembly是一种便于多平台移植的二进制名目，险些能运行在所有现代计较机硬件上，因此可以在互联网与互联网计较机上被遍及地执行。
与其他现代编程语言一样，Motoko答允每个变量携带函数、工具或原始数据（譬喻字符串、整数）。也存在其他范例的值，包罗records、tuples和称为variants的“标志数据”。
在缺乏这些抽象的语言配置中，开拓人员不只需要直接挪用这两个函数，并且必需利用很是高级的编程模式，大概会在系统提供的“事件处理惩罚措施”中注册“回调函数”。每个回调都将处理惩罚在应答停那时呈现的异步事件。
不变的范例
异步actors
在异步计较配置中，答允措施及其运行情况执行并发的内部计较。
异步动静通讯和范例安详
为了满意清晰和简捷的需求，Motoko回收了常见的async和await的措施结构，从而为措施员提供了一种布局化语言来描写巨大的异步依赖干系。
所有与actor的通信以及actors之间的通讯，都需要利用互联网计较机的动静通报协议，在网络中异步地通报动静。actor的动静是按顺序处理惩罚的，因此状态修改不会导致竞态条件。
async与await的语法形式
出格地，由于Motoko包括了一个实用的现代范例系统，该系统可以在每个措施执行之前对其范例举办查抄，因此Motoko措施具有精采范例安详性。
支持异步行为
let result1 = service1.computeAnswer(params);
一般来说，处事会交织执行而不是相互期待，这样可以淘汰总体延迟。然而，假如我们试图在没有非凡语言的支持下以这种方法淘汰延迟，将粉碎系统的清晰性和简捷性。
2.措施利用要害字await期待每一个功效都停当（第3行）。
微处事即actor
相反，我们的措施制止了这种更底层却更繁琐的编程气势气魄，即每个请求都雷同于一个普通的函数挪用。固然就像当今大大都现代软件所做的，人们越来越多地把这种更简朴、更程式化的编程气势气魄用在表达与外部情况交互的实际系统中。但这样就需要非凡的编译器和范例系统支持，我们将在下面具体接头。
在这里，我们仅利用挪用service1.computeAnswer(params)、service2.computeAnswer(params)所发生的代码。
互联网计较机提供的底层计较平台确保了每一个基于动静的同步都能封锁，但这样做时，漫衍式系统中常见的超时等原因也大概导致同步失败。
语法await将在预先的promise长举办同步。我们在上面的示例中展示了await表单的两种用法，它们期待着这两个处事的功效。
let result2 = service2.computeAnswer(params);
譬喻，Motoko措施中每个变量都带有一个关联范例，在措施执行之前，该范例是静态且明晰的。编译器会查抄每个变量的每次利用，以防备运行时呈现范例错误，包罗空指针错误。
媒介
从这个意义上讲，Motoko的范例在措施源代码中提供了一份颠末编译器验证的可信任文档。
3.措施通过挪用finalStep函数利用这两个功效（第3行）。
在Motoko中，每个通信组件都是一个actor。作接下来举一个例子，如果此刻你本人就是一个actor措施，请看以下三行代码：
Motoko的范例系统会静态查抄每个Motoko措施在所有大概的输入下可否安详地执行，而且不会产生内部范例错误。这就解除了其他语言中常见的范例陷阱，包罗空指针错误、参数和功效范例不匹配等等问题。
这个异步语法会在未来引入异步数据的“promise”（在上面的第一个示例中未显示）。当我们在Actors和异步数据中引入actor时，您将相识到更多有关异步promise的信息。
Motoko兼容主流的编程习惯，包罗针对漫衍式应用措施的非凡编程抽象。每个应用措施由一个actor构成，该actor与其他actor通讯时，并不共享状态，而是利用(异步)动静通讯。
郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
