1

私の質問は「固定小数点コンビネータ」に関連しています。このウィキペディアのページセクションによるとfix、

fix f = f (fix f)

タイプです（または少なくともタイプにすることができます）

(a -> a) -> a

誰かが私に理由を説明できますか?

4

1 に答える 1