いゃマジ、プログラミング言語の文脈で、
関数型を前提としない型理論ってあるんでしょうか？