s=显示
s::显示a=>a->String s=显示
s x=显示x
dF::(图形a)=>F a b dF=显示F
字符串
字符串
[字符]
烧焦
[字符]
图解的
ColorGen公司
FontGen字体
表单元素
新类型 名称=名称字符串
姓名
显示
阅读
烧焦
字符串
烧焦
字符串
[字符串]
[[字符串]]
烧焦
图解的
ColorGen公司
FontGen字体
[“午夜蓝”,“黑色”]
数据 图纸lbl =图形叶=>原子D叶 | ...
Gfx公司
通用技术规范
数据 通用条款规范 =(ColorGen c,FontGen f)=>SoftGC[GC属性c f] |硬GC GCtx
SoftGC[GC前景“红色”]
SoftGC[GCForeground(colorSpec“红色”)]
>+<
列表F
>+< :: F类 a b-> F类 c d-> F类 ( 要么 a c)( 要么 b、d) 列表F ::(等式a)=>[(a, F类 b c)]-> F类 (a、b)(a、c)
左侧
赖特
( t吨 :: 一 , b t吨 )
b t吨
d列表F::等式a=>[(t::a,F(it)(ot))]->F(t:,a,it)(t:;a,ot)