Programmazione type-inference

30

Bloccato . Questa domanda e le sue risposte sono bloccate perché la domanda è fuori tema ma ha un significato storico. Al momento non accetta nuove risposte o interazioni. Dopo una discussione con i colleghi sull'uso della parola chiave "var" in C # 3, mi chiedevo quali fossero le opinioni …

406 c# type-inference var

3

Collections.emptyList () restituisce un elenco <oggetto>?

Sto riscontrando problemi nella navigazione della regola di Java per inferire i parametri di tipo generico. Considera la seguente classe, che ha un parametro elenco opzionale: 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) …

269 java generics type-inference

18

Verifica se un oggetto è un determinato tipo in Swift

Ho un array composto da AnyObject. Voglio iterare su di esso e trovare tutti gli elementi che sono istanze di array. Come posso verificare se un oggetto è di un determinato tipo in Swift?

267 swift type-inference typechecking

14

Quanto costa troppo con la parola chiave automatica C ++ 11?

Sto usando la nuova autoparola chiave disponibile nello standard C ++ 11 per i tipi complicati di modelli, che è ciò per cui credo sia stato progettato. Ma lo sto usando anche per cose come: auto foo = std::make_shared<Foo>(); E più scettico per: auto foo = bla(); // where bla() …

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

22

Perché il tempo di compilazione di Swift è così lento?

Sto usando Xcode 6 Beta 6. Questo è qualcosa che mi infastidisce da un po 'di tempo ormai, ma sta raggiungendo un punto in cui è appena utilizzabile ora. Il mio progetto sta iniziando ad avere una dimensione decente di 65 file Swift e alcuni file Objective-C con bridge (che …

210 swift optimization compilation type-inference compilation-time

5

Come passare un tipo di classe come parametro di funzione

Ho una funzione generica che chiama un servizio Web e serializza la risposta JSON su un oggetto. 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 */ } Quello che sto cercando …

146 swift generics type-inference

14

C'è un aspetto negativo nella dichiarazione di variabili con auto in C ++?

Sembra che sia autostata aggiunta una caratteristica abbastanza significativa in C ++ 11 che sembra seguire molti dei linguaggi più recenti. Come in un linguaggio come Python, non ho visto alcuna dichiarazione esplicita di variabili (non sono sicuro che sia possibile utilizzare gli standard Python). C'è un inconveniente nell'usare autoper …

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

1

Quali limiti pone scala alla “complessità accettabile” dei tipi dedotti?

Secondo la Scala Language Spec : ... l'inferenza di tipo locale è consentita per limitare la complessità dei limiti dedotti [dei parametri di tipo]. La minimalità e la massimalità dei tipi devono essere comprese rispetto all'insieme dei tipi di complessità accettabile. In pratica quali sono i limiti? Inoltre, esistono limiti …

120 scala type-inference

8

Come posso determinare in modo affidabile il tipo di una variabile dichiarata utilizzando var in fase di progettazione?

Sto lavorando a una struttura di completamento (intellisense) per C # in emacs. L'idea è che, se un utente digita un frammento, quindi richiede il completamento tramite una particolare combinazione di tasti, la funzione di completamento utilizzerà la riflessione .NET per determinare i possibili completamenti. Per fare questo è necessario …

109 c# reflection appdomain type-inference

1

Chiamata di metodi generici statici

Mi sono imbattuto in una situazione curiosa che coinvolge metodi generici statici. Questo è il codice: class Foo<E> { public static <E> Foo<E> createFoo() { // ... } } class Bar<E> { private Foo<E> member; public Bar() { member = Foo.createFoo(); } } Come mai non devo specificare alcun tipo …

106 java generics static type-inference

5

implementazione dell'inferenza del tipo

Vedo qui alcune discussioni interessanti sulla digitazione statica e dinamica. In genere preferisco la digitazione statica, a causa del controllo del tipo di compilazione, del codice meglio documentato, ecc. Tuttavia, sono d'accordo che ingombrano il codice se fatto nel modo in cui lo fa Java, per esempio. Quindi sto per …

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

3

Una caratteristica peculiare dell'inferenza del tipo di eccezione in Java 8

Mentre scrivevo il codice per un'altra risposta su questo sito mi sono imbattuto in questa particolarità: 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

4

Perché il tipo restituito lambda non viene verificato al momento della compilazione?

Il riferimento al metodo utilizzato ha il tipo restituito Integer. Ma un incompatibile Stringè consentito nel seguente esempio. Come risolvere la withdichiarazione del metodo per rendere sicuro il tipo di riferimento del metodo senza eseguire il cast manualmente? import java.util.function.Function; public class MinimalExample { static public class Builder<T> { final …

38 java generics lambda type-inference method-reference

6

Perché Java non può dedurre un supertipo?

Sappiamo tutti che Long si estende Number. Quindi perché questo non si compila? E come definire il metodo in withmodo che il programma venga compilato senza alcun cast manuale? import java.util.function.Function; public class Builder<T> { static public interface MyInterface { Number getNumber(); Long getLong(); } public <F extends Function<T, R>, …

19 java type-inference

2

Perché `std :: mem :: drop` non è esattamente uguale alla chiusura | _ | () nei limiti dei tratti di livello superiore?

L'implementazione di std::mem::dropè documentata come la seguente: pub fn drop<T>(_x: T) { } In quanto tale, mi aspetterei che la chiusura |_| ()(colloquialmente nota come chiusura del gabinetto ) sia un potenziale sostituto 1: 1 dropin entrambe le direzioni. Tuttavia, il codice seguente mostra che dropnon è compatibile con un …

13 rust closures traits type-inference higher-kinded-types

Domande taggate «type-inference»