Re: Universal Compiler (neos) - Turing Completeness

From	Phillip <nntp@fulltermprivacy.com>
Newsgroups	comp.lang.c++
Subject	Re: Universal Compiler (neos) - Turing Completeness
Date	2025-02-12 11:36 -0500
Organization	A noiseless patient Spider
Message-ID	<voiimi$2cefi$2@dont-email.me> (permalink)
References	<eomnqj9h74qlbaaeh3llfj2cskptgssg2l@4ax.com> <877c5wnixf.fsf@nosuchdomain.example.com> <vohr77$295hl$1@dont-email.me>

Show all headers | View raw

On 2/12/25 4:55 AM, David Brown wrote:
> On 12/02/2025 00:46, Keith Thompson wrote:
>> Mr Flibble <leigh@i42.co.uk> writes:
>>> I hope to achieve neos Turing Completeness in March during a two week
>>> holiday.
>>>
>>> Also, did you know that with neos you can mix code from different
>>> programming languages in the same source code file!
>>
>> That's a remarkable assertion.
>>
>> I presume you're asserting that you can do this *and* the code will
>> execute correctly.
>>
>> Are you saying that that's possible in your current implementation, or
>> that it's something you intend to implement in the future?
>>
>> Does switching from one language to another require some kind of
>> explicit marker, or does neos figure it out?  With what granularity?
>>
>> If the latter, how does it know whether
>>
>>      size_t s = sizeof 'a';
>>
>> is C (typically setting s to 4, sizeof (int)) or C++ (setting s to 1)?
>>
> 
> I would assume that there must be some way to switch languages within 
> the file, and tell the compiler what you are doing.  Otherwise a switch 
> between C and C++ is a pretty minor affair compared to a switch between, 
> say, Cobol and Haskell.  Maybe the OP could give us some more detail.
> 

Maybe it uses the source file extension to determine which language to 
code against? I know that "technically" .c vs .cpp don't actually mean 
anything to a compiler but it's possible that "neos" would use that to 
determine it? Just a guess.

-- 
Phillip
----------
- Adam: Is a void really a void if it returns?
- Jack: No, it's just nullspace at that point.
----------

Thread

Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-11 23:22 +0000
  Re: Universal Compiler (neos) - Turing Completeness Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-02-11 15:46 -0800
    Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-12 08:12 +0000
      Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-12 10:53 +0100
        Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-12 10:06 +0000
          Re: Universal Compiler (neos) - Turing Completeness Phillip <nntp@fulltermprivacy.com> - 2025-02-12 11:34 -0500
    Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-12 10:55 +0100
      Re: Universal Compiler (neos) - Turing Completeness Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-02-12 02:47 -0800
      Re: Universal Compiler (neos) - Turing Completeness Phillip <nntp@fulltermprivacy.com> - 2025-02-12 11:36 -0500
        Re: Universal Compiler (neos) - Turing Completeness scott@slp53.sl.home (Scott Lurndal) - 2025-02-12 16:51 +0000
          Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-12 21:58 +0000
            Re: Universal Compiler (neos) - Turing Completeness Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-02-12 15:00 -0800
        Re: Universal Compiler (neos) - Turing Completeness James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-02-12 12:26 -0500
          Re: Universal Compiler (neos) - Turing Completeness Phillip <nntp@fulltermprivacy.com> - 2025-02-13 00:00 -0500
            Re: Universal Compiler (neos) - Turing Completeness James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-02-13 06:46 -0500
      Re: Universal Compiler (neos) - Turing Completeness "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-02-12 13:58 -0800
    Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-12 22:00 +0000
      Re: Universal Compiler (neos) - Turing Completeness Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-02-12 15:05 -0800
      Re: Universal Compiler (neos) - Turing Completeness James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-02-13 17:34 -0500
        Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-14 09:48 +0100
          Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-14 13:25 +0000
            Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-15 10:15 +0100
              Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 14:37 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-15 15:50 +0000
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 15:53 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-15 16:33 +0000
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 16:35 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-15 17:00 +0000
                Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-15 17:47 +0100
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 16:52 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-15 17:02 +0000
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 17:04 +0000
                Re: Universal Compiler (neos) - Turing Completeness Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-02-15 14:44 -0800
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 22:59 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-16 09:23 +0000
                Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-16 14:13 +0100
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-16 13:18 +0000
                Re: Universal Compiler (neos) - Turing Completeness Michael S <already5chosen@yahoo.com> - 2025-02-16 17:01 +0200
                Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-16 16:17 +0100
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-16 16:44 +0000
                Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-16 16:09 +0100
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-16 16:47 +0000
                Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-17 08:11 +0100
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-16 16:41 +0000
                Re: Universal Compiler (neos) - Turing Completeness Keith Thompson <Keith.S.Thompson+u@gmail.com> - 2025-02-16 15:23 -0800
                Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-17 09:02 +0000
                Re: Universal Compiler (neos) - Turing Completeness James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-02-16 11:30 -0500
                Re: Universal Compiler (neos) - Turing Completeness James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-02-15 23:49 -0500
                Re: Universal Compiler (neos) - Turing Completeness Phillip <nntp@fulltermprivacy.com> - 2025-02-15 11:54 -0500
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 17:00 +0000
                Re: Universal Compiler (neos) - Turing Completeness Phillip <nntp@fulltermprivacy.com> - 2025-02-15 12:20 -0500
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 17:24 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-16 09:19 +0000
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-15 17:04 +0000
                Re: Universal Compiler (neos) - Turing Completeness Mr Flibble <leigh@i42.co.uk> - 2025-02-15 17:16 +0000
                Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-16 14:31 +0100
                Re: Universal Compiler (neos) - Turing Completeness Muttley@dastardlyhq.com - 2025-02-16 16:44 +0000
          Re: Universal Compiler (neos) - Turing Completeness James Kuyper <jameskuyper@alumni.caltech.edu> - 2025-02-14 13:40 -0500
            Re: Universal Compiler (neos) - Turing Completeness antispam@fricas.org (Waldek Hebisch) - 2025-02-14 21:23 +0000
              Re: Universal Compiler (neos) - Turing Completeness David Brown <david.brown@hesbynett.no> - 2025-02-15 10:09 +0100
                Re: Universal Compiler (neos) - Turing Completeness antispam@fricas.org (Waldek Hebisch) - 2025-02-16 05:47 +0000
        Re: Universal Compiler (neos) - Turing Completeness antispam@fricas.org (Waldek Hebisch) - 2025-02-14 15:14 +0000
          Re: Universal Compiler (neos) - Turing Completeness Muttley@DastardlyHQ.org - 2025-02-14 16:00 +0000

csiph-web