Результаты поиска по запросу "type-inference"
Вывод типа OWL с ограничением
Я изучаю понятие ограничений OWL в Protege 4, используя FaCT ++ и тривиальную онтологию. Предположим, у меня есть человек
Как передать функцию в стиле printf другой функции в F #
Я хотел бы сделать функцию в F #, которая принимает функцию в стиле printf в качестве аргумента и использует этот аргумент для вывода данных. Использование будет примерно таким: OutputStuff printfnМоя первая попытка состояла в том, чтобы ...
Как передать функцию в стиле printf другой функции в F #
Я хотел бы создать функцию в F #, которая принимает функцию в стиле printf в качестве аргумента и использует этот аргумент для вывода данных. Использование б...
Каковы ограничения на вывод типов с более высоким родом в 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 ...
Каковы ограничения на вывод типов с более высоким родом в Scala?
В следующем упрощенном примере кода:
Как получить тип шаблона в аргументах std :: function с помощью лямбды?
У меня есть повышение :: вариант, и я хотел бы выполнять функтор, только если вариант имеет специальный тип, поэтому я составил эту функцию: template<typename T, typename Variant> void if_init(Variant& opt_variant, std::function<void(T)> ...
Как получить тип шаблона в аргументах std :: function с помощью лямбды?
У меня есть повышение :: вариант, и я хотел бы выполнять функтор, только если вариант имеет специальный тип, поэтому я составил эту функцию:
Как вывести правильный тип параметра из типа проекции?
У меня есть некоторые проблемы с тем, что Scala выводит правильный тип из проекции типа. Учтите следующее: trait Foo { type X } trait Bar extends Foo { type X = String } def baz[F <: Foo](x: F#X): Unit = ???Затем следующее компилируется ...
Как вывести правильный тип параметра из типа проекции?
У меня есть некоторые проблемы с тем, что Scala выводит правильный тип из проекции типа.Учтите следующее:
Почему javac не может вывести аргументы универсального типа для функций, используемых в качестве аргументов?
В следующем примере, почему компилятор может вывести общие аргументы для первого вызоваFoo.create() вFoo.test(), но не в состоянии сделать это во втором? Я использую Java 6. public class Nonsense { public static class Bar { private static ...