• Re: Universal Compiler (neos) - Turing Completeness

    From James Kuyper@3:633/280.2 to All on Sun Feb 16 15:49:45 2025
    On 2/15/25 17:44, Keith Thompson wrote:
    ....
    I see that I had already killfiled you in this newsgroup, but you're
    posting under a different email address now.

    Thanks for pointing that out. I had him killfiled by his old e-mail
    address too.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Waldek Hebisch@3:633/280.2 to All on Sun Feb 16 16:47:29 2025
    David Brown <david.brown@hesbynett.no> wrote:
    On 14/02/2025 22:23, Waldek Hebisch wrote:
    James Kuyper <jameskuyper@alumni.caltech.edu> wrote:
    On 2/14/25 03:48, David Brown wrote:
    ...
    I'm not suggesting that I think any of this mixture is a good idea, but >>>> I don't think making language-change markers is the biggest issue.

    I wouldn't dream of trying to create a "Universal Compiler". However,
    what little value I see in the concept lies in making it truly
    universal. I don't see much value in supporting different languages in
    the same file. Putting different languages in different files makes it
    trivial, without imposing restrictions on which languages it compiles..

    Do I need to explain advantages of inline assembly or embedded SQL?
    Or having grammar and semantic actions in a single file?


    I think there is certainly value in mixing particular languages in a
    file - such as those you mention, or mixing PHP, HTML and JavaScript in
    a file for a website. But that is all for specific combinations that
    fit together in a natural way and have strong use-cases - it is not a
    random mixture. And the different languages are handled by different
    tools in different places - the C compiler does not handle the SQL code,
    as that is passed on to the database server at runtime. The PHP
    interpreter does not handle the JavaScript, it is passed on to the
    user's browser.

    There is also plenty of value in supporting multiple scripting languages
    for a large software system. Big database server or CAD software will
    often support scripts, procedures or functions in Python, Perl, Lua, JavaScript, BASIC-like languages or their own specific languages - users
    can then write scripts in whatever language suits them.

    I don't see much point in mixing such languages within a single file, however.

    I am using multilingual system that uses markers. While probably
    most files are "pure", that is use only a single language, several
    make (IMO good) use of mixing languages. AFAICS on implementation
    level it is not harder than having separate files, but user
    is spared need to crate and maintain tiny files.

    Of course you want some way to call functions and procedures written in different languages in such a system - but that doesn't need mixing of
    the languages, just a common interface system.

    Mixing is related to interfacing. One case is language of C
    declarations. You can put them in a file with other code and
    compiler creates interfacing code to call C function and make
    them avaliable for use. The point here is that one can just
    cut and paste C (part) of header file and immediately use
    so declared functions (somewhat like 'extern "C"', but in language
    that is quite different than C++). Another case is defining
    functions in different language and immediately using it.

    There's obvious value in having a compiler (or interpreter, JIT tool,
    VM, etc.) modularised and layered, with an aim to making it relatively
    easy to write new language frontends and re-use the rest of the system.
    And again, cross-language calling is useful. But again, mixing
    languages within the one file is rarely going to be of benefit to
    anyone, and could quickly be the source of confusion (as well as
    complexity of implementation).

    In case I mention increase of complexity is small to nonexistent
    (compared to system splitting thing into sepatate types). System
    uses incremental compiler which compiles separately each top-level
    statement. In fact, compiler(s) take stream of bytes and markers
    essentially redirect input stream to the right compiler.

    Real difficulties are ensuring sane semantics of the whole
    system. In the case I describe there is no claim of universality.
    For example, system uses tagged values. Tags means that there
    is serious incompatibility with languages like C++ or Forth that
    allow treating language data as sequence of bytes. In case
    if Smalltalk probably there is no fundamental obstacle, but
    Smalltalk depends on specific message dispatch and one would
    have to implement this and make sure that it plays niecly with
    the rest of the system. To put it differently, while there is
    signifcant sharing, few "major" languages that are implemented
    each needs specific support, which goes beyond providing
    a parser.

    --
    Waldek Hebisch

    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: To protect and to server (3:633/280.2@fidonet)
  • From Muttley@DastardlyHQ.org@3:633/280.2 to All on Sun Feb 16 20:19:11 2025
    On Sat, 15 Feb 2025 17:24:01 +0000
    Mr Flibble <leigh@i42.co.uk> wibbled:
    On Sat, 15 Feb 2025 12:20:08 -0500, Phillip <nntp@fulltermprivacy.com>
    wrote:
    Actually I was about to sponsor you. After looking at what you have and >>what your trying to do, I've been interested. Yesterday I asked my
    lawyer to start drawing up a proposal to sponsor for you for 3 years so >>you could work on this project full time.

    Bullshit.

    Yeah, doesn't really pass the sniff test does it. "I was going to give
    you lots of money for your project but because you said sweary words now
    I'm not". Uh huh. Presumably he doesn't contribute to linux in any way
    because Linus swears like trooper.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Muttley@DastardlyHQ.org@3:633/280.2 to All on Sun Feb 16 20:23:44 2025
    On Sat, 15 Feb 2025 22:59:33 +0000
    Mr Flibble <leigh@i42.co.uk> wibbled:
    On Sat, 15 Feb 2025 14:44:04 -0800, Keith Thompson ><Keith.S.Thompson+u@gmail.com> wrote:

    Mr Flibble <leigh@i42.co.uk> writes:
    On Sat, 15 Feb 2025 17:47:12 +0100, David Brown
    <david.brown@hesbynett.no> wrote:
    [...]
    I am perfectly aware that this way of marking code is pretty obvious, >>>>and I expect it would be the most common approach people thought about. >>>>But you might well have had other ideas in mind. That's why I /asked/. >>>>There's no need to get rude about it.

    Rude? Man up, mate. "Fuck" is the best, most versatile word in the
    English language which is why I use it.

    /Flibble

    Your rudeness has made me lose interest in anything else you might
    have to say. Call this "tone policing" if you like. I don't care.

    I see that I had already killfiled you in this newsgroup, but you're >>posting under a different email address now.

    *plonk*

    Thanks for explaining that: it was very important information that the
    entire planet really needed to know. Calls may be monitored for
    training purposes.

    Far too many delicate sensibilities in this group. God knows how they'd have coped in a british school growing up. The rate they're killfilling people there'll just be a circle jerk of about 3 of them soon, not really saying much to each other.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From David Brown@3:633/280.2 to All on Mon Feb 17 00:13:03 2025
    On 16/02/2025 10:23, Muttley@DastardlyHQ.org wrote:
    On Sat, 15 Feb 2025 22:59:33 +0000
    Mr Flibble <leigh@i42.co.uk> wibbled:
    On Sat, 15 Feb 2025 14:44:04 -0800, Keith Thompson
    <Keith.S.Thompson+u@gmail.com> wrote:

    Mr Flibble <leigh@i42.co.uk> writes:
    On Sat, 15 Feb 2025 17:47:12 +0100, David Brown
    <david.brown@hesbynett.no> wrote:
    [...]
    I am perfectly aware that this way of marking code is pretty obvious, >>>>> and I expect it would be the most common approach people thought about. >>>>> But you might well have had other ideas in mind. That's why I /asked/. >>>>> There's no need to get rude about it.

    Rude? Man up, mate. "Fuck" is the best, most versatile word in the
    English language which is why I use it.

    /Flibble

    Your rudeness has made me lose interest in anything else you might
    have to say. Call this "tone policing" if you like. I don't care.

    I see that I had already killfiled you in this newsgroup, but you're
    posting under a different email address now.

    *plonk*

    Thanks for explaining that: it was very important information that the
    entire planet really needed to know. Calls may be monitored for
    training purposes.

    Far too many delicate sensibilities in this group. God knows how they'd have coped in a british school growing up. The rate they're killfilling people there'll just be a circle jerk of about 3 of them soon, not really saying much
    to each other.


    Are you really trying to argue that because kids were nasty to each
    other in school, it's fine for people to be rude or nasty to each other
    here? Seriously?

    We are adults here, and most regulars here like a reasonable adult
    discussion with honesty and mutual respect. We don't like people being deceitful, or obnoxious, or insulting, or intentionally confusing, or trolling. The occasional bit of swearing is not likely to bother most
    people, depending on its usage, but it's rarely necessary.

    Think of this group as professional colleagues - not as your drunken
    mates at the pub.

    Killfiling is a perfectly good way for people to say they are simply
    happier not to hear what a particular person has to say, because they
    don't like the way they write. Some people feel it is helpful to
    others, or polite to the killfiled person, to announce their "plonk" -
    others simply do so silently. Both are fine.

    You get to choose how you post, and what you say. You don't get to
    choose who will listen, or how they will react.


    And for the record, I grew up with British schooling.




    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Mr Flibble@3:633/280.2 to All on Mon Feb 17 00:18:38 2025
    On Sun, 16 Feb 2025 14:13:03 +0100, David Brown
    <david.brown@hesbynett.no> wrote:


    And for the record, I grew up with British schooling.



    And interestingly you haven't killfiled Muttley: that says a lot about
    us Brits not being snowflakes.

    /Flibble

    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: Eweka Internet Services (3:633/280.2@fidonet)
  • From David Brown@3:633/280.2 to All on Mon Feb 17 00:31:38 2025
    On 15/02/2025 18:04, Muttley@dastardlyhq.com wrote:
    On Sat, 15 Feb 2025 11:54:35 -0500
    Phillip <nntp@fulltermprivacy.com> gabbled:
    Yeah, I was about to make a reply to his rudeness towards you. I can
    understand the back and forth with Muttley, considering Muttley pushes
    people at times and has rubbed people the wrong way in the past. But
    you are not that way. I was willing to give Mr Flibble some latitude
    over talking to Muttley, but after he said that to you, I'm out.
    Flibble lost all respect from me at this point. David, you are an
    outstanding member of this community and a true asset here. You
    shouldn't be treated that way by anyone. Almost everyone knows who you
    are here.

    Are you his dad or something?

    I have no connection with Phillip other than being in the same newsgroup
    here.


    Mr Flibble would be right to give you an apology. I suspect he has
    lost 1/3 of this community by treating you like this.

    What community? Its a bunch of random people posting to a newsgroup.


    Usenet groups like comp.lang.c++ /are/ communities. There is a core of regulars, along with a fair number of lurkers and occasional posters
    that join in for threads that particularly interest them.

    Apparently you two (Muttley and Mr. Flibble) don't understand that. You
    have both completely failed to read the room and join the community and
    act like the rest of us, with the result that a fair proportion of
    people here ignore you (by killfiles or just ignoring much of what you
    write).

    None of this is about being "overly sensitive" or anything of that sort.
    It is about what we, the comp.lang.c++ community, want in this
    discussion group. If I want to fight, or throw insults back and forth,
    I could go over to, say, sci.electronics.design. There are plenty of
    Usenet groups, and countless other discussion forums, where there is
    just a bunch of people yelling at each other.

    Maybe this community is too tame for your liking - we prefer calm,
    civilised and topical threads, where experts help out others and can
    enjoy a bit of detailed language-lawyer discussions. That's not to
    everyone's taste, but it is how we do things here.

    If you don't like this community, I'm sure you can find an alternative
    one that suits you better.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Michael S@3:633/280.2 to All on Mon Feb 17 02:01:43 2025
    On Sun, 16 Feb 2025 13:18:38 +0000
    Mr Flibble <leigh@i42.co.uk> wrote:

    On Sun, 16 Feb 2025 14:13:03 +0100, David Brown
    <david.brown@hesbynett.no> wrote:


    And for the record, I grew up with British schooling.



    And interestingly you haven't killfiled Muttley: that says a lot about
    us Brits not being snowflakes.

    /Flibble

    DavidB tolerates Muttley, because Muttley is Scottish. Were he English
    there likely would be a different outcome.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From David Brown@3:633/280.2 to All on Mon Feb 17 02:09:53 2025
    On 16/02/2025 14:18, Mr Flibble wrote:
    On Sun, 16 Feb 2025 14:13:03 +0100, David Brown
    <david.brown@hesbynett.no> wrote:


    And for the record, I grew up with British schooling.



    And interestingly you haven't killfiled Muttley: that says a lot about
    us Brits not being snowflakes.


    I prefer to make judgements on posts rather than posters - I don't
    killfile many people. Some people have a mixture with some topical and interesting posts, and some that I'd rather not bother with. Thus I
    see, but choose to ignore, many of Muttley's posts (and a fair number of yours). But that's just my preference - other people do things
    differently. (And for a few people, their preference is to killfile me
    or ignore my posts. I'd rather they didn't, but it's their choice. )

    I don't think it says anything about "us Brits", or anyone else. People
    make their choices for all sorts of reasons, and we are all individuals.
    You can make certain kinds of statistical generalisations based on
    country of origin, but not individual judgements.



    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From David Brown@3:633/280.2 to All on Mon Feb 17 02:17:52 2025
    On 16/02/2025 16:01, Michael S wrote:
    On Sun, 16 Feb 2025 13:18:38 +0000
    Mr Flibble <leigh@i42.co.uk> wrote:

    On Sun, 16 Feb 2025 14:13:03 +0100, David Brown
    <david.brown@hesbynett.no> wrote:


    And for the record, I grew up with British schooling.



    And interestingly you haven't killfiled Muttley: that says a lot about
    us Brits not being snowflakes.

    /Flibble

    DavidB tolerates Muttley, because Muttley is Scottish. Were he English
    there likely would be a different outcome.


    I might certainly joke about such a difference, but I would not actually
    make a difference on that basis.

    I simply try to judge and answer posts, rather than people.




    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From James Kuyper@3:633/280.2 to All on Mon Feb 17 03:30:36 2025
    On 16/02/2025 10:23, Muttley@DastardlyHQ.org wrote:
    ....
    Far too many delicate sensibilities in this group. God knows how they'd have coped in a british school growing up. The rate they're killfilling people there'll just be a circle jerk of about 3 of them soon, not really saying much
    to each other.

    My news server's archives go back three months. During that time 35
    different people who aren't in my killfile posted 351 messages on 38
    different topics.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Muttley@dastardlyhq.com@3:633/280.2 to All on Mon Feb 17 03:41:32 2025
    On Sun, 16 Feb 2025 14:13:03 +0100
    David Brown <david.brown@hesbynett.no> gabbled:
    On 16/02/2025 10:23, Muttley@DastardlyHQ.org wrote:
    Far too many delicate sensibilities in this group. God knows how they'd have >> coped in a british school growing up. The rate they're killfilling people
    there'll just be a circle jerk of about 3 of them soon, not really saying >much
    to each other.


    Are you really trying to argue that because kids were nasty to each
    other in school, it's fine for people to be rude or nasty to each other >here? Seriously?

    I'm saying grow a thicker skin. If this was really a "community" (it isn't
    but lets humour the mushrooms for a moment) then they'd have to put up with swearing as many people do it all the time IRL.

    Think of this group as professional colleagues - not as your drunken
    mates at the pub.

    Ah well, thats not a community is it.

    You get to choose how you post, and what you say. You don't get to
    choose who will listen, or how they will react.

    Similarly if people don't like the tone of a post they can just ignore it.
    If someone is swearing in a pub you don't walk over to them and tell them you don't like it.



    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Muttley@dastardlyhq.com@3:633/280.2 to All on Mon Feb 17 03:44:03 2025
    On Sun, 16 Feb 2025 14:31:38 +0100
    David Brown <david.brown@hesbynett.no> gabbled:
    On 15/02/2025 18:04, Muttley@dastardlyhq.com wrote:
    What community? Its a bunch of random people posting to a newsgroup.


    Usenet groups like comp.lang.c++ /are/ communities. There is a core of

    No they're not. A community is people who exist in the same physical space
    and see each other IRL. Online discussions are only called communities to make the agrophobics and aspies feel happy about not meeting people face to face.

    Apparently you two (Muttley and Mr. Flibble) don't understand that. You >have both completely failed to read the room and join the community and
    act like the rest of us, with the result that a fair proportion of
    people here ignore you (by killfiles or just ignoring much of what you >write).

    I swear at Flibble, he swears back. Whats the problem? Skip the posts if
    they offend.

    If you don't like this community, I'm sure you can find an alternative
    one that suits you better.

    Its not a sodding community! Its a bunch of posts on a server!


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Muttley@dastardlyhq.com@3:633/280.2 to All on Mon Feb 17 03:44:45 2025
    On Sun, 16 Feb 2025 17:01:43 +0200
    Michael S <already5chosen@yahoo.com> gabbled:
    On Sun, 16 Feb 2025 13:18:38 +0000
    Mr Flibble <leigh@i42.co.uk> wrote:

    On Sun, 16 Feb 2025 14:13:03 +0100, David Brown
    <david.brown@hesbynett.no> wrote:


    And for the record, I grew up with British schooling.



    And interestingly you haven't killfiled Muttley: that says a lot about
    us Brits not being snowflakes.

    /Flibble

    DavidB tolerates Muttley, because Muttley is Scottish. Were he English

    I am? When did this happen Jimmy?



    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Muttley@dastardlyhq.com@3:633/280.2 to All on Mon Feb 17 03:47:29 2025
    On Sun, 16 Feb 2025 16:09:53 +0100
    David Brown <david.brown@hesbynett.no> gabbled:
    I don't think it says anything about "us Brits", or anyone else. People

    IME brits and aussies (maybe kiwis, don't know), seem to be a lot more tolerant of rouch language than the americans who are somewhat prudish about it. Its a cultural thing. Yet a lot of the same americans who might get angry over bad language wouldn't think twice about packing a 9mm when they go out.



    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Keith Thompson@3:633/280.2 to All on Mon Feb 17 10:23:03 2025
    David Brown <david.brown@hesbynett.no> writes:
    [...]
    Are you really trying to argue that because kids were nasty to each
    other in school, it's fine for people to be rude or nasty to each
    other here? Seriously?
    [...]

    Please don't waste time and bandwidth arguing with trolls and giving
    them the attention they crave. Or do you think you can use logical
    arguments to persuade them to give up their trolling ways?

    "Let them eat static" -- Khan Noonien Singh

    --
    Keith Thompson (The_Other_Keith) Keith.S.Thompson+u@gmail.com
    void Void(void) { Void(); } /* The recursive call of the void */

    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: None to speak of (3:633/280.2@fidonet)
  • From David Brown@3:633/280.2 to All on Mon Feb 17 18:11:40 2025
    On 16/02/2025 17:47, Muttley@dastardlyhq.com wrote:
    On Sun, 16 Feb 2025 16:09:53 +0100
    David Brown <david.brown@hesbynett.no> gabbled:
    I don't think it says anything about "us Brits", or anyone else.ÿ People

    IME brits and aussies (maybe kiwis, don't know), seem to be a lot more tolerant of rouch language than the americans who are somewhat prudish
    about
    it. Its a cultural thing. Yet a lot of the same americans who might get angry
    over bad language wouldn't think twice about packing a 9mm when they go
    out.



    There are cultural differences, certainly - and that can give you
    statistics or general patterns. (Note however that the USA is a big
    place, and these patterns will differ wildly across the country.) But
    they tell you nothing about individuals. Don't pre-judge people based
    on where they come from.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)
  • From Muttley@DastardlyHQ.org@3:633/280.2 to All on Mon Feb 17 20:02:01 2025
    On Sun, 16 Feb 2025 15:23:03 -0800
    Keith Thompson <Keith.S.Thompson+u@gmail.com> wibbled:
    David Brown <david.brown@hesbynett.no> writes:
    [...]
    Are you really trying to argue that because kids were nasty to each
    other in school, it's fine for people to be rude or nasty to each
    other here? Seriously?
    [...]

    Please don't waste time and bandwidth arguing with trolls and giving
    them the attention they crave. Or do you think you can use logical
    arguments to persuade them to give up their trolling ways?

    "Let them eat static" -- Khan Noonien Singh

    Star trek. Hmm.

    "Sagga fragga ragga grarr grarr Keith Thompson" - Muttley, Wacky Races.


    --- MBSE BBS v1.0.8.4 (Linux-x86_64)
    * Origin: A noiseless patient Spider (3:633/280.2@fidonet)