Новый проект
Немного LISP’а для Hare?
Итак, о новом проекте.
Звать его мышка1. Ибо он маленький!
Я подумал, чего же мне не хватает как программисту? Правильно, своего диалекта Scheme. Конечно дело не в том, что я хочу просто написать интерпретатор. Дело в том, что новый прекрасный язык программирования Hare2 живёт без возможности расширить логику приложения каким-либо скриптовым языком. Так больше продолжаться не может! “Доколе!” подумал я и сел за работу.
На самом деле я ожидал, что многое будет мне непонятно. Но имея некоторый опыть написания плагинов для Emacs и небольшой опыт в самом Hare, я имел представление с какой стороны подойти. Также я нашёл просто прекрасную статью3, в которой очень базово, но понятно объясняется что и как нужно делать. Я немного переработал лексер из самого Hare, написал небольшой READ, подкрутил EVAL. И не успел я моргнуть, как мой интерпретатор начал принимать тестовый код вычисления чисел Фибоначчи на интерпритацию!
(define (fib n)
(if (= n 2) 1
(if (= n 1) 1
(+ (fib (- n 1)) (fib (- n 2))))))
После этого запилил сам REPL и вот им уже можно пользоваться!
$ ./mice
mice-repl v0.0.0
λ => (define x 12)
12
λ => (+ x 25)
37
λ => (define y (+ x 25))
37
λ => (exit)
Bye!
Конечно, ещё много работы впереди, но я смогу с этим справиться. Изначально я думал, что буду добавлять по одному примитиву в неделю. Но реализовывать Scheme на Hare оказалось так легко, что за короткое время я смог добавить почти все самые базовые примитивы. Думаю некоторые сложности у меня будут со сборщиком мусора. Что-то мне подсказывает, что до меня на Hare этого никто не делал. Остаётся только читать документацию и примеры кода на старом добром C. Благо возможности у Hare и C сопоставимые.
Неожиданным бонусом я получил очередной кусочек собираемого мной пазла “понимание технологий”. Теперь я могу с уверенностью сказать, что не просто понимаю как именно машины обрабатывают команды и выполняют описанные в них операции, но и реализовал такую машину, хоть на очень базовом уровне и не в железе. Но кто знает, возможно и до стэковой машини на ПЛИС доберусь когда-нибудь.
А пока пожелайте мне удачи, т.к. на этот интерпретатор у меня ну уж очень большие планы.
Продолжение следует…
-
http://harelang.org/ Harelang ↩︎
-
https://kflu.github.io/2018/04/15/2018-04-15-implement-scheme/ Implement Scheme ↩︎