inferred-type

    0热度

    2回答

    我正在关注Rosettacode上Java以及Quicksort的this example。根据我的理解,这应该是一系列实现Comparable接口的事物,并且该类型是在运行时推断的。我用一个主要方法将它包装在一个小类中,但是得到了一些关于推断类型的错误。我对Java并不熟悉,但对此构造还不熟悉。 import java.util.List; import java.util.LinkedLis

    1热度

    1回答

    Typescript对于推断的泛型类型相当不错。例如,如果我写了下面的代码: class AwesomeClass<T> { constructor(public val: T) { // ... } public getVal(): T { return this.val; } } const inst = new Awes

    1热度

    2回答

    我正尝试加入Dictionary<int, string>和List<MyClass>但它抛出一个错误 “的方法类型参数不能从使用中推断“。 但在我看来,所有的参数都完全被定义... class Row { public string name { get; set; } public string[] data { get; set; } } Dictionary

    4热度

    1回答

    下无法编译: @NotNull String defaultFormatter(@Nullable Object value) { if (value instanceof Collection) { return ((Collection) value).stream() .map(MyClass::defaultFormatter)

    0热度

    1回答

    我有一个关于使用OWL API和reasoners的基本问题。 我试过JFact Reasoner,成功运行它并获得了很多公理(其中一些推理,其中一些在原始本体中明确声明)。 我需要区分他们,但我真的找不到任何方法来做到这一点。 在OWLClass或其他地方有什么方法吗?

    1热度

    1回答

    我经常发现我想声明一个常量对象是一些宽泛的类型,以便编译器可以检查初始化。但后来当我使用那个对象时,我想用具体的,推断出的类型。如果我为它声明一个类型,我无法找到访问对象的推断类型。示例: 电子表格由指向CSS属性集合的字符串组成。初始化电子表格时,我想强制每个样式的成员都是CSS属性。所以: type MyStyleDeclaration<K extends string = string> =

    1热度

    3回答

    试图在新元素给定点更换列表中的一个元素,然后返回元素。 setelt :: Int -> [a] -> a -> [a] setelt x (yf:(y:yl)) z | x == (length yf) = (yf:(z:yl)) 导致此错误: Inferred type is not general enough Expression : setelt Expected t

    2热度

    1回答

    有没有一种巧妙的方式来获得在“开始”函数中工作的类型推断,而无需在Pipe类上定义泛型? 借助开始会是这个样子: Pipe.Start<ToUpper, string, string>(... 我想它是 Pipe.Start(... 与用例的完整代码将在下面进行显示: using System; using System.Threading.Tasks; namespace Code

    1热度

    3回答

    我在寻找一个类似的推断拍摄的泛型类型,类似于下面的方法片段的概念,但不是为捕获泛型类: public <X, Y, Z> static void someMethod(ObjectInterface<X, Y, Z> object) { // code that uses inferred generic type parameters X, Y and Z... } 的代码在这个

    0热度

    1回答

    为什么在编译此代码段时出现错误? trait ID[R <: Record[R] with KeyedRecord[Long]] { this: R => val idField = new LongField(this) } 错误: inferred type arguments [ID[R] with R] do not conform to class Long