동적 타이핑의 생산성 향상은 무엇입니까? [닫은]

동적 유형 언어가 정적 유형 언어보다 생산적이라는 주장을 자주 들었습니다. 이 주장의 이유는 무엇입니까? 컨피규레이션 오버 컨벤션, 함수형 프로그래밍, 고급 프로그래밍 모델 및 일관된 추상화 사용과 같은 현대적인 개념으로 툴링하는 것만이 아닌가? (예를 들어 Java에서) 종종 중복 유형 선언이 필요하지 않기 때문에 혼란이 적지 만 정적 유형 지정의 다른 이점을 잃지 않고 유형 유추를 사용하는 정적으로 유형이 지정된 언어에서 대부분의 유형 선언을 생략 할 수도 있습니다. 그리고이 모든 것은 스칼라와 같은 현대적인 정적으로 유형이 지정된 언어에서도 사용할 수 있습니다.

그렇다면 실제로 타이핑 모델 자체의 장점 인 동적 타이핑의 생산성에 대해 무엇을 말해야합니까?

설명 : 저는 빠른 해킹보다 큰 / 중간 규모의 프로젝트에 더 관심이 있습니다. :-)

나는 실제로 그것이 꽤 가까운 전화라고 생각합니다. 동적 타이핑과 정적 타이핑 모두 장점이 있습니다.

동적 입력이 더 생산적인 이유 :

• 더 간결합니다 .-모든 유형이 동적으로 유형이 지정된 경우 (예 : 타입 선언, 타입 캐스팅 로직 등) 많은 외부 상용구 코드를 제거 할 수 있습니다. 유지 보수
• 오리 타이핑 및 원숭이 패치와 같은 "해킹" 기술을 사용하면 결과를 매우 빠르게 얻을 수 있습니다 (나중에 혼동 될 수도 있지만 ...)
• 보다 대화식 -동적 타이핑은 실행중인 프로그램 인스턴스 또는 실시간 코딩의 신속한 프로토 타이핑, 실시간 디버깅을위한 대화식 REPL 유사 프로그래밍에 적합합니다.
• 테스트 케이스는 런타임 오류를 포착 할 수 있습니다. TDD를 사용 중이거나 최소한 테스트 스위트가 양호하다고 가정하면 코드에서 입력 문제가 발생합니다.
• 다형성 개선 -동적 언어는 다형성 함수 및 추상화 생성을 장려 할 가능성이 높아 생산성과 코드 재사용을 향상시킬 수 있습니다. 예를 들어 Clojure는 많은 추상화 에서 동적 다형성을 잘 활용 합니다.
• 프로토 타입 - 프로토 타입 기반 데이터 / 객체 모델은 정적으로 유형이 지정된 상속 계층보다 더 강력하고 유연합니다. 동적 언어는 프로토 타입 기반 접근 방식을 허용하거나 장려 할 가능성이 높으며 Javascript가 좋은 예입니다.

정적 타이핑이 더 생산적인 이유 :

• 더 나은 디자인 -소프트웨어의 가치 유형을 미리 생각해야한다면보다 깨끗하고보다 논리적 인 솔루션으로 이끌 수 있습니다. (나는 할 수 있다고 말한다 -정말 나쁜 코드를 디자인하는 것은 여전히 ​​가능하다 ...)
• 더 나은 컴파일 시간 확인 -정적 타이핑을 사용하면 컴파일시 더 많은 오류가 발생할 수 있습니다. 이것은 큰 장점이며, 정적으로 유형이 지정된 언어에 대해 가장 좋은 것입니다.
• 자동 완성 -정적 타이핑은 IDE에 더 많은 정보를 제공하여 코드 또는 문서 조회의 자동 완성이 더 효과적입니다.
• 해킹 방지 -코드에 유형 규칙을 유지해야하므로 장기적인 유지 관리에 유리할 수 있습니다.
• 유형 추론 -일부 언어 (예 : 스칼라)에서는 동적 언어의 간결한 이점을 통해 유형 규칙을 유지할 수 있습니다.

평균적으로 제 결론은 (펜스의 양쪽에서 수년간의 경험을 쌓은 후) 동적 타이핑이 단기간에 더 생산적 일 수 있지만, 테스트 스위트와 테스트 규칙이 매우 좋지 않으면 유지하기가 어렵다는 것입니다.

반면에, 정확성 이점과 도구 지원이 장기적으로 생산성을 향상시킬 수 있다고 생각하기 때문에 실제로는 정적으로 형식화 된 접근 방식을 선호합니다.

