«static-typing» 태그된 질문

Aleks Bromfield의 주장 은 다음과 같습니다. 정적 유형 시스템을 가진 거의 모든 언어에는 동적 유형 시스템이 있습니다. C를 제외하고는 예외를 생각할 수 없습니다. 이것이 유효한 주장입니까? 런타임에 리플렉션 또는 로딩 클래스를 사용하면 Java가 약간 비슷하다는 것을 이해하지만 '점진적 타이핑'이라는 아이디어를 많은 언어로 확장 할 수 있습니까?

20 languages  dynamic-typing  static-typing 

함수형 프로그래밍 언어의 지지자들은 함수형 프로그래밍이 코드에 대해 추론하기가 더 쉽다고 주장합니다. 정적으로 유형이 지정된 언어를 선호하는 사람들은 컴파일러가 유형 시스템의 추가 복잡성을 보완하기에 충분한 오류를 포착한다고 말합니다. 그러나이 주제에서 읽은 모든 것은 경험적 데이터가 아니라 합리적인 논쟁에 근거합니다. 다른 범주의 프로그래밍 언어가 결함률이나 다른 품질 메트릭에 어떤 영향을 미치는지에 …

19 functional-programming  comparison  dynamic-typing  static-typing  imperative-languages 

프로그래밍 언어의 정적 타이핑은 컴파일 타임에 특정 보증을 시행하는 데 도움이 될 수 있지만 유형이이 작업을위한 유일한 도구입니까? 불변량을 지정하는 다른 방법이 있습니까? 예를 들어, 언어 또는 환경은 배열 길이 또는 입력과 함수 간의 관계에 대한 보증을 강화하는 데 도움이 될 수 있습니다. 나는 타입 시스템 외부에서 이와 같은 것을 …

18 programming-languages  static-typing  static-analysis 

방금 Daniel Spiewak 가 Scala의 ans Java의 공칭 타이핑 과 비교하여 구조 타이핑 의 장점에 대해 이야기하는 것을 보았습니다 . 이 차이점의 한 가지 예는 다음 Java 코드입니다. public interface Foo { public int length(); } public interface Bar { public int length(); } Foo f = ...; Bar b …

15 java  scala  type-systems  static-typing 

Optional정적 형식 언어에서는 분명한 방식으로 유용하지만 동적 언어에서도 유용한 지 궁금합니다. 일반적으로 "이봐, 이것을 " Optional<String>으로 사용했다 "고 말하는 컴파일러는 없으므로 String런타임에 실수를 찾아야합니다. 나는 정적 타이핑 배경을 가지고 있으며 내 관점 Optional에서 동적 언어로 된 유형 의 이점을 볼 수 없습니다 .

14 dynamic-typing  static-typing 

나는 정적 유형 검사의 팬입니다. 다음과 같은 어리석은 실수를 저 지르지 않습니다. // 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 

폐쇄되었습니다 . 이 질문은 의견 기반 입니다. 현재 답변을받지 않습니다. 이 질문을 개선하고 싶습니까? 이 게시물 을 편집 하여 사실과 인용으로 답변 할 수 있도록 질문을 업데이트하십시오 . 휴일 오년 전에 . 이 문장은 정적으로 입력 된 언어가 웹 사이트에 이상적이지 않다는 것을 나타냅니다. 웹 사이트 구축과는 대조적입니다. 웹 페이지를 …

13 web-development  dynamic-typing  static-typing 

내가 애자일 개발에서 읽은 내용에는 종종 리팩토링 또는 엔지니어링 코드를 다이어그램으로 뒤집는 것이 포함됩니다. 물론 그 이상의 것이 있지만,이 두 가지 방법에 의존하는 관행을 고려한다면 동적으로 유형이 지정된 언어가 불리한가? 정적 유형의 언어는 리팩토링 및 리버스 엔지니어링을 훨씬 쉽게 만듭니다. 동적으로 입력되는 언어에서는 불가능하지 않은 경우 리팩토링 또는 (자동화 된) …

12 agile  dynamic-typing  static-typing 

스크립팅 프로그래밍 언어 사이트의 메인 페이지에서 호기심을 느끼면서 다음과 같은 구절이 발생했습니다. 시스템이 너무 커서 머리에 들어 가지 않으면 정적 유형을 추가 할 수 있습니다. 이것은 많은 종교에서 정적, 컴파일 된 언어 (Java와 같은)와 동적이고 해석 된 언어 (주로 파이썬은 더 많이 사용되지만 대부분의 스크립팅 언어간에 공유되는 "문제") 사이의 전쟁에서 …

9 programming-languages  dynamic-typing  static-typing 

그렇습니다. 비슷한 질문이 있지만 항상 '어느 쪽이 더 낫다'는 것을 목표로합니다. 나는 주로 JavaScript에서 개발자로 올라 와서 정적으로 유형이 지정된 언어로 글을 쓴 경험이 없기 때문에 묻습니다. 그럼에도 불구하고 필자는 낮은 수준의 코드에서 까다로운 작업을 처리하는 데 C를 배우는 데 가치가 있음을 분명히 알 수 있습니다 (컴파일러 수준에서 정적 대 …

9 dynamic-typing  static-typing 

동적 및 정적 타이핑에 대한 선호는 주로 맛의 문제이며, 다른 사람들은 다른 상황에서 다소 적합하다고 생각합니다. 내 질문은, 클라이언트 측 웹 페이지 기능 보강 등을 위해 JavaScript에 대해 정적으로 유형이 지정된 대안을 갖는 것이 기술적으로 가능할까요?

9 javascript  scripting  dynamic-typing  static-typing  jit