Lisp에 여전히 다른 프로그래밍 언어에서 채택되지 않은 특수 기능이 있습니까?

Lisp에 여전히 다른 프로그래밍 언어에서 채택되지 않은 특수 기능이 있습니까?

Lisp은 모든 Lisp 프로그래밍 언어를 전체적으로 의미합니다. 나는 Lisp이 얼마나 놀라운 지에 대해 들었고 많은 언어가 Lisp에서 영감을 받았다는 것을 알고 있습니다. 그러나 Lisp에는 여전히 다른 언어로는 불가능한 독점적 인 디자인 기능이 있습니까?

내가 질문을 한 이유는 최근에 아마추어 프로그래머 인 나는 Clojure 를 재미있게 배우기 시작했고 그 결과 Lisp 관련 게시물과 댓글을 많이 찾았지만 한 가지만 언급했기 때문입니다. ", 그러나 다른 현대 프로그래밍 언어는 조건부, 재귀 및 일류 시민으로서의 기능과 같은 Lisp의 많은 아이디어를 이미 채택하고 도난당했습니다. 심지어 메타 프로그래밍 도 여러 언어로 수행 할 수 있습니다.

내가 놓친 부분이 있습니까? "아직도 여전히 다릅니다"?

또는 다른 현대 언어가 Lisp의 모든 좋은 부분을 훔쳐서 Lisp 세계를 괄호 로 파고들 필요가 없기 때문에 운이 좋으며 "Lisp는 달랐습니다".

이 유형의 질문에 대한 표준 참조는 Paul Graham의 Lisp를 다르게 만든 것 입니다. 작성 당시이 기사에 따르면 널리 사용되지 않는 Lisp의 나머지 두 가지 주요 기능은 다음과 같습니다.

8. 기호 트리를 사용 하는 코드 표기법 .

9. 항상 사용 가능한 언어. 읽기 시간, 컴파일 시간 및 런타임은 실제로 구별되지 않습니다. 런타임에 코드를 읽거나 컴파일하는 동안 코드를 컴파일 또는 실행하고, 컴파일하는 동안 코드를 읽거나 실행하며, 코드를 읽거나 컴파일 할 수 있습니다.

주석은 각 요점을 다루고 해당 기능을 사용할 수있는 인기있는 언어를 말합니다.

(9) 리스프 매크로를 가능하게하는 8은 아마도 리스프 만의 고유 한 특징 일 것입니다. 더 이상 새로운 언어를 발명했다고 주장 할 수 없으며 Lisp의 새로운 방언을 디자인 한 것만 가능합니다. -)

이 기사는 2002 년에 마지막으로 개정되었으며 지난 11 년 동안 다양한 새로운 언어가 사용되었으며 일부 언어는 이러한 Lisp 기능을 모두 디자인에 통합 할 수 있습니다.

Lisp에서 사용할 수있는 특정 기능이 다른 사람이 없음을 알기 위해 모든 언어를 알아야하기 때문에이 질문에 대답하기가 어렵습니다. 따라서 다음은 내가 경험 한 언어를 기반으로합니다.

내 머리 위로 조건 은 다른 언어로는 보지 못한 것입니다. '예외'라고 생각하지만 호출 스택이 풀리지 않은 곳과 호출자가 예외 사이트에 복구 값을 보낼 수 있지만 처리기와 예외 소스 사이의 호출 스택을 방해 하지 않으면 서 생각 하십시오. 공평하게 말하면, 이것은 실제로 연속의 특별한 응용 프로그램이므로 Ruby와 Scheme은 (적어도) 이것을 할 수 있습니다 .

Lisp의 매크로 시스템은 규칙 성 / 동성애로부터 이점을 얻지 만 Scala는이를 2.12에서 안정적인 기능으로 통합 할 계획 이며 Template Haskell 은 유사한 기능을 주장합니다. 나는 그것들이 Lisp보다 문법적으로 더 복잡 할 것이라고 주장하지만, 컴파일 타임 코드 생성은 관계없이 존재합니다.

그러나 양식을 직접 작성하는 것은 Lisp에서 사용할 수있는 매크로 중 하나 일뿐입니다. 다른 곳에서는 컴파일러 나 판독기 매크로에 해당하는 것을 보지 못했습니다.

완전하고 재개 가능한 프로세스 이미지를 저장하는 일부 방언 (예 : SBCL ) 의 기능 은 훌륭하지만 다시는 독특하지 않습니다. 스몰 토크 는 수십 년 동안 그렇게 해왔습니다.

다른 많은 언어는 배열을 반환 할 때 구조적 할당을 허용하지만 # '값 및 #'다중 값 바인딩 / 문자 값 접근 방식은 여전히 ​​일반적인 Lisp 및 Scheme ( '일반적인'구조화도 수행 할 수 있음)에 고유 한 것으로 보입니다. ). Perl의 'wantarray'는 함수가 스칼라, 목록 또는 void 컨텍스트에서 호출되는지 여부를 결정하여 비슷한 (-ish) 방식으로 반환 값을 조정할 수 있지만 외부에서 'true'여러 반환 값을 보지 못했습니다. 반응식 / CL.

언어 기능 측면에서 Lisp 가 다른 언어로는 할 수없는 일 이 많지 않을 것입니다 (완전성을 그대로 유지하면서). 그것이 무엇 이다 , 그러나, 코드가 자신의 데이터 구조로 표현되는 언어 코드 - 그건 큰 아이디어를 ™ 만드는 작업하기 상대적으로 쉽게 데이터 일이다.

