18、Clean与JavaScript交互：实现高效Web应用开发

Clean与JavaScript交互：实现高效Web应用开发

1. Clean与JavaScript的通信机制

Clean与JavaScript之间的通信是双向的。JavaScript端调用任务小工具（tasklet）的接口函数，传递参数并期望得到结果；同时，Clean端会触发带有参数的事件，JavaScript端可以观察这些事件并接收其附带的参数。这种信息交换通过按值传递参数和返回值来实现，这就要求Clean类型和JavaScript类型之间有一致的对应关系。

语言类型	对应关系
原始类型	Clean的原始类型在JavaScript中由相似的原始类型表示
列表和元组	用数组表示，n元组表示为长度为n的数组
代数类型	用数组表示，数据构造函数的名称存储在数组的第一个元素中

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

2. 添加状态和交互：BIBTEX应用示例

假设要编写一个在浏览器中执行的交互式展示逻辑，例如以可搜索、可过滤的方式在网页上显示出版物的书目数据。应用程序接收BIBTEX文件作为输入，解析、过滤并美化显示文件中的条目