약형 언어의 장점 (및 단점)은 무엇입니까?

Question

저는 PHP를 아주 좋아합니다. 분명히 매우 약한 타입의 언어입니다. 이점 중 일부는 변수 유형을 변경하는 일반적인 독립을 포함한다는 것을 알게되었습니다.

제가 궁금해하는 점은 단점입니다. C처럼 강력하게 형식화 된 언어에서 빠져 나와 PHP와 같은 약한 유형의 언어에서 얻을 수없는 것은 무엇입니까? 또한 유형 설정 (double ($ variable)과 같이)을 사용하면 약한 형식의 언어조차도 강력한 형식의 언어처럼 작동 할 수 있다고 주장 할 수 있습니다.

So. 약한 타입. 내가 포함시키지 않은 몇 가지 이점은 무엇입니까? 무엇보다 단점은 무엇입니까?

Answer 1

(가) 정적 입력의 장점을 인용 런타임에 도달 할 수 컴파일 타임에 잡힌 오류의 전체 클래스가 있다는 것입니다. 예를 들어 함수 매개 변수로 정적 유형의 클래스 또는 인터페이스가있는 경우 실수로 잘못된 유형의 객체를 전달하지 않을 것입니다 (명백하고 잘못된 캐스트가없는 경우).

물론 이것은 올바른 유형의 잘못된 객체를 전달하거나 올바른 기능을 부여했지만 잘못된 작업을 수행하는 인터페이스 구현을 중단시키지 않습니다. 또한, PHP/Python/etc 사용자가 컴파일 타임이나 런타임에 오류를 잡을지를 누가 신경 써야하는지 100 % 코드 커버리지가 있다면?

개인적으로, 정적 타이핑이있는 언어로 재미있는 시간을 보내고, 재미있는 시간은없는 언어로했습니다. 타이핑의 종류와 다른 두 언어 중 하나를 선택하지 않아도되고, 일반적으로 더 중요한 것들이 걱정할 필요가 없기 때문에 결정적인 문제는 거의 없습니다. 필자는 정적으로 형식화 된 언어를 사용할 때 의도적으로 "컴파일러에 기대기"라는 식의 코드를 작성하여 잘못된 방식으로 컴파일하지 않을 것입니다. 예를 들어 한 곳에서 변경을 수행 한 다음 수행 된 모든 컴파일 오류를 수정하고 클린 컴파일 할 때까지 반복하여 수행 할 수있는 특정 리팩터가 있습니다. 전체 테스트 스위트를 여러 번 실행하여 동일한 작업을 수행하는 것은별로 실용적이지 않을 수 있습니다.그러나 IDE가 다른 언어로 동일한 리팩터를 자동화하거나 테스트를 신속하게 완료하는 것은 전례가 아니므로 가능한 것이 아닌 편리 성의 문제입니다.

편리함과 코딩 스타일을 넘어서서 합법적 인 관심사를 가진 사람들은 코드의 정확성에 대한 공식적인 증명을 위해 노력하는 사람들입니다. 정적 유형 공제는 명시 적 정적 유형 지정이하는 대부분의 작업 (전부는 아님)을 수행 할 수 있고 키보드의 상당한 마모를 줄일 수 있다는 사실을 모르고 있습니다. 그래서 정적 타이핑을 사용하면 사람들이 쉽게 증명할 수있는 방식으로 코드를 작성해야합니다. 다음 POV에서 뭔가있을 수 있습니다. 나는 "if"라고 말합니다 : 모릅니다. 어쨌든 대부분의 사람들이 정적으로 형식화 된 코드를 증명하는 것처럼 아닙니다.

는 즉석에서 변수 유형을 변경하는 등은

나는 반신 반의하는 가치의 생각합니다. 그것은 (파이썬/장고) 같은 것을 할 항상 유혹 :

user = request.GET['username'] 
# do something with the string variable, "user" 
user = get_object_or_404(User,user) 
# do something with the User object variable, "user" 

을하지만 실제로, 같은 이름은 함수 내에서 다른 일에 사용되어야 하는가? 아마도. 아마도 그렇지 않습니다. "재사용", 예를 들어, 정적으로 입력 된 언어로 된 다른 것들에 대한 정수 변수는 대폭 권장되지 않습니다. 욕망은,

