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 can
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 samples (runnable and twe
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
Hi Christophe,
> So here is a snippet:
> http://pastebin.com/ydJj2DUU
> ...
> Could someone explain me why the symbol 'code is
> bound to 'X in the first pass, but to NIL thereafter?
I don't want to dig into this one.
But in general, forget about all those 'println's in the code. There are
power
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
thing
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.
Cou