동적 언어를 사용하면 유형이 지정된 언어를 사용할 때보 다 빠르게 코드를 작성할 수 있습니다.

거대한 동적 요소를 신속하게 생성하면 장기적인 유지 관리를 신경 쓰지 않고도 다른 프로젝트로 안전하게 이동할 수 있습니다.

이것은 생산성 향상입니다 :)

농담이지만 ​​'동적 언어'를 사용하는 프로젝트에 참여한 후, 작동하는 제품을 원한다면 처리해야 할 불필요한 테스트, 문서 및 규칙이 너무나 무서웠습니다.
그리고 컴파일 할 때 발생할 수있는 많은 런타임 오류의 기쁨으로.
또한 메타 프로그래밍을 통해 코드에 도입 할 수있는 모든 해킹과 voodoos에 대해 아는 것도 잊었습니다!

따라서 생산성 향상은 평생 동안 중간 규모 / 큰 프로젝트의 신화 일 수 있습니다.

이 문제에 대한 이론적 견해도 있습니다 : 정적 타입 시스템은 본질적으로 프로그램의 타입-정확성을 증명할 수있을 때만 프로그램을 받아들이는 특수 정리 증명 자입니다. 결정 가능한 정적 유형 시스템이 가능한 모든 유형 정정 프로그램을 입증 할만큼 강력하지 않기 때문에 모든 정적 유형 시스템은 일부 유효한 프로그램을 거부합니다.

정적 유형 검사기가 제공 할 수없는 프로그램은 해킹 및 / 또는 나쁜 스타일이라고 주장 할 수 있지만 이미 유효한 프로그램을 가지고 있고 유형 검사기가 프로그램을 수락하지 않으면 단기적으로 생산성을 손상시킵니다.

형식 검사기가 방해가되는 경우는 일반 컨테이너와 인수 및 반환 형식의 공 / 차이가 있습니다.

대부분의 동적 언어에서 찾은 한 가지 장점은보다 일반적인 코드를보다 쉽게 ​​작성할 수 있다는 것입니다. 타입 시스템과 싸울 필요가 없을 때 더 높은 수준의 추상화로 작성하는 것이 훨씬 쉽습니다.

당신은 많은 그것에 대해 생각하지 않아도 -와 사소 일을 수행하는 코드 작성 어떤 자바 오브젝트하는 것은 어렵고 아마도 기본적으로 동적으로 입력되는 반사를 요구한다 JavaScript와 같은 것을 사용하면 모든 객체에 흥미로운 기능을 수행하는 함수를 작성하는 것이 제 2의 본성입니다. 완벽한 예는 객체를 가져 와서 모든 메소드를 동일한 작업을 수행하지만 이벤트를 발생시키는 메소드로 대체하는 최근에 작성한 함수입니다. Java에서 이와 같은 방식으로 접근하는 방법을 모르겠습니다. 그러나 유형 시스템으로 인한 금액과 다른 언어 차이로 인한 금액이 확실하지 않습니다.

그러나 최근에 Haskell을 사용하기 시작했습니다. Haskell을 사용하면 동적으로 입력 한 언어처럼 쉽게 추상적이고 일반적인 코드를 작성할 수 있습니다. 위의 Java / JavaScript 예제 는 객체, 메소드, 이벤트 또는 많은 돌연변이가 없기 때문에 Haskell 에서는 의미가 없지만 다른 종류의 일반 코드는 작성하기 쉽습니다.

실제로 Haskell은 동적으로 입력되는 언어로는 할 수없는 몇 가지 일반적인 코드를 작성할 수 있습니다. 완벽한 예는 read기본적으로 반대되는 함수입니다 toString. 당신은 얻을 수 있습니다 Int또는 Double당신이 원하는 또는 어떤 유형 (한이 특정 유형 클래스의 참조). 당신은 다형성 할 수 있습니다 상수를 , 그래서 maxBound(가)까지 가능 Int, Double, Char... 등., 모두가 해야하는 유형에 따라 할 수 있습니다.

저의 이론은 이제 동적 언어를 사용함으로써 얻을 수있는 생산성 향상은 능력이 적고, 더 장황하며, 유연성이 떨어지는 유형 시스템을 가진 Java와 같은 언어와 항상 비교된다는 것입니다.

그러나 Haskell의 유형 시스템조차도 동적으로 유형이 지정된 언어로는 가질 수없는 성가신 문제가 있습니다. 내가 가장 걱정 한 것은 숫자가 처리되는 방식입니다. 예를 들어, 형식 시스템 length이 없으면 문제가 없을 것입니다. 내가 겪었던 또 다른 성가신 일은 Word8(부호없는 int 유형)과 기대하는 함수를 사용하는 것 Int입니다.

