@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

@neauoire I was looking at lambda functions, not at the lambda calculus. I was mainly curious to see if I could have anonymous functions and quoting.
I'll have a look though as it is interesting. But you seem to have already done it?

· · Web · 1 · 0 · 0

@wim_v12e no, not completely, I have a draft of some things, but I haven't been able to add 2 church numbers together in uxntal yet :<

@neauoire The main difference with Joy is that in Uxntal you can't have quoted lists on the stack. You could of course put them in memory and that is the approach I've taken, but I imagine that is not what to had in mind, because the list manipulation involves counting so it kind of defeats the purpose. Otoh, the VM also needs to count to manage the stack ...

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!