Лисп-компилятор для RISC-V, написанный на Лиспе

[vak]

“A Lisp compiler to RISC-V written in Lisp”

Пример красивого программирования.

Comments

[juan_gandhi]

Ой не знаю. Что-то очень мутное.

"Used to pass the parameters to the main function's arguments."

"The compiler supports calling a function recursively from within the function itself."

"(and x y)
If x has the value 0 and y has the value 7 this should return 7."

Всё-таки в форте как-то не видать такого сорта ахинеи.

Но, конечно, использовать многочисленные регистры в качестве части стека - имеет смысл для оптимизации.

[ircicq]

If x has the value 0 and y has the value 7 this should return 7.

Стандарт CL обязывает, ему 40 лет как раз.

[juan_gandhi]

Рехнуться можно. Я, конечно, языка этого не знаю, так что понять смысл вряд ли в силах. Но уважения к лиспу поубавилось. Думал, он как бы умнее.

[ircicq]

Лиспов сотни
идейно правильный - Scheme

[juan_gandhi]

Вона как. Я вообще не в курсе. Иногда только философствую на тему двойственности лиспа и форта.

[ufm]

AND - It takes any number of arguments. The arguments are evaluated left to right. If all arguments evaluate to non-nil, then the value of the last argument is returned. Otherwise nil is returned.
Please note that the logical operations work on Boolean values and secondly, numeric zero and NIL are not same.

Что именно тебя смущает?

[juan_gandhi]

Меня ничего не смущает, кроме того факта, что название неправильное. К логическому AND это не имеет отношения. 'find', 'exists', 'any', 'traverse', что угодно, но не AND.

[ufm]

Ну, "здесь так принято".

[ircicq]

Почему не имеет?
смысл похожий на && в Bash или Си
в Lisp истина - всё что не NIL.
Если все аргументы вычислятся в не-NIL, (and ...) вернёт не-NIL.

[juan_gandhi]

Вот именно, смысл похожий.

Мне это больше напоминает чистую лямбду. Где и фикспойнт операции NOT вполне так существует. В лиспе же тоже есть?

Ну, с другой стороны, это же одно и то же, лисп и лямбда.

Уговорили.

[ircicq]

фикспойнт операции NOT вполне так существует

У (NOT x) нет fixed point.

[juan_gandhi]

В лямбде есть.

[ircicq]

По поводу Lisp есть распространенное заблуждение, что это функциональный язык.
В 70-х для этого достаточно было способности конструировать лямбды.

Но с тех пор смысл функциональности несколько изменился, а стереотип о Lisp остался.

[juan_gandhi]

Окей, буду знать, спасибо.