Re: [Unicon-group] A semantic puzzle and question

[Bruce & Breeanna Rennie]

Good morning all,

Thank you Steve, David and Jafar. As both Jafar and David have said, 
Steve has the heart of the matter.

Allowing my brain to process the problem overnight, I finally realised 
that it is the boundedness of the expression which controls the results. 
The test part of an if is bounded and the then/else is not. In the case 
of  suspend/every/while/repeat, the entire construct is bounded and is 
never restarted.

The noticeable different between return and suspend is that return 
always returns, suspend may not.

The full program used is below with the actual results obtained.

For Clinton, might I suggest that a new section be placed in your 
excellent book on the boundedness of expressions and control constructs. 
I can only recall one place where it goes into some detail about this 
and if I remember rightly it is in the implementation book.

As we have just seen, Steve (again) has that deeper understanding of the 
non-obvious semantics of such constructs. It is these kinds of features 
that give unicon/icon its inherent power and I think that it would be a 
good selling point for the language. From my perspective, understanding 
the left to right evaluation and right to left backtracking and the 
boundedness of the expressions, makes all of these things very logical 
and easy to understand.

As I was pondering this concept this morning, I had an insight into the 
fundamental difference between the following

test & expression1 | Expression2

vs

if test then expression1 else Expression2

In many circumstances, you can use them interchangeably and it will 
work. For many people, knowing the left to right evaluation order, the 
first can appear as a short hand of the other. But when you put in 
backtracking and boundedness, they are very different beasties even 
though the outcome will be the same for selected versions.

Here is the program and the associated results

procedure main()
 every write(test1())
 write()
 every write(test2())
 write()
 every write(test3())
 write()
 every write(test4())
 write()
 every write(test5())
 write()
 every write(test6())
 write()
 every write(test7() | "failed")
 write()
 every write(test8() | "failed")
 write()
 every write(test9())
end

procedure test1()
 every write("a", (suspend 1 to 3) & (1 to 3))
end

procedure test2()
 every write("b", (suspend 1 to 3) | (1 to 3))
end

procedure test3()
 return write("c", (suspend 1 to 3) | (1 to 3))
end

procedure test4()
 write("d", suspend (suspend 1 to 3) | (1 to 3))
end

procedure test5()
 write("e", suspend (suspend 1 to 3) & (1 to 3))
end

procedure test6()
 write("f", suspend (return 1 to 3) | (1 to 3))
end

procedure test7()
 every write("b", (suspend &fail ) | (1 to 3))
end

procedure test8()
 every write("b", (suspend  "a") | (1 to 3))
end

procedure test9()
 return write("g", (suspend 1 to 3 do 5) | (1 to 3))
end

And these are the results obtained

1
2
3

1
2
3
b1
b2
b3

1
2
3
c1
1

1
2
3
1
2
3

1
2
3

1

b1
b2
b3
failed

a
b1
b2
b3
failed

1
2
3
g1
1

Thanks to all who have responded. It has helped clarify in my own mind 
what is going on and helps me appreciate the wonderful ideas within 
unicon/icon.

regards

Bruce Rennie

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Jafar Al-Gharaibeh]

On Sat, Aug 13, 2016 at 2:18 PM Jafar Al-Gharaibeh 
wrote:

> On Sat, Aug 13, 2016 at 5:53 AM Bruce & Breeanna Rennie <
> bren...@dcsi.net.au> wrote:
>
>> Good evening to all,
>>
>> I have written the following test program
>>
>> procedure main()
>>  every write(test())
>> end
>>
>> procedure test()
>>  every (suspend 1 to 3) & (1 to 3)
>> end
>>
>>
>> Based on what is understood from the semantics of unicon, what do people
>> believe this should do?
>>
>
> Very Interesting, especially throwing suspend into the mix!
>
> Expression evaluation work from left to write while backtracking works
> right to left. every forces all expressions to generate all possible
> solutions. The output is the easy part here. test() is going to produce the
> values generated by (suspend 1 to 3), so I expect the output to be:
> 1
> 2
> 3
>
> The mechanic of how this actually happens is the interesting part. Based
> on what I said above, for each suspend, the expression that follows & (1 to
> 3 ) will be evaluated with all possible results before backtracking to
> suspend the next result. Something like this:
> (suspend 1)  &  (1 to 3) where 1 to 3 produces the values 1, 2 and 3
> before failing and the evaluation backtracks to suspend. Of course the
> values 1, 2, and 3 are all unused in this case. Then:
> (suspend 2) &  (1 to 3) and the evaluation continues the same way.
>
> Of course I might be missing something here :)
>

