From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00, REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,5bcc293dc5642650 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Received: by 10.68.27.230 with SMTP id w6mr11602010pbg.3.1319121099413; Thu, 20 Oct 2011 07:31:39 -0700 (PDT) Path: d5ni36038pbc.0!nntp.google.com!news1.google.com!goblin3!goblin1!goblin2!goblin.stu.neva.ru!aioe.org!.POSTED!not-for-mail From: "Dmitry A. Kazakov" Newsgroups: comp.lang.ada Subject: Re: Why no Ada.Wide_Directories? Date: Thu, 20 Oct 2011 16:31:59 +0200 Organization: cbb software GmbH Message-ID: <1w7i4ekc7yvjx$.60o908ry5lhc$.dlg@40tude.net> References: <9937871.172.1318575525468.JavaMail.geo-discussion-forums@prib32> <418b8140-fafb-442f-b91c-e22cc47f8adb@y22g2000pri.googlegroups.com> <7156122c-b63f-487e-ad1b-0edcc6694a7a@u10g2000prl.googlegroups.com> <409c81ab-bd54-493b-beb4-a0cca99ec306@p27g2000prp.googlegroups.com> <1rlz5gwqmeizn$.fwqpl0mhzf54$.dlg@40tude.net> Reply-To: mailbox@dmitry-kazakov.de NNTP-Posting-Host: FbOMkhMtVLVmu7IwBnt1tw.user.speranza.aioe.org Mime-Version: 1.0 X-Complaints-To: abuse@aioe.org User-Agent: 40tude_Dialog/2.0.15.1 X-Notice: Filtered by postfilter v. 0.8.2 Xref: news1.google.com comp.lang.ada:18626 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 8bit Date: 2011-10-20T16:31:59+02:00 List-Id: On Thu, 20 Oct 2011 14:38:27 +0200, Yannick Duch�ne (Hibou57) wrote: > Le Thu, 20 Oct 2011 14:21:16 +0200, Dmitry A. Kazakov > a �crit: >>> It still is!, the trouble is at library level, not language level. >> >> No, the troubles at the library level are reflections of language >> problems. >> >> The language ceased to evolve within its paradigm of a strongly typed >> language. Instead of addressing new issues from the stand point of typed >> approach, it tries solutions from the languages alien to its spirit. > Can you draw a short (or less short) formal model ? Do you have clear > ideas ? Are they ideas inspired from known formalisms (may be like in > specific or research languages) ? I am interested in typing and typing > models. I am not a language designer. I have problems rather than solutions. What I know is that the decomposition shall go along the types. Design entities must be described as types. Their relationships should be as type relationships. Substitutability should be decided on the basis of manifested declarations, not the type structure. Interface must be clearly separated from implementation. Implementation must be absolutely free too choose. There shall be no procedures but operations on types. All types shall have classes. Any syntax sugar (prefix notation, infix operations, assignments, indexing, member extraction, aggregates, entries, attributes) shall be operations. Construction model must be type safe (in particular, each type must have constructors, including class-wide types). The type system shall support both specialization and generalization. The programmer should be able to enforce static type and constraint checks, in particular, to convert any potentially dynamic checks into compile-time errors. All exceptions must be typed, contracted and statically checked. -- Regards, Dmitry A. Kazakov http://www.dmitry-kazakov.de