Результаты поиска по запросу "type-inference"

0 ответов

 (также включены жирафы, если они не соответствуют определенному условию исключения, которое имеет смысл только для жирафов)

аюсь придумать реализацию дляNotOfType, который имеет читаемый синтаксис вызова.NotOfType должен быть дополнением кOfType<T> и, следовательно, даст все элементы, которыене типаT Моя цель состояла в том, чтобы реализовать метод, который будет ...

3 ответа

Почему приведение класса универсального к классу <T> небезопасно?

3 ответа

Вывод подписи вызова лямбды или произвольного вызова для «make_function»

В некоторых ситуациях желательно иметь возможность стирать вызываемый тип (например, функцию, указатель функции, экземпляр объекта с помощью

ТОП публикаций

2 ответа

, поскольку даже не вариантный набор As может содержать только Bs, если

очень интересностатья об архитектуре коллекций Scala 2.8 [http://www.scala-lang.org/docu/files/collections-api/collections-impl.html]и я немного экспериментировал с этим. Для начала я просто скопировал окончательный кодRNA пример. Вот это для ...

2 ответа

Как неявно преобразовать в общие супертипы в совпадениях с образцом F #?

Краткое описание проблемыВ тот момент, когда используется f #, я должен явно привести значение к родительскому типу его типа, чтобы получить правильные выраж...

4 ответа

Джулия печатается динамически?

0 ответов

Вывод типа Java: ссылка неоднозначна в Java 8, но не в Java 7

Допустим, у нас есть 2 класса. Пустой класс

2 ответа

@jpp - просто попробуй выяснить, какой тип возврата будет выведен во второй версии ...

компилятору Scala действительно нужна информация о типе параметров анонимных функций? Например, учитывая эту функцию: def callOn[T,R](target: T, f: (T => R)) = f(target)тогда я не могу использовать это так: callOn(4, _.toString) => error: ...

3 ответа

Почему вывод типа Java так слаб?

Скажем, у меня есть метод:

5 ответов

Почему сумма x y имеет тип (Num a) => a -> a -> a в Haskell?

Я читал о Haskell, и мне трудно понять, как определения функций обрабатываются на этом языке.Допустим, я определяю