«type-safety» 태그된 질문

나는 타입 안전이없는 곳에서 파이썬으로 코딩을 시작한 다음 C # 및 Java로 옮겼습니다. 나는 파이썬에서 조금 더 빠르고 두통없이 작업 할 수 있다는 것을 알았지 만 다시 C # 및 Java 앱은 훨씬 더 높은 수준의 복잡성을 가지므로 파이썬에 내가 실제로 스트레스 테스트를 한 적이 없다. Java 및 C # …

108 data-types  dynamic-typing  static-typing  type-safety 

컴파일 단계에서 특정 유형의 버그를 잡기 위해 강력하게 유형이 지정된 typedef를 선언하는 방법을 생각했습니다. 종종 여러 유형의 ID로 int를 typedef하거나 위치 또는 속도에 대한 벡터를 typedef하는 경우가 종종 있습니다. typedef int EntityID; typedef int ModelID; typedef Vector3 Position; typedef Vector3 Velocity; 이것은 코드의 의도를 더 명확하게 만들 수 있지만, 코딩의 …

49 c++  c++11  type-safety 

에서 자바 스크립트 : 좋은 부품 더글러스 크록 포드에 의해, 그는 자신의 상속 장에서 언급 클래식 상속의 또 다른 이점은 형식 시스템의 사양을 포함한다는 것입니다. 이것은 대부분 프로그래머가 명시적인 캐스팅 작업을 작성하지 않아도되는데, 캐스팅 할 때 타입 시스템의 안전 이점이 없어지기 때문에 매우 좋습니다. 우선, 실제로 안전이란 무엇입니까? 데이터 손상, …

47 type-systems  type-safety 

이것은 친구와의 토론에서 나왔고, 나는 좋은 주장을 생각하기가 힘들다는 것을 알았습니다. 약한 타이핑은 어떤 이점을 제공합니까?

40 type-systems  type-safety  weak-typing 

그들은 왜 XML이 형식 안전성을 제공한다고 말합니까? 그리고 XML 자체에서 어떻게 표현됩니까? 유형 안전하지 않은 JSON과 (예를 들어) 다른 점은 무엇입니까?

30 xml  type-safety 

벡터와 행렬을 다루는 라이브러리를 작성한다고 가정 해보십시오. 호환되지 않는 차원의 연산이 컴파일 타임에 오류를 생성하도록 차원을 유형으로 구울 수 있습니까? 예를 들어 도트 제품의 서명을 다음과 같습니다. dotprod :: Num a, VecDim d => Vector a d -> Vector a d -> a 여기서 d유형에는 단일 정수 값 (이 벡터의 …

20 haskell  type-systems  type-safety 

최근에 작업 한 프로젝트에서 다음과 같은 많은 기능을 사용해야했습니다. static bool getGPS(double plane_latitude, double plane_longitude, double plane_altitude, double plane_roll, double plane_pitch, double plane_heading, double gimbal_roll, double gimbal_pitch, double gimbal_yaw, int target_x, int target_y, double zoom, int image_width_pixels, int image_height_pixels, double & Target_Latitude, double & Target_Longitude, double & Target_Height); 그래서 다음과 …

17 c++  type-systems  data-types  type-safety 

이 페이지 http://golang.org/doc/go_faq.html 다음과 같이 씁니다. Go에는 정적 유형이 있지만 언어는 일반적인 OO 언어보다 유형이 가벼워 지도록 시도합니다. 그래서 제 질문은 정확하게 제네릭 (C #과 같은)으로 입력하거나 느슨하게 입력 (자바 스크립트와 같이) 또는 옵션 (Vb.Net의 옵션 엄격한과 같이)입니다.

14 programming-languages  algorithms  google  go  type-safety 

나는 정적 유형 검사의 팬입니다. 다음과 같은 어리석은 실수를 저 지르지 않습니다. // java code Adult a = new Adult(); a.setAge("Roger"); //static type checker would complain a.setName(42); //and here too 그러나 다음과 같이 바보 같은 실수를 저지르는 것을 막지는 않습니다. Adult a = new Adult(); // obviously you've mixed up …

13 business-logic  static-typing  type-safety 

내가 사용하는 경우 취소 밀봉 trait또는 abstract class스칼라 후 사용 패턴 매칭을 궁금해 사용할 수 있습니다이 특성 / 클래스의 수 어떻게 구현이 특정 patternmatch에 대한 컴파일시에 컴파일러 알고하지 않는 이유는 무엇입니까? 따라서 그렇다면 가능한 모든 종속성 / 가져 오기를 확인하여 사용할 수 있는 유형을 알고 있기 때문에 trait/ abstract class가 …

10 scala  type-safety  trait  pattern-matching 

정적 코드 검사로 유형 일관성을 감지 할 수있는 PHP의 제네릭 부족에 대한 적절한 해결책이 있습니까? 나는 서브 클래스를 만들고 싶어하는 추상 클래스를 가지고 있으며 메소드 중 하나가 한 유형의 매개 변수를 취하는 것에서 해당 매개 변수의 하위 클래스 인 매개 변수를 취하는 것으로 변경하도록 강요합니다. abstract class AbstractProcessor { abstract …

9 inheritance  class  type-safety