Functional Language (Applicative Language) 함수형 언어 (적용형 언어) - 함수의 Evaluation(평가)과 Application(적용)을 기본으로 하는 언어이다. - 함수만을 이용하는 언어이기 때문에 변수, 배정문이 없는 구조를 보인다. - 반복 연산은 Recursion을 통해 구현한다. ex) LISP 등 Ex. Modula-2 Code // GCD(Greatest Common Divisor)를 구하는 Modula-2 프로그램 예시 PROCEDURE gcd (u, v : INTEGER) : INTEGER ; BEGIN IF v = 0 THEN RETURN u; ELSE RETURN gcd(v, u MOD v); (* Recursive를 통해 반복을 구현한다. *) ..
Computational Paradigms 계산 전형 * Paradigm을 "범주"라 해석하면 이해가 쉽다. Procedural Language (절차식 언어) = Imperative Language (명령형 언어) - 명령의 순차적 실행, 메모리 위치를 표현하는 변수의 사용, 변수의 값을 제어하는 배정문과 같은 문법을 사용하는 언어를 일컫는다. - 계산의 순차적 실행이 Von-Neumann Bottleneck(폰 노이만 병목현상)을 야기하는 원인이 되기도 한다. - 대규모 데이터의 동시 계산, Non-Deterministic(비결정적) 계산, 순서에 독립적인 계산작업 등에 비효율적이다. - 위와 같은 한계점들을 극복하기 위해 Functional Lang.(함수형 언어)와 Logical Lang.(논리형..
PL Abstraction 프로그래밍 언어 추상화 - 추상화는 상위 개념에서 사용하기 위해 주어진 객체, 작업의 속성들 중 사용자에게 필요하지 않은 부분은 은닉 또는 삭제시키는 것이다. - 추상화를 통해 일부 속성들만을 가지고 주어진 객체, 작업들을 필요한 정도로 묘사할 수 있다. - 추상화는 소스 코드의 Readability를 증가시킨다. (생소한 PL이더라도 추상화 된 형태를 보면 짐작이 가능하다.) Abstraction Category (추상화 범주) Main-Category : 추상화 주체(데이터, 실행흐름)에 따라 분류한다. 1. Data Abstraction(자료 추상화) : 데이터를 추상화한다. 2. Control Abstraction(제어 추상화) : 프로그램 실행순서를 제어하는 특성을 추..
Characteristics of Programming Language 프로그래밍 언어의 특성 - 프로그래밍 언어는 Machine-Readable(기계가 읽을 수 있는)하고 또한, Human-Readable(사람이 읽을 수 있는)한 형태로 Computation(계산)*을 기술하기 위한 표기체제이다. - 이전 시대의 프로그래밍 언어들에 비해 High-Level Abtraction(높은 수준의 추상화)가 이루어져서 가독성과 Processor간 이식성이 높아지고, 프로그램 작성도 용이해졌다. - 프로그래밍 언어는 더 이상 Computation을 서술하기 위한 도구에 그치지 않고, IDE(통합 개발 환경)**의 일부분으로 제공되고 있다. * Computation (계산) - 수학적으로 정의할 수 있는 개념을 일..
