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=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,6689542a60dbcc55
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news1.google.com!news2.google.com!npeer03.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news.internetdienste.de!newsfeed.velia.net!news.tu-darmstadt.de!news.belwue.de!rz.uni-karlsruhe.de!feed.news.schlund.de!schlund.de!news.online.de!not-for-mail
From: Florian Weimer <fw@deneb.enyo.de>
Newsgroups: comp.lang.ada
Subject: Re: Discriminated records are not the most efficient, but ...
Date: Sat, 04 Sep 2010 20:49:12 +0200
Organization: 1&1 Internet AG
Message-ID: <874oe55opj.fsf@mid.deneb.enyo.de>
References: <op.vhs349clule2fv@garhos> <op.vhs5xtdlule2fv@garhos>
	<op.vhtrcjhmule2fv@garhos> <op.vhuw06a1ule2fv@garhos>
	<874oemcr37.fsf@mid.deneb.enyo.de> <op.vhvbhchkule2fv@garhos>
	<op.vhvktu1kule2fv@garhos>
NNTP-Posting-Host: p4fe389fb.dip0.t-ipconnect.de
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: online.de 1283626152 18083 79.227.137.251 (4 Sep 2010 18:49:12 GMT)
X-Complaints-To: abuse@einsundeins.com
NNTP-Posting-Date: Sat, 4 Sep 2010 18:49:12 +0000 (UTC)
Cancel-Lock: sha1:+1lN5uZBnN9JhrgNXQOpQcF254U=
Xref: g2news1.google.com comp.lang.ada:13948
Date: 2010-09-04T20:49:12+02:00
List-Id: <comp.lang.ada>

* Yannick Duch�ne (Hibou57):

> Conclusion: the Ada package system can be properly modeled with ML.

The functor aspect perhaps.  But Ada packages are open in the sense
that you can add child packages to them (with increased access
privileges) without cooperation from the parent.  This is not possible
in Standard ML.

> CheckMe: is there is a way to have a functor signature in ML ?

No, not in Standard ML.