プログラムなんて結局は機械語になるわけだろ。

開発効率は置いといて、究極的には
機械語にするのが一番効率がいいんだよ。

で、機械語は手続き型で動作する。