変数の型の元型（アルケー）

例えば、
its color is 〜
という文があったら、「〜」には色が入らなきゃいけない。
i eat 〜
とあったら、「〜」には食べることができるものの名詞が来なくてはならない。

このように、動詞が要求する目的語や補語の属性が、型の元型ではないだろうか。

それならば、日本語のような膠着語からプログラミング言語を作ったら、型や関数の概念はどういう形態を取るのだろうか??