프로그래밍 언어의 전형(Programming Language Paradigm)

1. 명령형 전형
상태의 변경에 의하여 계산을 행하여 나가는 것으로 상태란 컴퓨터 메모리의 상태를 말한다.
① 블록구조 전형
㉠ 포트란 : 서브루틴과 전역 데이터라는 프로그램 블록을 갖춘 최초의 언어
  (이제는 블록구조로 간주되지 않음)
㉡ 블록은 실행시 스택에 그 상태를 저장하여 순환이 가능
㉢ ALGOL 60, ALGOL 68, 파스칼, C 등
② 객체지반 전형
㉠ 객체기반언어 : 연관된 자료와 프로시저를 하나로 묶은 객체를 지원하는 언어
㉡ Ada, Mudola-2, Smaltalk 등이 이에 속한다.
③ 분산 프로그래밍 전형 : 여러 프로그래머가 특정 프로그램을 동시에 작성한다든지 통신망에서의 메시지 교환에 의한 통신을 지원하는 기능 등을 갖추고 있는 언어 전형

2. 선언형 전형
① 함수 프로그래밍
㉠ 적용적(Applicative) 언어 : 함수전형에서는 함수 계산, 함수적용에 의해 계산 내용이 표현되기 때문에 함수 언어를 적용적 언어라고 부른다.
㉡ 함수 계산이나 함수 호출이 기본원리
㉢ 함수값 반환시 Modula-2(return문 사용), LISP(return문 필요 없음)
② 논리 프로그래밍
㉠ 논리 프로그래밍은 기호논리, 특히 술어논리에 기초한다.
㉡ 술어 논리는 공리(Axiom)와 규칙(rule)으로 구성
㉢ 선언형 프로그래밍 : 실행순서는 필요없이 특성만 선언
㉣ Prolog : 논리 프로그래밍 언어 중 현재 널리 쓰이는 언어
③ 데이터베이스 언어 : 지속성과 변경의 관리
㉠ 자료정의 언어 (Data Definition Language, DDL)
㉡ 자료조작 언어 (DAta manipulation Language, DML)

참고문서
-> http://50001.com/language/data/%C7%C1%B7%CE%B1%D7%B7%A1%B9%D6%BE%F0%BE%EE%B7%D0.hwp
-> http://hjbang.snut.ac.kr/programming.htm

메타링크
-> http://www.google.co.kr/search?num=30&hl=ko&newwindow=1&q=%ED%94%84%EB%A1%9C%EA%B7%B8%EB%9E%98%EB%B0%8D+%EC%96%B8%EC%96%B4+%EC%A0%84%ED%98%95&lr=