:lambda: calculus

okay i'll curry it

I don't under stand how this works:

Where'd you find it? It looks to me like @warped_wart_wars's code, certainly not mine. And it looks like it uses Jens's new metaprogramming support.

Yes it is
And I don't know what jens did to it

It is my code.


i dont like the restricted inputs either. here's a modified version that lets you do whatever you want if youd like.

But bh don't allow that for :lambda: calculus

oh okay well by all means, do it the correct way!

Is this correct currying?
untitled script pic (3)


But it doesn't look right
untitled script pic (4)

Yeah, I know. What can I say, the Snap! UI wasn't designed for lambda calculus.

The ?: block keeps breaking other blocks
untitled script pic (5)

Because Snap! doesn't use normal order evaluation, you have to make IF be a special form, in order for it to work in recursive functions. I dunno if that's the problem you're seeing.

As for the X out of scope, does your implementation of lambda manage to evaluate the procedure body in an environment in which its parameter is bound to the argument value in the call? You may need to build explicit environments as alists or something instead of relying on Snap! variables.

i'll stick to call and grey rings

I don't have time on holidays
thats werid
bc im not watching boring sky class

untitled script pic (6)
i have trouble naming this
also,does my identy function mispell?

I'd call it self apply.


i have trouble on numbers because i completely forgot church numerals in the past year :C
but good news is,logic ops done