/prog/ - How to use the lambda calculus...

Name: Anonymous 2014-05-28 23:40

... to implement a programming language.

Something about the lambda calculus and the machine code of the computer architecture. No assembly, no C.

Name: That feel when no deaf qt gf 2014-05-29 0:05

here's how Youre language ----> lambda calculus

church encode data types, language constructs should easily translate

Name: Anonymous 2014-05-29 5:51

You just don't use lambda calculus.
Because lambda calculus is a useless academic doodoo.

Name: Anonymous 2014-05-29 10:28

Look at languages like iota, jot and unlambda.

Name: Anonymous 2014-05-29 11:03

Isn't lambda just anomymous functions? Whattafug is lambda calculus?

Name: Anonymous 2014-05-29 11:04

>>5
le epic troll

Name: Anonymous 2014-05-29 11:08

>>6
_{_{_{or uneducated}}}

Name: Anonymous 2014-05-29 11:25

>>5
It's when academic idiots encode numbers with anonymous functions. These fuckbrains live in unary. Instead of writing "4" they write f(f(f(f(0)))). That's what lambda calculus is about.

Name: Anonymous 2014-05-29 12:10

>>4

jot

shalom!

Name: Anonymous 2014-06-01 16:27

>>8
But doesn't that raise complexity through the roof?

Name: Anonymous 2014-06-01 16:31

>>8
HEY GUISE LOOK AT MY COOL NEW THING THAT I CREATED!!!!!!
f(x) = x + 1

Name: Anonymous 2014-06-01 16:32

>>10
Yes, but it's so ACADEMIC and FORMAL. They describe their toy academic languages in lambda calculus or some modification of it with lots of squiggly little symbols. Of course, it's all useless for creating programming languages, but perfect to write papers with.

Name: Anonymous 2014-06-01 17:06

>>12
all these academic papers yet the web is made in PHP and desktop software is programmedin C

Name: Anonymous 2014-06-01 17:09

>>13
Try rewriting C in lambda calculus.

Name: Anonymous 2014-06-01 17:13

>>14
You can not rewrite C because C is not a implemetation but a programming language

Name: Anonymous 2014-06-01 17:27

>>15
Redefine, whatever. Make a language equivalent to C but defined through lambda calculus alone.

Name: Anonymous 2014-06-01 17:36

>>16
this wouldnt be hard at all

Name: Anonymous 2014-06-01 17:52

>>17
Your anus wouldn't be hard at all.

Name: Anonymous 2014-06-01 19:25

>>16

I wrote a brainfuck interpreter in lambda calculus. C is a primitive language and shouldn't be too hard to implement in brainfuck.

Name: Anonymous 2014-06-01 19:34

>>19
actually all you have to do is write a LLVM interpreter in brainfuck.

Name: L. A. Calculus 2014-06-03 7:42

STOP TALKING ABOUT ME U FUKIN MATH BOY RETOIDS

Name: Anonymous 2014-06-03 7:48

>>21
I miss him.

Name: Anonymous 2014-06-03 12:11

>>22

rest in peaces

How to use the lambda calculus...

1 Name: Anonymous 2014-05-28 23:40

2 Name: That feel when no deaf qt gf 2014-05-29 0:05

3 Name: Anonymous 2014-05-29 5:51

4 Name: Anonymous 2014-05-29 10:28

5 Name: Anonymous 2014-05-29 11:03

6 Name: Anonymous 2014-05-29 11:04

7 Name: Anonymous 2014-05-29 11:08

8 Name: Anonymous 2014-05-29 11:25

9 Name: Anonymous 2014-05-29 12:10

10 Name: Anonymous 2014-06-01 16:27

11 Name: Anonymous 2014-06-01 16:31

12 Name: Anonymous 2014-06-01 16:32

13 Name: Anonymous 2014-06-01 17:06

14 Name: Anonymous 2014-06-01 17:09

15 Name: Anonymous 2014-06-01 17:13

16 Name: Anonymous 2014-06-01 17:27

17 Name: Anonymous 2014-06-01 17:36

18 Name: Anonymous 2014-06-01 17:52

19 Name: Anonymous 2014-06-01 19:25

20 Name: Anonymous 2014-06-01 19:34

21 Name: L. A. Calculus 2014-06-03 7:42

22 Name: Anonymous 2014-06-03 7:48

23 Name: Anonymous 2014-06-03 12:11