クラス

↑のはてなの解説が非常にわかりやすい。
ただ、クラス==オブジェクト指向言語における変数の型 と考えると、自分は合致しない実装をかなりやっているように思う。
自分のイメージでは、型==(再生産される)インスタンスの雛形 と考えるとシステムに一つしか存在しないインスタンスのクラスは果たして「型」と呼べるのかと、悩む。
まぁ、でも、クラスでは状態を保持していないことを考えると、class == 型 と呼べるのかな。でも、Javaだと、やろうと思えばclassだけでstatic変数に状態を保持できるわけで、それは、どう考えるの？class変数とシングルトンのインスタンス変数の違いは？