Talk:Church Numerals

From Rosetta Code

Created a stub for a Church Numerals[edit]

Not sure if this needs the addition of a more stretching task ? It may already not be all that easy to implement in languages with limited support for higher-order functions. In AppleScript, for example, my first sketches of churchMultiply all produce a stack overflow. Hout (talk) 22:09, 21 August 2018 (UTC)

Worker-wrapper transformation in Haskell[edit]

In response to Spoon!'s query – "not sure why `go` helper is necessary": the worker-wrapper transform is a useful reflex whenever recursion is needed. – (recursive name found in a more local namespace – often a smaller frame pushed to stack etc. etc) but no particular view on it here. Your edit looks fine. Hout (talk)

Phix disclaimer[edit]

Disclaimer: this all feels a bit silly to me, but the intention (I am no expert on this lambda stuff) is that it shows how "closures" (or whatever) can be simulated quite easily with routine_ids and data. Petelomax (talk)

 :-) It could certainly seem like a laborious route to integer arithmetic, but Peano numbers and Church encoding have an interest of their own in the history of computing theory (and even in the implementation of Smalltalk). In the Rosetta context, they can reveal the different routes which each language takes to manipulating higher-order functions.
(I moved your comment here – given the essentially anonymous/collective character of contributions, the talk page seems the more natural home for it) Hout (talk) 17:39, 13 September 2018 (UTC)
OK Pete Lomax (talk) 19:02, 13 September 2018 (UTC)