Universal type
In type theory universal type(s) may refer to:
- The top type in a type system with subtyping.
- Universal types is a shorthand for universally quantified types in systems that support parametric polymorphism like System F.
| 单词 | Universal type |
| 释义 |
Universal type
英语百科
Universal typeIn type theory universal type(s) may refer to:
|
| 随便看 |
|
英汉网英语在线翻译词典收录了3779314条英语词汇在线翻译词条，基本涵盖了全部常用英语词汇的中英文双语翻译及用法，是英语学习的有利工具。