理论知识在工程实践中的意义

发布于 2022-02-07

  之前在群里和群友讨论,如果你不打算搞纯理论方向的研究,那么学习理论知识究竟有什么意义,就拿计算机语言说事,看上去现在的绝大部分 …


Subtyping

发布于 2021-12-19

Subtyping   We use \tau <: \sigma to denote that \tau is a sub …