Paul Graham이 새로운 프로그래밍 언어 Bel을 발표했습니다.

Bel 언어는 Bel 언어로 작성되었습니다.

1960년에 John McCarthy는 새로운 유형의 프로그래밍 언어인 Lisp를 설명했습니다. 내가 "새로운 유형"이라고 말하는 이유는 Lisp가 단지 새로운 언어가 아니라 언어를 설명하는 새로운 방식이기 때문입니다.

Lisp를 정의하기 위해 그는 일종의 공리인 작은 진술 세트로 시작한 다음 이를 언어 자체에 대한 해석기를 작성하는 데 사용했습니다.

이는 일반적인 의미의 프로그래밍 언어, 즉 컴퓨터에 무엇을 해야 하는지 알려주는 데 사용되는 언어를 설명하기 위해 시작된 것이 아닙니다. 1960년 작업에서 Lisp는 Turing Machine과 유사한 계산의 공식 모델로 이해되었습니다. McCarthy는 대학원생인 Steve Russell이 제안하기 전까지는 컴퓨터에서 이를 사용하는 것에 대해 생각하지 않았습니다.

1960년의 Lisp에는 프로그래밍 언어에 공통적인 기능이 없었습니다. 예를 들어 숫자, 오류 또는 I/O가 없었습니다. 그래서 컴퓨터 프로그래밍에 사용되는 언어의 기초로 Lisp를 사용하는 사람들은 이러한 기능을 직접 추가해야 했습니다. 그리고 그들은 공리적 접근 방식을 포기함으로써 이를 수행했습니다.

따라서 Lisp의 개발은 겉보기에는 상당히 독립적인 것처럼 보이는 두 단계로 진행되었습니다. 하나는 1960년 논문에 소개된 공식 단계이고 다른 하나는 언어가 컴퓨터에서 실행되도록 조정 및 확장된 구현 단계입니다. 구현된 기회의 수로 측정하면 주요 작업은 구현 단계에서 이루어졌습니다. 1960년부터 Common Lisp로 번역된 Lisp에는 53줄만 포함되어 있습니다. 표현식을 해석하는 데 필요한 작업만 수행합니다. 다른 모든 것은 구현 단계에서 추가되었습니다.

내 가설은 어려운 역사에도 불구하고 Lisp가 두 단계로 발전했다는 사실로부터 이익을 얻었다는 것입니다. 언어에 인터프리터를 작성하여 언어를 정의하는 원래의 연습이 Lisp에 최고의 품질을 제공했습니다. 그렇다면 더 나아가지 않겠습니까?

벨 는 질문에 대답하려는 시도입니다. 초기 단계에서 형식적인 단계에서 실행 단계로 이동하는 대신 가능한 한 늦게 이러한 전환이 이루어지면 어떨까요? 완전한 프로그래밍 언어에 가까운 것을 얻을 때까지 공리적 접근 방식을 계속 사용한다면 어떤 공리가 필요하며 결과 언어는 어떤 모습일까요?

나는 Bel이 무엇이고 무엇이 아닌지를 명확히 하고 싶습니다. McCarthy의 1960년 Lisp보다 더 많은 기능을 갖고 있지만 Bel은 아직 공식 단계의 제품입니다. 1960년 논문에 설명된 Lisp처럼 이는 프로그래밍에 사용할 수 있는 언어가 아닙니다. 주로 McCarthy의 Lisp처럼 효율성에 관심이 없기 때문입니다. Bel에 무언가를 추가할 때 효율적인 구현을 제공하려고 시도하지 않고 추가의 의미를 설명합니다.

무엇을 위해? 공식 무대를 확장하는 이유는 무엇입니까? 한 가지 대답은 공리적 접근 방식이 우리를 어디로 데려갈 수 있는지 알아보는 것인데, 이는 그 자체로 흥미로운 연습입니다. 컴퓨터가 우리가 원하는 만큼 강력하다면 언어는 어떤 모습일까요?

그러나 나는 또한 제한 사항을 추가함으로써 효율적인 Bel 기반 구현을 작성하는 것이 가능하다고 믿습니다. 표현력, 명확성 및 효율성을 갖춘 언어를 원한다면 반대 방향으로 진행하기보다는 표현력과 명확성부터 시작하여 제한 사항을 추가하는 것이 가치가 있을 수 있습니다.

따라서 Bel을 기반으로 구현을 작성해 보고 싶다면 계속 진행하세요. 나는 첫 번째 사용자 중 하나가 될 것입니다.

궁극적으로 나는 이전 방언의 일부를 재현했습니다. 그들의 디자이너가 올바르게 이해했거나 이전에 사용된 방언의 영향을 받았기 때문에 정답은 보이지 않습니다. 시간이 말해 줄 것입니다. 나는 또한 Lisp 관습에서 너무 멀리 벗어나지 않으려고 노력했습니다. 이는 Lisp 규칙에서 벗어나는 경우 그 이유가 있을 수 있음을 의미합니다.

여기에 언어에 대한 계속 설명이 있습니다..

• Bel 언어 가이드
• 벨 소스
• 일부 코드 예제

번역해주셔서 감사합니다: Denis Mitropolsky

PS

• Paul Graham의 에세이 번역본 143개(184개 중)

출처 : habr.com