 Generic Programming for Idiots
started 1/26/2001; 7:19:05 AM - last post 1/29/2001; 3:06:31 AM
|
|
andrew cooke - Generic Programming for Idiots 
1/26/2001; 7:19:05 AM (reads: 1804, responses: 1)
|
|
| Generic Programming for Idiots |
[Postscript] I never managed to make complete sense of the earlier paper on generic programming. This one is from the same people and, being a Master's thesis, seems a bit more gentle (it's more applied/comparative, discussing Haskell/Polyp and ML/Functional ML).
Posted to theory by andrew cooke on 1/26/01; 7:19:56 AM
|
|
|
|
Ehud Lamm - Re: Generic Programming for Idiots
1/29/2001; 3:06:31 AM (reads: 1088, responses: 0)
|
|
|
Ineed this puts things plainly: map is polymorphic, a map that works on trees as well as lists is polytypic.
Does this distinction seem worthile?
(Remember that generic programming is also called parametric polymorphism).
|
|
|
|