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

安全哈斯克尔无

语言。句法。前端。莫纳德

说明

一元结构

本模块基于论文嵌入式语言的通用单子结构（Persson等人，IFL 2011http://www.cse.chalmers.se/~emax/documents/persson2011generic.pdf).

简介

文件

新类型 周一dom pVar m域变量哪里来源

嵌入式单子程序的用户界面

建造师

周一:: (对于所有人r.（右）(莫纳德米，可键入第页，共页，注入C(蒙纳德m） dom（m r）=>Cont（续）(ASTF公司(HODomain公司dom公司可键入pVar）（m r））a）->周一dom pVar m域变量 

领域

unMon（联合国周一）::对于所有人r.（右）(莫纳德米，可键入第页，共页，注入C(蒙纳德m） dom（m r））=>Cont（续）(ASTF公司(HODomain公司dom公司可输入pVar）（毫瓦）
 

实例

莫纳德m=>莫纳德(周一dom pVar m） 
Functor（仿真器）(周一dom pVar m） 
(句法a、 ~（*->*）(域a）(HODomain公司dom公司可键入pVar），注入C(莫纳德m） dom（米(内部a） ），莫纳德米，可键入1米，可键入(内部a） ，pVar（pVar）(内部a） ）=>句法(周一dom pVar m a） 

去糖汽水:: (注入C(蒙纳德m） dom（男），莫纳德米，可键入1米，可输入a） =>周一域pVar m(ASTF公司(HODomain公司dom公司可键入pVar）a）->ASTF公司(HODomain公司dom公司可输入pVar）（毫安）来源

一元作用的一层去糖

苏加莫纳德:: (莫纳德米，可键入1米，可键入a、 pVar a）=>ASTF公司(HODomain公司dom公司可键入pVar）（毫安）->周一域pVar m(ASTF公司(HODomain公司dom公司可打字的pVar（无功功率）a）来源

一元行为的单层糖化