Запитання з тегом «type-inference»

Заблокований . Це запитання та його відповіді заблоковано, оскільки це питання поза темою, але має історичне значення. Наразі не приймає нових відповідей чи взаємодій. Після обговорення з колегами щодо використання ключового слова "var" у C # 3 я задумався, які думки людей щодо відповідного використання виводу типу через var? Наприклад, …

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 = 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, наприклад. Тож я збираюся …

91 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; } …

85 java  generics  java-8  type-inference 

Я новачок у Haskell і стикаюся з помилкою "неможливо побудувати нескінченний тип", яку я не можу зрозуміти. Насправді, крім цього, я не зміг знайти хорошого пояснення того, що ця помилка навіть означає, тому, якщо ви могли б вийти за рамки мого основного запитання та пояснити помилку "нескінченний тип", я б …

82 haskell  types  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 GETTING THE ERROR …

80 android  android-layout  kotlin  type-inference 

Мене бентежить те, як компілятор haskell іноді вигадує типи, які є менш поліморфними, ніж те, що я очікував, наприклад при використанні безточкових визначень. Здається, проблема полягає в "обмеженні мономорфізму", яке за замовчуванням увімкнено у старих версіях компілятора. Розглянемо наступну програму haskell: {-# LANGUAGE MonomorphismRestriction #-} import Data.List(sortBy) plus = (+) …

78 haskell  types  polymorphism  type-inference  monomorphism-restriction