@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?
Follow
@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 ]
https://dev.to/palm86/church-encoding-in-the-concatenative-language-joy-3nd8
@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?
@wim_v12e The Church bools and AND operator in uxntal:
( true #02 ) LIT POP
( false #03 ) LIT NIP
( and ) DUP [ #00 STR $1 ]