- 선언형 언어 특정 선언으로만 프로그램을 동작 시키는 프로그래밍 패러다임 -> 무엇과 같은지를 설명하는 방식 - 선언형 언어의 유형 함수형 언어 - Haskell, LISP 논리형 언어 - Prolog, SQL 제약형 언어 - Oz - 변수간의 관계를 제약하는 형태로 프로그래밍을 기술 - 선언형 언어의 특징 참조 투명성 : 프로그램 동작의 변경 없이 관련 값을 대체 할 수 있다면 이를 참조상 투명하다 한다. 지연(Lazy) 평가 지원 : 계산이 필요한 순간이 오는 경우 까지 미룬다는 개념 빠른 개발 : 이미 만들어진 것을 선언을 통해 사용 적은 버그 : 구체적인 작동 순서를 나열하지 않음 - 대표적인 선언형 언어 하스켈(Haskell) : 난립하고 있는 함수형 언어들을 통합 정리 SQL : 관계형 데이..
