Запитання з тегом «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 Чи можливо виявити, чи змінна (розширюється чи) є певним класом або інтерфейсом з TypeScript? Я нічого не міг …

240 typescript  typechecking 

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

158 python  type-hinting  typechecking  typing 

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

135 java  generics  instanceof  typechecking 

Чи є щось ідіоматичне, ніж наступне? foo.class == String

124 ruby  idioms  typechecking 

Я не можу легко перевірити, чи об'єкт є булевим. Чи є щось подібне в Рубі? 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))

122 ruby  typechecking 

Чому вони не є рівнозначними? show $ if someCondition then someInt else some double і if someCondition then show someInt else show someDouble Я розумію, що якщо ви виділите if ... elseчастину в першому прикладі до виразу самостійно, то ви не можете представляти його тип анонімним типом суми, таким Int …

9 haskell  compiler-construction  language-features  typechecking 

У мене є цей (правда, дивний) код, який використовує об'єктив і 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 …

9 haskell  typeclass  typechecking