4 Matching Annotations
  1. Dec 2022
  2. www.zhihu.com www.zhihu.com
    程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？ - 知乎
    1
    1. caocao485 13 Dec 2022
      程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？
      subtype 类型系统 编程语言理论 编程语言 子类型 函数式语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/53870767
  3. www.zhihu.com www.zhihu.com
    子类型（subtyping）是不是错误（ill-defined）的东西？ - 知乎
    1
    1. caocao485 13 Dec 2022
      子类型（subtyping）是不是错误（ill-defined）的东西？
      子类型 类型系统 编程语言 编程语言理论
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/289974125
  4. www.zhihu.com www.zhihu.com
    subtyping和inheritance的区别是什么？ - 知乎
    1
    1. caocao485 13 Dec 2022
      subtyping和inheritance的区别是什么？
      面向对象 子类型 编程语言
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/57486254
  5. www.zhihu.com www.zhihu.com
    Hindley-Milner 是什么，以及函数式编程中它的用途是什么？ - 知乎
    1
    1. caocao485 13 Dec 2022
      Hindley-Milner 是什么，以及函数式编程中它的用途是什么？
      类型系统 类型推导 函数式语言 Y组合字 Y组合子
    Visit annotations in context

    Tags

    Annotators

    URL

    zhihu.com/question/39746339