normalization property、type safety与soundness有什么联系？

如何评价abstracting abstract machine？

为什么Java闭包不能通过返回值之外的方式向外传递值？

Lambda 表达式有何用处？如何使用？

Java 8的新特性lambda表达式是否比匿名内部类具有更好的可读性？

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

Java 的invokedynamic指令在是如何使用的？

Java8引入Lambda表达式的利弊？

java 8 lambda 表达式 编译后为什么在这种情况下没有生成 invokedynamic指令？

Java中普通lambda表达式和方法引用本质上有什么区别？