typechecking

0열

1답변

JavaScript에서 Arguments 클래스를 참조하는 방법은 무엇입니까?

을 JavaScript에 넣으면 변수 arguments (현재 함수의 모든 인수를 얻을 수 있음)은 Array이 아니지만 콘솔에 유형이 Arguments이라고 표시됩니다. 당신은 단순히 Arguments (당신이 예를 들어 String처럼.), 그래서 그것의 참조가 좋아 얻을 입력하여이 클래스를 얻을 수 : Arguments = function(){retu

27열

4답변

Android Studio의 "예상되는 유형의 리소스"가 확인됩니까?

Android Studio 베타 (0.8)는 일부 int 매개 변수가 임의의 정수가 아니고 몇 가지 속성이 있는지 확인하는 유용한 새로운 기능을 제공합니다. 같은 호출 예를 들어 : setContentView(R.id.textView1); 가 제대로 R.id.textView1이 레이아웃 ID가 아니라고보고는 (메시지가 "형 레이아웃의 예상 자원"입니다)

2열

1답변

함수 시작시 유형 기능 확인

내부적으로 사용되는 일련의 파이썬 모듈을 작성하고 있습니다. 내가 필요한 미묘하게 다른 매개 변수 유형을 전달하는 사용자가있는 문제. 예를 들어 무언가가리스트리스트를 기대하고 튜플의리스트가 주어진다면, 함수가리스트의 일부 요소에 할당하려고 시도 할 때까지 대부분 시간이 걸릴 것입니다 . 내가 겪고있는 문제는 기능이 잘못되기 시작하는 지점에 기능이 도달하는

3열

1답변

python 함수를 강제로 docstring에서 매개 변수 유형

epydoc 및 Sphinx 문서 생성기는 모두 형식이 any/all 함수 매개 변수 중 무엇이어야하는지 주석을 달 수 있습니다. 내 질문은 : 거기가 문서화 문자열에을 문서화 할 때 은 (실행시) 이러한 유형을 적용하는 방식 (또는 모듈)입니다. 이것은 강력한 형식의 (컴파일 타임 검사)이 아니지만 회사 유형 (런타임 검사)이라고 할 수 있습니다. 어쩌면

0열

1답변

Python에서 모델 일관성을 구현하는 방법은 무엇입니까?

일관성 검사를 추가하여 모델 구현을 향상시키고 싶습니다. (이 값은 음수 일 수 없으며,이 값은 None이 될 수 없습니다.) «Pythonic»이 추가되었는지 궁금합니다 일부«유형 확인»- 체크도합니다. 예를 들어, 제가 자동차에 넣은 물건이 실제로 SteeringWheel인지 확인하십시오. 가능한 한 빨리 오류를 잡기 위해 일종의 유형 검사를 수행하고

2열

3답변

스칼라에서 len을 사용하는 가장 파이썬적인 방법은 무엇입니까?

나는이 질문을 python: how to identify if a variable is an array or a scalar 을 읽을 수는 있지만 다음 코드를 사용하는 경우 아래 입증 할 수있는 나는 np.array에 거짓을 얻을. import collections isinstance(np.arange(10), collections.Sequence)

12열

2답변

헤더의 완결성

저는 C++을 가르치기 시작했습니다. 다른 언어에서 온 것입니다. 나는 (학생) 파일로 작성된 API를 일관되게 검사 할 수있는 방법이 있었으면 좋겠다. 학생이 파일을 제출한다고 가정 사실 // this is stu.cpp #include <iostream> using namespace std; double x(int y) {return y+0.5;}

1열

2답변

Typecheck SQL 쿼리

실행하기 전에 쿼리의 반환 형식을 출력 할 수있는 관계형 데이터베이스가 있습니까? 예를 들어, GIVE_TYPES SELECT name, age FROM person과 같은 쿼리는 실제로 쿼리를 실행하지 않고 VARCHAR(255), INTEGER과 같은 결과를 제공합니다. 이것이 가능하지 않다면 왜 그런 경우입니까? EDIT 첫 번째 의견은 약간 더 복잡

5열

2답변

하스켈 : 코드를 컴파일하는 방법을 테스트하는 방법은 무엇입니까?

선언이 형식에 맞지 않는지 테스트하는 가장 좋은 방법은 무엇입니까? GADT의 경우 생성자 애플리케이션이 올바른지 아닌지를 파악하는 것은 쉽지 않습니다. 형식 안전 구조 라이브러리를 작성하는 경우 불법적 인 구문을 만들 수 없도록하는 것이 좋습니다. 따라서 테스트 스위트의 일부로 형식 검사기에서 불법적 인 구문의 일부가 거부되도록하고 싶습니다. 예를 들어

0열

3답변

통합형 검사

템플릿 매개 변수 유형이 통합되어 있는지 어떻게 확인할 수 있습니까? C++ 11에서 std::is_integral<>을 사용할 수 있음을 알고 있습니다. 여기에도 문제가 있습니다. How to check that template's parameter type is integral? 나는 또한 부스트를 알고는이 기능을 제공합니다. 이 수표를 "수동으로"만드