Yes, I  missed something!  after looking at Steve's answer, I remembered
that suspend is not your "normal" expression. It doesn't need an every to
produce all results in its expression. That is a built-in feature of
suspend. All possible results within the suspend expression will be
produced before leaving suspend itself. Just like every, suspend fails when
all possible results are produced, so the whole expression containing
suspend fails and the evaluation never actually moves to & or beyond!

Again, the output was easy to figure out in this case, but the mechanic is
the tricky part! Thanks Steve for the insight!

To reveal the mechanics, test() could be changed to
procedure test()
 every (suspend 1 to 3) & write(1 to 3)
end

Cheers,
Jafar


>> As a part of a specific side project I am working on, I am investigating
>> some of the conditions of unicon/icon semantics.
>>
>> Any thoughts will be welcome. I do ask that nobody actually compile and
>> run this just yet. I want to see what people think first before
>> discussing the results obtained.
>>
>> regards
>>
>> Bruce Rennie
>>
>>
>> --
>> What NetFlow Analyzer can do for you? Monitors network bandwidth and
>> traffic
>> patterns at an interface-level. Reveals which users, apps, and protocols
>> are
>> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>> planning reports. http://sdm.link/zohodev2dev
>> ___
>> Unicon-group mailing list
>> Unicon-group@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>>
> --
>
> -- Sent From My Smartphone
>
-- 

-- Sent From My Smartphone
--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Jafar Al-Gharaibeh]

On Sat, Aug 13, 2016 at 5:53 AM Bruce & Breeanna Rennie 
wrote:

> Good evening to all,
>
> I have written the following test program
>
> procedure main()
>  every write(test())
> end
>
> procedure test()
>  every (suspend 1 to 3) & (1 to 3)
> end
>
>
> Based on what is understood from the semantics of unicon, what do people
> believe this should do?
>

Very Interesting, especially throwing suspend into the mix!

Expression evaluation work from left to write while backtracking works
right to left. every forces all expressions to generate all possible
solutions. The output is the easy part here. test() is going to produce the
values generated by (suspend 1 to 3), so I expect the output to be:
1
2
3

The mechanic of how this actually happens is the interesting part. Based on
what I said above, for each suspend, the expression that follows & (1 to 3
) will be evaluated with all possible results before backtracking to
suspend the next result. Something like this:
(suspend 1)  &  (1 to 3) where 1 to 3 produces the values 1, 2 and 3 before
failing and the evaluation backtracks to suspend. Of course the values 1,
2, and 3 are all unused in this case. Then:
(suspend 2) &  (1 to 3) and the evaluation continues the same way.

Of course I might be missing something here :)

Cheers,
Jafar


>
> As a part of a specific side project I am working on, I am investigating
> some of the conditions of unicon/icon semantics.
>
> Any thoughts will be welcome. I do ask that nobody actually compile and
> run this just yet. I want to see what people think first before
> discussing the results obtained.
>
> regards
>
> Bruce Rennie
>
>
> --
> What NetFlow Analyzer can do for you? Monitors network bandwidth and
> traffic
> patterns at an interface-level. Reveals which users, apps, and protocols
> are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning reports. http://sdm.link/zohodev2dev
> ___
> Unicon-group mailing list
> Unicon-group@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/unicon-group
>
-- 

-- Sent From My Smartphone
--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[David.gamey]

Steve is usually right. I neglected to consider that suspend likely doesn't 
produce a result inside the expression it occurs in.

David

Sent from my BlackBerry 10 smartphone on the Rogers network.
  Original Message  
From: Steve Wampler
Sent: Saturday, August 13, 2016 12:51 PM
To: unicon-group@lists.sourceforge.net
Subject: Re: [Unicon-group] A semantic puzzle and question

On 08/13/2016 03:52 AM, Bruce & Breeanna Rennie wrote:
> I have written the following test program
>
> procedure main()
> every write(test())
> end
>
> procedure test()
> every (suspend 1 to 3) & (1 to 3)
> end
>
>
> Based on what is understood from the semantics of unicon, what do people
> believe this should do?

Interesting. I think it will print 1,2,3 and quit. (The suspend is inner most
so it'll complete but then fail, so the & will fail. Then test() will fail,
causing the every in main to fail.

-- 
Steve Wampler -- swamp...@noao.edu
The gods that smiled on your birth are now laughing out loud.

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Steve Wampler]