따라서 궁극적으로 유형 시스템이 없으면 너무 많이 생각하지 않고 일반 코드를 작성하는 것이 더 쉬워지고 유형 시스템의 성가신 함정을 피할 수 있습니다. 동적 언어로 타입 시스템과 싸울 필요는 없지만 그에 의존 할 수는 없습니다.

Q : 동적 유형 언어가 정적 유형 언어보다 생산적이라는 주장을 자주 들었습니다. 이 주장의 이유는 무엇입니까? "

역사적인 이유가 있습니다. 수십 년 전으로 돌아 가면 동적 언어는 정적 언어보다 훨씬 생산적이며 (훨씬 느리게) Perl은 C를 모두 알고 있고 현재 수행중인 작업 중 하나라도 허용하는 경우 C보다 훨씬 더 생산적입니다. 그러나 시간이 지남에 따라 언어는 서로 많은 돈을 빌려 왔으며 새로운 언어는 그 차이를 좁히고 있습니다 (생산성과 성능 모두).

고려해야 할 사항은 다음과 같습니다.

가비지 수집 : 가비지 수집이있다 거대한 생산성 향상. Java가 GC의 첫 번째 주요 정적 언어라고 생각합니다. 그 전에 정적은 기본적으로 수동 메모리 관리를 의미했습니다. (참고 : 여기 및 다음에서는 주류 언어 만 고려하고 있습니다. 많은 실험 및 틈새 언어가 존재하므로 어떤 시점 에나 반대의 예를 제공 할 수 있습니다.)

메모리 안전 : 발을 쏠 때 걱정할 필요가없는 생산성 향상입니다. Java와 같은 "관리되는"정적 언어 이전에는 정적은 일반적으로 직접 메모리 액세스를 의미했습니다. 디버깅도 생산성의 일부이며, 안전하지 않은 메모리 액세스는 실제로 모호한 버그로 이어질 수 있습니다.

성가신 유형 시스템. 정적 언어로 매개 변수화 된 유형 (예 : 템플리트 또는 제네릭)을 도입하기 전에 정적 유형 시스템의 한계가 종종 부담이었습니다. 예를 들어 Java에서는 컬렉션에서 항목을 선택할 때마다 명시 적으로 다운 캐스트해야했습니다. 그래서 당신은 캐스트의 구문 오버 헤드를 가지고 와 어떤 종류의 안전을. 유비쿼터스 컬렉션이 프로그래밍에 어떤 영향을 미치는지 고려할 때 이는 큰 단점이었습니다.
모든 유형의 유형을 선언해야하는 것은 많은 중복 된 타이핑이지만 현대적인 유형 유추를 통해이를 크게 줄일 수 있습니다.

큰 표준 라이브러리. 파이썬은 큰 표준 라이브러리 때문에 "배터리 포함"으로 유명했습니다. 이것은 매우 미니멀리스트 표준 라이브러리가있는 C와 비교됩니다. 그러나 Java 및 .net과 같은 플랫폼에서는 방대한 표준 라이브러리가 표준이되고 있으며 Scala 및 F #와 같은 새로운 언어는이를 "무료로"상속합니다.

일류 데이터 구조. Perl 및 Python과 같은 동적 언어에는 목록 및 맵과 같은 일류 데이터 구조가 내장되어있어 일반적인 작업을위한 편리한 구문 단축키가 있습니다. 이에 비해 C에는 고정 크기 배열을 제외하고 내장 컬렉션이 없습니다.

클로저 및 람다 구문 -동적 언어는 일반적으로 처음부터 이것을 가지고 있지만 정적 언어는 이것을 가장 최근에 Java로 채택했습니다.

대화식으로 코드 스 니펫을 빠르게 테스트 할 수있는 REPL 기능은 큰 도움이됩니다. 그러나 Visual Studio의 "즉시"창과 같은 IDE 도구는 정적 언어로이를 어느 정도 모방 할 수 있습니다.

고급 툴링 -정적 언어가 동적 언어의 편리함에 가까워지는 위의 포인트 외에도 현대 편집자는 동적 언어가 일치하는 데 어려움을 겪는 방식으로 정적 분석을 활용하고 있습니다. 예를 들어, 편집자는 안전한 자동 리팩토링을 제공 할 수 있습니다.

결론 : 역사적으로 사실이지만 오늘날의 대답은 명확하지 않습니다.

