다이나믹 타입 언어는 모든 비판이 필요합니까? [닫은]

인터넷에서 프로그래밍 언어 선택에 대한 기사를 몇 개 읽었습니다. 최근에는 루비, 파이썬, PHP, 얼랭과 같은 많은 동적 유형 언어가 널리 사용되었습니다. 그러나 많은 기업에서는 여전히 C, C ++, C # 및 Java와 같은 정적 유형의 언어를 사용합니다.

정적 유형 언어의 이점 중 하나는 프로그래밍 오류가 런타임이 아닌 컴파일 타임에 조기에 발견된다는 것입니다. 그러나 동적 유형 언어에는 장점이 있습니다. ( 위키 백과에 대한 추가 정보 )

기업이 Erlang, Ruby 및 Python과 같은 언어를 사용하지 않는 주된 이유는 동적 유형이라는 사실 인 것 같습니다. 그것은 또한 StackOverflow의 사람들이 Erlang을 반대하는 주된 이유 인 것 같습니다. Erlang "에 대해 왜 결정 했습니까?"를 참조하십시오 .

그러나 기업에서 역동적 인 타이핑에 대해 강한 비판이있는 것처럼 보이지만 왜 그렇게 강력한 지 알 수 없습니다 .

실제로 기업에서 동적 타이핑에 대해 왜 그렇게 많은 비판이 있습니까? 실제로 프로젝트 비용에 많은 영향을 미칩니 까? 하지만 내가 틀렸을 수도 있습니다.

그렇습니다.

새 프로젝트의 언어를 선택할 때 고려해야 할 몇 가지 이유가 있습니다.

• 런타임 속도. C / C ++ / Fortran과 비교할 때 Perl과 Python은 너무 느리므로 재미 있습니다.
• 초기화 속도. 빠른 언어 위의 비교, 자바는 ... 전복과 JVM이로드 및로드 및 유지로 울고 while(1)....
• 프로토 타입 기능. C ++ 또는 Java에 필요한 선언 / 정의 작업 을 철저히 수행하고 수행하면 LOC가 증가합니다. LOC는 버그 수와 안정적으로 상관 되는 유일한 알려진 지표입니다. 시간이 많이 걸립니다. 또한 유형과 연결에 대해 좀 더 생각해야합니다.
• 내부 신용도. 자체 수정 코드 를 디버깅하기 시작할 때까지 내부를 역동적으로 엉망으로 만드는 것이 좋습니다 . (파이썬, 리스프, 펄)
• 정확성 검증. 컴파일러는 C ++에서 코드의 반 정확도를 한 번에 빠르게 전달할 수 있으며 이는 정말 좋습니다.
• 정적 분석 세부 사항. C와 Java는 정적 분석이 매우 좋습니다. Perl은 이론적 인 수준 에서 완전히 정적으로 분석 할 수는 없습니다 (아마도 Python도 가능). 나는 Lisp도 확실하지 않다고 확신한다.
• 이상한 플랫폼은 일반적으로 C 만 사용합니다.
• 지원 체인. 당신은 당신이하는 계약을 체결 한 경우 것입니다 당신의 버그를 보았고에 흥분, 그건 거대한 .

당신은 당신이 작업하는 조직은 "앞으로"의 원칙을 가지고 있음을 추정 할 수있는 경우 (이 이것에 대한 회계 용어이다), 그리고 하지 않습니다 단지 무작위로 소프트웨어에없는 일에 결정, 당신은 더 나은 경우에이 소프트웨어 사용. Python / Perl / $ dynamic_language 는 주요 비즈니스 판매 (유지 관리 책임을지는 의미) 가 없기 때문에 위험을 상당히 줄입니다.

필자의 경험에 따르면 오픈 소스 관리자는 종종 버그 수정 및 업데이트 릴리스에 전적으로 책임을지는 문제가 있습니다. "무료입니다, 당신은 그것에 노력하고 있습니다!" (대부분의 핵심 역량이 아닌) 대부분의 비즈니스에 허용되는 답변 이 아닙니다 .

