응용 컴퓨팅 시스템

Applicative computing systems

응용 컴퓨팅 시스템, 즉 ACS는 결합 논리학 및 람다 미적분학을 기반으로 하는 개체 미적분학의 시스템이다.[1]이러한 시스템에서 고려되고 있는 유일한 본질적인 개념은 사물의 표현이다.결합 논리학에서 유일한 메타 연산자는 한 물체를 다른 물체에 적용한다는 의미에서 응용이다.람다 미적분학에서는 두 개의 메타 연산자가 사용된다: 결합 논리학에서와 같은 응용과 하나의 물체에서 유일한 변수를 결합하는 기능적 추상화.

특징들

이러한 시스템에서 생성된 개체는 다음과 같은 특징을 가진 기능적 실체들이다.

  1. 논쟁 장소 또는 객체 아리티의 수는 고정되어 있지 않지만 다른 객체와의 상호 운용에서 단계별로 활성화되어 있다.
  2. 복합물체를 생성하는 과정에서(기능) 그 상대물(기능)은 다른 하나의 논쟁에 적용되지만, 다른 맥락에서 그들은 자신의 역할을 변경할 수 있다(즉, 기능 및 주장은 동등한 권리에 대해 고려된다).
  3. 함수의 자기 계발이 허용된다. 즉, 어떤 물체도 자신에게 적용될 수 있다.

ACS는 프로그래밍에 대한 응용 접근방식에 대한 확실한 근거를 제공한다.

연구과제

응용컴퓨팅 시스템의 저장장치 부족과 이력감각이 컴퓨터 설계의 기반을 마련하지 못한 근본 원인이다.더욱이 대부분의 적용 시스템은 람다 미적분 대체 연산을 기본 연산으로 채택한다.이 운영은 사실상 무제한의 전력 중 하나이지만, 그 완전하고 효율적인 실현은 기계 설계자에게 큰 어려움을 준다.[2]

참고 항목

참조

  1. ^ 울펜가겐 V.E.개체와의 계산을 위한 방법 및 수단. 응용 컴퓨터 시스템.— M.: JurInfoR Ltd, .,Center JurInfoR », 2004.— 16+789 페이지. ISBN5-89158-100-0
  2. ^ 1977년 튜링상 강연: 백커스 J. 프로그래밍이 폰 노이만 스타일에서 해방될 수 있을까? 기능적 스타일과 프로그램의 대수.– ACM의 통신, 제2권, 제8호, 1978. -- 페이지 613-641

추가 읽기

  • Hindley, J. 로저. Seldin, 조나단. P., eds.(9월 1980년), H.B카레려면 연어 논리에 관한 논문., 람다 미적분과 형식 주의, 보스턴, MA:학술 출판부, 아이 에스비엔 978-0-12-349050-6는 경우에는 이 책은 H. 커리, 한 전산 모델의 설립자들과에서 추론의 연역 체계의 연구 프로그램과 철학을 반영한다. 개체의 조건이다.]