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

安全哈斯克尔无

语言。句法。构造。薄纱

目录

说明

对象语言中元组的构造和消除

剧情简介

施工

数据 薄纱信号发生器哪里来源

用于构造元组的表达式

建造师

图2::薄纱（a）:->（b）:-> 完全（a、b）） 
图3::薄纱（a）:->（b）:->（c）:-> 完全（a，b，c））） 
图4::薄纱（a）:->（b）:->（c）:->（d）:-> 完全（a、b、c、d））） 
图5::薄纱（a）：->（b）:->（c）:->（d）:->（e）:-> 完全（a、b、c、d、e））） 
图6::薄纱（a）:->（b）:->（c）:->（d）:->（e）:->（f）:-> 完全（a、b、c、d、e、f））） 
图7::薄纱（a）:->（b）:->（c）:->（d）:->（e）:->（f）:->（克:-> 完全（a、b、c、d、e、f、g）） 

实例

投影

类型族 选择1'一来源

这些家庭(选择1'-选择7')因为问题需要描述如下：

http://emil-fp.blogspot.com/2011/08/fundeps-weaker-than-type-families.html

类型族 选择2'一来源

类型族 选择3'一来源

类型族 选择4'一来源

类型族 选择5'一来源

类型族 选择6'一来源

类型族 选择7'一来源

数据 选择一哪里来源

用于选择元组元素的表达式

建造师

选择1:: (选择1a b，选择1'a～b）=>选择（a）:-> 完全b） 
选择2:: (选择2a b，选择2'a～b）=>选择（a）:-> 完全b） 
选择3:: (选择3a b，选择3'a~b）=>选择（a）：-> 完全b） 
选择4:: (选择4a b，选择4'a～b）=>选择（a）:-> 完全b） 
选择5:: (选择5a b，选择5'a～b）=>选择（a）:-> 完全b） 
选择6:: (选择6a b，选择6'a～b）=>选择（a）:-> 完全b） 
选择7:: (选择7a b，选择7'a～b）=>选择（a）:-> 完全b） 

实例

选择位置::选择a->国际来源

返回所选位置，例如。

selectPos（Sel3多边形：：选择多边形（（Int、Int、Int和Int）：->完全Int））=3