type-inference

7calore

3risposta

Quali modifiche nell'algoritmo di inferenza del tipo causano questo comportamento?

Sto leggendo OCP Java SE7, certification guide from Mala Gupta. A pagina 297, il seguente frammento di codice import java.util.HashMap; import java.util.Map; public class TestGenericTypeInference {

java generics type-inference 2016-01-19

---

8calore

1risposta

La limitazione di Arrays.asList() non è vero in Thinking in Java 4 ° Edizione

In questo libro, si dice: Una limitazione di Arrays.asList() è che ci vuole un'ipotesi migliore A proposito di il tipo risultante di Elenco e non si presta attenzione a ciò che si sta assegnando a . I

java inheritance type-inference 2016-03-10

---

7calore

2risposta

Perché Swift non inferenza di tipo a qualsiasi quando viene messo elemento tipo multiplo in Array

ci sono due situazione mi fa confondere quando sviluppare rapido 2.2 utilizzando Xcode 7.1, vedere l'esempio di seguito, grazie In primo luogo, l'importazione quando Fondazione, ho dichiarato un TestA

arrays swift types type-inference anyobject 2016-05-04

---

12calore

1risposta

C# tipo metodo di gruppo inferenza

Sto cercando di scrivere un metodo generico che fornisce i parametri e chiama una funzione, come questo: class MyClass { public int Method(float arg) => 0; } TResult Call<T1, TResult>(Func<T1,

c# generics type-inference 2016-03-15

---

8calore

2risposta

Possiamo avere variabili di tipo nella posizione del costruttore nel sistema di tipo Hindner Milner?

In Haskell possiamo scrivere il seguente tipo di dati: data Fix f = Fix { unFix :: f (Fix f) } Il tipo variabile f ha il tipo * -> * (cioè esso è un tipo di costruzione sconosciuto). Quindi, Fix ha

haskell functional-programming ocaml type-inference hindley-milner 2016-05-06

---

8calore

2risposta

Perché è necessaria la riduzione del contesto?

Ho appena letto this paper ("Classi di tipi: un'esplorazione dello spazio di progettazione" di Peyton Jones & Jones), che spiega alcune difficoltà con il sistema di typeclass di Haskell e come miglior

haskell types type-inference typechecking 2016-02-01

---

5calore

1risposta

L'inferenza del tipo rallenta il completamento automatico nell'IDE

Quando si utilizza Scala per la prima volta in un IDE (Idea), ho notato che il completamento automatico è notevolmente più lento, quindi durante la codifica di Java. Anche se parte del rallentamento p

java scala static-analysis type-inference 2016-02-03

---

6calore

2risposta

Perché il compilatore non può inferire il tipo per questa chiamata selezionata?

Sto provando a creare un elenco di ViewModels da un DTO chiamando una selezione nell'elenco di DTO. Tuttavia, il compilatore mi dà un detto errore: Gli argomenti di tipo per metodo non può essere dedo

c# linq type-inference 2016-02-04

---

5calore

1risposta

Cosa accadrebbe se l'applicazione di funzione fosse un typeclass?

Supponiamo che l'applicazione della funzione di Haskell (l'operatore "spazio") fosse in una classe di caratteri anziché nella lingua. Immagino che sarebbe simile a class Apply f where ($) :: f a

haskell type-inference 2016-02-09

---

11calore

1risposta

Come funziona l'inferenza di tipo di Rust su più istruzioni?

La ruggine esegue l'inferenza del tipo in situazioni abbastanza avanzate. Qualcuno potrebbe spiegare (o indicare) le regole che descrivono ciò che può e non può essere dedotto? Il primo è semplice: il

rust type-inference 2016-05-31

---