Q : 그렇다면 실제로 타이핑 모델 자체의 장점 인 동적 타이핑의 생산성에 대해 무엇을 말해야합니까?

동적 타이핑 모델을 동적 언어와 분리하는 것은 다소 어렵지만, 예를 들어 C #은 핵심 언어가 정적 언어 임에도 불구하고 시간이 지남에 따라 더 동적 인 기능을 채택했습니다. 이것은 실제로 동적 유형 모델의 이점을 증명합니다. 예 :

반사 반사는 기본적으로 동적 타이핑 기능입니다. 컴파일 타임보다 런타임 속도로 객체 유형을 검사합니다. 그것이 도입되었을 때 눈살을 찌푸리게되었지만 C #에서는 리플렉션 사용이 점점 더 보편적이되었습니다. 예를 들어 ASP.Net MVC는 리플렉션을 많이 사용합니다.

특성 특성은 동적 입력의 예입니다. 컴파일 타임에 클래스에 임의의 속성을 추가 한 다음 런타임에 리플렉션을 통해 검사하고이를 기반으로 객체를 조작 할 수 있습니다. MEP와 같은 것은 기본적으로 동적 유형 모델을 기반으로하는 확장 프레임 워크입니다.

Linq에서 SQL로, EF mv. 다양한 Linq 변환기는 쿼리를 런타임 객체로 검사하고 즉시 SQL을 생성합니다. 런타임에 코드를 검사하는 것보다 역동적이지 않습니다. CodeDom은 코인의 다른 측면으로, 런타임에 코드를 생성 할 수 있습니다

Roslyn Roslyn은 기본적으로을 구현 eval했는데, 이는 한때 진정으로 역동적 인 언어의 특징으로 여겨졌습니다.

동적dynamic 타입은 C #에서 가장 명시 적으로 동적 기능으로, 외부 개체와 더 간단하고 생산적인 언어와의 상호 작용을 만들기에 광고됩니다. 그러나 편의상 Asp.net MVC에서도 사용됩니다.

위의 모든 기능의 이점은 동적 모델이 매개 변수화 된 유형, 구조 유형 및 유형 유추를 가진 정적 언어 에서도 확실한 이점을 가지고 있음을 보여줍니다 .

모든 현대 언어 기능의 전체 크기가 너무 커서 정적 대 동적 입력만으로는 많은 무게를 갖지 않습니다.

규칙은 언어 기능이 좋을수록 코드가 짧아집니다. 아주 간단합니다. 자바는 정적 타이핑이 끔찍하게 잘못 될 수있는 방법을 보여줌으로써 상대방에게 많은 피드를 제공합니다. 잘못 설계된 언어 기능에는 일반적으로 비용이 발생하며, Java의 정적 타이핑은 우선 필수 기능이며 (그렇지 않으면 대부분의 사람들은 사용하지 않을 것임) 둘째로 제대로 실행되지 않습니다.
이것이 타입 시스템과 관련이없는 다른 많은 단점들로 인해 PHP가 (최소한 최근까지) 총체적으로 더 나은 삶을 살지 못한다고 주장하지만 대부분의 동적 언어가 비추는 이유입니다.

다른 한편으로는 표현형 시스템을 가진 많은 언어가 있으며, 방해받지 않고 필수가 아닙니다. 그리고 그들 중 일부는 타입 시스템을 탈출해야 할 때마다 타입이 지정되지 않은 코드를 포함 할 수도 있습니다.

개인적으로, 나는 명료 한 구문을 피하면서 공칭 및 구조적 서브 타이핑, 선택적 유형화되지 않은 코드, 일급 함수 유형, 대수 데이터 유형 및 (성숙하지는 않지만 매우 강력한) 어휘 매크로와 같은 유형 유추가있는 언어 인 haXe를 사용합니다. 약 3 년 동안 haXe를 사용한 후 간단한 결론을 내 렸습니다.

언어가 패러다임에 대한 종교적 선택에 빠지지 않고 좋은 도구가 되려고 할 때 프로그래밍이 훨씬 쉬워집니다. 그에 성공 하는 많은 정적 및 동적 언어 와 혼합 언어가 있습니다. 그들 중 일부는 배우기 쉽고 대부분 마스터하기가 어렵습니다.
이들의 힘은 복잡한 문제에 대한 간단한 솔루션을 쉽게 만들 수 있도록 개별 기능을 구성 할 수있는 방식에서 비롯됩니다. 이것은 지금까지 살펴본 모든 언어 기능의 포함 또는 누락의 섬세한 균형을 통해서만 달성 할 수있는 특정 직교성을 배제합니다. 루비에 정적 타이핑을 추가하려고하면 파문이 나고, 하스켈에서 빼내려고하면 파쇄됩니다. 반대로 C에서 가져 가면 사람들은 거의 알지 못하고 Java에서 가져 가면 감사 할 수도 있습니다.

