语法-1.3：通用抽象语法和嵌入式语言实用程序

安全哈斯克尔无

语言。句法。共享.具体化

描述

在AST公司

本模块基于论文Haskell中的类型安全可观察共享（安迪·吉尔，2009年，http://dx.doi.org/10.1145/1596638.1596653).

简介

文件

reifyGraph（重新定义图形）来源

论据

::受约束的dom公司 
=> (对于所有人a。ASTF公司dom a->布尔)

决定给定节点是否可以共享的函数

->ASTF公司dom公司 
->IO（输入输出）(ASG公司域名a） 

将语法树转换为保留共享的图形

此函数在引用上不透明（因此IO（输入输出）). 然而，它表现良好，因为可能发生的最糟糕的事情就是共享丢失。不可能获得虚假共享。