📖 2. 정적타입 언어 _ Statically typed language

📖 정적타입 언어 _ Statically typed language

🚀 1. 정의

• 컴파일 시 변수의 타입이 결정되는 언어로서, 프로그래머가 변수에 들어갈 값의 형태에 따라 직접 변수의 타입을 명시해줘야 합니다.
  

• Java, C, C++의 언어는 각각의 변수의 타입을 반드시 지정해야한다.
  Caml, HAskell, Scala, Kotlin과 같은 정적타입 언어들은 타입추론이 가능한 형태를 제공해주기만 해도 된다.

---

🔎 컴파일이란?

• 프로그래머가 작성한 언어를 컴퓨터가 이해할 수 있는 0과 1의 언어로 변환하는 과정

---

🚀 2. 장점

• 정적타입 언어의 장점은 컴파일러에 의해서 사전에 변수의 타입에 맞게 코드를 잘 작성했는지 여부가 드러난다. 따라서 사소한 버그도 사전에 미리 발견이 가능하다.

• 타입 에러로 인한 문제점을 초기에 발견할 수
  있어 타입의 안정성이 높다
  컴파일 시에 미리 타입을 결정하기 때문에
  실행속도가 빠르다

---

🚀 3. 단점

• 매번 코드 작성시 변수형을 결정해줘야 하는 번거로움이 있다.

---

🚀 4. 예시

• Java, C, C++, C#, Scala,  Fortran, Haskell, ML, Pascal 등

---

🚀 5. 알게된점&느낀점

• 정적언어라는 것은 위에서 언급한 '타입' 즉 자료형을 컴파일 시에 결정하는 것 컴파일 시에 자료형에 맞지 않는 값이 들어있으면 컴파일 에러가 발생한다.

• 자바스크립트는 소수던/ 긴--- 자연수던 모두 number로 취급하는 것과 달리, C언어는 숫자의 경우에도 다양하게 타입을 나누어 사용있고, 자리수가 긴지/적은지에 따라 나누는것도 있다.