가, BTW 일반적으로 약한 입력이 암시 적 형식 변환이 발생한다는 것을 의미 명확한 코드에 대한 열망을 무시해서는 안되는 시간의 아마 95 % ..., 간결하고, 설명 변수 이름의 생각해야하지 및 강한 입력하지 않는 것을 의미합니다. 이 정의에 따르면, C는 산술 타입에 관한 한 약하게 타입 지정되었으므로, 나는 그것이 당신이 의미하는 것이 아니라고 가정합니다. 나는 철저한 철저한 타이핑은 도움보다 성가신 것으로 간주되고, "완전한 약한 타이핑"(무엇이라도 다른 것으로 변환 될 수있는 것)은 대부분의 언어에서 무의미하다고 생각합니다. 따라서 코드를 파악하기가 너무 어려워지기 전에 얼마나 많은 수의 암시 적 변환을 허용 할 수 있는지에 대한 질문이 있습니다. C++에서 변환 연산자와 명시 적이 지 않은 one-arg 생성자를 구현할지 여부를 결정하는 데있어 계속되는 어려움을 참조하십시오.

Answer 2

많은 종류의 책이 이런 종류의 것에 대해 쓰여졌습니다. 본질적인 절충안이 있습니다. 약식 언어를 사용하면 많은 고민 거리가 사라집니다. 예를 들어 파이썬에서는 float을 int으로 나눌 필요가 없습니다. int을 list에 추가; 타이핑 함수의 인수 (알고 계셨습니까? 을 추가하기위한 특별한 연산자가 있습니다. (+)은 int을 int으로 전송하기 때문에!); 변수가 null 일 수 있다는 것을 잊어 버리면 ... 그런 종류의 문제는 단순히 사라집니다.

그 자리에 새로운 런타임 버그가 있습니다 : Python의 [0]*5은 기다리십시오. [0,0,0,0,0]! OCaml은 강력한 타이핑의 모든 성가심 때문에 많은 컴파일러를 가지고 많은 버그를 잡습니다. 그리고 이것이 바로 그것이 좋은 이유입니다. 그것은 절충점입니다. 위키 피 디아에서 직선

Answer 3

:

내가 말할 것 같은 일에 관하여

The advantage claimed of weak typing is that it requires less effort on the part of the programmer than strong typing, because the compiler or interpreter implicitly performs certain kinds of conversions. However, one claimed disadvantage is that weakly typed programming systems catch fewer errors at compile time and some of these might still remain after testing has been completed.

. 그러나 암시 적 변환이 줄을 흐릿하게 만들기 때문에이 용어의 상대적 모호성 ("강력한 입력"및 "약한 입력")에주의하십시오.

출처 : http://en.wikipedia.org/wiki/Weak_typing

Answer 4

약점과 강함은로드 된 용어입니다. (당신은 약한 언어 프로그래머가되고 싶습니까?) Dynamic과 Static은 더 좋지만 대부분의 사람들이 정적 프로그래머보다 동적 프로그래머가 될 것이라고 생각합니다. 초기화되지 않은 변수를 허용

garbage_out = garbage_in * 3; // garbage_in was not initialized yet 
"hello world" + 2; // does this make sense? 

는 철자의 오류를 찾기 위해 열심히 작성

PHP) (그게 전부가 아닌로드 용어) 나는 PHP에게 무차별 언어를 부를 것이다. 비 관련 유형에 대한 조작 허용은 거의 항상보고되어야하는 오류입니다. 대부분의 해석 된 동적 언어는 좋은 이유로 이러한 것을 허용하지 않습니다. 쓰레기를 허용하지 않고 동적으로 입력 된 언어를 사용할 수 있습니다.

Answer 5

