* Trouble finding a particular paper on Ada generics
@ 2013-02-08 19:58 Shark8
2013-02-09 3:13 ` John B. Matthews
0 siblings, 1 reply; 4+ messages in thread
From: Shark8 @ 2013-02-08 19:58 UTC (permalink / raw)
Several months ago I came across a paper [in PDF] which described a very intriguing way of using generics. The idea (as I recall) was almost like instead of paramertizing on the types it was parameterizing on the data, so in effect, instead of having the data in a record the data was in the [instantiation] of the package itself.
I would like to find it for a second read-through but have had no luck in finding it again. Does this spark a memory from anyone?
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Trouble finding a particular paper on Ada generics
2013-02-08 19:58 Trouble finding a particular paper on Ada generics Shark8
@ 2013-02-09 3:13 ` John B. Matthews
2013-02-11 17:06 ` Shark8
0 siblings, 1 reply; 4+ messages in thread
From: John B. Matthews @ 2013-02-09 3:13 UTC (permalink / raw)
In article <fbf2dd25-c805-46ab-9791-1a7660521c9e@googlegroups.com>,
Shark8 <onewingedshark@gmail.com> wrote:
> Several months ago I came across a paper [in PDF] which described a
> very intriguing way of using generics. The idea (as I recall) was
> almost like instead of paramertizing on the types it was
> parameterizing on the data, so in effect, instead of having the data
> in a record the data was in the [instantiation] of the package
> itself.
>
> I would like to find it for a second read-through but have had no
> luck in finding it again. Does this spark a memory from anyone?
Not a PDF, but an interesting use of generics that was cited in that
time frame:
<http://okasaki.blogspot.com/2008/07/functional-programming-inada.html>
<https://groups.google.com/d/topic/comp.lang.ada/oQ-Cu7l2Wow/discussion>
--
John B. Matthews
trashgod at gmail dot com
<http://sites.google.com/site/drjohnbmatthews>
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Trouble finding a particular paper on Ada generics
2013-02-09 3:13 ` John B. Matthews
@ 2013-02-11 17:06 ` Shark8
2013-03-11 19:42 ` Shark8
0 siblings, 1 reply; 4+ messages in thread
From: Shark8 @ 2013-02-11 17:06 UTC (permalink / raw)
On Friday, February 8, 2013 9:13:08 PM UTC-6, John B. Matthews wrote:
>
> Not a PDF, but an interesting use of generics that was cited in that
> time frame:
>
> <http://okasaki.blogspot.com/2008/07/functional-programming-inada.html>
> <https://groups.google.com/d/topic/comp.lang.ada/oQ-Cu7l2Wow/discussion>
Not the generics-paper I was looking for, but interesting nonetheless (I did come across it during the same timeframe I did the other.)
Also, I do think the paper I read was quite a bit older -- I don't seem to recall Ada 95/2005 features in it, but that's *very* dubious.
One thing that was interesting was the comparison of packages to records.
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: Trouble finding a particular paper on Ada generics
2013-02-11 17:06 ` Shark8
@ 2013-03-11 19:42 ` Shark8
0 siblings, 0 replies; 4+ messages in thread
From: Shark8 @ 2013-03-11 19:42 UTC (permalink / raw)
I Found it!
It's over here: http://www.cs.dartmouth.edu/reports/TR86-104.pdf
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2013-03-11 19:42 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-02-08 19:58 Trouble finding a particular paper on Ada generics Shark8
2013-02-09 3:13 ` John B. Matthews
2013-02-11 17:06 ` Shark8
2013-03-11 19:42 ` Shark8
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox