Re: A symbol that is bound only once

On Wed, Dec 30, 2015 at 10:06:57PM +0100, Christophe Gragnic wrote: > This little program is just a step in a transformation that exhibits the Y > combinator. «code» is meant to be bound to this code: > '((partial) (list '(n) (list 'if '(=0 n) 1 (list '* 'n (list partial > '(- n 1)) > so we

Re: A symbol that is bound only once

On Tue, Dec 29, 2015 at 11:40 PM, Rick Hanson wrote: > I admit that I didn't watch the video; You should ! The guy is funny. Alternatively you can read a page where I translate every step to PicoLisp: http://galerie.microalg.info/profgra:tests:y_combinator with live code

Re: A symbol that is bound only once

I admit that I didn't watch the video; so I don't know why `code` is even needed, considering that the following expression (which is your original expression but without `code` parts) gives you what you want anyway. (('((Gen) (Gen Gen)) '((Gen) ('((Partial) (list '(N) (list 'if '(=0

A symbol that is bound only once

Hi all, Sorry for this cryptic subject. I couldn't find a better one. So here is a snippet: http://pastebin.com/ydJj2DUU (also as an attached file and pasted at the end of this email). It's from this video: https://www.youtube.com/watch?v=FITJMJjASUs that I'm trying to translate to PicoLisp.

Re: A symbol that is bound only once

On Mon, Dec 28, 2015 at 10:46:34PM +0100, Christophe Gragnic wrote: > Hi all, > Sorry for this cryptic subject. I couldn't find a better one. > > So here is a snippet: > http://pastebin.com/ydJj2DUU BTW, another issue: It would be wise to stick with the PicoLisp coding conventions, to make