/prog/ - Incrementalizing λ-calculi by static differentiation

Name: Anonymous 2015-02-20 7:42

Is this for real? This is almost like a ``Fundamental Theorem of λ-calculus.''

http://lambda-the-ultimate.org/node/5115

Name: Anonymous 2015-02-20 8:23

That's a great idea. Surprised to see LtU in /gorp/.

Name: Anonymous 2015-02-20 11:01

Challenge: write a `Hello world' program in Lambda Calculus.

Name: Anonymous 2015-02-20 11:12

>>2
Are you new around here?

Name: Anonymous 2015-02-20 12:02

>>4
I've posted LtU myself a few times but I have only seen it posted once or twice by others. Maybe you're less surprised because you have seen the posts I made.

Name: Anonymous 2015-02-20 13:23

Bringing stuff from ltu is a terrible idea. Here's why:
* The quality of discussion here will be lowe than that on ltu.
* The retards from here might bleed into ltu.

Dear OP, I implore you to delete your thread.

Name: Anonymous 2015-02-20 20:02

>>3
It's too hard for them, I've already tried.

Name: Anonymous 2015-02-21 3:46

>>5
But Onii-chan, I've posted LtU at least a dozen times on the old world4ch /prog/.

Name: Anonymous 2015-02-21 6:05

I hate returning to /prog/ and finding no responses to any of my shitposts!

Name: Anonymous 2015-02-21 6:10

>>9
Tell me which one was yours and I'll retweet it.

Name: Anonymous 2015-02-21 7:14

>>9
It has been read and appreciated, but no one has yet come up with a worthy response.

Name: Anonymous 2015-02-21 8:32

>>11
Is it

HAX MY ANUS

?

Incrementalizing λ-calculi by static differentiation

1 Name: Anonymous 2015-02-20 7:42

2 Name: Anonymous 2015-02-20 8:23

3 Name: Anonymous 2015-02-20 11:01

4 Name: Anonymous 2015-02-20 11:12

5 Name: Anonymous 2015-02-20 12:02

6 Name: Anonymous 2015-02-20 13:23

7 Name: Anonymous 2015-02-20 20:02

8 Name: Anonymous 2015-02-21 3:46

9 Name: Anonymous 2015-02-21 6:05

10 Name: Anonymous 2015-02-21 6:10

11 Name: Anonymous 2015-02-21 7:14

12 Name: Anonymous 2015-02-21 8:32