Вопросы с тегом «type-inference»

Locked . Этот вопрос и его ответы заблокированы, потому что вопрос не по теме, но имеет историческое значение. В настоящее время он не принимает новые ответы или взаимодействия. После обсуждения с коллегами относительно использования ключевого слова 'var' в C # 3 мне стало интересно, что люди думают о правильном использовании …

406 c#  type-inference  var 

У меня возникли некоторые проблемы при навигации по правилу Java для определения параметров универсального типа. Рассмотрим следующий класс, который имеет необязательный параметр списка: import java.util.Collections; import java.util.List; public class Person { private String name; private List<String> nicknames; public Person(String name) { this(name,Collections.emptyList()); } public Person(String name,List<String> nicknames) { this.name = …

269 java  generics  type-inference 

У меня есть массив, который состоит из AnyObject . Я хочу перебрать его и найти все элементы, которые являются экземплярами массива. Как я могу проверить, является ли объект данного типа в Swift?

267 swift  type-inference  typechecking 

Я использовал новое autoключевое слово, доступное в стандарте C ++ 11 для сложных шаблонных типов, для которого, как мне кажется, оно было разработано. Но я также использую его для таких вещей, как: auto foo = std::make_shared<Foo>(); И более скептически для: auto foo = bla(); // where bla() return a shared_ptr<Foo> …

218 c++  types  c++11  type-inference  auto 

Я использую Xcode 6 Beta 6. Это то, что беспокоило меня в течение некоторого времени, но сейчас оно достигло точки, когда его едва ли можно использовать. Мой проект начинает иметь приличный размер 65 Swift-файлов и несколько мостовых файлов Objective-C (которые на самом деле не являются причиной проблемы). Кажется, что любое …

210 swift  optimization  compilation  type-inference  compilation-time 

У меня есть общая функция, которая вызывает веб-сервис и сериализует ответ JSON обратно на объект. class func invokeService<T>(service: String, withParams params: Dictionary<String, String>, returningClass: AnyClass, completionHandler handler: ((T) -> ())) { /* Construct the URL, call the service and parse the response */ } То, что я пытаюсь сделать, является …

146 swift  generics  type-inference 

Похоже, что это autoбыла довольно значительная особенность, которая должна быть добавлена ​​в C ++ 11, которая, кажется, следует за многими новыми языками. Как и в языке, подобном Python, я не видел явного объявления переменных (я не уверен, возможно ли это с использованием стандартов Python). Есть ли недостаток в использовании autoдля …

143 c++  c++11  type-inference  auto 

Согласно спецификации языка Scala : ... логический вывод локального типа разрешен для ограничения сложности предполагаемых границ [параметров типа]. Минимальность и максимальность типов следует понимать относительно множества типов приемлемой сложности. На практике каковы ограничения? Кроме того, существуют ли другие ограничения, которые применяются к предполагаемым типам выражений, чем к границам типов параметров, …

120 scala  type-inference 

Я работаю над средством завершения (intellisense) для C # в emacs. Идея заключается в том, что если пользователь набирает фрагмент, а затем запрашивает завершение с помощью определенной комбинации клавиш, средство завершения будет использовать отражение .NET для определения возможных завершений. Для этого необходимо знать тип завершаемой вещи. Если это строка, существует …

109 c#  reflection  appdomain  type-inference 

Я столкнулся с любопытной ситуацией, связанной со статическими универсальными методами. Это код: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Почему мне не нужно указывать аргументы типа в выражении Foo.createFoo()? Это …

106 java  generics  static  type-inference 

Я вижу здесь несколько интересных дискуссий о статической и динамической типизации. Обычно я предпочитаю статическую типизацию из-за проверки типа компиляции, лучшего документированного кода и т. Д. Однако я согласен с тем, что они действительно загромождают код, например, так, как это делает Java. Итак, я собираюсь начать создавать собственный язык функционального …

94 compiler-construction  functional-programming  language-design  type-inference 

При написании кода для другого ответа на этом сайте я обнаружил такую ​​особенность: static void testSneaky() { final Exception e = new Exception(); sneakyThrow(e); //no problems here nonSneakyThrow(e); //ERRROR: Unhandled exception: java.lang.Exception } @SuppressWarnings("unchecked") static <T extends Throwable> void sneakyThrow(Throwable t) throws T { throw (T) t; } static <T …

85 java  generics  java-8  type-inference 

Когда я пытаюсь найти RecycleViewпо идентификатору, я получаю следующую ошибку . Ошибка: - Ошибка вывода типа: недостаточно информации для вывода параметра T Код: class FirstRecycleViewExample : AppCompatActivity() { val data = arrayListOf<String>() override fun onCreate(savedInstanceState: Bundle?) { super.onCreate(savedInstanceState) setContentView(R.layout.first_recycleview) val recycler_view = findViewById(R.id.recycler_view) as RecyclerView ///IN THIS LINE I AM …

80 android  android-layout  kotlin  type-inference 

Ссылка на используемый метод имеет тип возвращаемого значения Integer. Но несовместимое Stringдопускается в следующем примере. Как исправить withобъявление метода, чтобы получить безопасный тип ссылки на метод без приведения вручную? import java.util.function.Function; public class MinimalExample { static public class Builder<T> { final Class<T> clazz; Builder(Class<T> clazz) { this.clazz = clazz; } …

38 java  generics  lambda  type-inference  method-reference 

Мы все знаем, что Лонг расширяется Number. Так почему же это не скомпилировать? А как определить метод, withчтобы программа компилировалась без ручного приведения? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber(); Long getLong(); } public <F extends Function<T, R>, R> Builder<T> with(F getter, R returnValue) …

19 java  type-inference