static-typing

2열

2답변

OCaml의 첫째되는 값의 종류 내가 알 필요가 일부 값 목록을 특정 유형

의 가치를 찾을 수 : type my_types = | MAlpha | MBeta of int list | MGamma of string * int let find_first where what = List.iter (fun m -> | MAlpha -> (* iterate frough "wha

9열

3답변

다이내믹 타이핑을 보완하기위한 의미없는 테스팅이 싫증이났다.

나는 컴퓨터 공학을 공부하기 전에 레일스에서 많은 웹 프로그래밍을 해왔다. 그 이후로 저는 C로 많은 학교 수업을했으며 Objective-C (Mac 관련 자료)에서 개인적인 것들을 많이했습니다. 정적 타이핑을 좋아했습니다. 하지만 지금은 전문적인 웹 개발 (프리랜싱)을해야하고 레일스를 다시 한 번 픽업했습니다. 비 의미 론적 유형 검사를 작성하는 것이

33열

4답변

정적으로 입력되고 삽입 가능한 스크립팅 언어가 있습니까?

정적으로 입력되고 삽입 가능한 스크립팅 언어가 있는지 궁금합니다. 파이썬, 자바 스크립트 등은 훌륭한 언어이지만 동적으로 타입이 지정됩니다 (즉, 유형은 런타임에 검사됩니다). C++ 응용 프로그램에 포함될 수있는 정적으로 입력 된 스크립팅 언어를 아는 사람이 있는지 궁금합니다.

3열

1답변

이 코드가 DISTINCT 형식을 선언하는 이유는 무엇입니까?

ShlObj.pas (델파이 XE에서와 같이) 라인 9922 :이에게 왜 내가이 가능 에 대한 관련 배경을 설명 생각하기 때문에 여기에 데이비드 헤퍼 넌의 의견에 응답 type BFFCALLBACK = function(Wnd: HWND; uMsg: UINT; lParam, lpData: LPARAM): Integer stdcall; TFN

1열

2답변

정적으로 입력 된 클래스 속성을위한 파이썬 모듈

속성에 할당 할 때 파이썬 클래스가 자동으로 값의 유형을 확인하기를 원합니다. 숫자가 traits이고 IPython의 순수 모듈 이름은 IPython.utils.traitlets입니다. 유사한 모듈이 있습니까? 해당 모듈에 이러한 특성을 설정하는 자동 명령 줄 인수 구문 분석기가 있으면 더 좋을 것입니다. 편집 : 감사합니다. 하지만 나는 파이썬 라이브러리

13열

2답변

RPython에 정적으로 무엇이 입력 되었습니까?

RPython (Python의 하위 집합)이 정적으로 입력되었다고 자주 언급됩니다. (예 : Wikipedia) 처음에는 어떻게 그 코드를 파이썬에 추가 할 것인지 궁금했고, 각 함수의 시작 부분에 assert isinstance(arg1, ...)과 같은 명령문을 추가 할 필요가 있다고 생각했습니다. (하지만 실제로는 믿을 수 없었습니다. 그). 그런 다

5열

1답변

클로저 시퀀스 유형

올바른 시퀀스 유형은 무엇입니까? 이 코드가 있습니다 (defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds]) 을하지만 내가 (new MethodInfo 1 2)을 쓸 수 있기 때문에 정확하게 유형 요구 사항을 적용하지 않는 것 같습니다.

18열

3답변

스칼라에서 익명 함수의 반환 형식을 지정할 수 있습니까?

난 당신이 익명 함수를 만들 수 있습니다 알고, 그것의 반환 형식 추론 컴파일러가 : val x =() => { System.currentTimeMillis } 그냥 정적 타이핑을 위하여, 그것의 반환뿐만 아니라 유형을 지정할 수 있습니까? 나는 그것이 물건을 훨씬 더 분명하게 할 것이라고 생각합니다. 제 생각에는

3열

1답변

스칼라에 대한 정적 테스트

스칼라 테스트를위한 멋진 라이브러리가 있습니다 (Specs, ScalaTest, ScalaCheck). 그러나 Scala의 강력한 유형 시스템에서 스칼라로 개발되는 API의 중요한 부분은 일반적으로 컴파일러가 방지하는 바람직하지 않거나 허용되지 않는 동작의 형태로 정적으로 표현됩니다. 그래서 라이브러리 나 다른 API를 디자인 할 때 컴파일러가 무언가를 막

2열

2답변

부 (Boo) : 명시 적으로 해시 유형을 지정하십시오.

저는 부 (Boo)를 처음 사용하고 해시 유형을 선언하는 방법을 알아 내려고합니다. 내가 할 때 : myHash = {} myHash[key] = value (later) myHash[key].method() 컴파일러는 "메서드가 개체의 구성원이 아닙니다."라는 불평을합니다. 나는 그것이 해쉬의 값이 어떤 타입인지 알지 못한다