On 08/13/2016 03:52 AM, Bruce & Breeanna Rennie wrote:
> I have written the following test program
>
> procedure main()
>  every write(test())
> end
>
> procedure test()
>  every (suspend 1 to 3) & (1 to 3)
> end
>
>
> Based on what is understood from the semantics of unicon, what do people
> believe this should do?

Interesting.  I think it will print 1,2,3 and quit.  (The suspend is inner most
so it'll complete but then fail, so the & will fail.  Then test() will fail,
causing the every in main to fail.

-- 
Steve Wampler -- swamp...@noao.edu
The gods that smiled on your birth are now laughing out loud.

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Bruce & Breeanna Rennie]

Good evening David,

Thank you for your response.  What I have been able to work out is that 
it is not at all obvious what the results will be.

The non-obvious part is that suspend is very like every except that a 
result is returned to the caller, if the expression attached to the 
suspend returns a result.

My test program is getting bigger.

regards

Bruce Rennie

On 13/08/16 23:47, David.gamey wrote:
> Interesting.
>
> My guess is it suspends 1 then completes the & (1 to 3), then suspends 2 etc 
> until it fails.
>
> If in doubt as to the source change the ranges so they're different.
>
> David
>
> Sent from my BlackBerry 10 smartphone on the Rogers network.
>Original Message
> From: Bruce & Breeanna Rennie
> Sent: Saturday, August 13, 2016 8:34 AM
> To: Jay Hammond; unicon-group@lists.sourceforge.net
> Subject: Re: [Unicon-group] A semantic puzzle and question
>
> Good evening Jay,
>
> Thanks for responding. Based on a modification suggested by your
> comments below, It doesn't appear to do what you have suggested. I have
> discovered though that if the result given to return is failure, return
> returns failure. If the result of the expression in suspend is failure,
> suspend appears to fail and not return at all.
>
> This is good, it is expanding my understanding of what suspend does and
> how it interacts with things like every is not obvious but does appear
> to be logical (at least at this point).
>
> regards
>
> Bruce Rennie
>
>
> On 13/08/16 21:51, Jay Hammond wrote:
>> I don't know either.
>>
>> I guess that:
>>
>> suspend evaluates, but before it allows test to finish, "& " needs to
>> be evaluated. Each initial evaluation of (1 to 3) succeeds evaluating
>> as 1. I think the (1 to 3) expression refreshes each time test is
>> called. The & succeeds - the & expression returns its right hand
>> side to every as the (unused) result, i.e. 1,1,1. Evaluation of the
>> every expression succeeds and the suspend is acted upon. There are 3
>> suspensions of test, 1,2,3 and then it fails.
>>
>> This is pure seat of the pants guesswork. No reference to the
>> documentation, just memory.
>> I'm usually wrong about what iterators do. But my thought process
>> might amuse the experts.
>>
>> J
>>
>> On 13/08/2016 12:00, Sergey Logichev wrote:
>>> It's seems very provacative! From logical point of view I suggest
>>> output as double sequence 1,2,3.
>>> But actually, I do not know!
>>> Best regards,
>>> Sergey
>>> 13.08.2016, 13:53, "Bruce & Breeanna Rennie" :
 Good evening to all,

 I have written the following test program

 procedure main()
 every write(test())
 end

 procedure test()
 every (suspend 1 to 3) & (1 to 3)
 end


 Based on what is understood from the semantics of unicon, what do
 people
 believe this should do?

 As a part of a specific side project I am working on, I am
 investigating
 some of the conditions of unicon/icon semantics.

 Any thoughts will be welcome. I do ask that nobody actually compile and
 run this just yet. I want to see what people think first before
 discussing the results obtained.

 regards

 Bruce Rennie

 --
 What NetFlow Analyzer can do for you? Monitors network bandwidth and
 traffic
 patterns at an interface-level. Reveals which users, apps, and
 protocols are
 consuming the most bandwidth. Provides multi-vendor support for
 NetFlow,
 J-Flow, sFlow and other flows. Make informed decisions using capacity
 planning reports. http://sdm.link/zohodev2dev
 ___
 Unicon-group mailing list
 Unicon-group@lists.sourceforge.net
 
 https://lists.sourceforge.net/lists/listinfo/unicon-group

