>>524
>これから呼び出して使おうとしている関数の仕様を知らないという前提で物事考えてるのはおかしくないか?

全くおかしくない。
関数呼び出しは関数インターフェースという、
呼び出す側と呼ばれる側とのcontractによってなされるべきもので
関数の中身まで全知全能という前提は止めるべき。