Am So., 13. Nov. 2022 um 12:59 Uhr schrieb Lassi Kortela <xxxxxx@lassi.io>:
>
> > What would be the advantage of such a Scheme vs. ML? One could ask why
> > to take the trouble to invent a Scheme with HM-static typing when one
> > could use ML instead.
>
> Macros, and S-expressions generally.
>
> The topic deserves an essay titled "Taking S-expressions seriously". But
> writing it now would be more shouting into the void.

I wonder whether this "s-expression" thing is a bit overrated.  One
needs to define what is meant by this.  On the one hand side, it can
mean the lexical syntax of Scheme, that is the external representation
of Scheme datum values.  On the other hand, it can mean the domain of
Scheme datum values itself.  Or it can mean the homoiconicity of
Scheme.