«typechecking» etiketlenmiş sorular

Oluşan bir dizi var AnyObject. Üzerinde yineleme ve dizi örnekleri olan tüm öğeleri bulmak istiyorum. Swift'te bir nesnenin belirli bir türde olup olmadığını nasıl kontrol edebilirim?

267 swift  type-inference  typechecking 

Bir programı anlamaya çalışırken veya bazı köşe durumlarda, bir şeyin ne olduğunu gerçekten bulmak yararlıdır. Hata ayıklayıcının size bazı tür bilgiler gösterebileceğini biliyorum ve genellikle bu tür durumlarda türü belirtmekten kaçınmak için tür çıkarımına güvenebilirsiniz, ancak yine de gerçekten Python gibi bir şeye sahip olmak istiyorumtype() dynamicType ( bu soruya …

255 swift  typechecking 

ActionScript'te, is operatörünü kullanarak çalışma zamanında türü kontrol etmek mümkündür : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true Bir değişkenin (genişletme veya) TypeScript ile belirli bir sınıf veya arayüz olup olmadığını tespit etmek mümkün müdür? Dil özelliklerinde hiçbir …

240 typescript  typechecking 

Bazı arayüzler yazmak için soyut temel sınıflarla Python'un tip ek açıklamalarını deniyorum. Olası *argsve türlerine açıklama eklemenin bir yolu var mı **kwargs? Örneğin, bir işleve ilişkin mantıklı argümanların ya bir intya da iki ints olduğunu nasıl ifade edebiliriz ? type(args)verir Tuplebenim tahminim olarak türünü açıklama oldu bu yüzden Union[Tuple[int, int], …

158 python  type-hinting  typechecking  typing 

Ben bir değer dizini için genel veri yapısı bakmak önce, ben bile türünün bir örneğinin thisparametreli olup olmadığını görmek istiyorum . Ama Eclipse bunu yaptığımda şikayet ediyor: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } Hata mesajı: E tipi tür parametresine karşı instanceof kontrolü …

135 java  generics  instanceof  typechecking 

Aşağıdakilerden daha deyimsel bir şey var mı? foo.class == String

124 ruby  idioms  typechecking 

Bir nesnenin boole olup olmadığını kolayca kontrol edemiyorum. Ruby'de buna benzer bir şey var mı? true.is_a?(Boolean) false.is_a?(Boolean) Şu anda bunu yapıyorum ve kısaltmak istiyorum: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))

122 ruby  typechecking 

Ben kullandığı bu (muhakkak garip) koduna sahip lens ve GHC.Records : {-# 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 

Bunlar neden eşdeğer değil? show $ if someCondition then someInt else some double ve if someCondition then show someInt else show someDouble if ... elseİlk örnekteki parçayı kendi başına bir ifadeye ayırırsanız , türünü anonim bir toplam türüyle, türünü, Int | DoubleTypeScript'te kolayca yapabileceğiniz bir şey gibi temsil edemeyeceğinizi anlıyorum …

9 haskell  compiler-construction  language-features  typechecking