Church numerals: Difference between revisions
J interpretation of negative church numbers
(J) |
(J interpretation of negative church numbers) |
||
Line 1,323:
four apply 10
160</lang>
It's perhaps worth noting that J supports repeated negative applications of invertible functions:
<lang J> four=: 4 chset ch0 +:`''
four apply 10
160
(three chSub four) apply 10
5
eightyone=: three chExp four
(sixtyfour chSub eightyone) apply 10x^20
762939453125000</lang>
=={{header|Java}}==
|