语法-1.3:通用抽象语法和嵌入式语言实用程序
语言。句法。糖
描述
“语法糖”
简介
班 句法一哪里来源
通常假设(去糖(糖a) )具有相同的含义作为一.
(去糖(糖a) )
去糖
糖
一
关联的类型
类型 域答::*->*来源
类型 内部一来源
方法
去糖::a->ASTF公司(域a)(内部a)来源
糖::ASTF公司(域a)(内部a) ->a来源
实例
复苏剂:: (句法a、,句法b、,域一个~域b、,内部一个~内部b) =>a->b来源
句法类型转换
班 语法N内部|a->内部哪里来源
N元句法功能
去糖氮具有任何类型的表单:
去糖氮
减温::(句法a,句法b, ...,句法x,域域,域b~dom, ...,域x~dom)=>(a->b->…->x)->(ASTF dom(内部a)->ASTF dom(内部b)-> ...->ASTF dom(内部x))
……反之亦然糖N.
糖N
去糖氮::a->内部来源
糖N::内部->a来源
sugarSym公司::(对称:<: AST公司dom、,应用Sym信号域,合成战术Nc b)=>对称信号->c来源
“糖衣”符号应用
sugarSym公司具有任何类型的表单:
sugarSym公司
sugarSym::(经验:<:AST dom,句法a dom,句法b dom, ...,句法x dom)=>expr(内部a:->内部b:->…:->完整(内部x))->(a->b->…->x)
糖SymC:: (注入Csym(对称)(AST公司dom)(拒绝结果信号),应用Sym信号域,语法Nc b)=>对称信号->c来源
糖SymC具有任何类型的表单:
糖SymC
sugarSymC::(InjectC expr(AST dom)(内部x),句法a dom,句法b dom, ...,句法x dom)=>expr(内部a:->内部b:->…:->完整(内部x))->(a->b->…->x)