ジェネリックプログラミングってなんですか？

Java Generics vs C++ Template
http://64.233.167.104/search?q=cache:www.mamezou.com/tec/Tips/javaGenericsVsCppTemplate/article1.html

を見ると、以下のことが断片的に読み取れるのですが、具体性に欠けてよくわかりません。
・オブジェクト指向とは違ったパラダイムのプログラミング手法
・テンプレート(型パラメータ)を使うプログラミングと同義ではない
・型パラメータはJavaやC++などの静的に型づけを行う言語でジェネリック・プログラミングを行うときのひとつの手段である
・あるアルゴリズム(手続き)に処理してもらうために必要な最小限のインタフェースをデータ型から抽出することが、ジェネリックプログラミングを実現する第一歩となる
・オブジェクト指向はデータを抽象化するが、ジェネリック・プログラミングではアルゴリズムを抽象化して再利用する仕組みを提供する

> プログラムはデータと手続きから成っている。したがって、ジェネリック・プログラミングを実践してデータの型に依存する部分をコードから取り除いていけば、それは自然とアルゴリズムだけを純粋に記述するものになるはずだ。

文中にこのようなことが書かれているのですが、ジェネリック・プログラミングとは
『アルゴリズムだけを純粋に記述する』という意味なのですか？

ジェネリックプログラミングって、デザインパターンのStateパターンの詳細な説明ってことですか？

俺はC++は使ったことがないのですが、多言語でもジェネリックプログラミングというのはあるのですか？
どの言語なら出来るのでしょうか？ Java, Ruby, Perl, PHP, Python はいずれもできますか？