@wim_v12e just noticed you were doing lambda experiments in uxntal 👀 keep me posted. I've been scratching my head at writing a uxntal implementation of church numerals and it's kicking my butt. Any idea?

@wim_v12e If you're interested in scratching at this problem, here's this sample Joy program ported to Uxntal as an example:

LIT BRK LIT DUP LIT POP SWP ( i ) [ #00 STR $1 ] ( i ) [ #00 STR $1 ]

dev.to/palm86/church-encoding-

@neauoire @wim_v12e
would be

0 ‚ DROP ‚ SWAP EXECUTE EXECUTE

in Forth
(That is ‚ is tick not comma - Mastodon App uses „smart“ quotes. Can I quote code e.g. like in markdown?)

Follow

@neauoire @wim_v12e
With some editing 🙂

0 ‘ DROP ‘ SWAP EXECUTE EXECUTE

Tha is straight apostrophe not backtick

Sign in to participate in the conversation
Mastodon

The original server operated by the Mastodon gGmbH non-profit