>>>
>>> --
>>> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
>>> patterns at an interface-level. Reveals which users, apps, and protocols are
>>> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
>>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>>> planning reports.http://sdm.link/zohodev2dev
>>>
>>>
>>> ___
>>> Unicon-group mailing list
>>> Unicon-group@lists.sourceforge.net
>>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>>
>>
>> --
>> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
>> patterns at an interface-level. Reveals which users, apps, and protocols are
>> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>> planning reports. http://sdm.lin

Re: [Unicon-group] A semantic puzzle and question

[David.gamey]

Interesting.

My guess is it suspends 1 then completes the & (1 to 3), then suspends 2 etc 
until it fails.

If in doubt as to the source change the ranges so they're different.

David

Sent from my BlackBerry 10 smartphone on the Rogers network.
  Original Message  
From: Bruce & Breeanna Rennie
Sent: Saturday, August 13, 2016 8:34 AM
To: Jay Hammond; unicon-group@lists.sourceforge.net
Subject: Re: [Unicon-group] A semantic puzzle and question

Good evening Jay,

Thanks for responding. Based on a modification suggested by your 
comments below, It doesn't appear to do what you have suggested. I have 
discovered though that if the result given to return is failure, return 
returns failure. If the result of the expression in suspend is failure, 
suspend appears to fail and not return at all.

This is good, it is expanding my understanding of what suspend does and 
how it interacts with things like every is not obvious but does appear 
to be logical (at least at this point).

regards

Bruce Rennie


On 13/08/16 21:51, Jay Hammond wrote:
>
> I don't know either.
>
> I guess that:
>
> suspend evaluates, but before it allows test to finish, "& " needs to 
> be evaluated. Each initial evaluation of (1 to 3) succeeds evaluating 
> as 1. I think the (1 to 3) expression refreshes each time test is 
> called. The & succeeds - the & expression returns its right hand 
> side to every as the (unused) result, i.e. 1,1,1. Evaluation of the 
> every expression succeeds and the suspend is acted upon. There are 3 
> suspensions of test, 1,2,3 and then it fails.
>
> This is pure seat of the pants guesswork. No reference to the 
> documentation, just memory.
> I'm usually wrong about what iterators do. But my thought process 
> might amuse the experts.
>
> J
>
> On 13/08/2016 12:00, Sergey Logichev wrote:
>> It's seems very provacative! From logical point of view I suggest 
>> output as double sequence 1,2,3.
>> But actually, I do not know!
>> Best regards,
>> Sergey
>> 13.08.2016, 13:53, "Bruce & Breeanna Rennie" :
>>>
>>> Good evening to all,
>>>
>>> I have written the following test program
>>>
>>> procedure main()
>>> every write(test())
>>> end
>>>
>>> procedure test()
>>> every (suspend 1 to 3) & (1 to 3)
>>> end
>>>
>>>
>>> Based on what is understood from the semantics of unicon, what do 
>>> people
>>> believe this should do?
>>>
>>> As a part of a specific side project I am working on, I am 
>>> investigating
>>> some of the conditions of unicon/icon semantics.
>>>
>>> Any thoughts will be welcome. I do ask that nobody actually compile and
>>> run this just yet. I want to see what people think first before
>>> discussing the results obtained.
>>>
>>> regards
>>>
>>> Bruce Rennie
>>>
>>> --
>>> What NetFlow Analyzer can do for you? Monitors network bandwidth and 
>>> traffic
>>> patterns at an interface-level. Reveals which users, apps, and 
>>> protocols are
>>> consuming the most bandwidth. Provides multi-vendor support for 
>>> NetFlow,
>>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>>> planning reports. http://sdm.link/zohodev2dev
>>> ___
>>> Unicon-group mailing list
>>> Unicon-group@lists.sourceforge.net 
>>> 
>>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>>>
>>
>>
>> --
>> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
>> patterns at an interface-level. Reveals which users, apps, and protocols are
>> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>> planning reports.http://sdm.link/zohodev2dev
>>
>>
>> ___
>> Unicon-group mailing list
>> Unicon-group@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>
>
>
> --
> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
> patterns at an interface-level. Reveals which users, apps, and protocols are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning reports. http://sdm.link/zohodev2dev
>
>
> ___
> Unicon-group mailing list
> Unicon-group@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/unicon-group


--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and othe

Re: [Unicon-group] A semantic puzzle and question

[Bruce & Breeanna Rennie]

Good evening Jay,

