"Avi Gross" <avigr...@verizon.net> writes: > Thanks for sharing. I took a look and he does have a few schemas for Ada and > C from TWO YEARS ago. Nothing about the infinite number of other languages > he plans on supporting, let alone Python. And what he has is likely not > enough to do what he claims he can do easily and rapidly.
The C schema says almost nothing about C. It lists one kind of comment and a few type names. Significantly, it says almost nothing about the semantics of even the tiny fragment of C presented. Attempts at a universal compiler stalled in the 1980s (though there may have been some new developments since I stopped looking) because expressing the semantics of different languages is so very hard. In fact, much of the interest in pursuing the idea came from benefits that would be derived simply from having a language's semantics formally described. I don't think there is anything to see here. If the author had come up with some new ways to tackle any of the problems, he would be telling people about these, not saying "be patient" (and bad-mouthing CPython). -- Ben. -- https://mail.python.org/mailman/listinfo/python-list
