go top

static type system

网络释义

  静态类型系统

Haskell的 静态类型系统 ( static type system )定义了类型和值之间的形式关系( 4.1.4(formal relation),它确保Haskell程序都是 类型安全 (type safe)的,也即是说,Haskell程...

基于48个网页-相关网页

  与静态型别系统

与静态型别系统Static type system)没有内在的冲突;像对内建(built-in)型别一样对用户自定义型别提供很好的支持;个异化(locality)行为是可取的;避免产生顺序...

基于40个网页-相关网页

有道翻译

static type system

静态型系统

以上为机器翻译结果,长、整句建议使用 人工翻译

双语例句

  • Fan USES a static type system also - but as just one tool in the toolbox.

    Fan使用静态类型系统——作为工具栏一个工具而已。

    youdao

  • Note the wildcard feature does not really weaken the static type system much, because it typically only kicks in with reflection APIs (which would have have required an explicit cast anyways)...

    注意通配符实际并不怎么弱化静态类型系统因为通常映射APIs总是要求投射明确块出现。

    youdao

  • The type checker is supposed to help a programmer recover from exactly these sorts of mistakes, but in the case of static fields, the type system could actually help to confuse the programmer.

    类型检查应该帮助程序员这些类型错误中恢复对于静态字段而言,类型系统实际上使程序员更迷惑。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定