MLSP

MLisp
"MLISP"는 또한 Gosling Emacs에서 확장 언어로 사용되는 Lisp의 제거 버전인 Mocklisp의 다른 이름입니다.

MLISP는 Lisp의 변형으로 M-Expressions에 기반한 Algol과 유사한 구문을 사용합니다.M-Expressions는 John McCarthy의 Lisp에 대한 원래 설명에서 함수 구문이었습니다.맥카시의 M 표현은 결코 정확한 [1]형태로 구현되지 않았다.

MLISP는 Horace Enea에 의해 IBM 360용으로 처음 구현된 후 David Canfield Smith에 의해 PDP 10용으로 다시 구현되었습니다.이 두 번째 구현에서는 인수를 평가하지 않는 특수한 종류의 람다("FEXPR")도 지원되었습니다.Lisp-1 또는 Scheme에서와 같이 변수와 [2]함수를 위한 단일 네임스페이스가 있었습니다.

MLISP는 Lisp를 위한 대체적이고 읽기 쉬운 구문을 가진 프리프로세서일 뿐이지만 후속 MLISP 2에서는 다음과 같은 새로운 [3]개념이 도입되었습니다.

MLISP2는 저자들에 의해 과도기 언어라고 불렸다.Larry Tesler는 패턴 매칭 시스템을 개선하여 LISP70이라는 후속 언어를 구현했으며, 이는 예비 버전까지만 완성되었습니다.LISP의 진화의 이 경로는 널리 무시되고 있지만, 후에 ML 또는 Scheme에서 발견되는 [5]몇 가지 기능과 유사합니다.

Robert Muller의 M-LISP(MetaLISP)는 1989년부터 1992년까지의 관련 없는 언어입니다.그것은 "M-expression LISP와 Scheme의 하이브리드"[6][7]였다.

「 」를 참조해 주세요.

인픽스 표기 Lisps 및 리스프 유사 언어 또는 리스프 유래 언어의 다양한 구현이 있었다.주목할 만한 예는 다음과 같습니다.

레퍼런스

  1. ^ Enea, Horace(1968) MLISP CS-TR-68-92.pdf
  2. ^ Smith, David Canfield(1970) MLISP 사용자 매뉴얼 Smith-MLISP-AIM-84.pdf (최초 권장)
  3. ^ Smith, David Canfield 및 Enea, Horace J. (1973) MLISP 2 CS-TR-73-356.pdf
  4. ^ Smith, David Canfield 및 Enea, Horace J.(1973) MLISP2에서의 백트래킹: LISP 074.pdf의 효율적인 백트래킹 방법
  5. ^ Tesler, Lawrence G., Smith, David Canfield 및 Enea, Horace J.(1973) LISP70 패턴 매칭 시스템 073.pdf
  6. ^ Muller, Robert (October 1992). "M-LISP: a representation-independent dialect of LISP with reduction semantics". ACM Transactions on Programming Languages and Systems. 14 (4): 589–616. CiteSeerX 10.1.1.40.4948. doi:10.1145/133233.133254.
  7. ^ Muller, Robert (1989). MetaLISP: a representation independent dialect of LISP with reduction semantics (PhD thesis).