Type inference
类型推理
Type inference网络翻译
类型推断（type inference）是这些函数中最重要的功能之一，即你不需要指定列的类型到底是数值、整数、布尔值，还是字符串。
类型推导...种代码扫描技术，对于已知类型漏洞，该技术具有高效且准确率高的特点，但是并不能检测未知类型的漏洞；类型推导(Type Inference)是针对编程语言本身的检测技术，自动化程度高，但是这种检查只能针对控制流不相关的漏洞；模型检测(Model Detection)是一种较为成...
类型推理...中某些结构有类型，但没有明确给出类型，需要通过相关结构的信息去 推断，确定相应类型的这个过程就是类型推理（type inference） 在许多环境中需要做类型推理： 处理表达式过程中，需要从运算对象类型和运算符性质，推断运算结果的 类型，以便完成更大表达...
型推论编译器的主要任务之一是数据类型信息的计算和维护 (类型推论 (type inference))以及使用这 些信息确保程序的每一部分在语言的类型规则作用下有意义 (类型检查 (type checking))。
Type inference常用短语
1. Better type inference：更好的类型推断
2. Type inference for loop variables：循环变量的输入推断
3. In Type Inference：在类型推断
4. Lochas Variset Type Inference：隐含类型局部变量
5. type inference mechanism：类型推理机制
6. type inference algorithm：类型推理算法
Type inference双语例句
Type inference is used for methods, too.
类型推断对方法也有用。
Another example: Generic type inference.
另一个示例：通用类型推断。
Type inference-both exact and speculative.
类型推断——包括精确和推测两种方式。
相关单词
- tutun. （法）芭蕾舞短裙；新西兰马桑 n. （Tutu）人名；（罗、南非）图图
- tumblern. 不倒翁（玩具）；杂技演员；翻筋斗者；一杯的容量；滚筒；平底玻璃杯
- trimestern. 三个月；一学期
- trigonometryn. 三角学
- trapezen. 秋千；吊架
- transportingv. 运输；使产生身临其境的感觉；流放（transport 的现在分词）
- trampolinen. 蹦床（一种体育器械），弹簧垫 v. 在蹦床上弹跳
- tracern. [核]示踪物；追踪者；描图者；（铁笔等）绘图工具 n. （Tracer）人名；（英）特雷瑟
- tombolan. （英）一种彩券 n. （Tombola）人名；（意）通博拉
- to pass an examination
- tights紧身裤袜
- tiern. （高度各不相同的）一层，一排；（机构或系统的）层次，等级；（衣服的）一层褶裥（或荷叶边） v. 层叠，层层排列；成递升排列 【名】 （Tier）（英）蒂尔（人名）
- telecommunicationsn. 电信，电讯
- teachersn. 教师（teacher 的复数形式）
- taxationn. 征税，税制；税款