은 PHP == 조작의 결과를 보여주는 this table 참조 다양한 유형의 빈 또는 다른 값 주체 같은 0, "0", NULL 및 "" 쌍에인가. 연산자는 비순환 적이므로 테이블은 아주 직관적이지 않습니다. (문자열이 배열과 동등한 지 여부를 묻는 것은별로 중요하지 않겠지 만 - 약점이있는 약식 언어로 처리 할 수 ​​있습니다. 언어가 문제가되는 경우 Turing이 도움이 될 수 있습니다.

Answer 6

PHP는 웹 응용 프로그램의 컨텍스트를 위해 만들어 졌음을 알아야합니다.웹 컨텍스트의 모든 것은 문자열입니다. 따라서 강력한 타이핑이 도움이되는 경우는 매우 드뭅니다.

Answer 7

저는 강력한 형식의 (Java와 같은) 언어와 약한 형식의 (JavaScript와 같은) 언어를 사용하고 있습니다. 내가 발견 한 것은 약한 타입 언어의 편리 성이 작은 어플리케이션에 적합하다는 것입니다. 안타깝게도 애플리케이션 규모가 커지면 관리가 불가능 해집니다. 당신의 머리 속에있는 것을 추적하기에는 너무 많아 져서 IDE와 컴파일러에 의존하기 시작해야합니다. 그렇지 않으면 코딩이 중단됩니다. 강력한 유형의 언어가 더 유용 해지기 시작합니다. 애플리케이션이 매우 커지면됩니다.

약한 타입의 JavaScript에서 끊임없이 나를 괴롭히는 두 가지 예는 철저히 문서화되지 않고 리팩토링되는 외부 라이브러리를 사용하고 있습니다.

외부 라이브러리 : 강력한 형식의 언어를 처리 할 때 라이브러리 자체의 코드는 자체 문서를 제공합니다. Person 유형의 변수를 만들 때 IDE는 코드를 검사하여 getFirstName(), getLastName() 및 getFullName()이 있음을 알릴 수 있습니다. 약한 유형의 언어에서는 변수가 아무 것도 아니거나 변수 또는 함수를 가지며 함수 인수를 가질 수 있기 때문에 이러한 경우가 아닙니다 (명시 적으로 정의되지 않았습니다). 결과적으로 개발자는 문서, 웹 검색, 토론 포럼 및 과거 사용법에 대한 기억에 크게 의지해야합니다. Java로 외부 라이브러리를 보려고 몇 시간이 걸릴 수 있습니다. " 키를 누르면 내 모든 옵션이 첨부 된 설명서와 함께 표시됩니다. 100 % 완벽하게 문서화되지 않은 라이브러리를 만나면 약한 타입의 언어로 인해 실망 할 수 있습니다. 나는 최근에 "함수 '무승부'에서 인수 '플롯'이 무엇인지 물어 보았다." jqplot을 사용할 때, 잘 설명되었지만 완전히 문서화되지 않은 JavaScript 라이브러리. 마지막으로 포기하고 대안 솔루션을 찾기 전에 한두 시간 동안 소스 코드를 파기해야했습니다.

리팩토링 : 강력한 형식의 언어를 사용하면 변경해야하는 파일을 변경 한 다음 컴파일러 오류를 수정하여 신속하게 리팩토링 할 수 있습니다. 일부 도구는 간단한 버튼 클릭만으로 리팩터링 할 수도 있습니다. 약한 타입의 언어를 사용하면 검색을 수행 한 후주의를 기울여 교체 한 다음 테스트, 테스트, 테스트를 한 후 더 많은 것을 테스트해야합니다. 특히 대형 응용 프로그램에서 파산 된 모든 것을 발견하고 수정 한 것은 거의 확실하지 않습니다.

간단한 요구 사항과 작은 응용 프로그램의 경우 이러한 두 가지 사항은 존재하지 않을 경우 최소한입니다. 그러나 수천 또는 수백만 줄의 코드를 가진 애플리케이션으로 작업하는 경우 약한 타입의 언어로 인해 어려움을 겪을 수 있습니다.

저는 많은 개발자들이이 점에 대해 화가 나서 감정적 인 논의로 전환한다고 생각합니다. 때로는 우리의 머리에 올바른 접근 방식과 잘못된 접근 방식이 있기 때문입니다. 그러나 각 접근법에는 장점과 단점이 있습니다. 감정을 옆으로두고 지금 당장 필요한 것을 위해 최선을 선택한다는 것을 인정하면됩니다.