posted 19 years ago
Perhaps you're referring to a class initializer (static initializer)? I would strongly recommend we do not call such a thing a constructor, though it does have some similarities. That can only lead tto confusion. I've never heard the term "type constructor". As for "instance constructor", it's redundant - all constructors construct instances.
"I'm not back." - Bill Harding, Twister