수십 년이 지난 후에, 나는 Lisp에 독점적 인 것이 없다고 생각합니다. 그러나 오늘날에도 리스프 외부에서는 찾기 어려운 흥미로운 것들이 많이 있습니다. 염두에 두어야 할 몇 가지 사항 :

• 정교한 메타 프로토콜 (예 : CLOS)을 가진 고품질 객체 시스템은 원격으로 인기가 없습니다.
• 여러 방법이 때때로 어딘가에 나타나지만 대부분의 사람들은 그들에 대해 들어 본 적이 없습니다.
• 다른 사람들이 지적했듯이 조건 시스템은 널리 사용되는 예외 처리 메커니즘과 비교할 때 매우 정교합니다.
• 언어의 의미론 (eval)의 간결한 표현, 언어를 정의하고이를 직접적으로 심층적으로 적응할 수있는 강력한 접근 방식 ( SICP 참조 )-현재 널리 사용되는 언어의 "평가"기능은 단순히 동일한 속성을 공유하지 않습니다.

마지막으로, 언어 자체에 관한 것이 아니라 Lisp 역사의 일부가되어 시간이 지남에 따라 Lisp에서 배울 것이 더 많습니다. 예를 들어 Interlisp, Symbolics Genera 등 ... Genera에 손을 대지 않는 경우이 comp.lang.lisp 스레드를 참조하십시오. 여기에서 Kent Pitman은 "Emacs는 Genera의 Zmacs의 창백한 그림자"에 대해 설명합니다. Zmacs가 속한 강력한 Lisp 시스템을 보유하고 있으며 Lisp Machine에서 실행되었습니다.

반드시 특정 기능 일 필요는 없습니다 . 전체 모양과 느낌이며 특정 기능 세트가 함께 작동하는 방식입니다.

JavaScript 또는 Java에는 Lisp (가상 머신, 컴파일러 / 평가 기, 가비지 콜렉션 등)의 많은 기능이 있습니다. 그러나 JavaScript는 예를 들어 상징적 프로그래밍 부분이 없으며 수학 기능이 없으며 (내부에는 수레 만 있음) 오류 처리가 부족합니다.

많은 Common Lisp 시스템은 소프트웨어를 오랫동안 다시 시작하지 않고도 다양한 메타 프로그래밍 기술을 사용하여 Lisp 언어를 다양한 차원으로 확장함으로써 새로운 소프트웨어를 점진적으로 확장하는 개발 방식에 최적화되어 있습니다. 따라서 유연하고 확장 가능해야하지만 동시에 강력해야합니다. 프로그램을 중단하지 않고 언어 변경 (매크로는 기본적으로 사용자가 컴파일러를 확장 할 수있는 방법입니다).

이제 JavaScript와 같은 프로그램도 일반적으로 웹 브라우저와 같은 프로그램을 확장하는 데 사용됩니다. 그러나 대부분의 경우 OOP 해커 외에도 JavaScript에서 메타 프로그래밍을 많이하지 않습니다 .

예:

컴퓨터 대수 영역에 대한 일반적인 고급 수학 소프트웨어를 주로 두 가지 방법으로 구현할 수 있습니다. Mathematica 와 같은 특수 언어로 C 엔진을 작성 하거나 고급 Lisp 방언으로 엔진을 작성하십시오 . 공통 리스프의 맥시마 / 맥시마 , 표준 리스프의 감소 , 공통 리스프의 공리

(Python으로 작성된 하나 이상이 있습니다.)

Common Lisp 위에서 실행되는 Axiom 과 같은 기능 세트를 제공하는 시스템은 많지 않습니다 .

이러한 유형의 응용 프로그램에서 Lisp를 매력적으로 만든 것은 고급 기본 수학 (큰 숫자, 비율, ...), 기호 계산, 대화식 컴파일러 등의 기능이 혼합되어 있다는 것입니다. 이러한 것들을 낮은 수준에서 구현하면 이러한 것들을 얻을 수 있습니다. 레벨 언어. 그렇게하면 일반적인 Lisp 시스템의 50 % 이상을 구현하게됩니다.

내가 아는 한 Forth는 Lisp처럼 쉽게 동적입니다 .Forth의 동적 코드는 일반적인 Forth 코드처럼 보이지만 Lisp 매크로는 일반적인 Lisp 코드와 다른 기능을 사용하는 경향이 있기 때문에 ( Clojure 에서는 적어도 매크로 외부에서 구문 인용을 사용한 적이 없습니다) 결과적으로 일반 Lisp 코드와 실제로 다르게 보입니다. Forth가 얼마나 동적인지에 대한 예로써, Forth 에서 주석을 구현하는 방법 은 다음과 같습니다.

: (   41 word drop ; immediate
( That was the definition for the comment word. )
( Now we can add comments to what we are doing! )

Lisp에는 많은 방언이 있으며 각 언어에는 고유 한 기능 세트가 있습니다. 다른 언어로 채택되지 않은 가장 좋아하는 기능은 Interlisp 의 "스파게티 스택"입니다 .

스파게티 스택은 폐쇄와 비슷하지만 스테로이드입니다. 현재 함수뿐만 아니라 전체 컨텍스트를 스택 맨 위까지 저장합니다. 임의로 생성하여 스택 컨텍스트의 계층 구조를 생성 할 수 있다는 점을 제외하고 는 공동 루틴 과 같은 것입니다.