프로그래밍언어론 질문드립니다

dpp5411의 이미지

프로그래밍 언어론을 공부하다보면
Type Checking 이라는걸 보게 되는데
Type Checking이 무엇을 말하는 것인지는 알겠습니다.
그러면 Type Checking을 하는 방법이 무엇이 있나요? 또 왜 이것을 하지요?

snowall의 이미지

Type은 자료의 type이죠.

컴퓨터 내부에서 모든 자료는 그냥 비트들의 반복입니다. 0 아니면 1이 계속 반복되죠. 이게 그림인지 글자인지 숫자인지 컴퓨터는 모릅니다. 그게 뭐지 알려주는 정보가 type이에요.

그럼 왜 할까요?

가령 a+b를 계산하는데 a에는 자동차를 넣고 b에는 40을 넣어 봅니다. 이런건 일반적으로 잘 정의되지 않으므로 에러를 내보내겠죠. 에러가 나기 전에 미리 알려면 a에 들어간 자료가 숫자인지 아닌지, +가 정의되어 있는지 아닌지 살펴봐야 합니다. b에 대해서도 마찬가지고요.

어떤 변수의 type은 그 변수가 살아있는 동안 운영체제의 별도 저장소에 또는 컴파일러의 임시 변수에 기록되어 있습니다. 그걸 컴파일 시점에 보든 실행시점에 보든, 어쨌든 계산하기 전에 한번 그 저장소를 보고 사용하려는 변수가 어떤 type인지 알아내겠죠.

더 자세한건 직접 검색해서 공부해보세요.

피할 수 있을때 즐겨라! http://melotopia.net/b

댓글 달기

Filtered HTML

  • 텍스트에 BBCode 태그를 사용할 수 있습니다. URL은 자동으로 링크 됩니다.
  • 사용할 수 있는 HTML 태그: <p><div><span><br><a><em><strong><del><ins><b><i><u><s><pre><code><cite><blockquote><ul><ol><li><dl><dt><dd><table><tr><td><th><thead><tbody><h1><h2><h3><h4><h5><h6><img><embed><object><param><hr>
  • 다음 태그를 이용하여 소스 코드 구문 강조를 할 수 있습니다: <code>, <blockcode>, <apache>, <applescript>, <autoconf>, <awk>, <bash>, <c>, <cpp>, <css>, <diff>, <drupal5>, <drupal6>, <gdb>, <html>, <html5>, <java>, <javascript>, <ldif>, <lua>, <make>, <mysql>, <perl>, <perl6>, <php>, <pgsql>, <proftpd>, <python>, <reg>, <spec>, <ruby>. 지원하는 태그 형식: <foo>, [foo].
  • web 주소와/이메일 주소를 클릭할 수 있는 링크로 자동으로 바꿉니다.
댓글 첨부 파일
이 댓글에 이미지나 파일을 업로드 합니다.
파일 크기는 8 MB보다 작아야 합니다.
허용할 파일 형식: txt pdf doc xls gif jpg jpeg mp3 png rar zip.
CAPTCHA
이것은 자동으로 스팸을 올리는 것을 막기 위해서 제공됩니다.