fix 安裝 1. 固定; 变硬。 2. 使牢固,稳定或者斋戒; 永久地设置或安置; 紧固固定; 建立; 种入; 巩固; 使确定。 3. 平稳地举行; 指挥不动摇; 紧固,作为眼睛在对象,注意在报告人。 4. 刺穿; 刺穿。 5. 通过对待回报(印象)永久以这样应用象将使它不易察觉到光的行动。 6. 按顺序投入; 安排; 处理; 调整; 设置在右边; 设置或安置以方式渴望或最适当; 因此,到修理; as,修理衣裳; 修理屋子的家具。 7. 排行壁炉边(一个puddling的熔炉)以修补。 8. 变得固定; 永久地安定或保持; 从漫步停止; 到休息。 9. 变得牢固,以便抵抗挥发; 停止流动或流动性; 凝结; 变得坚硬和展性,作为一种金属物质。 10. 困难或窘态的位置; 困境; 困境。 11. 修补。 12. 固定1。 联邦信息交换。 2. 财政信息交换。 13. 固定1。 定点combinator。 叫的Y在组合的逻辑。 固定是退回定点它的论据是作用的一个高次作用。 固定: : a - > a - >固定f =满足等式固定f = x这样的f固定f f x = x.有些惊奇地,固定可以被定义作为non-recursive lambda抽象: 固定= \ h. \ x. h x x \ x. h x x,因为这介入自已应用,它有一个无限类型。 f定义的作用x1。 xN = E可以被表达作为f =固定\ f. \ x1… \ xN。 E = \ f. \ x1… \ xN。 E固定\ f. \ x1… \ xN。 E =让f =固定\ f. \ x1… \ xN。 E在\ x1… \ xN。 E,如果f在E i .e.不任意发生它不递归这简单地然后减少到f = \ x1… \ xN。 E在案件, N = 0和f是自由的在E,这定义了一个无限数据对象,即部分=固定\一个。 1 : 部分= \一个。 1 : 部分固定\一个。 1 : 部分= 1 : 固定\一个。 1 : 部分= 1 : 1 : …固定f有时也被写作为mu f, mu是希腊信件或二者择一地,如果f = \ x. E,被写作为mu X.E.比较quine。 [专科术语文件] 14. 某事的地点的决心; “他在目标得到了好固定”
Related words change cram cultivate difficulty establish fix preparation provide ready set up
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z