[programming-languages] 정적 유형 언어와 동적 유형 언어의 차이점은 무엇입니까?

http://en.wikipedia.org/wiki/Type_system

정적 타이핑

프로그래밍 언어는 런타임과 달리 컴파일 타임 동안 유형 검사가 수행 될 때 정적 타이핑을 사용한다고합니다. 정적 타이핑에서 유형은 값이 아닌 변수와 연관됩니다. 정적으로 유형이 지정된 언어에는 Ada, C, C ++, C #, JADE, Java, Fortran, Haskell, ML, Pascal, Perl (스칼라, 배열, 해시 및 서브 루틴 구별과 관련하여) 및 스칼라가 포함됩니다. 정적 타이핑은 제한된 형태의 프로그램 검증입니다 (유형 안전 참조). 따라서 개발주기 초기에 많은 유형 오류가 포착 될 수 있습니다. 정적 타입 체커는 컴파일 타임에 결정될 수있는 타입 정보 만 평가하지만, 체크 된 조건이 프로그램의 모든 가능한 실행을 위해 유지되는지 확인할 수 있습니다. 따라서 프로그램이 실행될 때마다 유형 검사를 반복 할 필요가 없습니다. 런타임 유형 검사를 생략하고 다른 최적화를 활성화하여 프로그램 실행을보다 효율적으로 (즉, 더 빠르거나 메모리를 줄임) 수행 할 수 있습니다.

컴파일하는 동안 유형 정보를 평가하므로 런타임시에만 사용할 수있는 유형 정보가 없기 때문에 정적 유형 검사기는 보수적입니다. 런타임에 제대로 작동하지만 정적으로 유형이 정해지지 않은 일부 프로그램은 거부합니다. 예를 들어, 런타임에식이 항상 true로 평가 되더라도 코드가 포함 된 프로그램

if <complex test> then 42 else <type error>

정적 분석은 else 분기가 수행되지 않을 것이라고 판단 할 수 없기 때문에 잘못된 유형으로 거부됩니다. [1] 정적 유형 검사기의 보수적 인 동작은 자주 false로 평가 될 때 유리합니다. 정적 유형 검사기는 거의 사용되지 않는 코드 경로에서 유형 오류를 감지 할 수 있습니다. 정적 유형 검사가 없으면 100 % 코드 적용 범위의 코드 적용 범위 테스트에서도 이러한 유형 오류를 찾지 못할 수 있습니다. 값이 생성되는 모든 장소와 특정 값이 사용되는 모든 장소의 조합을 고려해야하므로 코드 적용 범위 테스트에서 이러한 유형 오류를 감지하지 못할 수 있습니다.

가장 널리 사용되는 정적 형식 언어는 형식적으로 안전하지 않습니다. 프로그래밍 언어 사양에는 “루프 홀 (loopholes)”이있어 프로그래머는 정적 유형 검사기에서 수행 한 확인을 우회하여 더 넓은 범위의 문제를 해결할 수있는 코드를 작성할 수 있습니다. 예를 들어 Java 및 대부분의 C 스타일 언어에는 유형이 punning이고 Haskell에는 unsafePerformIO와 같은 기능이 있습니다. 이러한 작업은 프로그램 실행시 값을 잘못 입력하여 원하지 않는 동작을 유발할 수 있으므로 런타임시 안전하지 않을 수 있습니다.

동적 타이핑

프로그래밍 언어는 대부분의 유형 검사가 컴파일 타임이 아닌 런타임에 수행 될 때 동적으로 유형이 지정되거나 ‘동적’이라고합니다. 동적 타이핑에서 유형은 변수가 아닌 값과 연관됩니다. 동적 유형 언어에는 Groovy, JavaScript, Lisp, Lua, Objective-C, Perl (사용자 정의 유형과 관련이 있지만 내장 유형은 아님), PHP, Prolog, Python, Ruby, Smalltalk 및 Tcl이 포함됩니다. 정적 타이핑과 비교할 때, 동적 타이핑은 (예를 들어 프로그램이 런타임 데이터를 기반으로 유형과 기능을 생성 할 수있게함으로써)보다 유연 할 수 있지만, 선험적 보장은 줄어 듭니다. 동적 유형 언어는 정적 유형 검사기에 의해 유효하지 않은 것으로 판명 될 수있는 일부 프로그램을 받아들이고 실행하려고하기 때문입니다.

동적 유형 지정으로 인해 런타임 유형 오류가 발생할 수 있습니다. 즉, 런타임시 값에 예기치 않은 유형이있을 수 있으며 해당 유형에 맞지 않는 조작이 적용됩니다. 이 작업은 프로그래밍 실수가 발생한 장소, 즉 잘못된 유형의 데이터가 가지고 있지 않은 장소로 전달 된 장소 이후에 오랫동안 발생할 수 있습니다. 이로 인해 버그를 찾기가 어렵습니다.

정적 유형의 사촌과 비교하여 동적 유형의 언어 시스템은 소스 코드에 대한 “컴파일 타임”점검 횟수를 줄입니다 (단, 프로그램이 구문 상 올바른지 확인합니다). 런타임 검사는 동적 정보와 컴파일 중에 있던 정보를 사용할 수 있으므로 잠재적으로 더 정교해질 수 있습니다. 반면에 런타임 검사는 특정 프로그램 실행에서 조건이 유지된다고 단언하며,이 검사는 프로그램이 실행될 때마다 반복됩니다.

동적 유형 언어의 개발은 종종 단위 테스트와 같은 프로그래밍 방식에 의해 지원됩니다. 테스트는 전문 소프트웨어 개발의 핵심 관행이며 특히 동적으로 입력되는 언어에서 중요합니다. 실제로 올바른 프로그램 작동을 보장하기 위해 수행 된 테스트는 정적 유형 검사보다 훨씬 넓은 범위의 오류를 감지 할 수 있지만 반대로 테스트 및 정적 유형 검사가 감지 할 수있는 오류를 종합적으로 검색 할 수는 없습니다. 테스트는 소프트웨어 빌드주기에 통합 될 수 있으며,이 경우 프로그램 사용자는 수동으로 테스트를 실행할 필요가 없다는 점에서 “컴파일 타임”검사로 간주 될 수 있습니다.

참고 문헌

1. 피어스, 벤자민 (2002). 유형과 프로그래밍 언어. MIT Press. ISBN 0-262-16209-1.

답변

def silly(a):
    if a > 0:
        print 'Hi'
    else:
        print 5 + '3'

silly(2)

package main

import ("fmt"
)

func silly(a int) {
  if (a > 0) {
      fmt.Println("Hi")
  } else {
      fmt.Println("3" + 5)
  }
}

func main() {
  silly(2)
}

num = 2
num = '3' // ERROR