Y combinator: Difference between revisions

Content deleted Content added
Yhm (talk | contribs)
Yhm (talk | contribs)
Line 4,907: Line 4,907:
#'
#'


fixp.Y <- \ (f) (\ (x) (x) (x)) (\ (y) (f) ((y) (y))) # y-combinator.
fixp.Y <- \ (f) (\ (x) (x) (x)) (\ (y) (f) ((y) (y))) # y-combinator
fixp.Z <- \ (f) (\ (x) (x) (x)) (\ (y) (f) (\ (...) (y) (y) (...))) # z-combinator also.
fixp.Z <- \ (f) (\ (x) (x) (x)) (\ (y) (f) (\ (...) (y) (y) (...))) # z-combinator
</syntaxhighlight>
</syntaxhighlight>


Line 4,931: Line 4,931:
</syntaxhighlight>
</syntaxhighlight>


You can verify these codes by [https://shinylive.io/r/editor/#code=NobwRAdghgtgpmAXGAZgSwB5wCYAcD2aEALgHQBOYANGAMb4lwlJgDEA5AAQCanAvJ0DdwClIAKQQGdSEiQEpxGUilEYMs2QB0IHTgC1+QkeKkz5gxcsEAvMatlX1WnVq3oMuUrwA8AWk4aNTlEUWSCAoLUI0JV1MMDRAE9okKDE6KTY1k4En3oYACMiKGJ8clJXTA99X394lNFwmKio6MakoPrG0m703qDu0nVQrKtc-AKikvJOKAAbCXxyiCcuAFcJOBcIFChaUgTOGrcPXga60MaIULQUIIgvACZQgEZOOHm4TggAKmUIH2ejm2u32ogAnMNOMBngBdTgAZgAbA8ABwogAMW3Q+X2hz8x08cQ6F3iV04NzuhwEgK+bw+nD+ANCAGoGaJ-k9NNs0DiEuDIdC4fCACxbVwgqx4hmVUj6M7E2p3a63dmPF50jZfX7splcnZ7Kz8zhZQUI5FozHLbk4yVHGVyxopS7KyleamhCAaz6Mmmsxmcio2o0m2EI0UQMAAXxhQA here]
You can verify these codes by [https://shinylive.io/r/editor/#code=NobwRAdghgtgpmAXGAZgSwB5wCYAcD2aEALgHQBOYANGAMb4lwlJgDEA5AAQCanAvJ0DdwClIAKQQGdSEiQEpxGUilEYMs2QB0IHTgC1+QkeKkz5gxcsEAvMatlX1WnVq3oMuUrwA8AWk4aNTlEUWSCAoLUI0JV1MMDRAE9okKDE6KTY1k4En3oYACMiKGJ8cldMD31ff3iU0XCYqKjohqSguobSLvSeoK7SdVCsq1z8AqKSsognLgBXCTgXCBQoWlIEzmq3D1562tCGiFC0FCCILwAmUIBGTjgAGwXOCAAqZQgfa8dl1fXRAE4hpxgNcALqcADMADYLgAOWEABiW6Hy602fm2nji7QO8SOnBOZ02Ai+zzujzgnHen1CAGoqaIPldNMs0KiEgCgSDwRCACxLVy-KzoqkVUj6PY4mpnY6nRmXG7kp6valfFkrNZWTmcLLcyEw+FI6as1HCrZiiUNFKHWVErwk0IQJWU1V0hlM74o0hawE64FgyH8iBgAC+oKAA here]


=={{header|Racket}}==
=={{header|Racket}}==