In C, C++, C# and Java, void is kind of a semitype. It can be used as a return type but not as an argument type or value type. I think it would however be possible to extend these languages to make void a type like any other.
Void represents the zero-byte return structure. As a type in an extended language, void would be a zero-byte type, with
(
Read more... )