Programmazione typechecking

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

11

Come scopri il tipo di un oggetto (in Swift)?

Quando si cerca di capire un programma, o in alcuni casi angolari, è utile poter effettivamente scoprire di che tipo è qualcosa. So che il debugger può mostrarti alcune informazioni sul tipo, e di solito puoi fare affidamento sull'inferenza del tipo per evitare di specificare il tipo in quelle situazioni, …

255 swift typechecking

3

Controllo del tipo di classe in TypeScript

In ActionScript è possibile verificare il tipo in fase di esecuzione utilizzando l' operatore is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true È possibile rilevare se una variabile (estende o) è una determinata classe o interfaccia con …

240 typescript typechecking

3

Digita le annotazioni per * args e ** kwargs

Sto provando le annotazioni di tipo Python con classi base astratte per scrivere alcune interfacce. C'è un modo per annotare i possibili tipi di *argse **kwargs? Ad esempio, come si potrebbe esprimere che gli argomenti sensibili di una funzione sono uno into due ints? type(args)dà Tuplequindi la mia ipotesi era …

159 python type-hinting typechecking typing

8

Java: Instanceof e Generics

Prima di cercare nella mia struttura di dati generica l'indice di un valore, vorrei vedere se thisè stata parametrizzata anche un'istanza del tipo . Ma Eclipse si lamenta quando faccio questo: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } Questo è il messaggio di …

135 java generics instanceof typechecking

6

Controlla se una variabile è una stringa in Ruby

C'è qualcosa di più idiomatico del seguente? foo.class == String

124 ruby idioms typechecking

9

Come verificare se un oggetto Ruby è un booleano

Non riesco a controllare facilmente se un oggetto è un booleano. C'è qualcosa di simile in Ruby? true.is_a?(Boolean) false.is_a?(Boolean) In questo momento lo sto facendo e vorrei accorciarlo: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))

122 ruby typechecking

1

Perché il "trucco dei vincoli" non funziona in questa istanza HasField definita manualmente?

Ho questo codice (certamente strano) che utilizza obiettivi e GHC . {-# LANGUAGE DataKinds, PolyKinds, FlexibleInstances, UndecidableInstances #-} {-# LANGUAGE MultiParamTypeClasses #-} {-# LANGUAGE ScopedTypeVariables #-} {-# LANGUAGE TypeApplications #-} {-# LANGUAGE TypeFamilies #-} module Main where import Control.Lens import GHC.Records data Glass r = Glass -- just a dumb …

9 haskell typeclass typechecking

2

Tipi di somma - Perché in Haskell è `show (Int | Double)` diverso da `(show Int) | (mostra Double) `

Perché questi non sono equivalenti? show $ if someCondition then someInt else some double e if someCondition then show someInt else show someDouble Capisco che se si isola la if ... elseparte nel primo esempio in un'espressione da sola, non è possibile rappresentare il suo tipo con un tipo di …

9 haskell compiler-construction language-features typechecking

Domande taggate «typechecking»