Результаты поиска по запросу "type-inference"
Вывод типа Scala на экзистенциальный тип
Рассмотрим следующий фрагмент кода, который является уменьшенной версией моей первоначальной проблемы: case class RandomVariable[A](values: List[A]) case class Assignment[A](variable: RandomVariable[A], value: A) def enumerateAll(vars: ...
Почему javac не может вывести аргументы универсального типа для функций, используемых в качестве аргументов?
В следующем примере, почему компилятор может вывести общие аргументы для первого вызоваFoo.create() вFoo.test(), но не в состоянии сделать это во втором? Я использую Java 6. public class Nonsense { public static class Bar { private static ...
Как вывести правильный тип параметра из типа проекции?
У меня есть некоторые проблемы с тем, что Scala выводит правильный тип из проекции типа. Учтите следующее: trait Foo { type X } trait Bar extends Foo { type X = String } def baz[F <: Foo](x: F#X): Unit = ???Затем следующее компилируется ...
Как получить тип шаблона в аргументах std :: function с помощью лямбды?
У меня есть повышение :: вариант, и я хотел бы выполнять функтор, только если вариант имеет специальный тип, поэтому я составил эту функцию: template<typename T, typename Variant> void if_init(Variant& opt_variant, std::function<void(T)> ...
Каковы ограничения на вывод типов с более высоким родом в Scala?
В следующем упрощенном примере кода: case class One[A](a: A) // An identity functor case class Twice[F[_], A](a: F[A], b: F[A]) // A functor transformer type Twice1[F[_]] = ({type L[α] = Twice[F, α]}) // We'll use Twice1[F]#L when we'd like to ...
Как передать функцию в стиле printf другой функции в F #
Я хотел бы сделать функцию в F #, которая принимает функцию в стиле printf в качестве аргумента и использует этот аргумент для вывода данных. Использование будет примерно таким: OutputStuff printfnМоя первая попытка состояла в том, чтобы ...
Почему компилятор C # не может определить делегат универсального типа из сигнатуры функции? [Дубликат]
На этот вопрос уже есть ответ: Почему C # не может определить тип из этого, казалось бы, простого и очевидного случая [/questions/6229131/why-cant-c-sharp-infer-type-from-this-seemingly-simple-obvious-case] 5 ответов Я работаю с функцией, ...