범주형 추상 기계

Categorical abstract machine

범주형 추상 기계(CAM)는 응용, 기능 또는 구성 스타일의 능력을 보존하는 프로그램의[1] 연산 모델이다.응용컴퓨팅의 기법에 근거한다.

개요

범주형 추상기계의 개념은 1980년대 중반에 생겨났다.그것은 컴퓨터 과학에서 일종의 프로그래머용 연산 이론으로서 그 자리를 차지했는데, 이는 데카르트식 폐쇄 범주로 대표되고 결합 논리에 내재되어 있다.CAM은 기능 프로그래밍 언어에 대한 투명하고 건전한 수학적 표현이다.기계 코드는 계산 이론의 등가 형식을 사용하여 최적화할 수 있다.CAM을 사용하면 이름별 호출, 값별 호출 등 파라미터 통과뿐만 아니라 재귀나 게으른 평가 등 다양한 연산 메커니즘을 에뮬레이션할 수 있다.이론적으로, CAM은 프로그래밍이나 컴퓨팅에 대한 객체 접근의 모든 장점을[how?] 보존한다.

현재 주요 구현은 OCaml로, Caml the Categular Abstract Machine Language에 클래스 상속과 동적 메서드 디스패치를 추가했다.두 언어 모두 메타언어 ML의 변형이며, 세 언어 모두 유형 추론을 구현한다.

실행

기능 언어에 대한 구현 접근방식 중 하나는 D가 슈퍼컴바이너(SK-머신)를 기반으로 하는 기계에 의해 제공된다.터너.CAM의 개념은 다른 접근법을 제공한다.CAM의 구조는 구문론적, 의미론적, 계산적 구성요소로 구성되어 있다.구문은 바운드 변수를 사용하는 데 어려움을 극복하는 데 브루옌의 표기법에 근거한다.이 평가는 P. 랜딘의 SECD 기계와 비슷하다.이 커버리지로 CAM은 구문, 의미론, 연산 이론에 대한 견실한 근거를 제공한다.이러한 이해는 프로그래밍의 기능적 스타일에 영향을 받아 발생한다.

참고 항목

참조

  1. ^ 쿠시나우 G, 퀴리앙 P.L, 마우니 M.범주형 추상 기계.— LNCS, 201, 기능 프로그래밍 언어 컴퓨터 아키텍처.--- 1985, 페이지 50-64.

추가 읽기

  • Wolfengagen, V.E. 프로그래밍에서의 결합 논리: 예와 연습을 통한 개체와의 계산.2부.M.: "Center JurInfoR" Ltd, 2003.x+337 с. ISBN5-89158-101-9