type-systems
-
-
为什么 Monad 接口不能用 Java 声明?在接口声明中使用具体类型在类型自己的声明中使用带有移位类型参数的类型总结一下 在你开始阅读之前:这个问题不是关于理解monads,而是关于识别Java类型系统的局限性,它阻止了接口的声明。 大多数OOP语言没有足够丰富的类型系统来直接表示monad模式本身;您需要一个支持
-
例如,Scala的存在类型和Java的通配符之间的区别? 比 Stack Overflow 问题更具体一点 : 莫:原始通配符设计...受到存在主义类型的启发。事实上,原始论文具有存在类型的编码。但是,当实际的最终设计在Java中出现时,这种联系就有点丢失了
-
-
标签