Вопросы с тегом «typechecking»

У меня есть массив, который состоит из AnyObject . Я хочу перебрать его и найти все элементы, которые являются экземплярами массива. Как я могу проверить, является ли объект данного типа в Swift?

267 swift  type-inference  typechecking 

Когда вы пытаетесь понять программу или в некоторых сложных случаях, полезно иметь возможность на самом деле узнать, что это за тип. Я знаю, что отладчик может показать вам некоторую информацию о типе, и вы обычно можете полагаться на вывод типа, чтобы не указывать тип в таких ситуациях, но, тем не …

255 swift  typechecking 

В ActionScript можно проверить тип во время выполнения с помощью оператора is : var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true Можно ли определить, является ли переменная (extends или) определенным классом или интерфейсом с TypeScript? Я не мог найти …

241 typescript  typechecking 

Я пробую аннотации типов Python с абстрактными базовыми классами для написания некоторых интерфейсов. Есть ли способ аннотировать возможные типы *argsи **kwargs? Например, как можно выразить, что разумными аргументами функции являются intили два или два int? type(args)дает, Tupleпоэтому я предположил, чтобы аннотировать тип как Union[Tuple[int, int], Tuple[int]], но это не работает. …

159 python  type-hinting  typechecking  typing 

Прежде, чем я просматриваю свою общую структуру данных для индекса значения, я хотел бы видеть, параметризован ли он даже экземпляру типа this. Но Затмение жалуется, когда я делаю это: @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } Это сообщение об ошибке: Невозможно выполнить проверку …

135 java  generics  instanceof  typechecking 

Есть ли что-нибудь более идиоматичное, чем следующее? foo.class == String

124 ruby  idioms  typechecking 

Кажется, я не могу легко проверить, является ли объект логическим. Есть ли что-то подобное в Ruby? true.is_a?(Boolean) false.is_a?(Boolean) Сейчас я делаю это и хотел бы сократить его: some_var = rand(1) == 1 ? true : false (some_var.is_a?(TrueClass) || some_var.is_a?(FalseClass))

123 ruby  typechecking 

У меня есть этот (по общему признанию странный) код, который использует lens и 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 …

9 haskell  typeclass  typechecking 

Почему они не эквивалентны? show $ if someCondition then someInt else some double а также if someCondition then show someInt else show someDouble Я понимаю, что если вы изолируете if ... elseчасть в первом примере от выражения, то вы не сможете представить его тип анонимным типом суммы Int | Double, …

9 haskell  compiler-construction  language-features  typechecking