RE: Procedure types

From: [at]} <Wojtek>
Date: Fri, 19 Nov 2004 11:17:58 -0500 (EST)

----boundary-LibPST-iamunique-2137689882_-_-
Content-type: text/plain

On Fri, 19 Nov 2004, Fyodor Tkachov wrote:

> A procedure variable is just an address of the entry point
> into the procedure: there is no auxiliary information
> to help the run-time system.

Is this a statement of current implementation or a statement of necessity?
Does it have to be so?

This may be similar to safe versus unsafe arrays.

In Fortran and C, an array is just an address of the 1st element and there
is no auxillary info such as index bounds. As a consequence, arrays in
Fortran or C are unsafe and lots of fun can happen using them. IN CP
arrays have been made safe and the fun is long gone, thank goodness.

How about the procedure variables? Can they be made similarily safe?

How about differentiating between safe high-level procedure variables
and low-level [untagged] procedure variables that you would need to
interface with Windows and/or Linux? The latter would only be available
under SYSTEM, same as [untagged] records and [untagged] arrays. Similar
problem, similar solution.

Note, I am not a compiler writer, so I am only posing this is a question.
I do not know whether safe procedure variables can be implemented.
I also do not know whether or not the current BB implementation is safe.

W.

--------------------------------------------

To unsubscribe from this mailing list, send a message containing the word "unsubscribe" to:
   blackbox-request{([at]})nowhere.xy

To get a list of valid e-mail commands and instructions on their usage, send a message containing the word "help" to the above address.

Send any problem reports or questions related to this email list to the list owner at
   owner-blackbox{([at]})nowhere.xy

Current posting policy:

a) To post you should use the same address by which you are subscribed to the mailing list. That way, the list server will recognize you as subscriber and forward your posting immediately, without creating any overhead.

b) If, for some reason, you cannot post from the address, by which you are subscribed, your message will be moderated to avoid spam. Please understand that moderation will often cause some delay, in particular over weekends or holydays.


