typechecking

5calore

2risposta

Perché la definizione dei tipi di argomento per __eq__ genera un errore di tipo MyPy?

Sto usando Python 3.5.1 e il nuovo analizzatore di tipo statico v10.4.1 MyPy v0.4.1. ho qualche codice più complesso che ho ridotto fino a questo semplice classe Python possibile necessario per riprod

python python-3.x types typechecking mypy 2016-05-31

---

15calore

2risposta

Perché questa funzione di Scala viene compilata quando l'argomento non è conforme al vincolo di tipo?

Diciamo che ho un tratto marcatore vuoto denominato Marker e alcune funzioni con parametri di tipo legati da Marker: trait Marker object Marker { def works[M <: Marker](m:M):M = m def does

scala types typechecking 2015-08-09

---

9calore

2risposta

Controllo tipo interrotto sull'acquisizione corrispondente con limite superiore?

Creare una classe come public class Play { public static void main(String[] args) throws Exception { outer(Integer.class, inner("abc")); } static <C> void outer(Class<C> c, List<

java java-8 typechecking 2015-08-25

---

24calore

3risposta

Digitare annotazioni per * args e ** kwargs

Sto provando le annotazioni di tipo di Python con classi di base astratte per scrivere alcune interfacce. C'è un modo per annotare i possibili tipi di *args e **kwargs? Ad esempio, come si potrebbe es

python type-hinting typechecking typing 2016-05-04

---

5calore

1risposta

ghc non segnala corrispondenze non esaustive del modello quando si utilizza il flag `no-code`

Tendo a digitare ripetutamente i miei programmi in un terminale modificandoli nel mio editor di scelta per ottenere un feedback in tempo reale. In genere eseguo qualcosa simile a: watch -d -n 1 "ghc -

haskell pattern-matching typechecking 2014-12-25

---

5calore

2risposta

Haskell: come testare che il codice non si sta compilando?

Qual è il modo migliore per verificare che una dichiarazione non sia corretta per il tipo? Con GADT, non è banale capire che un'applicazione di costruzione è corretta o meno. Se si sta scrivendo una l

haskell typechecking gadt 2014-09-19

---

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

---

9calore

1risposta

Riferimento automatico delle annotazioni di tipo in Python

Sto cercando di capire come funziona l'auto-riferimento dei tipi con python3's type annotations - i documenti non specificano nulla in merito. Ad esempio: from typing import TypeVar, Optional, Generic

python python-3.x python-3.5 typechecking 2016-03-24

---

6calore

2risposta

Data.Proxy nell'API pubblica del servant (perché il proxy con ScopedTypeVariables non funziona)

Sono eccitato su servant e sto bene con la sua magia interna di tipo purché non interferisca con il modo, e l'unica cosa che mi confonde è l'uso di un type-proxy in API pubbliche. Ecco il code: serve

haskell types typechecking 2015-07-26

---

8calore

1risposta

Come controllare il tipo di campo della struct in Elixir?

Diciamo che ho: defmodule Operator do defstruct operator: nil @type t :: %Operator { operator: oper } @type oper :: logic | arithmetic | nil @type logic :: :or | :and

elixir typechecking 2015-01-17

---