極限型
dragoon8192.icon
勝手に名付けた
型理論
で
Yコンビネータ
とか考えようとすると
無限に連なる
型
になる
x :: ((..(..)-> a) -> a ) -> a
みたいになる