我想封装一个通用对象另一类没有设置泛型类型参数。我创建了一个基类Animal<T>,并从中定义了其他的子类。例如: public class Animal<T: YummyObject> {
// Code
}
public class Dog: Animal<Bark> {
// Code
}
public class Cat: Animal<Meow> {
下面的代码,从大多复制 http://accord-framework.net/docs/html/T_Accord_MachineLearning_VectorMachines_Learning_SequentialMinimalOptimization.htm 工作正常。 module SVMModule
open Accord.MachineLearning
open Accord.M
对于充分多态的类型,参数可以唯一地确定函数本身(详见Wadler's Theorems for free!)。例如,类型为forall t. t -> t的唯一总功能是标识功能id。 是否有可能在伊德里斯陈述和证明这一点? (如果它不能在伊德里斯内部证明,它是真的吗?) 以下是我的尝试(我知道函数的相等不是伊德里斯的原始概念,所以我断言泛型的任何函数t -> t总是返回相同的结果作为身份函数将返回