Jump to content

Talk:Combinator

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

Can someone remember the definition of Y in terms of S and K?


Unless I made a computation error, it's

	V = (S (S (K S) (S (K K) I)) (S (S (K S) (K I)) (K I)))
	Y = (S V V)

Not very enlightening, is it? -- Mark Jason Dominus 20021122 232217


Just for the purists, that's

Y = (S (S (S (K S) (S (K K) I)) (S (S (K S) (K I)) (K I))) (S (S (K S) (S (K K) I)) (S (S (K S) (K I)) (K I))))

if you want it in one go. Not very illuminating, indeed.

Start a discussion about improving the Combinator page

Start a discussion