18、Clean与JavaScript交互：从基础到应用

Clean与JavaScript交互：从基础到应用

1. Clean与JavaScript通信基础

Clean与JavaScript之间的通信是双向的。JavaScript调用任务小部件（tasklet）的接口函数，传递参数并期望得到结果；同时，Clean端会触发带有参数的事件，JavaScript可以观察这些事件并接收其附带的参数。数据的正确传输需要Clean类型和JavaScript类型之间有一致的对应关系。

1.1 类型对应规则

Clean类型	JavaScript表示
原始类型	相似的原始类型
列表和元组	数组（n - 元组表示为长度为n的数组）
代数类型	数组，数据构造函数的名称存储在数组的第一个元素中

JavaScript的值在Clean中对应 Dynamic 类型，这使得在Clean端进行类型模式匹配有助于实现类型安全的编程。

1.2 接口函数示例

以 annotate 函数为例，它返回一个字符串数组的数组的数组 tokens ，在 for 循环中以直接