From: Florian Weimer <fw@deneb.enyo.de>
Subject: Re: Discriminated records are not the most efficient, but ...
Date: Sat, 04 Sep 2010 20:49:12 +0200
Date: 2010-09-04T20:49:12+02:00 [thread overview]
Message-ID: <874oe55opj.fsf@mid.deneb.enyo.de> (raw)
In-Reply-To: op.vhvktu1kule2fv@garhos
* 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.
prev parent reply other threads:[~2010-09-04 18:49 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-21 21:18 Discriminated records are not the most efficient, but Yannick Duchêne (Hibou57)
2010-08-21 21:57 ` Yannick Duchêne (Hibou57)
2010-08-22 5:39 ` Yannick Duchêne (Hibou57)
2010-08-22 20:40 ` Yannick Duchêne (Hibou57)
2010-08-22 20:47 ` Florian Weimer
2010-08-22 22:07 ` Yannick Duchêne (Hibou57)
2010-08-22 22:11 ` Yannick Duchêne (Hibou57)
2010-08-23 3:06 ` Peter C. Chapin
2010-08-23 3:50 ` Yannick Duchêne (Hibou57)
2010-08-23 6:25 ` J-P. Rosen
2010-08-23 8:09 ` Yannick Duchêne (Hibou57)
2010-08-23 6:40 ` Niklas Holsti
2010-08-23 7:33 ` Simon Wright
2010-08-23 11:44 ` Martin
2010-08-23 13:16 ` Georg Bauhaus
2010-08-23 13:32 ` Martin
2010-08-23 17:02 ` Yannick Duchêne (Hibou57)
2010-08-23 8:13 ` Yannick Duchêne (Hibou57)
2010-08-23 1:52 ` Yannick Duchêne (Hibou57)
2010-08-23 5:14 ` Yannick Duchêne (Hibou57)
2010-08-23 5:43 ` Florian Weimer
2010-08-23 7:55 ` Yannick Duchêne (Hibou57)
2010-08-23 8:06 ` Dmitry A. Kazakov
2010-08-23 8:26 ` Yannick Duchêne (Hibou57)
2010-08-23 8:43 ` Dmitry A. Kazakov
2010-09-04 18:49 ` Florian Weimer [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox