/prog/ - λ — World4ch

Name: Anonymous 2008-06-29 21:26

Mwuhahaha. I implemented a λ-calculus evaluator in Haskell. Then I implemented a Lisp interpeter with that λ-calculus. Then I boot-strapped it and implemented another Lisp interpreter¹ in the Lisp interpreter. Then I implemented another λ-calculus interpreter with the second Lisp and ran my original Lisp interpreter inside it. Then I started writing a Ruby implementation but decided not to because Ruby is slow as fuck.

¹Roots of Lisp by Paul Graham <http://lib.store.yahoo.net/lib/paulgraham/jmc.lisp>;

Name: Anonymous 2008-06-29 21:30

>>1
Thank you. Goodbye.

Name: Anonymous 2008-06-29 21:32

>>2
That's what I said to your mother last night.

Name: Anonymous 2008-06-29 21:33

>>3
Shut up, dad.

Name: Anonymous 2008-06-29 21:38

>>4
That's what Oedipus said.

Name: Anonymous 2008-06-30 2:03

>>5
That's what Jocasta said.

Name: Anonymous 2008-06-30 5:41

>>6
That's what... DAMMIT!

Name: Anonymous 2008-06-30 17:29

>>6
This thread is over my intellectual level and I have a small tinge of negative feeling over this fact :(

Name: Anonymous 2009-03-06 5:46

The first is some Jewish infinite loop and plenty of open source java games that could use your help with C So i did that got punched in the face by the headmaster for my ridikulus ideas.

Name: Anonymous 2010-10-12 0:27

⁶⁶aaa bbb ccc⁹⁹

Name: Anonymous 2010-10-12 0:27

⁶⁶aaa bbb ccc⁹⁹

Name: Anonymous 2010-10-12 0:34

^{^{^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}}} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}}}} ___    // 7 (_,_/[br]\ [br] \ [br] _\ \__ (   \    ) \___\___/^{^{^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}}} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/} ___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/^{___

   // 7

(_,_/[br]\ [br] \ [br] _\ \__

(   \    )

\___\___/}}}}

Name: Anonymous 2010-10-12 0:35

aaa bbb ccc

Name: Anonymous 2010-10-12 0:35

aaa bbb ccc

Name: Anonymous 2010-10-12 0:35

aaa bbb ccc

Name: Anonymous 2010-10-12 0:36

aaa bbb ccc

Name: Anonymous 2010-10-12 0:36

aaa bbb ccc

Name: Anonymous 2010-10-12 0:36

___ // 7 (_,_/[br]\ [br] \ [br] _\ \__ ( \ ) \___\___/

Name: Anonymous 2010-10-12 0:37

