From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Subject: Re: List Container Straw Man
Date: Thu, 8 Nov 2001 12:41:00 +0200
Date: 2001-11-08T12:41:00+02:00 [thread overview]
Message-ID: <9sdnng$djs$1@news.huji.ac.il> (raw)
In-Reply-To: 9sc5l8$9b7$1@nh.pace.co.uk
I agree with Marin's goal, but I am also unsure of the best way to achieve
them.
One specific issue, is that the working by extending tagged types naturally
leads to using child packages. Most will be generic if, like me, you prefer
Element_Type to be generic.
This leads to the nasty issues of nested instantations, which are quite hard
to hide from the programmer using the packages, unless I am missing
something.
Ehud
next prev parent reply other threads:[~2001-11-08 10:41 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-11-06 16:45 List Container Straw Man Nick Roberts
2001-11-06 17:29 ` Stephen Leake
2001-11-06 18:25 ` Marin David Condic
2001-11-06 23:02 ` Nick Roberts
2001-11-07 19:49 ` Stephen Leake
2001-11-07 20:30 ` Marin David Condic
2001-11-07 23:58 ` Nick Roberts
2001-11-08 4:34 ` Jeffrey Carter
2001-11-08 10:45 ` Ehud Lamm
2001-11-08 19:09 ` Nick Roberts
2001-11-09 16:32 ` Ted Dennison
2001-11-10 2:20 ` Nick Roberts
2001-11-10 19:50 ` Ehud Lamm
2001-11-11 3:48 ` Nick Roberts
2001-11-08 10:41 ` Ehud Lamm [this message]
2001-11-08 19:20 ` Marin David Condic
2001-11-08 20:35 ` Ehud Lamm
2001-11-09 16:39 ` Ted Dennison
2001-11-08 0:06 ` Nick Roberts
2001-11-09 16:16 ` Stephen Leake
2001-11-09 16:24 ` Ehud Lamm
2001-11-09 16:52 ` Brian Rogoff
2001-11-09 18:04 ` Darren New
2001-11-09 20:05 ` Stephen Leake
2001-11-10 3:24 ` Nick Roberts
2001-11-06 23:52 ` Nick Roberts
2001-11-07 4:44 ` A question and a request Eric Merritt
2001-11-07 11:00 ` Preben Randhol
2001-11-07 12:54 ` David C. Hoos, Sr.
2001-11-08 2:35 ` dale
2001-11-07 13:24 ` Eric Merritt
2001-11-07 13:58 ` James Rogers
2001-11-07 16:32 ` Jeffrey Carter
2001-11-09 23:32 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox