我们，Nada Amin和Ross Tate，打破了Java和Scala型系统！即使它们不包含任何划分的示例，它也会尝试自己的例子，这丢弃了外部的例外，即使他们读取我们的纸质Java和Scala＆＃39; s型系统对学习这些示例工作→提出您自己的示例并使用保存图标将URL更新到Perfalink到代码↱的URL
Java 6中的UntOondSpec.java（由于Java 5在2004年被禁止拒绝了无效的未拒绝的程序）
java 8中的singleparameters.java（此程序中的每个类和方法都有一个参数）
类Unsukous {静态类约束＆lt; a，b延伸a＆gt; {}静态类绑定＆lt; a＆gt; {＆lt; b延伸a＆gt; upcast（约束＆lt; a，b＆gt;约束，b b）{return b;静态＆lt; t，u＆gt;你强迫（t t）{约束＆lt; u ,?超级T＆GT;约束= null;结合＆lt; u＆gt;绑定=新绑定＆lt; u＆gt;（）;返回bind.upcast（约束，t）; }公共静态void main（String [] args）{string zero = funsuck。＆lt;整数，string＆gt;胁迫（0）; }}
＃！/ bin / bashset -e -v ### pick versionExport java_home = / usr / lib / jvm / java-8-openjdk-amd64export路径= $ java_home / bin：$ path ###检查版本java -version ### Compilecat $ 1＆gt; forofon.javajavac foroquare.java ### runjava funnound