Thanks for responding.  Based on a modification suggested by your 
comments below, It doesn't appear to do what you have suggested. I have 
discovered though that if the result given to return is failure, return 
returns failure. If the result of the expression in suspend is failure, 
suspend appears to fail and not return at all.

This is good, it is expanding my understanding of what suspend does and 
how it interacts with things like every is not obvious but does appear 
to be logical (at least at this point).

regards

Bruce Rennie


On 13/08/16 21:51, Jay Hammond wrote:
>
> I don't know either.
>
> I guess that:
>
> suspend evaluates, but before it allows test to finish, "& " needs to 
> be evaluated.  Each initial evaluation of (1 to 3) succeeds evaluating 
> as 1. I think the (1 to 3) expression refreshes each time test is 
> called. The & succeeds - the & expression   returns its right hand 
> side to every as the (unused)  result, i.e. 1,1,1.  Evaluation of the 
> every expression succeeds and the suspend is acted upon. There are 3 
> suspensions of test, 1,2,3 and then it fails.
>
> This is pure seat of the pants guesswork. No reference to the 
> documentation, just memory.
> I'm usually wrong about what iterators do. But my thought process 
> might amuse the experts.
>
> J
>
> On 13/08/2016 12:00, Sergey Logichev wrote:
>> It's seems very provacative! From logical point of view I suggest 
>> output as double sequence 1,2,3.
>> But actually, I do not know!
>> Best regards,
>> Sergey
>> 13.08.2016, 13:53, "Bruce & Breeanna Rennie" :
>>>
>>> Good evening to all,
>>>
>>> I have written the following test program
>>>
>>> procedure main()
>>>  every write(test())
>>> end
>>>
>>> procedure test()
>>>  every (suspend 1 to 3) & (1 to 3)
>>> end
>>>
>>>
>>> Based on what is understood from the semantics of unicon, what do 
>>> people
>>> believe this should do?
>>>
>>> As a part of a specific side project I am working on, I am 
>>> investigating
>>> some of the conditions of unicon/icon semantics.
>>>
>>> Any thoughts will be welcome. I do ask that nobody actually compile and
>>> run this just yet. I want to see what people think first before
>>> discussing the results obtained.
>>>
>>> regards
>>>
>>> Bruce Rennie
>>>
>>> --
>>> What NetFlow Analyzer can do for you? Monitors network bandwidth and 
>>> traffic
>>> patterns at an interface-level. Reveals which users, apps, and 
>>> protocols are
>>> consuming the most bandwidth. Provides multi-vendor support for 
>>> NetFlow,
>>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>>> planning reports. http://sdm.link/zohodev2dev
>>> ___
>>> Unicon-group mailing list
>>> Unicon-group@lists.sourceforge.net 
>>> 
>>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>>>
>>
>>
>> --
>> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
>> patterns at an interface-level. Reveals which users, apps, and protocols are
>> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>> planning reports.http://sdm.link/zohodev2dev
>>
>>
>> ___
>> Unicon-group mailing list
>> Unicon-group@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>
>
>
> --
> What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
> patterns at an interface-level. Reveals which users, apps, and protocols are
> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
> J-Flow, sFlow and other flows. Make informed decisions using capacity
> planning reports. http://sdm.link/zohodev2dev
>
>
> ___
> Unicon-group mailing list
> Unicon-group@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/unicon-group


--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Bruce & Breeanna Rennie]

Good evening Sergey,

Thanks you for your response. I have created a much more detailed test 
and some of the results are interesting from my perspective.

My initial view was that I should get 3 lots of the sequence 1,2,3.

Not what I got.

I'll give the full program and the results obtained in a day or two to 
give time for others to comment if they wish.

regards

Bruce Rennie

On 13/08/16 21:00, Sergey Logichev wrote:
> It's seems very provacative! From logical point of view I suggest 
> output as double sequence 1,2,3.
> But actually, I do not know!
> Best regards,
> Sergey
> 13.08.2016, 13:53, "Bruce & Breeanna Rennie" :
>>
>> Good evening to all,
>>
>> I have written the following test program
>>
>> procedure main()
>>  every write(test())
>> end
>>
>> procedure test()
>>  every (suspend 1 to 3) & (1 to 3)
>> end
>>
>>
>> Based on what is understood from the semantics of unicon, what do people
>> believe this should do?
>>
>> As a part of a specific side project I am working on, I am investigating
>> some of the conditions of unicon/icon semantics.
>>
>> Any thoughts will be welcome. I do ask that nobody actually compile and
>> run this just yet. I want to see what people think first before
>> discussing the results obtained.
>>
>> regards
>>
>> Bruce Rennie
>>
>> --
>> What NetFlow Analyzer can do for you? Monitors network bandwidth and 
>> traffic
>> patterns at an interface-level. Reveals which users, apps, and 
>> protocols are
>> consuming the most bandwidth. Provides multi-vendor support for NetFlow,
>> J-Flow, sFlow and other flows. Make informed decisions using capacity
>> planning reports. http://sdm.link/zohodev2dev
>> ___
>> Unicon-group mailing list
>> Unicon-group@lists.sourceforge.net 
>> 
>> https://lists.sourceforge.net/lists/listinfo/unicon-group
>>


