>>372
定義域とか値域とか言い出してるあたりCS修めてない匂いプンプンするけど
百歩譲ってお前が言ってるのは型理論の範疇
型無の関数型がありえる以上関数型の定義とは直接関係ない