Does f-exprs add simplification to macro implementation from core expressions in LISP?

Question

This guy believes that adding fexprs to LISP greatly simplifies the implementation of the language in the schema.

Here we see how macros will be implemented using MacCarthy LISP.

My question is: does f-exprs add simplification to macro implementation in LISP?

Answer 1

I'm that guy. :)

Fexprs, like in the kernel language, greatly simplifies the language - Kernel has only three built-in modules: $ define! (to add a new binding to the environment), $ if (regular) and $ vau (similar to lambda, but does not evaluate its arguments).

In addition, macros (fexprs) can be used because functions can - unlike current Lisps, where macros work separately from the runtime. This makes the language more general.

However, there are as yet no real-world applications written in the kernel or another new Lisp with fexprs. This is an area of ​​active involvement of a handful of people.