--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Jay Hammond]

I don't know either.

I guess that:

suspend evaluates, but before it allows test to finish, "& " needs to be 
evaluated.  Each initial evaluation of (1 to 3) succeeds evaluating as 
1. I think the (1 to 3) expression refreshes each time test is called. 
The & succeeds - the & expression   returns its right hand side to every 
as the (unused) result, i.e. 1,1,1.  Evaluation of the every expression 
succeeds and the suspend is acted upon. There are 3 suspensions of test, 
1,2,3 and then it fails.


This is pure seat of the pants guesswork. No reference to the 
documentation, just memory.
I'm usually wrong about what iterators do. But my thought process might 
amuse the experts.


J

On 13/08/2016 12:00, Sergey Logichev wrote:
It's seems very provacative! From logical point of view I suggest 
output as double sequence 1,2,3.

But actually, I do not know!
Best regards,
Sergey
13.08.2016, 13:53, "Bruce & Breeanna Rennie" :


Good evening to all,

I have written the following test program

procedure main()
 every write(test())
end

procedure test()
 every (suspend 1 to 3) & (1 to 3)
end


Based on what is understood from the semantics of unicon, what do people
believe this should do?

As a part of a specific side project I am working on, I am investigating
some of the conditions of unicon/icon semantics.

Any thoughts will be welcome. I do ask that nobody actually compile and
run this just yet. I want to see what people think first before
discussing the results obtained.

regards

Bruce Rennie

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and 
traffic
patterns at an interface-level. Reveals which users, apps, and 
protocols are

consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net 


https://lists.sourceforge.net/lists/listinfo/unicon-group




--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. http://sdm.link/zohodev2dev


___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group


--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

Re: [Unicon-group] A semantic puzzle and question

[Sergey Logichev]

It's seems very provacative! From logical point of view I suggest output as double sequence 1,2,3.But actually, I do not know!Best regards,Sergey 13.08.2016, 13:53, "Bruce & Breeanna Rennie" :Good evening to all,I have written the following test programprocedure main() every write(test())endprocedure test() every (suspend 1 to 3) & (1 to 3)endBased on what is understood from the semantics of unicon, what do people believe this should do?As a part of a specific side project I am working on, I am investigating some of the conditions of unicon/icon semantics.Any thoughts will be welcome. I do ask that nobody actually compile and run this just yet. I want to see what people think first before discussing the results obtained.regardsBruce Rennie--What NetFlow Analyzer can do for you? Monitors network bandwidth and trafficpatterns at an interface-level. Reveals which users, apps, and protocols are consuming the most bandwidth. Provides multi-vendor support for NetFlow, J-Flow, sFlow and other flows. Make informed decisions using capacity planning reports. http://sdm.link/zohodev2dev___Unicon-group mailing listUnicon-group@lists.sourceforge.nethttps://lists.sourceforge.net/lists/listinfo/unicon-group--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group

[Unicon-group] A semantic puzzle and question

[Bruce & Breeanna Rennie]

Good evening to all,

I have written the following test program

procedure main()
 every write(test())
end

procedure test()
 every (suspend 1 to 3) & (1 to 3)
end


Based on what is understood from the semantics of unicon, what do people 
believe this should do?

As a part of a specific side project I am working on, I am investigating 
some of the conditions of unicon/icon semantics.

Any thoughts will be welcome. I do ask that nobody actually compile and 
run this just yet. I want to see what people think first before 
discussing the results obtained.

regards

Bruce Rennie

--
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are 
consuming the most bandwidth. Provides multi-vendor support for NetFlow, 
J-Flow, sFlow and other flows. Make informed decisions using capacity 
planning reports. http://sdm.link/zohodev2dev
___
Unicon-group mailing list
Unicon-group@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/unicon-group