물론, 저는 웹앱 / 스타트 업 세계에 대해 이야기하지 않습니다. 웹앱 / 스타트 업 세계는 위험이 높고 보상 수준이 높으며 기술의 최첨단을 유지하는 데 매우 개방적입니다.

엔터프라이즈 의사 결정자에게 너무 많은 기술 크레딧을 제공하고 있습니다. "아무도 IBM을 사기 위해 해고 당하지 않았다"는 옛말이 있습니다. 다른 길로 가고 물건이 흔들리면 (항상 그렇게), 아무도 책임을지고 싶지 않습니다. 표준을 고수하고 다른 사람을 비난하십시오.

미래의 기업이되고 그 언어를 사용할 젊은 회사들이 많이 있습니다.

그리고 VBA로 작성된 버그가있는 코드 줄을 잊지 마십시오!

기업이 C, C ++, C # 및 Java를 사용하는 이유는 정적 형식 (적어도 직접적이지 않음)이기 때문이 아닙니다. 엔터프라이즈 의사 결정권자들은 유형 시스템의 객관적인 비교를 기반으로 이러한 종류의 선택을하지 않습니다.

기업 은 다음에 관심을 갖습니다.

• 장기 유지 보수 비용 : 10 년 후에도 계속 잘 작동 할 것으로 기대할 수 있습니까? 언어 진화가 보수적이고 역 호환 적이라면 (Java와 마찬가지로) 실제로 좋습니다. 정적 타이핑은 컴파일 타임에 프로덕션 시스템에 들어가기 전에 주요 유형의 버그를 포착하기 때문에 여기에서 유용합니다.
• 인재 가용성 -반짝이는 새로운 시스템을 유지할 개발자를 찾을 수 있습니까? 원래 개발자가 떠나면 다른 사람들이 코드를 이해합니까? 이것은 "새로운"언어를 도입하는 데 큰 장애물이됩니다 (특히 배포, 빌드 시스템, 운영 지원 등에 대한 새로운 요구 사항을 생성하는 경우). 이는 널리 사용되는 언어 (C, C ++, C # 및 Java)에 큰 이점을 제공합니다.
• 통합 비용 : 이미 보유하고 있거나 획득 할 가능성이있는 다른 기술과 쉽게 연결 / 통합 할 수 있습니까? 레거시 J2EE 시스템 스택이 이미있는 경우 해당 시스템과 통합해야합니다. 새로운 Java EE 솔루션은 예를 들어 Python보다 훨씬 실용적입니다.
• Predicatability / low risk : 플랫폼 / 언어가 입증되었으며 작동하는지 확신 할 수 있습니까? 이것은 일반적으로 단순한 생산성보다 더 중요합니다. 관리자가 상사에게 설득하여 나중에 새로운 시스템을 구축하기위한 인력을위한 예산을 크게 마련하는 것이 훨씬 쉬워졌다.
• 엔터프라이즈 지원 / 지원 -주요 국제 조직이 언어 및 플랫폼을 지원하기 위해 노력하고 있습니까? 문제가 생겼을 때 누군가에게 전화를 걸 수 있도록 저를 지원하기 위해 계약서에 서명합니까?
• 공급 업체 중립성 / 플랫폼 독립성 -단일 공급 업체에 구속됩니까? 또는 광범위한 미래의 공급 업체 옵션 / 전환 경로가 있습니까? 경쟁자가 점심을 먹는 동안 진행 상황을 막을 수있는 건축적인 막 다른 골목에 갇히고 싶지 않습니다. 엔터프라이즈 아키텍트로서 일을 제대로하고 있다면 최소한 5-10 년 전에이 일을 생각해야합니다.

개인적으로 엔터 프라이즈에서 동적 언어를 사용하려는 경우 기존 엔터프라이즈 생태계에서 피기 백하는 것을 사용하는 것이 가장 좋습니다. 가장 주목할만한 것은 새로운 동적 JVM 언어입니다 (예 : JRuby, Groovy, Clojure). IT 관리에 관한 한, 이것들은 "안전한"동적 언어 선택입니다. 다른 Java 엔터프라이즈 생태계 내에서 작동하고 훌륭하게 작동하기 때문입니다.

기업이 Erlang, Ruby 및 Python과 같은 언어를 사용하지 않는 주된 이유는 동적 유형이라는 사실 인 것 같습니다.

나는 이것이 그들의 주된 변명 일 뿐이라고 생각한다. 진정한 이유는 비즈니스가 실제로 모든 것을 진지하게 받아들이지 않고 아마도 너무 아마추어 적이라고 생각하기 때문입니다. Java와 .NET은“큰 사업체 이름”이며, 상업적 마케팅, 상업 고객 지원이 우수하여 매우 심각하게 받아 들여지고 있습니다.

불행히도 대기업 이름만큼이나 대중적으로 정적 인 유형의 언어가 실제로 존재하지 않는다는 것은 유감입니다. 오픈 소스 / 자유 소프트웨어 프로그래밍 환경이 거의 항상 동적으로 입력되는 이유는 무엇입니까? 이것은 정적으로 유형이 지정된 언어가 실제로 그렇게 쉬운 것은 아니며, 동적 타이핑은 "게으른 사람의 핵"이라는 것을 나타낼 수 있습니다. 이 경우 동적 유형 언어에 대해 결정하는 비즈니스는 실제로 중요한 점이있을 수 있습니다.

• 동적 유형 언어는 정적 유형 사촌보다 속도가 느린 경향이 있습니다.
• 오류를 잡기가 더 어렵고 디버깅하기가 더 어려울 수 있습니다
• 컴파일러 / 통역사는 할 수있는 것과 할 수없는 것에 대해 덜 까다로운 경향이 있습니다. 즉, 컴파일 단계에서 구문 오류 만 잡습니다.
• 동적으로 유형이 지정된 언어의 디자인에 매우주의를 기울이지 않으면 코드 냄새 의 언어 인 Javascript로 끝 납니다.

편집 : 나는 현재 주요 프로그래밍 언어가 동적으로 입력되는 Python이라고 언급해야합니다. 개인적으로, 나는 변수-선언 미리하지 않아도와 함께 제공되는 자유를 사랑하지만, 시간에, 그것은 것입니다 좋은 종류 매개 변수의 함수 후반보다 초반 오히려 캐치 오류에 무엇이 (예를 들어)을 지정합니다.

동적으로 입력 된 언어는 (일부 프로그래머 / 보스에 의해) 잘 작동하지 않는 코드를 생성하도록 인식됩니다. 동적으로 형식이 지정된 프로그램이 컴파일된다는 사실은 그 정확성에 대해 거의 알려주지 않습니다. 정적으로 입력 된 언어가 컴파일된다는 사실은 더 많은 것을 말해줍니다. (반면에, 컴파일 사이에는 여전히 먼 길이 있고 올바른 일을하므로, 이것은 덜 의미가있는 것 같습니다)

동적으로 입력 된 언어는 스크립팅 언어로 인식됩니다. bash 또는 배치 파일로 응용 프로그램을 작성하지 마십시오. 동적으로 유형이 지정된 모든 언어는 (부당하게) 해당 범주로 반복되는 경향이 있습니다.

동적 유형 언어는 정적 유형 언어보다 느립니다. (그러나 우리는 JIT 변경에 얼마나 잘 작동하는지 볼 것입니다)

참고 : 이것은 주로 주관적이며 내 경험과 인상에 근거합니다.

동적 유형 언어는 정적 유형 언어와 매우 다릅니다. 이러한 차이는 대부분의 다른 응용 프로그램보다 헤비급 엔터프라이즈 소프트웨어에서 더 중요해집니다.

정적으로 입력 된 언어는 매우 규범적인 경향이 있습니다. 메소드는 서명과 정확히 일치하는 입력 만받습니다. 액세스 수준은 매우 중요한 경향이 있으며 인터페이스는 명확하지만 명확하게 정의되어 있으며 이러한 정의를 시행하기위한 자세한 제한 사항이 있습니다.

반면에 동적으로 입력 된 언어는 매우 실용적입니다. 유형 변환은 종종 암시 적으로 발생하며, 충분히 유사한 동작을하는 한 잘못된 유형의 입력을 제공하면 함수가 작동 할 수도 있습니다. 파이썬과 같은 언어에서는 액세스 수준조차 기술적 인 제한이 아닌 계약을 기반으로합니다. 즉, private사용하지 말라고 말하고 재미있는 이름을 가지고 있기 때문입니다.

많은 프로그래머들은 역동적 인 언어를 선호합니다. 코드는 종종 형식 선언이 없기 때문에 짧아지고 빠르고 더러운 솔루션이 필요하거나 무언가를 테스트하기 위해 적절한 프로토콜을 위반하려는 경우 쉽게 가능합니다.

"기업가"회사가 정적으로 유형이 지정된 언어를 선호하는 이유는 이러한 제한에 대해보다 제한적이고 명확하기 때문입니다. 실제로는 정적 형식의 코드조차도 컴파일러를 사용하는 바보에 의해 깨질 수 있지만 많은 문제가 프로세스 초기에 (즉, 런타임 전에) 훨씬 더 많이 보입니다. 즉, 코드베이스가 크고 모 놀리 식이며 복잡한 경우에도 코드를 실행하거나 QA 부서로 보내지 않고도 많은 오류를 쉽게 포착 할 수 있습니다.

이점이 해당 환경 외부의 많은 프로그래머에게는 단점보다 중요하지 않은 이유는 이러한 코드가 코드를 철저히 검사하거나 코드를 실행하여 쉽게 잡을 수 있기 때문에 발생하는 오류이기 때문입니다. 특히 테스트 중심의 방법론을 따를 때 이러한 오류는 종종 사소하고 수정하기 쉽습니다. 또한 출시주기가 훨씬 짧은 이러한 많은 회사의 경우 생산성이 강성보다 중요한 경우가 많으며 개발자가 자체적으로 많은 (기본) 테스트를 수행하고 있습니다.

기업체가 동적 유형 언어를 많이 사용하지 않는 또 다른 이유는 레거시 코드입니다. 어리석은 것처럼 보이지만 대기업은 유통 기한이 지난 경우에도 작동하는 솔루션을 고수합니다. 이것이 많은 주요 회사들이 Internet Explorer 6을 시행하고 OS 업그레이드 속도가 너무 느린 이유입니다. 그렇기 때문에 그들은 종종 "오래된"언어 (예 : 고대 버전의 Java)로 새로운 코드를 작성하는 이유도 있습니다. 언어.

tl : dr : 정적 언어는 관료주의처럼 느껴지므로 기업 관리자는 더 좋아합니다.

아니요, 동적으로 유형이 지정된 언어가 모든 비판을받을 가치가 있다고 생각하지 않습니다. 또는 원하는 경우 정적으로 유형이 지정된 언어만큼 비판을받을 가치가 있습니다.

내 경험상 (그리고 나는이 진술을 일반화하려고 시도하지 않는다), 동적 언어를 비판하는 프로그래머는 그것들을 사용하지 않았다. 대화는 보통 "정적으로 타이핑하면 컴파일러가 너무 많은 오류를 잡아냅니다!" "저의 경험으로는 문제가 아닙니다."라고 말합니다. (일반적으로 다른 프로그래머는 Java, Delphi 또는 이와 유사한 배경을 가지고 있습니다. 나는 Haskell 또는 ML 프로그래머를 모릅니다.)

사람의 주장이 기술 푸 수없는 때 정말 나에게 불만있는 유일한 방법은 아마도 그 기술은 년에 발명되었을 때 의해 동적 입력을 위해, ... 동적 타입 언어에서 할 수 (또는 아주 열심히 할 수있을 수 있습니다) 언어. 십오 일? 잡담. 자동 리팩토링? 잡담. 발신자 / 구현 자? 잡담.

기업은 새로운 언어와 도구를 충분히 빨리 채택하지 않고 있으며 그럴만한 이유가 있습니다. 그러나 C #과 같은 주류 도구 중 하나가 이러한 기능 중 일부를 구현하면 주류 기업에 간질이됩니다 ....