@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 The ( i ) had me puzzled but it's just an inline comment, isn't it?

I think I will change my quoting approach to be more in line with Joy, that might be a good starting point. Then I can implement cat in my system.

What does the $1 do in your AND operation?

Follow

@d6 @neauoire What does that mean? Does it add a 0 byte to the program?

· · Web · 1 · 0 · 0

@wim_v12e @neauoire yes, it creates a space to write into with the STR instruction (that won't overwrite anything you care about)

@d6 @wim_v12e It's the same as:

$1 = 00
$2 = 0000
$3 = 0000 00
$4 = 0000 0000

I use that close closing strings usually, and for self-modifying code.

Sign in to participate in the conversation
Cybrespace

cybrespace: the social hub of the information superhighway jack in to the mastodon fediverse today and surf the dataflow through our cybrepunk, slightly glitchy web portal support us on patreon or liberapay!