数学では、空集合に対する写像もあるからね。
全部 void 返す ＝ 集合→空集合 の写像。

それを Run 的に扱っちゃうのってどうなの？とは思うけど。