Цей переклад статті є спробою донести інформацію про створення мови програмування на JavaScript до українського читача. Оригінальна стаття була опублікована на блогі автора. Сподіваюся, що цей переклад буде корисним для тих, хто цікавиться створенням власних мов програмування та розвитком у ІТ галузі.
Це навчальний посібник з реалізації мови програмування. Якщо ви коли-небудь писали інтерпретатор або компілятор, то, ймовірно, тут немає нічого нового для вас. Але якщо ви використовуєте регулярні вирази для "розбору
" чогось, що схоже на мову програмування, то, будь ласка, прочитайте хоча б розділ про синтаксичний аналіз
. Давайте писати менше помилок!
Ви завжди можете звернутися назад, якщо щось не зрозуміли. Крім того, питання і відгуки дуже вітаються! [[email protected]
]
Цільова аудиторія - середній JavaScript / NodeJS програміст.
Що ми будемо вивчати:
Що таке парсер і як його писати.
Як писати інтерпретатор.
Продовження (continuations) і чому вони важливі.
Написання компілятора.
Як перетворити код на стиль передачі продовження (continuation-passing style).
Кілька базових технік оптимізації.
Приклади того, що нового принесе наша мова порівняно з простим JavaScript.
Протягом цього часу я буду аргументувати, чому Lisp - велика мова програмування. Однак мова, над якою ми працюватимемо, не є Lisp. Вона має більш розгалужений синтаксис (класичний інфіксний запис, який знає кожен) і буде приблизно такою ж потужною, як Scheme, за винятком макросів. На жаль або на щастя, макроси - це останній бастион Lisp, щось, що іншим мовам просто не вдається завоювати (якщо вони не називаються діалектами Lisp). [Так, я знаю про SweetJS..., але не цілком.]
Але спочатку давайте вигадаємо мову програмування.