1. 当最后事作用或做法是自称,它不是必要保留叫的环境时,盯梢递归优化TRO。 这是重要的,当过程调用递归地许多次为,没有尾巴递归优化,将填满记忆只将被放弃的更早的祈求的环境,当,如果最后呼叫终止了。 尾巴递归优化是最后呼叫优化一个特殊情况,但它可能允许进一步优化有些论据在记数器也许在原处通过。 它允许递归函数被编写入重申圈。 参见转换向叠代,尾巴递归模数负面因素。 尾巴严密的A尾巴严密的作用在它的名单论据评估每个负面因素细胞。 因此它不会终止,如果它的论据是一张无限名单或,如果它的论据任何尾巴不终止。 原始模型的尾巴严密的作用是长度。 参见头严密,亢奋严密。 TAL交易应用语言传说被键入的适用的语言实验。 m. van Leeuwen。 懒惰,纯粹适用,多形。 基于被键入的二次lambda微积分。 “功能编程和语言传说”, H.P. Barendregt等,在当前趋向在并发, LNCS 224, Springer 1986年, pp.122-207。 苹果计算机公司联合创办的Taligent A公司和IBM在1992年3月。 于1994年1月宣布的HP它在Taligent将买一个15%铁砧。 他们在“面向对象操作系统”运作, 1995年交付某时被完成。 然而, Taligent意志各种各样的独立片断可能看上去使用与其他操作系统,即IBM的WorkplaceOS。 桃红色是一个更旧的名字对于Taligent,建于工作苹果计算机公司在Taligent的形成之前做了。 谈 Unix节目和协议支持的交谈在网络也许被采伐入同样计算机或不同的计算机的两个或多个用户之间。 变形包括ntalk、ytalk和这些节目口岸或者仿真器为其他平台。 Unix有谈话节目和协议和它的变形xtalk和ytalk为X窗口系统; VMS有电话; 窗口为工作小组有闲谈。 它也有一个谈话系统。 这些分裂了屏幕成分开的区域为每名用户。 Unix的写指令可能也使用,虽然它在屏幕不试图分离输入和输出。 用户的这样系统在有许多常规简称和成语的谈话方式下被认为。 多数这些生存入闲谈专科术语,但许多在90年代下跌出于共同的用途以用户prattle的迁移从谈象系统到闲谈系统。 这些废弃的谈具体形式包括: “再见?” -您准备结束交谈? 这是标准方式结束谈方式交谈; 另一个人键入“再见”证实,或者继续交谈。 “果酱”/“分钟” -一分钟“O” - “”我停止了谈话。 并且”/“和在x/y - x结束y或者二换行符后者是最共同的。 “交谈的OO” - “和” -结尾。 ” \ “-希腊lambda。 “R那里U ?” -您那里? “SEC” -等待一秒钟。 ”/\/\/“-笑声。 但在MUD,这通常意味“地震缺点”。 参见谈话炸弹。
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