type-inference

Użycie słowa kluczowego var w C#

Po dyskusji z kolegami na temat użycia słowa kluczowego 'var' w C# 3 zastanawiałem się, jakie są opinie ludzi na temat odpowi ... dy przeciążenia oznaczają, że błędy kompilatora mogą nie zostać wydane, gdy nieumyślnie przekażesz niewłaściwy typ do metody.

Jak mogę niezawodnie określić typ zmiennej zadeklarowanej przy użyciu var w czasie projektowania?

[[10]}pracuję nad uzupełnieniem (intellisense) dla C# w Emacsie. Chodzi o to, że jeśli użytkownik wpisze fragment, a następ ... zajrzałem jeszcze do LINQ. To będzie dużo większy problem, ponieważ semantic lexer/parser emacs ma dla C#, nie" robi " LINQ.

Ile to za dużo z C++11 auto keyword?

Używam nowego słowa kluczowego auto dostępnego w standardzie C++11 dla skomplikowanych typów szablonów, do czego według mnie ... e do SE.Programistów, a następnie z powrotem do przepełnienia stosu. Dyskusja na ten temat znajduje się w tym meta pytaniu .

Kolekcje.emptyList () zwraca listę?

Mam problem z nawigacją w regułach Javy do wnioskowania ogólnych parametrów typu. Rozważmy następującą klasę, która ma opcjon ... parametrem " bez powielania kodu. Dla dodatkowego kredytu: Kiedy należy używać EMPTY_LIST W przeciwieństwie do emptyList()?

Polimorfizm parametryczny vs polimorfizm Ad hoc

Chciałbym zrozumieć kluczową różnicę między parametrycznym polimorfizmem, takim jak polimorfizm klas/funkcji generycznych w j ... / Scali, ale nie może być napisane w Haskell (zgodnie z modułowymi cechami tych platform też), i vice-versa. Z góry dzięki.

Czym jest ograniczenie monomorfizmu?

Zastanawiam się, jak kompilator Haskella czasami wnioskuje typy, które są mniej polimorficzny niż tego się spodziewałem, np. ... us nie jest polimorficzny? Jest to kanoniczne pytanie o ograniczenie monomorfizmu w Haskell jak omówiono w meta pytanie.

Problem ze zrozumieniem wnioskowania Typu C# opisanego w specyfikacji języka

The specyfikacja języka C# opisuje wnioskowanie typu w sekcji §7.5.2. Jest w tym szczegół, którego nie rozumiem. Rozważmy na ... V. ⇒ od istnieje tylko jeden typ kandydata, jest to prawda, więc XI jest ustalone na string. Prawda? Więc co robię źle?

Jak przekazać typ klasy jako parametr funkcji

Mam ogólną funkcję, która wywołuje usługę internetową i serializuje odpowiedź JSON z powrotem do obiektu. class func invokeS ... rotokołem? class CityInfo : NSObject { var cityName: String? var regionCode: String? var regionName: String? }

Wywołanie statycznych metod generycznych

Natknąłem się na ciekawą sytuację dotyczącą statycznych metod generycznych. Jest to kod: class Foo<E> { public st ... w wyrażeniu Foo.createFoo()? Czy to jakiś rodzaj wnioskowania? Jeśli chcę być o tym szczery, jak Mogę określić argument type?

Osobliwa cecha wnioskowania typu wyjątku w Javie 8

Podczas pisania kodu do innej odpowiedzi na tej stronie natknąłem się na tę osobliwość: static void testSneaky() { final ... Po Drugie, przyjmując, że to działa, dlaczego kompilator skarży się na wywołanie nonSneakyThrow? Wydają się bardzo podobne.

Dlaczego konstruktor C# nie może wywnioskować typu?

Dlaczego wnioskowanie typów nie jest obsługiwane przez konstruktory tak jak w przypadku metod generycznych? public class My ... ry.Create(42); Czy istnieje praktyczny lub filozoficzny powód, dla którego konstruktor nie może wspierać wnioskowania typu?

Dlaczego C# nie wywnioskuje moich typów generycznych?

Mam dużo Funcy fun (Zabawa zamierzona) z generycznymi metodami. W większości przypadków wnioskowanie Typu C# jest wystarczają ... taj przychodzi dynamiczne pisanie na ratunek, które zrobi nam odbicie. Możesz przeczytać więcej na ten temat w tym artykuł .

decltype i nawiasy

Nie rozumiem ostatniej linijki przykładu na stronie 148 FCD (§7.6.1.2/4): const int&& foo(); int i; struct A { doubl ... type is const double& Dlaczego nawiasy mają tu znaczenie? Czy nie powinno być po prostu double Jak w powyższej linijce?

Scala: jak zdefiniować "ogólne" parametry funkcji?

[1]}próbuję nauczyć się Scali teraz, z odrobiną doświadczenia w Haskell. Jedną z rzeczy, która wyróżniała mnie jako dziwna, j ... , który definiuje swój własny + centrala. Jak napisać funkcję add, która działa dla każdego typu, który definiuje + centrala?

Związek między auto i decltype

Jest auto x = initializer; Odpowiednik decltype(initializer) x = initializer; Lub decltype((initializer)) x = initializer; Czy ani jedno, ani drugie?

Jak napisać funkcję dla liczb ogólnych?

Jestem całkiem nowy W F # i uważam, że wnioskowanie typu jest naprawdę fajną rzeczą. Ale obecnie wydaje się, że może to równi ... ości. Druga let cf = int (crossfoot (bigint 123)) po prostu nie czyta ładnie. Czy nie ma ogólnego sposobu na napisanie tego?

Dlaczego ten program Java 8 nie kompiluje się?

Ten program kompiluje dobrze w Javie 7 (lub w Javie 8 z -source 7), ale nie kompiluje się z Javą 8: interface Iface<T> ... on "1.8.0" Java(TM) SE Runtime Environment (build 1.8.0-b132) Java HotSpot(TM) 64-Bit Server VM (build 25.0-b70, mixed mode)

Funkcje z typami parametrów ogólnych

Próbuję dowiedzieć się, jak zdefiniować funkcję, która działa na wielu typach parametrów (np. int i int64). Jak rozumiem, prz ... wy w języku, mogę bardzo dobrze próbować zrobić coś niemożliwego tutaj, więc proszę pozwolić wiem, czy jest inne rozwiązanie.

Czy w Scali można wymusić na wywołującym określenie parametru typu dla metody polimorficznej?

//API class Node class Person extends Node object Finder { def find[T <: Node](name: String): T = doFind(name).asInstan ... w się.Manifest.Nic) nie skompiluje się ... Mam dokuczliwe wrażenie, że jakiś Kreator Scali wie jak używać Predef. Pomysły ?

Dlaczego warto używać kolekcji.emptySet () with generics work in assignment but not as a method parameter?

Więc mam klasę z takim konstruktorem: public FilterList(Set<Integer> labels) { ... } I chcę zbudować nowy Filte ... > foo = new TreeSet() zamiast Set<Integer> foo = new TreeSet<Integer>(). Ale działa bez ostrzeżenia. Dlaczego?