>>67
型が違うのだから呼べるわけがない。

>>68
> 第一級関数なら変数と同じ扱いができるだろ。

それは言語の発展と逆行した考え方だぞ。

命令もデータも区別がないというのがノイマン型コンピュータ。
コンピュータにとっては区別がなくていいが、
俺らは人間。人間にとってわかりやすいようすると
汎用的な概念から、どんどん特殊化する。

たとえばgoto一つあればできることが、
ループやbreakやcontinueや例外などに細かい概念に別れた。