FYI. I just made up the name Postiats. There is no particular meaning to it. Just like the letter 'lambda' in lambda-calculus was chosen for no particular reason (which I learned from Dana Scott, who learned it from the son-in-law of Alonzo Church, the inventor of lambda-calculus).
I once designed and implemented a language called Xanadu. I chose the name Xanadu for that language to mean something powerful, exotic and mysterious. See the following poem by Coleridge: https://www.poetryfoundation.org/poems/43991/kubla-khan So I recycled the name Xanadu here. When writing ATS/Xanadu, I mean that the language is called ATS and the implementation is called Xanadu. More precisely, it should be ATS3/Xananu (ATS3 for the third edition of ATS). Cheers, --Hongwei On Wednesday, January 26, 2022 at 1:31:28 PM UTC-5 Yann Le Du wrote: > I see "ats" in "postiats", and "post" so maybe the "i" is "1" so it would > mean "after the 1st ATS" ? > > Whereas for "xanadu" maybe the famous Mongol metropolis, not sure, but > that would fit with the "unleashing" aspect of ATS ;-) > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/2cc2f9b2-dd31-45b3-af6c-3a50e6454791n%40googlegroups.com.