[m] ___
// 7
(_,_/[/m][m]
\ [br] \ [/m] _\ \__ ( \ ) \___\___/

Name: Anonymous 2010-10-12 0:42

___ /_|_[br] | | | | | | / [br] ( ) \__|__/

Name: Anonymous 2010-10-12 0:42

___ /_|_\ | | | | | | / \ ( ) \__|__/

Name: Anonymous 2010-10-12 0:43

___ /_|_\ | | | | | | / \ ( ) \__|__/

Name: Anonymous 2010-10-12 0:43

___ /_|_\ | | | | | | / \ ( ) \__|__/

Name: Anonymous 2010-10-12 0:44

___ /_|_\ | | | | | | / \ ( ) \__|__/

Name: Anonymous 2010-10-12 0:45

___    /_|_\    |   |    |   |    |   | /    \ (    ) \__|__/^{___

   /_|_\

   |   |

   |   |

   |   |

/    \

(    )

\__|__/}

Name: Anonymous 2010-10-12 0:46

   ___ /_|_\ |   | |   | |   |    /    \ (    )    \__|__/^{___

/_|_\

|   |

|   |

|   |

   /    \

(    )

   \__|__/}

Name: Anonymous 2010-10-12 0:47

^{___

/_|_\

|   |

|   |

|   |

   /    \

(    )

   \__|__/}    ___ /_|_\ |   | |   | |   |    /    \ (    )    \__|__/

λ

Name: Anonymous 2008-06-29 21:26

Name: Anonymous 2008-06-29 21:30

Name: Anonymous 2008-06-29 21:32

Name: Anonymous 2008-06-29 21:33

Name: Anonymous 2008-06-29 21:38

Name: Anonymous 2008-06-30 2:03

Name: Anonymous 2008-06-30 5:41

Name: Anonymous 2008-06-30 17:29

Name: Anonymous 2009-03-06 5:46

Name: Anonymous 2010-10-12 0:27

Name: Anonymous 2010-10-12 0:27

Name: Anonymous 2010-10-12 0:34

Name: Anonymous 2010-10-12 0:35

Name: Anonymous 2010-10-12 0:35

Name: Anonymous 2010-10-12 0:35

Name: Anonymous 2010-10-12 0:36

Name: Anonymous 2010-10-12 0:36

Name: Anonymous 2010-10-12 0:36

Name: Anonymous 2010-10-12 0:37

Name: Anonymous 2010-10-12 0:42

Name: Anonymous 2010-10-12 0:42

Name: Anonymous 2010-10-12 0:43

Name: Anonymous 2010-10-12 0:43

Name: Anonymous 2010-10-12 0:44

Name: Anonymous 2010-10-12 0:45

Name: Anonymous 2010-10-12 0:46

Name: Anonymous 2010-10-12 0:47

Name: 2010-10-21 16:47

Name: Anonymous 2011-02-03 7:28

Name: Sgt.Kabukiman芬橜 2012-05-24 9:51

Name: bampu pantsu 2012-05-29 4:00

λ

1 Name: Anonymous 2008-06-29 21:26

2 Name: Anonymous 2008-06-29 21:30

3 Name: Anonymous 2008-06-29 21:32

4 Name: Anonymous 2008-06-29 21:33

5 Name: Anonymous 2008-06-29 21:38

6 Name: Anonymous 2008-06-30 2:03

7 Name: Anonymous 2008-06-30 5:41

8 Name: Anonymous 2008-06-30 17:29

9 Name: Anonymous 2009-03-06 5:46

10 Name: Anonymous 2010-10-12 0:27

11 Name: Anonymous 2010-10-12 0:27

12 Name: Anonymous 2010-10-12 0:34

13 Name: Anonymous 2010-10-12 0:35

14 Name: Anonymous 2010-10-12 0:35

15 Name: Anonymous 2010-10-12 0:35

16 Name: Anonymous 2010-10-12 0:36

17 Name: Anonymous 2010-10-12 0:36

18 Name: Anonymous 2010-10-12 0:36

19 Name: Anonymous 2010-10-12 0:37

20 Name: Anonymous 2010-10-12 0:42

21 Name: Anonymous 2010-10-12 0:42

22 Name: Anonymous 2010-10-12 0:43

23 Name: Anonymous 2010-10-12 0:43

24 Name: Anonymous 2010-10-12 0:44

25 Name: Anonymous 2010-10-12 0:45

26 Name: Anonymous 2010-10-12 0:46

27 Name: Anonymous 2010-10-12 0:47

28 Name: ​​​​​​​​​​ 2010-10-21 16:47

29 Name: Anonymous 2011-02-03 7:28

30 Name: Sgt.Kabukiman芬橜 2012-05-24 9:51

31 Name: bampu pantsu 2012-05-29 4:00

Name: Anonymous 2008-06-29 21:26

Name: Anonymous 2008-06-29 21:30

Name: Anonymous 2008-06-29 21:32

Name: Anonymous 2008-06-29 21:33

Name: Anonymous 2008-06-29 21:38

Name: Anonymous 2008-06-30 2:03

Name: Anonymous 2008-06-30 5:41

Name: Anonymous 2008-06-30 17:29

Name: Anonymous 2009-03-06 5:46

Name: Anonymous 2010-10-12 0:27

Name: Anonymous 2010-10-12 0:27

Name: Anonymous 2010-10-12 0:34

Name: Anonymous 2010-10-12 0:35

Name: Anonymous 2010-10-12 0:35

Name: Anonymous 2010-10-12 0:35

Name: Anonymous 2010-10-12 0:36

Name: Anonymous 2010-10-12 0:36

Name: Anonymous 2010-10-12 0:36

Name: Anonymous 2010-10-12 0:37

Name: Anonymous 2010-10-12 0:42

Name: Anonymous 2010-10-12 0:42

Name: Anonymous 2010-10-12 0:43

Name: Anonymous 2010-10-12 0:43

Name: Anonymous 2010-10-12 0:44

Name: Anonymous 2010-10-12 0:45

Name: Anonymous 2010-10-12 0:46

Name: Anonymous 2010-10-12 0:47

Name: 2010-10-21 16:47

Name: Anonymous 2011-02-03 7:28

Name: Sgt.Kabukiman芬橜 2012-05-24 9:51

Name: bampu pantsu 2012-05-29 4:00