Re: Bart's Language

bart <bc@freeuk.com> wrote:

On 18/03/2025 15:10, Waldek Hebisch wrote:

bart <bc@freeuk.com> wrote:

On 18/03/2025 12:17, Waldek Hebisch wrote:

bart <bc@freeuk.com> wrote:

>
This is the document I produced:
>
https://github.com/sal55/langs/blob/master/MFeatures.md
>
A couple of more substantial demo programs are here:
https://github.com/sal55/langs/tree/master/MExamples
>
(The bignum.m file was ported - by hand - to the bignum.c version that I
posted recently.)

>
Looking at features, can you say if the program below works?
And if it works, what is retrun value of foo?  "Equvalent" can
be written in C, but in C you have to keep sane order.

>
>
There were some tweaks needed; it indicates some basic info missing from
my write-up! (For example, that the function call needs to be bar() not
bar; 'const' is only for compile-time expressions; and that C's 'const'
doesn't exist - it only briefly mentions an attempt at 'let'.)
>
The revised code is shown below, with what I assumed were your
intentions.

 
Well, my intentions beter correspond to the C version below:
 
int foo() {
     const int c = c1(10);
     const int b = c + c2(2);
     const int a = b+c3(c);
     bar();
     baz();
     return c;
}

 
 
In this case, just write it like that, and only adjust it for the
somewhat different syntax:
 
  func foo:int =
      let int c := c1(10)
      let int b := c + c2(2)
      let int a := b+c3(c)
      bar()
      baz()
      return c
  end

In your description you wrote that declarations can be written
"out of order" and compiler will rearrange them in correct
order.  That looked like great opportunity to write obfuscated
code.  As you explained, it works differently, but I think
already the fixed version of code I gave shows potential.
And the following seem to satisfy your restriction that
'const' is compile time constant and what happens is
puzzling to the reader (better than goto-s used to confuse
control flow):

func foo:int =
    const a = b + c
    let int cc := c1(a)
    const b = c + 2
    let int bb := c2(b) + cc
    const c = 10
    bb + c
end

--
                              Waldek Hebisch