[PRL] Re: [CSG711] Function Template developed further

[Felix S Klock]

711 Students (and PRL as well, though it is less certain that this is 
relevant for them)-

See also:

Polytypic Programming
http://www.cs.chalmers.se/~patrikj/poly/

(where instead of thinking of these things as "automatically generated 
code", you think about different ways of defining a single 
function-like thing.  It ends up being the same thing (just filling in 
the "..."), but the polytypic approach is more general and less 
flexible (you fill in the "..." for your operation once, and it then 
operates on any inductive type, including those not yet defined).

-Felix [[ who did a HoPL presentation on Polytypic Programming a little 
over a year ago. . . ]]

----
"Just think how many thoughts a blanket smothers
while one lies alone in bed, and how many unhappy dreams
it keeps warm."  -F. Kafka