NICE Eiffel Standards Group -- Library Committee Mailing List To post to list: NICE-ESG-Libs@atlanta.twr.com To send mail to the Chairman of the committee: NICE-ESG-Libs-chair@atlanta.twr.com Administrative matters (sign up, unsubscribe, mail problems, etc): NICE-ESG-Libs-request@atlanta.twr.com
Date: Mon, 1 Jan 96 10:16:41 EST From: tynor (Steve Tynor) Subject: Proposal ST-1: amend "sharing" semantics of `make_from_array' To: nice-esg-libs As the feedback on my comments regarding sharing of representation for ARRAY have been positive, I'd like to turn it into a formal proposed amendment to Roger's ARRAY proposal. Tag: ST-1: amend "sharing" semantics of `make_from_array' Class: ARRAY Proposed change: Change the comment of `make_from_array' to: -- Initialize from the values of `a'. -- -- Note: elements from `a' are copied, not shared. Rationale: As noted in my previous post: Shared representation is 1) error prone, 2) difficult to implement safely. Leaving the semantics unspecified (allowing an implementation to choose sharing or non-sharing semantics) 1) leads to gross inefficiencies for paranoid "portable programming", 2) is worse than not including the feature at all (since it provides a feature whose semantics are not specified strongly enough for the programmer to count on). Migration strategy: If an implementation currently provides a "sharing" version of this feature, it can be made available as a non-standard extension under a different name (e.g. `adapt' -- which I believe is the current name of the feature in the only existing implementation that uses a "shared" semantics). Happy New Year! =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= Llamas are larger than frogs. Steve Tynor Internet: Steve.Tynor@atlanta.twr.com Tower Technology WWW: http://www.twr.com/
Date: Mon, 1 Jan 96 10:23:03 EST From: tynor (Steve Tynor) Subject: votes To: nice-esg-libs While I've not seen an explicit call for votes from the Chair, I would like to prod the committee into action by doing so (Jim: Sorry I didn't get to this before Christmas as you'd hoped) :-) RB-1 (fix comment in HASHABLE): YES RB-2 (base ARRAY proposal) with ammendments RB-3 (is_equal postcondition) and ST-1 (sharing semantics): YES =-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-= The llama is a quadruped which lives in big rivers like the Amazon. Steve Tynor Internet: Steve.Tynor@atlanta.twr.com Tower Technology WWW: http://www.twr.com/