내 개인적인 경험에서 나는 이것을 말할 수있다. 나는 루비를 좋아한다. 그것은 나의 지평과 시스템 설계 방식을 넓혔습니다. IMHO 사람들에게 프로그래밍을 처음 가르치는 데 사용해야합니다. 눈에 거슬리지 않고 강력하고 간결하며 재미 있습니다. 나는 정통 언어에서 온 누군가가 그것을 즐기는 이유를 이해합니다.
그러나 장기적으로 정적 타이핑을 사용하면 정적 분석기에 대한 작업을 연기 할 수 있으며 유형 유추를 통해 기본적으로 무료로 제공됩니다. 결과적으로 유지 관리가 쉽고 자주 실행되는 코드가 만들어집니다.

그러나 정적 타이핑만으로는 아무 일도 할 수 없습니다. 그것은 조합의 문제입니다. F #, Scala, Nemerle, OCaml 또는 haXe 사이에서 나만의 최적의 것을 찾을 수 있다고 생각합니다. 그러나 언어는 당신이 생각을 주위에 구부리지 말고 노력하지 않고 노력을 기울일 수 있도록해야하기 때문에 궁극적으로 당신에게 달려 있습니다. 그리고 결국 프로그래밍이 재미있는 것보다 생산성이 향상되는 것은 없습니다.

개인적으로 다이내믹 타이핑이 도움이 될 수있는 유일한 이유는 타이 포스트가 느리거나 탐색하기 어려운 거대한 기능 / 메소드 / 무엇을 구축하는 것입니다. 또한 전체 단위 테스트 문제를 해결해야합니다. 동적 유형은 (부러진 코드 작성을 원하지 않는 한) 활발한 단위 테스트가 필요합니다 (동적 유형이 예기치 않게 폭발하지 않도록하기 위해 (예 : 변수는 주로 오리이지만 실수로 dcuk는 실수 임)). 스태틱은 이것을 막기 위해 훨씬 더 열심히 노력할 것입니다 (그렇습니다, 당신은 활발한 단위 테스트에 대한 논쟁을 할 수 있습니다)

우선 "생산성"을 정의해야한다고 생각합니다. "생산성"이란 무엇을 의미하고 포함합니까?

"보다 생산적"이라는 말은 동일한 기능을 구현하기 위해 더 적은 수의 코드를 작성하는 것을 의미한다면, 동적 타이핑 프로그래밍 언어는 정적 타이핑 언어보다 "생산적"입니다.

그러나 디버깅 및 버그 수정에 소요되는 시간도 고려할 경우 동적 입력 언어는 오류 입력 확인을 런타임에 푸시하는 반면 정적 입력 언어는 동적 입력 언어가 생산적이지 않을 수 있습니다. 컴파일 타임에 오류 검사를 수행 할 수 있습니다. 일반적으로 버그가 발견 될수록 버그를 수정하는 데 더 많은 비용이 드는 것으로 일반적으로 인정됩니다. 따라서, 동적 타이핑 코드는 정적 타이핑 코드와 생산성이 일반적으로 같거나 낮을 수 있습니다.

동적 타이핑의 큰 장점은 생산성입니다.

파이썬, 루비 등은 동적 타이핑 (기본 매개 변수, 내장 된 유형 등) 외에 다른 많은 생산성 향상 요소가 있습니다. 프로그래머 생산성에 대한 누적 효과는 인상적입니다.

속도 (또는 부족) 및 자원 소비에 대한 처벌은 예상만큼 나쁘지 않으며 대부분의 경우 개발 속도와 유연성에 의해 보상됩니다.

여기 주제에 (매우 오래된!) 종이 가 있습니다. 프로그래머 생산성에 대해 제대로 수행 된 몇 안되는 연구 중 하나이며 많은 결론이 여전히 유효합니다.

오늘날의 연구는 (아마도) 다른 것이었을까요?

1. Java JVM은 인식 이상으로 향상되었습니다.
2. 최신 IDE는 C ++ 및 Java 코더 생산성을 향상 시켰지만 스크립팅 언어와 거의 차이가 없었습니다.
3. C #은 자바와 같은 야구장에 포함될 수 있지만 약간 더 좋습니다.

따라서 성능이 정말 심각한 문제가 아니라면 메시지는 동적 언어가 생산성을 향상시킵니다.