[프로그래밍언어론] 프로그래밍 언어 소개

프로그래밍 언어 소개

프로그래밍 언어 정의

• 언어
  
  • 의사 전달 수단
    
  • 한 사람의 생각을 다른 사람에게 전달하는데 사용
    
  • 자연어는 크게 말과 글, 두 가지 형태로 존재
    
    
• 프로그래밍 언어란
  
  • 프로그램 작성에 사용되는 언어
    
  • 역시 의사 전달 수단
    
  • 주로 사람의 생각을 기계에 전달하는데 사용
    
  • 하지만 사람도 고려해야 함
    
    
• 프로그래밍 언어 정의
  
  • 프로그래밍 언어는 컴퓨터가 수행할 수 있고 사람이 읽을 수 있는 형태로 계산을 나타내는 표기 체계이다
    
    
• 프로그래밍 : 컴퓨터가 수행할 명령어를 순서대로 나열해 둔 것
  
  

	자연어	프로그래밍 언어
형식	말과 글	주로 글
내용	모호, 함축적	엄밀한 규칙, 정확한 의도
방향성	양방향	단방향

프로그래밍 언어를 배워야 하는 이유

• 프로그래밍에 대한 사고 능력을 확장시켜 줌
  
• 문제 해결자로서 현명하게 언어를 선택할 수 있도록 해 줌
  
• 언어 사용자로서 언어를 자세히 배울 수 있도록 해 줌
  
• 현명한 관리자, 현명한 설계자가 될 수 있도록 함
  
• 체계적으로 생각하는 방법을 가르쳐 줌
  
  

프로그래밍 언어의 기능

기본 기능

1. 작성력
   
   • 프로그래머의 의도를 나타낼 수 있도록 하는 기능
     
     
2. 가독성
   
   • 프로그램을 쉽게 해독할 수 있도록 하는 기능
     
     
3. 실행 가능성
   
   • 컴퓨터에서 실행될 수 있도록 하는 기능
     
     

부가 기능

1. 추상화
   
   • 어떤 대상을 간략하게 추려 나타내는 방법
     
     
2. 모듈화
   
   • 복잡한 대상을 나누어 구성할 수 있는 방법
     
     

프로그래밍 언어의 특성

1. 기계적
   
   • 기계적으로 처리할 수 있어야 함
     
   • 엄밀한 규칙에 따라 정의
     
     
2. 구조적
   
   • 복잡한 구조를 나타낼 수 있어야 함
     
   • 자료 구조, 제어 구조
     
     
3. 가변적
   
   • 시대의 필요에 따라 바뀔 수 있음
     
   • Python : 명령형 언어 > 객체지향 개념 탑재
     
     

프로그래밍 언어 스펙트럼

• 저급언어
  
  • 기계에 종속적인 언어
    
  • 기계어, 어셈블리어
    
    
• 고급언어
  
  • 기계 독립적으로 정의되고 실행될 수 있는 언어
    
  • C, Java, Python 등
    
    

프로그래밍 언어의 구성 요소

데이터

• 자료를 프로그램이 처리할 수 있는 형태로 나타낸 것
  

• 수, 문자, 문자열, 멀티미디어 등
  
  

• 데이터의 분류
  
  • 이진 데이터 : 이진수의 나열로 이루어진 데이터
    
  • 텍스트 데이터 : 문자열을 나타내는 데이터
    
    

연산

• 데이터 처리 방법
  

• 연산 적용 후 새로운 데이터를 결과로 얻음
  
  

• 용어 정의
  
  • 연산자 : 특별한 연산을 수행하는 함수
    
  • 변수 : 연산 결과를 저장하는 이름
    
    
• 연산 표현 구조
  
  • 수식 : 값을 나타내는 표현
    
  • 문장 : 처리를 나타내는 표현
    
    

명령어

• 특정 작업을 지시하는 단어
  

• if, while 등
  
  

• 대부분의 프로그래밍 언어는 다양한 연산자와 명령어를 통해 수식과 문장을 구성
  
  

• 연산의 종류
  
  • 원시연산 : 언어가 기본적으로 제공하고 있는 연산
    
  • 사용자 정의 연산 : 프로그래머가 추가로 정의한 연산
    
  • 라이브러리 : 사용자가 자주 사용할 만한 연산을 미리 정의해둔 것
    
    

서브 프로그램

• 전체 프로그램을 이루는 작은 코드 블록에 이름을 붙인 것
  

• 서브루틴이라고 부르기도 함
  
  

• 서브프로그램 분류
  
  • 함수 : 연산 수행 결과 값을 반환하는 서브프로그램
    
  • 프로시저 : 결과 값을 반환하지 않는 서브프로그램
    
    

타입

• 데이터 집합과 연산 집합을 합친 개념
  

• 연산의 안전성 보장을 위해 필요
  
  

• 타입 안전성
  
  • 함수 f의 타입이 f(x): A→B 라면 모든 a∈A에 대해 f(a)∈B여야함
    
    
• 프로그래밍 언어의 분류
  
  • 강타입 언어 : 타입 오류를 모두 검출하는 언어
    
  • 약타입 언어 : 일부 탕비 오류를 허용하는 언어
    
  • 무타입 언어 : 타입 선언문도 없고 어떤 대상의 타입이 계속 변경될 수 있는 언어
    
    

모듈

• 독립적인 프로그램 구성단위
  

• 서브프로그램도 모듈의 일종
  
  

• 특징
  
  • 내부와 외부를 구별하며 독자적인 이름 공간을 차지
    
  • 변수, 함수, 타입 등 프로그래밍 언어에서 제공하는 거의 모든 것을 포함하는 단위