
2011/6/9 Stephen Tetley
On 9 June 2011 09:02, Yves Parès
wrote: Were templates an original feature of C++ or did they appear in a revision of the langage ? Because C++ appeared in 1982 and Haskell in 1990.
Templates were a later addition to C++. There is a strong tradition of generics in OO and related languages that seems rather unrelated to typed functional programming - ADA, Eiffel and particularly CLU.
Note that the more recent C++ concepts are related to (and inspired by?) Haskell type classes. See Bernardy et al.'s interesting paper "A comparison of c++ concepts and haskell type classes": http://portal.acm.org/citation.cfm?id=1411324
Congratulations to the Simon's of course, kudos _and_ escudos from the ACM!
Idem. The Simons, GHC and the associated research very much deserve this award. Dominique