Пол Греъм обявява нов език за програмиране Bel

Бел езикът се пише на бел език.

През 1960 г. Джон Маккарти описва Lisp, нов тип език за програмиране. Казвам „нов тип“, защото Lisp не беше просто нов език, а нов начин за описание на езиците.

За да дефинира Lisp, той започна с малък набор от оператори, един вид аксиоми, които след това използва, за да напише интерпретатор за самия език.

Той не възнамеряваше да опише език за програмиране в обичайния смисъл, език, използван да казва на компютъра какво да прави. В неговата статия от 1960 г. Lisp се разбира като формален модел на изчисление, подобен на машина на Тюринг. Маккарти не мислеше да го използва на компютри, докато не беше предложено от Стив Ръсел, негов студент.

Lisp през 1960 г. нямаше функции, обичайни за езиците за програмиране. Например, нямаше числа, грешки или I/O. Така че хората, които са използвали Lisp като основа за езиците, използвани за програмиране на компютри, е трябвало сами да добавят тези функции. И те направиха това, като изоставиха аксиоматичния подход.

По този начин развитието на Lisp протича на два — и очевидно доста независими — етапа: официалният етап, въведен в документа от 1960 г., и етапът на внедряване, в който езикът е адаптиран и разширен за работа на компютри. Основната работа, ако се измерва с броя на реализираните възможности, беше на етапа на изпълнение. Лисп от 1960 г., преведен на Common Lisp, е дълъг само 53 реда. Той прави само това, което е необходимо за тълкуване на изрази. Всичко останало беше добавено на етапа на изпълнение.

Моята хипотеза е, че въпреки трудната си история Lisp се е възползвал от факта, че развитието му се е състояло в две фази; че първоначалното упражнение за дефиниране на език чрез писане на неговия интерпретатор сам по себе си е дало най-добрите му качества на Lisp. И ако е така, защо не отидете по-далеч?

Bel е опит да се отговори на въпроса: какво ще стане, ако вместо да преминем от формалния етап към етапа на изпълнение на ранен етап, да направим този преход възможно най-късно? Ако продължите да използвате аксиоматичния подход, докато имате нещо близко до завършен език за програмиране, какви аксиоми ще ви трябват и как ще изглежда полученият език?

Искам да съм наясно какво е Bel и какво не е. Въпреки че има много повече функции от Lisp на McCarthy от 1960 г., Bel все още е продукт в официална фаза. Подобно на Lisp, описан в статията от 1960 г., това не е език, който можете да използвате за програмиране. Главно защото, подобно на Lisp на McCarthy, той не се интересува от ефективността. Когато добавя нещо към Bel, аз описвам значението на това добавяне, без да се опитвам да осигуря ефективна реализация.

За какво? Защо да удължаваме официалния етап? Един от отговорите е да видим докъде може да ни отведе аксиоматичният подход, което само по себе си е интересно упражнение. Ако компютрите бяха толкова мощни, колкото бихме искали, как щяха да изглеждат езиците тогава?

Но също така вярвам, че е възможно да се напише ефективна реализация, базирана на Bel, като се добавят ограничения. Ако искате език, който има изразителна сила, яснота и ефективност, може би си струва да започнете с изразителна сила и яснота и след това да добавите ограничения, вместо да вървите в обратната посока.

Така че, ако искате да опитате да напишете реализация, базирана на Bel, сте добре дошли. Аз ще бъда един от първите потребители.

В крайна сметка възпроизведох някои неща от предишни диалекти. Или техните дизайнери са направили всичко правилно, или, повлиян от предишни диалекти, не виждам правилния отговор - времето ще покаже. Също така се опитах да не се отдалечавам твърде много от конвенциите на Lisp. Което означава, че ако видите отклонение от конвенциите на Lisp, може да е имало причини за това.

Продължение на описанието на езика тук.

• справочник по бел
• Бел източник
• някои примери за код

Благодаря за превода: Денис Митрополски

PS

• Селекция от 143 превода на есетата на Пол Греъм (от 184)

Източник: www.habr.com