型变是 <T> 参数上面的一种性质，其定义为：
协变， P<T1>: P<T>
逆变， P<T>: P<T1>
不变， P<T>, P<T1> 无子类型关系。
(其中 T1: T 、 class P<T> )

子类型即若有 T1: T ，或言 (T)(T1)obj 有效(checks)，则 op((T)x) 对 op((T1)x) 照样可用。
型变性的意义主要是，定义出符合子类型限制的类型约束，比如 PECS(producer-extends; consumer-super) 原则。
interface Producer<R> { R get(); }
interface Consumer<T> { void accept(T value); }
假设你的函数需要接受上一为参数 er，它必须这样定义才能尽可能兼容「真正能兼容的所有」 er：
void <R> R recv(Producer<? extends R> er);
void <T> void send(Consumer<? super T> er, T value);
参数列表多几项、少几项都是一样的，只是要满足必须的类型约束而已。

实践上，就是每个 Producer/Consumer/Function<T, R> 的是用处都必须以 Function<?super T, ?extends R> 这样的方法去定义参数的类型约束，不然它会破坏子类型的类型安全、或使本该有效的程序报类型检查错误，但让程序员去写这些 extends/super 的，实际上这是在暴露与业务逻辑不相干的细节。
Kotlin 有 in/out 的声明处型变，也就是不用 Java 的 "Type wildcard" 了，是符合理论优雅性和实践便利性的：
interface Function<in T, out R> { fun apply(value: T): R }
在类型约束(如函参)处， Function<Int, Any> 自动兼容其 Function<Number, Unit/*或 Nothing? = java.lang.Void, 仅 null*/>

类型(限)上/下界即是指 Void...Object (子类型的)extends/super 的约束，Void 是底，没有实例的类型；Object 是顶，所有类型的父类型，这个东西没有区间只能加限制条件。
🖕这个玩意非常易混，涉及一些中英文的文化差异和数学抽象概念的移植，建议不要使用
另外，泛型(generics, aka. parameterized polymorphism 参数化多态) 不是范型、上下界(U/Low bound) 不是上下届 ，千万别拼错。

我字多是因为我明白，想的多一点可以让代码简洁好看点
拿一小篇文字换所有项目里几十文件的质量，值。

有的代码写一行省十行，有的代码所遵循的模式，写了第一行后维护和重读重理解的麻烦不断；即便功能相同，不同的人写出来质量是完全不一样的。
所以我一贯很乐意学习编程之道，可能你觉得我字多些，对真的要学这些内容的人来说，这是我第五次讲相同话题，已经很省字数了。

便宜的就是最贵的，不想付出但想多得回报，很难不为这种心态再付出更大的代价。浪费与节省，大概是这个道理。

一般对解释(interpret)、编译(compile) 这些的理解是
解析(String到语法树 数据结构)->预处理(脱糖什么的)->类型检查(type check)-> 执行(execute)-解释/代码生成(codegen)-编译

这样吧，没有解释器去编译一说， Java 虚拟机的确不认 T 这些参数，只是 Object 化了而已，字节码只存反射用元数据。