问一个java问题:如何利用第三个类实现两个类的传递？

Java中的泛型会被类型擦除，那为什么在运行期仍然可以使用反射获取到具体的泛型类型？

看一些 Type Inference 的论文感觉吃力，需要补哪些知识？

编程语言中， type, typed, typing 有什么区别？

什么样的类型系统才是 Unsound 的?

如何评价 hegel 这个 type checker?

Daniel P. Friedman的新书The Little Typer怎么样？

Cut elimination对于STLC以及其他type system的意义？

语言只是工具，那么什么是编程思想呢？

OCaml 语言能做些什么？

Racket有contract为什么还要加一个type system？

学习程序语言设计与类型系统如何找到工作？

读 CS PhD 之前没有工业界经历真的没关系吗？

现今编程语言的理想类型系统是怎样的？

函数式编程中的 algebraic effects 是什么？

哪门语言的设计最能规避运行时错误？

为什么大部分编程语言不支持宏？

lisp是否和静态类型基因上就不合？

如何理解linear logic？

什么语言最适合写编译器/解释器？

是否可以说 Contract 和 Type Inference 模糊了静态类型和动态类型的界限？

如何评价 MSR 的 Lean Theorem Prover？

如何看待 Lean 和 Agda 逐渐成为年轻人的第一个 prover?

简单图灵机怎么模拟高级的？

TAPL这本书适合作为入门读物吗？

为什么有些程序语言的类型推断可以推断函数参数，有些不会，哪种更好？

如何证明一个语言的类型系统是sound的？

类型应该是一等公民吗?

Haskell 和 Scheme, 哪一个更适合用于生产环境?

有人说动态语言没有类型系统，这个认识是对是错？如果是错的，应该从什么角度进行回应呢？

如何评价 Abstracting Gradual Type?

Julia 究竟是静态类型还是动态类型？

应该怎么理解编程语言中的协变逆变？

编程语言为什么有变量类型这个概念？

类型系统里的概念 Soundness 和形式系统中的概念一致性（Consistency）有什么异同？

Y Combinator 的函数签名该如何表达？

为什么HASKELL这类语言要用代数概念描述类型的组合（ADT） 而不是看作集合去运算和组合？

如何评价王垠的《Sum types and union types》？

typed shell是否是未来？

可以给类型系统设计解释器吗？

哪些学校的类型系统与编译器方向不错？

编程语言的类型系统为何如此重要？

代数数据类型中的代数 Part 1

代数数据类型是什么？

如何理解编程语言的类型安全性？

程序语言设计界是否开始认为 Subtyping 是 Anti-pattern？

设计、更新一门通用编程语言的一般流程是怎样的？

编程语言为什么区分常量和变量？

为什么函数式语言里有recursive data type但没有recursive function type？

类型（Types）和集合（Sets）二者之间有何区别？

类型推导是否可以理解为一种编译期计算？

高级语言为什么要添加数据类型？

C# 作为一种静态类型语言，为什么会引入 var？

如何看待Python中加入static typing?

OCaml 类型系统的缺陷有哪些？

dependent type之上还有更高级的类型系统吗？

C++、Julia 允许「泛型」的参数是数值，这属于 Dependent Type 吗？

Haskell 的 Typeclass 怎么理解？

Higher-kinded type到底有什么用？

如何理解多态？

柯里-霍华德(Curry-Howard)同构有什么意义？

子类型（subtyping）是不是错误（ill-defined）的东西？

如何理解types are not classes ？

Java 泛型 <? super T> 中 super 怎么 理解？与 extends 有何不同？

如何评价Liquid Types？

程序语言中的类型系统怎么理解，它有哪些要素？如何由它演化出一门编程语言的？

GHC扩展-XRankNTypes是什么？如何理解forall .？

如何理解 dependent type？

Hindley-Milner 是什么，以及函数式编程中它的用途是什么？

动态类型的语言的优缺点有哪些？

js中string类型和int类型的界限到底怎么回事？

JavaScript 内置对象类型的 Date、String，具体是怎么实现的，可以给出一段代码吗？

如何系统的学习动态语言的类型推导，类型系统等知识？

计算机的最底层指令是动态类型(dynamic typing)的还是静态类型(static typing)的?

为什么JavaScript里面typeof(null)的值是"object"？

怎样学范畴论？

还有助于我们实现函数类型