Where ≺ is precedes, A ≺ B0 ≺ C ≺ B → ATS/Xanadu is lucid & compact
well-presented deep insight. I had noticed clues & pieces to this effect
in past postings but this puts is it together directly.
This progression might be related to something that I have been pondering:
Is the shift away
Hongwei, other than the long list of fine-grained differences between
ATS/Postiats and the emerging ATS/Xanadu, what do you think stops
ATS/Postiats itself from being “a programming language suitable for use in
production”? For example, the C-source generation could fairly easily have
begat
Thank you for providing this extension, Richard. (And thank you, Hongwei,
for being the prime-mover genius of all this; this is like watching Mozart
write his symphonies.)
Is it intended that all extensions of Xanadu be placed at the same
software-architectural design points as this
In ATS3, how is the alternate-syntax-to-ground-syntax coming along as an
archetypical mechanism (not any one particular transform yet) or is that
capability still future work yet to be added to ATS3's source code? Is
alternate-to-ground syntax transforms envisioned to be tree transductions