«typechecking» 태그된 질문


11
Swift에서 객체의 유형을 어떻게 알 수 있습니까?
프로그램이나 일부 경우를 이해하려고 할 때 실제로 어떤 유형인지 알아내는 것이 유용합니다. 디버거가 일부 유형 정보를 표시 할 수 있다는 것을 알고 있으며 일반적으로 유형 유추에 의존하여 해당 상황에서 유형을 지정하지 않아도 될 수는 있지만 여전히 Python과 같은 것을 원합니다.type() dynamicType ( 이 질문 참조 ) 업데이트 : 이것은 최신 …

3
TypeScript에서 클래스 유형 확인
ActionScript에서는 is 연산자를 사용하여 런타임에 유형을 확인할 수 있습니다 . var mySprite:Sprite = new Sprite(); trace(mySprite is Sprite); // true trace(mySprite is DisplayObject);// true trace(mySprite is IEventDispatcher); // true 변수 (확장자 또는)가 특정 클래스 또는 TypeScript와 인터페이스인지 감지 할 수 있습니까? 언어 사양에서 그것에 대해 아무것도 찾을 수 없습니다. 클래스 …

3
* args 및 ** kwargs에 대한 유형 주석
일부 기본 인터페이스를 작성하기 위해 추상 기본 클래스를 사용하여 Python의 유형 주석을 시도하고 있습니다. 의 가능한 유형의 주석을 할 수있는 방법이 있나요 *args과 **kwargs? 예를 들어, 함수에 대한 합리적인 인수가 하나 int또는 두 개 라는 것을 어떻게 표현할 수 int있습니까? type(args)제공 Tuple내 생각 엔이 같은 유형에 주석을했다, 그래서 Union[Tuple[int, int], …

8
자바 : Instanceof와 Generics
값의 인덱스에 대한 일반적인 데이터 구조를 살펴보기 전에 유형의 인스턴스조차 this매개 변수화되어 있는지 확인하고 싶습니다 . 그러나 Eclipse는 내가 이것을 할 때 불평합니다. @Override public int indexOf(Object arg0) { if (!(arg0 instanceof E)) { return -1; } 이것은 오류 메시지입니다. 유형 매개 변수 E에 대해 instanceof check를 수행 할 수 …


9
Ruby 객체가 Boolean인지 확인하는 방법
객체가 부울인지 쉽게 확인할 수없는 것 같습니다. 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))
122 ruby  typechecking 

1
이 수동으로 정의 된 HasField 인스턴스에서“제한 트릭”이 작동하지 않는 이유는 무엇입니까?
렌즈 와 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 proxy class …

2
합계 유형-Haskell에서`(show Int)와 'show (Int | Double)'이 다른 이유 | (더블 표시)`
왜 이것들이 동일하지 않습니까? show $ if someCondition then someInt else some double 과 if someCondition then show someInt else show someDouble if ... else첫 번째 예제 의 부분을 ​​표현식으로 분리하면 익명 합계 유형으로 유형을 나타낼 수 없다는 Int | Double것을 이해합니다. langauge는 자주 사용하고 Sum 유형을 지원합니다.) Either를 기반으로 …
당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.