Hi all: Generic programming is a fascinating topic.
Here is a bit of history. 32 years ago on 4th july 1988, International Symposium on Symbolic and Algebraic computation was held at Rome (Italy), where David Musser et' al presented their paper on 'Generic Programming'. The original idea was pioneered even earlier, 47 years ago by ML (1973) when Robin Milner et' al published their paper on "Computable Functions with Reflexive and Polymorphic types". Since then one of the remarkable implementation has been in C++ (80's) and subsequently more than two decades later in Java (2004). Two interesting papers are David R. Musser and Alexander A. Stepanov: Generic Programming. ISSAC 1988 http://stepanovpapers.com/genprog.pdf C++ Templates are turing complete https://dl.strikr.io/papers/cpp_turing.pdf Compile time turing machine https://github.com/fnz/CTTM On july 4th, we evaluate what Go lang has to offer. https://www.meetup.com/inDevSecOps/events/271427581/ warm regards Saifi.
