* 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