----boundary-LibPST-iamunique-2137689882_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzcyBBcmlhbDt9DQp7XGYxXGZtb2Rlcm4gQ291cmllciBOZXc7fQ0Ke1xmMlxmbmlsXGZjaGFy
c2V0MiBTeW1ib2w7fQ0Ke1xmM1xmbW9kZXJuXGZjaGFyc2V0MCBDb3VyaWVyIE5ldzt9fQ0Ke1xj
b2xvcnRibFxyZWQwXGdyZWVuMFxibHVlMDtccmVkMFxncmVlbjBcYmx1ZTI1NTt9DQpcdWMxXHBh
cmRccGxhaW5cZGVmdGFiMzYwIFxmMFxmczIwIE9uIEZyaSwgMTkgTm92IDIwMDQsIEZ5b2RvciBU
a2FjaG92IHdyb3RlOlxwYXINClxwYXINCj4gQSBwcm9jZWR1cmUgdmFyaWFibGUgaXMganVzdCBh
biBhZGRyZXNzIG9mIHRoZSBlbnRyeSBwb2ludFxwYXINCj4gaW50byB0aGUgcHJvY2VkdXJlOiB0
aGVyZSBpcyBubyBhdXhpbGlhcnkgaW5mb3JtYXRpb25ccGFyDQo+IHRvIGhlbHAgdGhlIHJ1bi10
aW1lIHN5c3RlbS5ccGFyDQpccGFyDQpJcyB0aGlzIGEgc3RhdGVtZW50IG9mIGN1cnJlbnQgaW1w
bGVtZW50YXRpb24gb3IgYSBzdGF0ZW1lbnQgb2YgbmVjZXNzaXR5P1xwYXINCkRvZXMgaXQgaGF2
ZSB0byBiZSBzbz9ccGFyDQpccGFyDQpUaGlzIG1heSBiZSBzaW1pbGFyIHRvIHNhZmUgdmVyc3Vz
IHVuc2FmZSBhcnJheXMuXHBhcg0KXHBhcg0KSW4gRm9ydHJhbiBhbmQgQywgYW4gYXJyYXkgaXMg
anVzdCBhbiBhZGRyZXNzIG9mIHRoZSAxc3QgZWxlbWVudCBhbmQgdGhlcmVccGFyDQppcyBubyBh
dXhpbGxhcnkgaW5mbyBzdWNoIGFzIGluZGV4IGJvdW5kcy4gQXMgYSBjb25zZXF1ZW5jZSwgYXJy
YXlzIGluXHBhcg0KRm9ydHJhbiBvciBDIGFyZSB1bnNhZmUgYW5kIGxvdHMgb2YgZnVuIGNhbiBo
YXBwZW4gdXNpbmcgdGhlbS4gSU4gQ1BccGFyDQphcnJheXMgaGF2ZSBiZWVuIG1hZGUgc2FmZSBh
bmQgdGhlIGZ1biBpcyBsb25nIGdvbmUsIHRoYW5rIGdvb2RuZXNzLlxwYXINClxwYXINCkhvdyBh
Ym91dCB0aGUgcHJvY2VkdXJlIHZhcmlhYmxlcz8gQ2FuIHRoZXkgYmUgbWFkZSBzaW1pbGFyaWx5
IHNhZmU/XHBhcg0KXHBhcg0KSG93IGFib3V0IGRpZmZlcmVudGlhdGluZyBiZXR3ZWVuIHNhZmUg
aGlnaC1sZXZlbCBwcm9jZWR1cmUgdmFyaWFibGVzXHBhcg0KYW5kIGxvdy1sZXZlbCBbdW50YWdn
ZWRdIHByb2NlZHVyZSB2YXJpYWJsZXMgdGhhdCB5b3Ugd291bGQgbmVlZCB0b1xwYXINCmludGVy
ZmFjZSB3aXRoIFdpbmRvd3MgYW5kL29yIExpbnV4PyBUaGUgbGF0dGVyIHdvdWxkIG9ubHkgYmUg
YXZhaWxhYmxlXHBhcg0KdW5kZXIgU1lTVEVNLCBzYW1lIGFzIFt1bnRhZ2dlZF0gcmVjb3JkcyBh
bmQgW3VudGFnZ2VkXSBhcnJheXMuIFNpbWlsYXJccGFyDQpwcm9ibGVtLCBzaW1pbGFyIHNvbHV0
aW9uLlxwYXINClxwYXINCk5vdGUsIEkgYW0gbm90IGEgY29tcGlsZXIgd3JpdGVyLCBzbyBJIGFt
IG9ubHkgcG9zaW5nIHRoaXMgaXMgYSBxdWVzdGlvbi5ccGFyDQpJIGRvIG5vdCBrbm93IHdoZXRo
ZXIgc2FmZSBwcm9jZWR1cmUgdmFyaWFibGVzIGNhbiBiZSBpbXBsZW1lbnRlZC5ccGFyDQpJIGFs
c28gZG8gbm90IGtub3cgd2hldGhlciBvciBub3QgdGhlIGN1cnJlbnQgQkIgaW1wbGVtZW50YXRp
b24gaXMgc2FmZS5ccGFyDQpccGFyDQpXLlxwYXINClxwYXINCi0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tXHBhcg0KXHBhcg0KVG8gdW5zdWJzY3JpYmUgZnJvbSB0
aGlzIG1haWxpbmcgbGlzdCwgc2VuZCBhIG1lc3NhZ2UgY29udGFpbmluZyB0aGUgd29yZCAidW5z
dWJzY3JpYmUiIHRvOlxwYXINCiAgIGJsYWNrYm94LXJlcXVlc3RAb2Jlcm9uLmNoXHBhcg0KXHBh
cg0KVG8gZ2V0IGEgbGlzdCBvZiB2YWxpZCBlLW1haWwgY29tbWFuZHMgYW5kIGluc3RydWN0aW9u
cyBvbiB0aGVpciB1c2FnZSwgc2VuZCBhIG1lc3NhZ2UgY29udGFpbmluZyB0aGUgd29yZCAiaGVs
cCIgdG8gdGhlIGFib3ZlIGFkZHJlc3MuXHBhcg0KXHBhcg0KU2VuZCBhbnkgcHJvYmxlbSByZXBv
cnRzIG9yIHF1ZXN0aW9ucyByZWxhdGVkIHRvIHRoaXMgZW1haWwgbGlzdCB0byB0aGUgbGlzdCBv
d25lciBhdFxwYXINCiAgIG93bmVyLWJsYWNrYm94QG9iZXJvbi5jaFxwYXINClxwYXINCkN1cnJl
bnQgcG9zdGluZyBwb2xpY3k6XHBhcg0KXHBhcg0KYSkgVG8gcG9zdCB5b3Ugc2hvdWxkIHVzZSB0
aGUgc2FtZSBhZGRyZXNzIGJ5IHdoaWNoIHlvdSBhcmUgc3Vic2NyaWJlZCB0byB0aGUgbWFpbGlu
ZyBsaXN0LiBUaGF0IHdheSwgdGhlIGxpc3Qgc2VydmVyIHdpbGwgcmVjb2duaXplIHlvdSBhcyBz
dWJzY3JpYmVyIGFuZCBmb3J3YXJkIHlvdXIgcG9zdGluZyBpbW1lZGlhdGVseSwgd2l0aG91dCBj
cmVhdGluZyBhbnkgb3ZlcmhlYWQuXHBhcg0KXHBhcg0KYikgSWYsIGZvciBzb21lIHJlYXNvbiwg
eW91IGNhbm5vdCBwb3N0IGZyb20gdGhlIGFkZHJlc3MsIGJ5IHdoaWNoIHlvdSBhcmUgc3Vic2Ny
aWJlZCwgeW91ciBtZXNzYWdlIHdpbGwgYmUgbW9kZXJhdGVkIHRvIGF2b2lkIHNwYW0uIFBsZWFz
ZSB1bmRlcnN0YW5kIHRoYXQgbW9kZXJhdGlvbiB3aWxsIG9mdGVuIGNhdXNlIHNvbWUgZGVsYXks
IGluIHBhcnRpY3VsYXIgb3ZlciB3ZWVrZW5kcyBvciBob2x5ZH19ACB3cml0ZXIs


----boundary-LibPST-iamunique-2137689882_-_---
Received on Fri Nov 19 2004 - 17:17:58 UTC

This archive was generated by hypermail 2.3.0 : Thu Sep 26 2013 - 06:28:30 UTC