Re: CAPS again

From: [at]} <Gérard>
Date: Thu, 16 Sep 2004 14:33:12 +0200

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

> Now, since this is not something that can be covered at compile-time, it
needs checking at runtime. There is simply no way around that!
>
> So, the next question is: WHO should do the runtime-checking? Should it be
done by language inherent predefined functions, or by modules calling those
predefined functions?
>
> And per definitionem, predefined functions need to be FAST above all. And
we already covered that issue.

René,

I completely agree with you:
    - the specifications of CAP is fulfilled by the implementation;
    - its implementation is as fast as possible (certainly a bitwise AND);
    - it can't crash the system (no type-safety failure);
    - in the spirit of Oberon and BlackBox, if you want something new,
develop the system, and it's what has been done here with Strings.Upper.

Regards.

Gérard

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

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-400543687_-_-
Content-type: application/rtf
Content-transfer-encoding: base64
Content-Disposition: attachment; filename="rtf-body.rtf"

e1xydGYxXGFuc2lcYW5zaWNwZzEyNTJcZnJvbXRleHQgXGRlZmYwe1xmb250dGJsDQp7XGYwXGZz
d2lzc1xmY2hhcnNldDAgQXJpYWw7fQ0Ke1xmMVxmbW9kZXJuIENvdXJpZXIgTmV3O30NCntcZjJc
Zm5pbFxmY2hhcnNldDIgU3ltYm9sO30NCntcZjNcZm1vZGVyblxmY2hhcnNldDAgQ291cmllciBO
ZXc7fX0NCntcY29sb3J0YmxccmVkMFxncmVlbjBcYmx1ZTA7XHJlZDBcZ3JlZW4wXGJsdWUyNTU7
fQ0KXHVjMVxwYXJkXHBsYWluXGRlZnRhYjM2MCBcZjBcZnMyMCA+IE5vdywgc2luY2UgdGhpcyBp
cyBub3Qgc29tZXRoaW5nIHRoYXQgY2FuIGJlIGNvdmVyZWQgYXQgY29tcGlsZS10aW1lLCBpdFxw
YXINCm5lZWRzIGNoZWNraW5nIGF0IHJ1bnRpbWUuIFRoZXJlIGlzIHNpbXBseSBubyB3YXkgYXJv
dW5kIHRoYXQhXHBhcg0KPlxwYXINCj4gU28sIHRoZSBuZXh0IHF1ZXN0aW9uIGlzOiBXSE8gc2hv
dWxkIGRvIHRoZSBydW50aW1lLWNoZWNraW5nPyBTaG91bGQgaXQgYmVccGFyDQpkb25lIGJ5IGxh
bmd1YWdlIGluaGVyZW50IHByZWRlZmluZWQgZnVuY3Rpb25zLCBvciBieSBtb2R1bGVzIGNhbGxp
bmcgdGhvc2VccGFyDQpwcmVkZWZpbmVkIGZ1bmN0aW9ucz9ccGFyDQo+XHBhcg0KPiBBbmQgcGVy
IGRlZmluaXRpb25lbSwgcHJlZGVmaW5lZCBmdW5jdGlvbnMgbmVlZCB0byBiZSBGQVNUIGFib3Zl
IGFsbC4gQW5kXHBhcg0Kd2UgYWxyZWFkeSBjb3ZlcmVkIHRoYXQgaXNzdWUuXHBhcg0KXHBhcg0K
UmVuXCdlOSxccGFyDQpccGFyDQpJIGNvbXBsZXRlbHkgYWdyZWUgd2l0aCB5b3U6XHBhcg0KICAg
IC0gdGhlIHNwZWNpZmljYXRpb25zIG9mIENBUCBpcyBmdWxmaWxsZWQgYnkgdGhlIGltcGxlbWVu
dGF0aW9uO1xwYXINCiAgICAtIGl0cyBpbXBsZW1lbnRhdGlvbiBpcyBhcyBmYXN0IGFzIHBvc3Np
YmxlIChjZXJ0YWlubHkgYSBiaXR3aXNlIEFORCk7XHBhcg0KICAgIC0gaXQgY2FuJ3QgY3Jhc2gg
dGhlIHN5c3RlbSAobm8gdHlwZS1zYWZldHkgZmFpbHVyZSk7XHBhcg0KICAgIC0gaW4gdGhlIHNw
aXJpdCBvZiBPYmVyb24gYW5kIEJsYWNrQm94LCBpZiB5b3Ugd2FudCBzb21ldGhpbmcgbmV3LFxw
YXINCmRldmVsb3AgdGhlIHN5c3RlbSwgYW5kIGl0J3Mgd2hhdCBoYXMgYmVlbiBkb25lIGhlcmUg
d2l0aCBTdHJpbmdzLlVwcGVyLlxwYXINClxwYXINClJlZ2FyZHMuXHBhcg0KXHBhcg0KR1wnZTly
YXJkXHBhcg0KXHBhcg0KLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS1ccGFyDQpccGFyDQpUbyB1bnN1YnNjcmliZSBmcm9tIHRoaXMgbWFpbGluZyBsaXN0LCBzZW5k
IGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJ1bnN1YnNjcmliZSIgdG86XHBhcg0KICAg
YmxhY2tib3gtcmVxdWVzdEBvYmVyb24uY2hccGFyDQpccGFyDQpUbyBnZXQgYSBsaXN0IG9mIHZh
bGlkIGUtbWFpbCBjb21tYW5kcyBhbmQgaW5zdHJ1Y3Rpb25zIG9uIHRoZWlyIHVzYWdlLCBzZW5k
IGEgbWVzc2FnZSBjb250YWluaW5nIHRoZSB3b3JkICJoZWxwIiB0byB0aGUgYWJvdmUgYWRkcmVz
cy5ccGFyDQpccGFyDQpTZW5kIGFueSBwcm9ibGVtIHJlcG9ydHMgb3IgcXVlc3Rpb25zIHJlbGF0
ZWQgdG8gdGhpcyBlbWFpbCBsaXN0IHRvIHRoZSBsaXN0IG93bmVyIGF0XHBhcg0KICAgb3duZXIt
YmxhY2tib3hAb2Jlcm9uLmNoXHBhcg0KXHBhcg0KQ3VycmVudCBwb3N0aW5nIHBvbGljeTpccGFy
DQpccGFyDQphKSBUbyBwb3N0IHlvdSBzaG91bGQgdXNlIHRoZSBzYW1lIGFkZHJlc3MgYnkgd2hp
Y2ggeW91IGFyZSBzdWJzY3JpYmVkIHRvIHRoZSBtYWlsaW5nIGxpc3QuIFRoYXQgd2F5LCB0aGUg
bGlzdCBzZXJ2ZXIgd2lsbCByZWNvZ25pemUgeW91IGFzIHN1YnNjcmliZXIgYW5kIGZvcndhcmQg
eW91ciBwb3N0aW5nIGltbWVkaWF0ZWx5LCB3aXRob3V0IGNyZWF0aW5nIGFueSBvdmVyaGVhZC5c
cGFyDQpccGFyDQpiKSBJZiwgZm9yIHNvbWUgcmVhc29uLCB5b3UgY2Fubm90IHBvc3QgZnJvbSB0
aGUgYWRkcmVzcywgYnkgd2hpY2ggeW91IGFyZSBzdWJzY3JpYmVkLCB5b3VyIG1lc3NhZ2Ugd2ls
bCBiZSBtb2RlcmF0ZWQgdG8gYXZvaWQgc3BhbS4gUGxlYXNlIHVuZGVyc3RhbmQgdGhhdCBtb2Rl
cmF0aW9uIHdpbGwgb2Z0ZW4gY2F1c2Ugc29tZSBkZWxheSwgaW4gcGFydGljdWxhciBvdmVyIHdl
ZWtlbmRzIG9yIGhvbHlkYXl9fQA1LjAgdGU

----boundary-LibPST-iamunique-400543687_-_---
Received on Thu Sep 16 2004 - 14:33:12 UTC