|
2947
|
1 2003-07-06.txt:16:17:27: <Andreou> RPN? then /j #nop3 :)))))
|
|
|
2 2004-06-11.txt:20:34:19: <lament> :)))))))))))))))))))))))))))))
|
|
|
3 2005-05-18.txt:20:34:31: <kipple> then they give you a page full of ))))))))))))))))))
|
|
|
4 2005-05-28.txt:23:21:17: <lament> gopher would be even better than ftp :))))))
|
|
|
5 2005-06-14.txt:23:12:24: <GregorR> Oh, btw, about Lisp, lament: hear hear))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
|
6 2005-06-14.txt:23:12:24: <GregorR> ))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
|
7 2005-08-05.txt:19:04:27: <int-e> S = lxyz.xz(yz) is an abbreviation for (lx.(ly.(lz.((xz)(yz)))))
|
|
|
8 2005-08-05.txt:19:06:31: <int-e> Sabc = (((Sa)b)c) = ((((lx.(ly.(lz.((xz)(yz)))))a)b)c) = (((ly.(lz.((az)(yz))))b)c) = ((lz.((az)(bz)))c) = ((ac)(bc))
|
|
|
9 2005-08-05.txt:20:34:55: <calamari> ((((lx.(ly.(lz.((xz)(yz)))))a)b)c) = (((ly.(lz.((az)(yz))))b)c), why is lx removed and not lz? that's what's confusing me
|
|
|
10 2005-08-05.txt:20:35:32: <int-e> I reduce the subterm ((lx.(ly.(lz.((xz)(yz)))))a)
|
|
|
11 2005-08-05.txt:23:24:34: <int-e> I was somehow thinking of numbers as fffffffx instead of f(f(f(f(fx))))) ...
|
|
|
12 2005-08-06.txt:01:15:52: <int-e> --> (?f.f (?x y.x) (?x y.x (x y)) (?x y.x (x (x (x (x (x y)))))))
|
|
|
13 2005-08-06.txt:01:57:22: <int-e> new lsub: (\a b.\g x.(a <pow> I (b <pow> (K x))) ((\x.x x) (\f x.g (x (f f)))))
|
|
|
14 2005-08-10.txt:00:40:11: <jix> did ?z x y.x (z x y) => (S (K (S (S (K S) (S (K K) I))))) (S (S (K S) (S (K (S (K S))) (S (K (S (K K))) (S (S (K S) (S (K K) I)) (K I))))) (K (K I)))
|
|
|
15 2005-08-10.txt:00:55:08: <jix> did (?x y z.x z y) => (S (S (K S) (S (K K) (S (K S) (S (S (K S) (S (K K) I)) (K I))))) (K (S (K K) I))) in 10 mins
|
|
|
16 2005-09-18.txt:01:45:16: <Keymaker> like for example ((((()))))
|
|
|
17 2005-10-20.txt:17:17:49: <graue> jix: nowhere :)))))))))
|
|
|
18 2005-10-30.txt:00:05:50: <GregorR> NOOOOOOOOOOOOOOOO! TURN AWAY, BEFORE THE POWER OF LISP ENTANGLES YOU)))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
|
19 2005-10-30.txt:00:14:10: <GregorR> NOOOOOOOOOOOOOOOOOOOOOOOOOOOO!))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
|
20 2005-10-30.txt:00:15:42: <GregorR> )))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) is always a problem.
|
|
|
21 2005-10-30.txt:00:37:12: <fizzie> And I only have a ")))))))))))" in the Glass compiler thing, no longer strings of parens.
|
|
|
22 2005-11-05.txt:16:01:00: <jix> GregorR_: ... target)))))))) ;)
|
|
|
23 2005-11-05.txt:17:17:08: <jix> use lisp!)))))) ;)
|
|
|
24 2005-11-06.txt:16:10:58: <int-e> (defun curry3 (f) (lambda (x) (lambda (y) (lambda (z) (funcall f x y z)))))
|
|
|
25 2005-11-26.txt:21:08:25: <ihope> So far, I have ack 3 (ack 1 (ack 1 (ack 1 (ack 0 (ack 1 4))))).
|
|
|
26 2005-11-27.txt:19:12:56: <fizzie> 3.80 seconds to calculate the value of (letrec ((fib (lambda (n) (if (= n 1) 0 (if (= n 2) 1 (+ (fib (- n 2)) (fib (- n 1)))))))) (fib 8)) -- this must be one of the slowest scheme systems ever built.
|
|
|
27 2006-01-01.txt:18:36:30: <SimonRC> heh: ((lambda (x) (list x (list (quote quote) x))) (quote (lambda (x) (list x (list (quote quote) x)))))
|
|
|
28 2006-01-15.txt:02:34:44: <lament> ((((((((((()))))))))))
|
|
|
29 2006-02-25.txt:00:53:27: <ihope> \a b c d e f g -> a g (f g) (e g (f g)) (d g (f g) (e g (f g))) (c g (f g) (e g (f g)) (d g (f g) (e g (f g)))) (b g (f g) (e g (f g)) (d g (f g) (e g (f g))) (c g (f g) (e g (f g)) (d g (f g) (e g (f g)))))
|
|
|
30 2006-03-10.txt:21:32:47: <jix> RoboGregorR: pha just because you arn't used to the lisp syntax))))))))))
|
|
|
31 2006-03-20.txt:16:02:41: <ihope> B(1,1,1) = B(0,B(1,0,1),B(1,1,0)) = B(0,B(0,1,1),B(1,0,1)) = B(0,A(1,1),B(0,1,1)) = B(0,A(0,A(1,0)),A(1,1)) = B(0,A(0,A(0,1)),A(0,A(1,0))) = B(0,A(0,2),A(0,A(0,1))) = B(0,3,A(0,2)) = B(0,3,3) = A(3,3) = A(2,A(3,2)) = A(2,A(2,A(3,1))) = A(2,A(2,A(2,A(3,0)))) = A(2,A(2,A(2,A(2,1)))) = A(2,A(2,A(2,A(1,A(2,0))))) = A(2,A(2,A(2,A(1,A(2,0)))))
|
|
|
32 2006-04-27.txt:01:24:57: <calamari> consider a loop ((((([...)))))] if I have a negative number and jump to the (((( then I still have to climb out of the negs, I don't start at zero like I did the first time
|
|
|
33 2006-05-30.txt:01:37:23: <ihope> Hmm, aleph(aleph(aleph(aleph(aleph(aleph(aleph(...)))))))
|
|
|
34 2006-07-27.txt:05:37:56: <thematrixeatsyou> (((((((((())))))))))(()()()()()()()()()()()()()()()()())((()()()()())((())(())(())(())(())(())(())(()))(()()()()()()()))((()()()()()()()()())(())()()()()()()())
|
|
|
35 2006-07-27.txt:06:04:18: <thematrixeatsyou> then again, the (((((((((())))))))))(()()()()()()()()()()()()()()()()())((()()()()())((())(())(())(())(())(())(())(()))(()()()()()()()))((()()()()()()()()())(())()()()()()()()) would ring a wtf
|
|
|
36 2006-08-29.txt:00:44:14: <ihope> #do eval ((lambda (x) (list x (list (quote quote) x))) (quote (lambda (x) (list x (list (quote quote) x)))))
|
|
|
37 2006-08-29.txt:00:44:15: <GreyKnight> #do eval ((lambda (x) (list x (list (quote quote) x))) (quote (lambda (x) (list x (list (quote quote) x)))))
|
|
|
38 2006-08-29.txt:00:44:17: <GreyKnight> #> '((LAMBDA (X) (LIST X (LIST (QUOTE QUOTE) X))) (QUOTE (LAMBDA (X) (LIST X (LIST (QUOTE QUOTE) X)))))
|
|
|
39 2006-08-29.txt:08:28:06: <GreyKnight> We were using (defun ackermann (a b) (if (= a 0) (1+ b) (if (< a 0) 0 (if (= b 0) (ackermann (1- a) 1) (ackermann (1- a) (ackermann a (1- b)))))))
|
|
|
40 2006-08-29.txt:19:11:00: <ihope> lamentLikes x = length x == 6 && head x == 'P' && head (tail x) == 'y' && head (tail (tail x)) == 't' && head (tail (tail (tail x))) = 'h' && head (tail (tail (tail (tail x)))) = 'o' && head (tail (tail (tail (tail (tail x))))) = 'n'
|
|
|
41 2006-09-06.txt:01:07:10: <ihope> (defun foldr (f b l) (cond ((null l) b) (something (f (car l) (foldr f b (cdr l)))))) <- my little foldr function
|
|
|
42 2006-09-06.txt:01:09:40: <ihope> (defun foldr (f b l) (if (null l) b (f (car l) (foldr f b (cdr l)))))?
|
|
|
43 2006-09-06.txt:01:18:01: <Razor-X> (define (fold-right function initial list) (if (null? list) (function initial initial) (if (null? (cdr list)) (function initial (car list)) (fold-right function (function initial (car list)) (cdr list)))))
|
|
|
44 2006-11-05.txt:03:08:13: <SevenInchBread> ha":"values").values()))))()].__dict__.[lambda: "__class__"()].__dict__[lambda "".join(list("".join(list("__len__"))))()].__call__.__call__.__call__.__call__())
|
|
|
45 2006-11-22.txt:05:00:11: <SimonRC> PLUS = (LAMBDA (X Y) (X (LAMBDA () Y) (LAMBDA (N) (SUCC (PLUS N Y)))))
|
|
|
46 2006-11-22.txt:05:02:55: <SimonRC> plus = (lambda (x y) (x (lambda () y) (lambda (n) (succ (plus n y)))))
|
|
|
47 2006-11-22.txt:05:08:37: <SimonRC> NAT-TO-CHURCH = (LAMBDA (N) (LAMBDA (F) (LAMBDA (X) (N (LAMBDA () X) (LAMBDA (M) (F (NAT-TO-CHURCH M))))))
|
|
|
48 2006-11-22.txt:05:11:16: <SimonRC> NAT-TO-CHURCH = (LAMBDA (N) (LAMBDA (F X) (N (LAMBDA () X) (LAMBDA (M) F (NAT-TO-CHURCH M))))))
|
|
|
49 2006-12-22.txt:02:15:05: <bsmntbombdood> given (defun a (m n) (cond ((= m 0) (+ n 1)) ((and (> m 0) (= n 0)) (a (- m 1) 1)) ((and (> m 0) (> n 0)) (a (- m 1) (a m (- n 1)))))), does (a 10 13) terminate?
|
|
|
50 2006-12-22.txt:02:16:11: <bsmntbombdood> given (defun a (m n) (cond ((= m 0) (+ n 1)) ((and (> m 0) (= n 0)) (a (- m 1) 1)) ((and (> m 0) (> n 0)) (a (- m 1) (a m (- n 1)))))), compute (a 4 3) please
|
|
|
51 2006-12-22.txt:02:37:12: <bsmntbombdood> given that (defun f (x y) (cond ((> x y) (f y x) (t (f (+ x y) y))))), does (f 2 1) terminate? does (f 1 2) terminate?
|
|
|
52 2007-01-07.txt:01:30:02: <ihope> ~pexec self.register_raw(r"\S+ PRIVMSG (\S+) :~list (.*)", lambda x,y : bot.raw("PRIVMSG %s :%s" % (y.group(1), list(y.group(2)))))
|
|
|
53 2007-01-18.txt:05:22:46: <oklopol> :)))))
|
|
|
54 2007-01-21.txt:07:40:24: <CakeProphet> ~exec import random;self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout(random.randint(1,int(y.groups("d")))))
|
|
|
55 2007-01-21.txt:07:40:50: <CakeProphet> ~exec import random;self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout(str(random.randint(1,int(y.groups("d"))))))
|
|
|
56 2007-01-21.txt:07:41:32: <CakeProphet> ~exec import random;self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout(str(random.randint(1,int(y.group("d"))))))
|
|
|
57 2007-01-21.txt:07:42:25: <CakeProphet> ~exec import random;self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout(str(__import__("random").randint(1,int(y.groups("d"))))))
|
|
|
58 2007-01-21.txt:07:44:32: <CakeProphet> ~exec import random;self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout.write(str(__import__("random").randint(1,int(y.groups("d"))))))
|
|
|
59 2007-01-21.txt:07:46:04: <CakeProphet> ~exec import random;self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout.write(str(__import__("random").randint(1,int(y.group("d"))))))
|
|
|
60 2007-01-21.txt:07:47:44: <CakeProphet> ~exec globals()["random"] = __import__("random");self.register_raw("^\S* PRIVMSG #esoteric : *~roll (?P<d>\d*) *$", lambda x,y: sys.stdout.write(str(random.randint(1,int(y.group("d"))))))
|
|
|
61 2007-01-21.txt:07:56:33: <CakeProphet> ~exec self.__class__.imlazy = lambda x,f: self.register_raw("^\S* PRIVMSG #esoteric : *%s (?:(?: (.*?) ))* *", lambda ge,ha: sys.stdout(str(f(*ha.groups()))))
|
|
|
62 2007-01-21.txt:07:57:13: <CakeProphet> ~exec self.__class__.imlazy = lambda x,f: self.register_raw("^\S* PRIVMSG #esoteric : *%s (?:(?: (.*?) ))* *" % x, lambda ge,ha: sys.stdout(str(f(*ha.groups()))))
|
|
|
63 2007-01-21.txt:07:58:33: <CakeProphet> ~exec self.__class__.imlazy = lambda x,f: self.register_raw("^\S* PRIVMSG #esoteric : *%s (?P<inp>.*)$" % x, lambda ge,ha: sys.stdout(str(f(*ha.group("inp")))))
|
|
|
64 2007-01-21.txt:07:59:25: <CakeProphet> ~exec self.__class__.imlazy = lambda self, x,f: self.register_raw("^\S* PRIVMSG #esoteric : *%s (?P<inp>.*)$" % x, lambda ge,ha: sys.stdout(str(f(*ha.group("inp")))))
|
|
|
65 2007-01-21.txt:08:01:27: <CakeProphet> ~exec self.__class__.imlazy = lambda self, x,f: self.register_raw("^\S* PRIVMSG #esoteric : *%s (?P<inp>.*)$" % x, lambda ge,ha: sys.stdout(str(f(ha.group("inp")))))
|
|
|
66 2007-01-27.txt:13:19:03: <LeaLeaLea> :)))))
|
|
|
67 2007-01-27.txt:13:19:10: <LeaLeaLea> :)))))))))))))))))))))
|
|
|
68 2007-01-29.txt:23:58:27: <bsmntbombdood> (define (curry f . x) (lambda (a . rest) (apply f (append x (cons a rest)))))
|
|
|
69 2007-02-01.txt:00:54:25: <bsmntbombdood> (define fibs (cons-stream 0 (cons-stream 1 (stream-add fibs (stream-cdr fibs)))))
|
|
|
70 2007-02-10.txt:23:59:51: <oerjan> (define (f n) (cond ((perfect n) 1) (else (f (+ n 2))))) (f 3)
|
|
|
71 2007-02-22.txt:16:59:35: <EgoBot> ((((((((((((((((Hello, world!))))))))))))))))
|
|
|
72 2007-02-24.txt:18:51:51: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2))))))
|
|
|
73 2007-02-24.txt:18:52:29: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
74 2007-02-24.txt:18:53:11: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
75 2007-02-24.txt:18:54:19: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
76 2007-02-24.txt:19:21:54: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
77 2007-02-24.txt:19:27:09: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
78 2007-02-24.txt:19:28:49: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
79 2007-02-25.txt:00:51:10: <bsmntbombdood> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :~ski (.*)", lambda x,y: bot.raw("PRIVMSG %s :%s" % (y.group(1), ski_repl.unparse(ski_repl.simp(ski_repl.parse(y.group(2)))))))
|
|
|
80 2007-02-26.txt:16:11:03: <oerjan> ~exec self.register_raw(~exec self.register_raw(r"\S+ PRIVMSG (\S+) :>>>(.*)", lambda x,y: sys.stdout(repr(eval(y.group(1)))))
|
|
|
81 2007-02-26.txt:16:11:29: <oerjan> ~exec self.register_raw(~exec self.register_raw(r"\S+ PRIVMSG (\S+) :>>>(.*)", lambda x,y: sys.stdout(repr(eval(y.group(1))))))
|
|
|
82 2007-02-26.txt:16:11:53: <oerjan> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :>>>(.*)", lambda x,y: sys.stdout(repr(eval(y.group(1)))))
|
|
|
83 2007-02-26.txt:16:15:30: <oerjan> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :>>>(.*)", lambda x,y: sys.stdout(repr(eval(y.group(1)))))
|
|
|
84 2007-02-26.txt:16:18:00: <oerjan> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :>>>(.*)", lambda x,y: sys.stdout(repr(eval(y.group(2)))))
|
|
|
85 2007-02-26.txt:16:25:08: <oerjan> ~exec self.register_raw(r"\S+ PRIVMSG (\S+) :>>>(.*)", lambda x,y: sys.stdout(repr(eval(y.group(2)))))
|
|
|
86 2007-03-04.txt:00:37:52: <SevenInchBread> (cons (cons (cons (cons (cons nil))))) ...5, and then use the properties of lists to do arithmetic.
|
|
|
87 2007-03-16.txt:00:16:41: <oerjan> ((Y (lambda (f) (lambda (l) (f (cons 'bitch l))))) '())
|
|
|
88 2007-03-16.txt:00:21:10: <bsmntbombdood> ((lambda (x) (x x)) (lambda (f) (cons 'bitch (f f)))))
|
|
|
89 2007-03-16.txt:00:24:25: <bsmntbombdood> (cons 'bitch ((lambda (f) (cons 'bitch (f f))) (lambda (f) (cons 'bitch (f f)))))
|
|
|
90 2007-03-16.txt:00:30:35: <bsmntbombdood> ((lambda (x) (x x)) (lambda (f) (cons-stream 'bitch (f f)))))
|
|
|
91 2007-03-18.txt:09:57:12: <Sgeo> Someone please find number of digits of 2^(2^(2^(2^(2^(2^(2^0))))))
|
|
|
92 2007-03-18.txt:09:59:39: <Sgeo> (2^(2^(2^(2^(2^(2^0))))) has over 19 thousand digits
|
|
|
93 2007-03-18.txt:10:00:22: <GreaseMonkey> 2^(2^(2^(2^(2^(2^(2^0)))))) -> 2^(2^(2^(2^(2^(2^1))))) -> 2^(2^(2^(2^(2^2))))
|
|
|
94 2007-03-18.txt:10:01:01: <Sgeo> length $ show $ (2^(2^(2^(2^(2^(2^0))))))
|
|
|
95 2007-03-27.txt:16:18:30: <Figs> (d(d(d(d(d(d(d(d(4)))))))-s(4))*d(4)-d(4)
|
|
|
96 2007-03-27.txt:18:42:37: <SimonRC> ((lambda (x) (list x (list (quote quote) x))) (quote (lambda (x) (list x (list (quote quote) x)))))
|
|
|
97 2007-04-07.txt:23:39:51: <bsmntbombdood> (display ((lambda (x) (list (quote display) (list x (list (quote quote) x)))) (quote (lambda (x) (list (quote display) (list x (list (quote quote) x)))))))
|
|
|
98 2007-04-07.txt:23:50:20: <oerjan> shorter: ((lambda (x) (display (list x (list (quote quote) x)))) (quote (lambda (x) (display (list x (list (quote quote) x))))))
|
|
|
99 2007-06-16.txt:00:46:24: <bsmntbombdood> ((lambda 3 1 ((closure-ref (get-num-arg 1) 0) (get-num-arg 1) (closure (lambda 2 3 ((lambda 1 1 ((closure-ref (get-num-arg 1) 0) (get-num-arg 1) (get-num-arg 3))) (get-num-arg 2)))))) (closure (lambda 4 2 (%halt (get-num-arg 2)))))
|
|
|
100 2007-06-25.txt:18:45:27: <Arrogant> ((y-lambda (self) (λ (n) (if (zero? n) 1 (* n (self (- n 1)))))) 5) ; 120
|
|
|
101 2007-06-25.txt:18:52:31: <Arrogant> (define y-combinator (λ (x) ((λ (p) (x (λ (n) ((p p) n)))) (λ (p) (x (λ (n) ((p p) n)))))))
|
|
|
102 2007-06-25.txt:18:52:35: <Arrogant> `(y-combinator (λ (,self-symbol) ,proc)))))
|
|
|
103 2007-07-08.txt:05:54:46: <RodgerTheGreat> (((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((("lisp sucks too, if you're fucking ridiculous about it.")))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))
|
|
|
104 2007-07-23.txt:22:36:04: <oklofok> (define (div a b) ((church-less-than a b) nil) (else (+ 1 (div (sub a b) b)))))
|
|
|
105 2007-07-23.txt:22:37:40: <oklofok> (define (div a b) ((church-less-than a b) nil) (else (inc (div (sub a b) b)))))
|
|
|
106 2007-07-26.txt:23:55:55: <bsmntbombdood> (call/cc (lambda (cont) (let ((foo (lambda () (cont #f)))) (print (begin (foo) 1)))))
|
|
|
107 2007-08-26.txt:09:51:00: <oklopol> >>> sch (define factorial (lambda (a) (if (= a 0) 1 (if (= a 1) 1 (* a (factorial (- a 1)))))))(factorial 6)
|
|
|
108 2007-08-26.txt:09:52:45: <oklopol> >>> sch (define (factorial a) (cond ((= a 0) 1) ((= a 1) 1) (1 (* a (factorial (- a 1)))))) (factorial 6)
|
|
|
109 2007-08-27.txt:20:44:18: <oklopol> >>> sch (define s (lambda (a) (lambda (b) (lambda (c) ((a c) (b c))))))
|
|
|
110 2007-08-27.txt:20:45:49: <oerjan> sch (define fib (lambda (n) (if (< n 2) 1 (+ (fib (- n 1) (- n 2))))))
|
|
|
111 2007-08-27.txt:20:45:54: <oerjan> >>> sch (define fib (lambda (n) (if (< n 2) 1 (+ (fib (- n 1) (- n 2))))))
|
|
|
112 2007-08-27.txt:20:46:52: <oerjan> >>> sch (define fib (lambda (n) (if (< n 2) 1 (+ (fib (- n 1)) (fib (- n 2)))))))
|
|
|
113 2007-08-27.txt:20:48:35: <oklopol> >>> sch (define s (lambda (a) (lambda (b) (lambda (c) ((a c) (b c))))))
|
|
|
114 2007-08-27.txt:21:09:45: <oklopol> >>> sch (define s (lambda (a) (lambda (b) (lambda (c) ((a c) (b c))))))
|
|
|
115 2007-08-27.txt:21:11:51: <bsmntbombdood_> >>> sch ((lamdba (x) (list x (list (quote quote) x))) (quote (lamdba (x) (list x (list (quote quote) x)))))
|
|
|
116 2007-08-27.txt:21:13:21: <bsmntbombdood_> >>> sch ((lambda (x) (list x (list (quote quote) x))) (quote (lambda (x) (list x (list (quote quote) x)))))
|
|
|
117 2007-08-27.txt:21:15:15: <bsmntbombdood_> >> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
118 2007-08-27.txt:21:15:25: <bsmntbombdood_> >>> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
119 2007-08-27.txt:21:35:25: <oklopol> >>> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
120 2007-08-27.txt:21:43:34: <oklopol> >>> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
121 2007-08-27.txt:21:45:00: <oklopol> >>> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
122 2007-08-27.txt:21:46:21: <oklopol> >>> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
123 2007-08-27.txt:21:46:50: <oklopol> ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))))) <<< this is output if i run from command line
|
|
|
124 2007-08-27.txt:21:48:03: <bsmntbombdood_> >>> sch (((lambda (x) (x x)) (lambda (self) (lambda (a b) (if (= b 0) a ((self self) (+ a 1) (- b 1)))))) 4 5)
|
|
|
125 2007-08-27.txt:21:57:05: <oklopol> >>> sch ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))
|
|
|
126 2007-08-27.txt:21:57:06: <ololobot> ((lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ())))) (quote (lambda (x) (cons x (cons (cons (quote quote) (cons x (quote ()))) (quote ()))))))
|
|
|
127 2007-08-29.txt:00:10:15: <xor> ((lambda (x) (x x)) (lambda (self) (lambda (f) (f (lambda args (apply ((self self) f) args))))))
|
|
|
128 2007-09-13.txt:18:55:19: <ehird`> ~exec time.sleep((lambda x: 1 - x - __import__("math").floor(x))(time.time())); while True: sys.stdout(__import__("math").floor(time.time())))))))
|
|
|
129 2007-10-30.txt:17:41:00: <ololobot> -> ('s', ('s', ('k', 's'), 'k'), ('s', ('s', ('k', 's'), 'k'), ('s', ('s', ('k', 's'), 'k'), ('s', ('s', ('k', 's'), 'k'), ('s', ('s', ('k', 's'), 'k'), ('k', 'i'))))))
|
|
|
130 2007-11-03.txt:20:24:50: <oklopol> >>> sch (define s (lambda (a) (lambda (b) (lambda (c) ((a c) (b c))))))
|
|
|
131 2007-11-03.txt:20:49:44: <oklopol> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
132 2007-11-03.txt:23:51:23: <oklopol> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
133 2007-11-03.txt:23:52:10: <oklopol> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
134 2007-11-03.txt:23:53:41: <oklopol> > ((((lambda (a) (lambda (b) (lambda (c) ((a c) (b c))))) (lambda (a) (lambda (b) a))) (lambda (a) (lambda (b) a))) 8)
|
|
|
135 2007-11-04.txt:00:15:24: <oklopol> > ((((lambda (a) (lambda (b) (lambda (c) ((a c) (b c))))) (lambda (a) (lambda (b) a))) (lambda (a) (lambda (b) a))) 8)
|
|
|
136 2007-11-04.txt:00:17:05: <oklopol> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
137 2007-11-04.txt:00:17:58: <ehird`> (def s (x) (lambda (y) (lambda (z) ((x z) (y z)))))
|
|
|
138 2007-11-04.txt:00:17:59: <ehird`> > (def s (x) (lambda (y) (lambda (z) ((x z) (y z)))))
|
|
|
139 2007-11-04.txt:00:20:33: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def k (a) (lambda (b) a))
|
|
|
140 2007-11-04.txt:00:23:02: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def k (a) (lambda (b) a)) (((s k) k) 3)
|
|
|
141 2007-11-04.txt:00:24:45: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def k (a) (lambda (b) a)) (((s k) k) 3)
|
|
|
142 2007-11-04.txt:00:26:05: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def k (a) (lambda (b) a)) (((s k) k) 3)
|
|
|
143 2007-11-04.txt:00:27:16: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def k (a) (lambda (b) a)) (((s k) k) 3)
|
|
|
144 2007-11-04.txt:00:37:21: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
145 2007-11-04.txt:00:39:15: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
146 2007-11-04.txt:00:40:06: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
147 2007-11-04.txt:00:48:26: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
148 2007-11-04.txt:00:48:58: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
149 2007-11-04.txt:00:49:06: <ehird`> > (def k (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
150 2007-11-04.txt:00:49:12: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
151 2007-11-04.txt:00:49:16: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
152 2007-11-04.txt:00:49:23: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
153 2007-11-04.txt:00:49:24: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
154 2007-11-04.txt:00:49:26: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
155 2007-11-04.txt:00:49:27: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c))))) (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
156 2007-11-04.txt:00:49:58: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
157 2007-11-04.txt:00:50:56: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
158 2007-11-04.txt:00:51:01: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
159 2007-11-04.txt:00:51:05: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
160 2007-11-04.txt:00:51:06: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
161 2007-11-04.txt:00:51:09: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
162 2007-11-04.txt:00:51:12: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
163 2007-11-04.txt:00:51:14: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
164 2007-11-04.txt:00:58:12: <ehird`> > > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
165 2007-11-04.txt:00:58:15: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
166 2007-11-04.txt:00:58:20: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
167 2007-11-04.txt:01:06:50: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
168 2007-11-04.txt:01:06:51: <ehird`> > (def s (a) (lambda (b) (lambda (c) ((a c) (b c)))))
|
|
|
169 2007-11-04.txt:17:26:44: <ehird`> > (def fact (n) (if (eq n 1) 1 (* n (fact (- n 1)))))
|
|
|
170 2007-11-04.txt:17:27:47: <ehird`> > (def fact (n) (if (eq n 1) 1 (* n (fact (- n 1)))))
|
|
|
171 2007-11-04.txt:17:30:08: <ehird`> > (def fact (n) (if (eq n 1) 1 (* n (fact (- n 1)))))
|
|
|
172 2007-11-04.txt:17:31:08: <ehird`> > (def fact (n) (if (eq n 1) 1 (* n (fact (- n 1)))))
|
|
|
173 2007-11-04.txt:17:33:27: <ehird`> > (def fact (n) (if (eq n 1) 1 (* n (fact (- n 1)))))
|
|
|
174 2007-11-30.txt:16:43:07: <ihope> A(0,A(1,139)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))).
|
|
|
175 2007-12-19.txt:20:12:52: <faxathisia> the last 5 pages of the universe is alll ))))))))))))))))))))))))))))
|
|
|
176 2007-12-21.txt:18:15:50: <Slereah-> I get ((S((S((S(KS))((S(KS))((S((S(KS))((S(KK))(KS))))((S((S(KS))((S(KK))(KK))))((S(KK))I))))))(KI))((S(KK))(KI)))
|
|
|
177 2007-12-21.txt:18:21:37: <SimonRC> e.g. it turns 5,4,x into (5 4) x == (\y. 4 (4 (4 (4 (4 y))))) x = 4(4(4(4(4x))))
|
|
|
178 2007-12-21.txt:21:34:42: <faxathisia> e.g. context = new Context(Symbol.intern("succ"), new Lambda(new Cons(Symbol.intern("n"), new Nil()), new Lambda(new Cons(Symbol.intern("f"), new Cons(Symbol.intern("x"), new Nil())), new Cons(Symbol.intern("n"), new Cons(Symbol.intern("f"), new Cons(new Cons(Symbol.intern("f"), new Cons(Symbol.intern("x"), new Nil())), new Nil()))))), context);
|
|
|
179 2007-12-22.txt:02:56:07: <faxathisia> s = ((s ((s (k s)) ((s (k k)) ((s (k s)) ((s ((s (k s)) ((s (k k)) i))) (k i)))))) (k ((s ((s (k s)) ((s (k k)) i))) (k i))))
|
|
|
180 2007-12-22.txt:02:59:06: <faxathisia> \x y z w -> ((x y) (z w)) = ((s ((s (k s)) ((s (k (s (k s)))) ((s (k (s (k k)))) ((s (k (s (k s)))) ((s (k (s (k k)))) ((s ((s (k s)) ((s (k k)) i))) (k i)))))))) (k (k ((s ((s (k s)) ((s (k k)) i))) (k i)))))
|
|
|
181 2007-12-22.txt:14:27:12: <faxathisia> e.g. when you see a branch with ((s ((s (k s)) ((s (k k)) ((s (k s)) ((s ((s (k s)) ((s (k k)) i))) (k i)))))) (k ((s ((s (k s)) ((s (k k)) i))) (k i)))) in it -- which has type (a -> b -> c) -> (a -> b) -> a -> c, just replace it with s
|
|
|
182 2008-01-05.txt:21:10:06: <timotiis> (+ (fib (- n 1)) (fib (- n 2))))))
|
|
|
183 2008-01-05.txt:21:11:16: <timotiis> (else (+ (fib (- n 1)) (fib (- n 2))))))
|
|
|
184 2008-01-05.txt:21:13:30: <timotiis> (+ (fib (- n 1)) (fib (- n 2)))))
|
|
|
185 2008-01-15.txt:00:28:17: <faxlore> (first lists)))))
|
|
|
186 2008-01-15.txt:01:40:26: <ehird`> (def silly (lst) (extract (((first rest... last)) lst)) (cons last (append rest (list first)))))
|
|
|
187 2008-01-21.txt:21:30:16: <oklopol> ;)))))))))))))))))))
|
|
|
188 2008-01-22.txt:16:13:03: <ehird> (LET ((#:G2102 1) (#:G2103 1)) (LET ((#:G2104 (EQUAL #:G2102 #:G2103))) (IF #:G2104 #:G2104 (OR (ERROR (FORMAT NIL "Test failed, expected ~S but got ~S" #:G2102 #:G2103))))))
|
|
|
189 2008-01-22.txt:22:44:27: <ehird> (else (apply (elt commands (car p)) (cdr p)))))
|
|
|
190 2008-01-23.txt:19:49:03: <ehird> (defmacro times (n &body body) (if (= n 1) body `(progn ,body (times ,(- n 1) ,@(cdr body)))))
|
|
|
191 2008-01-23.txt:19:49:35: <ehird> (defmacro times (n &body body) (if (= n 1) body `(progn ,@body (times ,(- n 1) ,@(cdr body)))))
|
|
|
192 2008-01-23.txt:19:58:57: <ehird> `((progn ,@body) ,@(macroexpand `(times-helper ,(- n 1) ,@body)))))
|
|
|
193 2008-01-24.txt:21:01:48: <faxathisia> ((lambda (m) ((lambda (x) (x x)) (lambda (y) (m (y y)))))) ;; Should work in a lazy lisp
|
|
|
194 2008-01-28.txt:01:12:28: <adu> makeCounter = (\name = (count = 0, tick = (\name = (\name.count = (\name.count + 1)))))
|
|
|
195 2008-02-08.txt:22:13:56: -!- ehird__ changed the topic of #esoteric to: ((lambda (f) (lambda (x) (f (lambda () (x x)))) (lambda (x) (f (lambda () (x x))))) (lambda (f) (display "THE TOPIC IS NOT ") (write (f))))
|
|
|
196 2008-02-10.txt:20:42:23: <ehird`> (a (b (c) (d))) -> (c (lambda (x) (d (lambda (y) (b x y (lambda (z) (a z))))))
|
|
|
197 2008-02-15.txt:13:13:05: <slereah_> Or ^f^x.f(f(f(f(f(f(f(f(x))))))) in lambdas.
|
|
|
198 2008-03-22.txt:19:00:10: <marshmallows> #0=(begin #@(((source-file . "console") (line-number . 1) (column-number . 11) . #1=((source-kind . user))) . (write #@(((source-file . "console") (line-number . 1) (column-number . 18) . #1#) . (quote #@(((source-file . "console") (line-number . 1) (column-number . 4) . #1#) . #0#))))) #@(((source-file . "console") (line-number . 1) (column-number . 31) . #1#) . (newline)))
|
|
|
199 2008-03-29.txt:00:47:05: <marshmallows> (a b c d) = (a . (b . (c . (d . ()))))
|
|
|
200 2008-03-29.txt:00:49:17: <marshmallows> (a . (lambda () (b (lambda () (c (lambda () (d . ()))))))) = (stream a b c d)
|
|
|
201 2008-03-29.txt:00:56:41: <ehird> (define (read-file f) (let ((c (read-char f))) (if (eof-object? c) '() (cons c (read-file f)))))
|
|
|
202 2008-03-29.txt:01:08:20: <ehird> (apply amb (cdr args)))))))
|
|
|
203 2008-03-31.txt:21:51:21: <ehird> (languages (applicative (in (backwards (is (composition (function))))))) -- Slava Pestov, creator of Factor
|
|
|
204 2008-04-03.txt:17:25:47: <oklopol> current factorial (= fact {(-> 1 1) (-> n (* n (out (' (- n 1)))))}) (fact 4)
|
|
|
205 2008-04-03.txt:17:55:38: <oklopol> (= fact {(-> 1 (outn 1)) (-> n (outn (* n (' (- n 1)))))}) (fact 4)
|
|
|
206 2008-04-09.txt:16:46:39: <ehird> :: (= qs { (-> [] []) (-> (: h t) (+ (qs (\ {(< _ h)} t)) (+ [h] (qs (\ {(>= _ h)} t)))))})
|
|
|
207 2008-04-10.txt:01:37:32: <oklofok> :: (= qs {(-> [] []) (-> (: h t) (+ (qs (\ {(< _ h)} t)) (+ [h] (qs (\ {(>= _ h)} t)))))})
|
|
|
208 2008-04-10.txt:01:38:33: <oklofok> :: (= qs {(-> [] []) (-> (: h t) (+ (qs (ftr {(< _ h)} t)) (+ [h] (qs (ftr {(>= _ h)} t)))))})
|
|
|
209 2008-04-10.txt:02:19:25: <oklopol> :: (= list (cons 6 (cons 1 (cons 9 (cons 2 (cons 4 (cons 0 nil)))))))
|
|
|
210 2008-04-10.txt:02:19:59: <oklopol> :: (= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})
|
|
|
211 2008-04-10.txt:02:26:35: <oklopol> :: (= list (cons 6 (cons 1 (cons 9 (cons 2 (cons 4 (cons 0 nil))))))) (= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []}) (qs list)
|
|
|
212 2008-04-10.txt:02:27:20: <adu> :: (qs (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 nil))))))
|
|
|
213 2008-04-10.txt:02:28:30: <oklopol> :: (qs (cons 4 (cons 3 (cons 2 (cons 1 nil)))))
|
|
|
214 2008-04-10.txt:02:28:54: <oklopol> :: (= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})
|
|
|
215 2008-04-10.txt:02:29:43: <oklopol> :: (= qs {(-> (: h t) (+ (qs (\ {(< _ h)} t)) (+ [h] (qs (\ {(>= _ h)} t))))) []})
|
|
|
216 2008-04-10.txt:02:29:55: <adu> :: (qs (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 nil))))))
|
|
|
217 2008-04-10.txt:02:30:26: <adu> :: (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 nil)))))
|
|
|
218 2008-04-10.txt:02:47:00: <oklopol> :: (= list (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 (cons 0 nil)))))))
|
|
|
219 2008-04-10.txt:02:47:10: <oklopol> :: (= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})
|
|
|
220 2008-04-10.txt:02:48:26: <oklopol> :: (= list (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 (cons 0 nil)))))))
|
|
|
221 2008-04-10.txt:02:48:31: <oklopol> :: (= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})
|
|
|
222 2008-04-10.txt:02:55:05: <oklopol> :: (= list (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 (cons 0 nil)))))))
|
|
|
223 2008-04-10.txt:03:04:14: <adu> :: (= qsort {(-> (: h t) (+ (qsort (filter {(< _ h)} t)) (+ [h] (qsort p(filter {(>= _ h)} t))))) []})
|
|
|
224 2008-04-10.txt:03:04:33: <adu> (= qsort {(-> (: h t) (+ (qsort (filter {(< _ h)} t)) (+ [h] (qsort (filter {(>= _ h)} t))))) []})
|
|
|
225 2008-04-10.txt:03:04:38: <adu> :: (= qsort {(-> (: h t) (+ (qsort (filter {(< _ h)} t)) (+ [h] (qsort (filter {(>= _ h)} t))))) []})
|
|
|
226 2008-04-10.txt:03:15:27: <oklopol> :: (= cons {(-> [h t] {(-> [$pb :] [h t]) (-> $car h) (-> $cdr t) (-> [$setcar h] h) (-> [$setcdr t] t) (-> [$! 0] h) (-> [$! n] (! t (- n 1))) (-> $length (+ 1 (length t)))})})(= list (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 (cons 0 nil)))))))(= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})(qs list)
|
|
|
227 2008-04-10.txt:03:16:12: <oklopol> :: (= cons {(-> [h t] {(-> [$pb :] [h t]) (-> $car h) (-> $cdr t) (-> [$setcar h] h) (-> [$setcdr t] t) (-> [$! 0] h) (-> [$! n] (! t (- n 1))) (-> $length (+ 1 (length t)))})})(= list [6 5 4 3 2 1 0])(= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})(qs list)
|
|
|
228 2008-04-17.txt:18:38:09: <oklopol> i want >...< to be the neglist syntax :)))))
|
|
|
229 2008-04-24.txt:20:35:40: <oklofok> :))))))
|
|
|
230 2008-04-28.txt:16:38:16: <ehird_> fix f arg = f (f (f ... (f arg)))))
|
|
|
231 2008-05-06.txt:22:21:22: <ehird> or do oko-style :)))))))))))))))))))))))
|
|
|
232 2008-05-06.txt:22:21:33: <ehird> but i have never said :-)))))) before coming in here
|
|
|
233 2008-05-08.txt:22:17:54: <ehird> (define (tc expr) (cond ((eq? (car expr) 'lambda) (lambda (x) (replace (cadr expr) x (cddr expr)))) (else (apply (eval (car expr)) (map eval (cdr expr)))))
|
|
|
234 2008-06-05.txt:00:44:44: <tusho> (define (N n) (if (zero? n) N0 (S (N (- 1 n)))))
|
|
|
235 2008-06-05.txt:01:07:54: <tusho> (define (mu' f n) (if (zero? (f n)) 0 (+ 1 (mu f (+ n 1)))))
|
|
|
236 2008-06-05.txt:18:52:49: <Slereah> [19:51:17] <Slereah> Would µ with one variable be (define (µ f y) (cond ((= (f y) 0) y) ( #t ( µ f (+ y 1))))) ?
|
|
|
237 2008-06-10.txt:01:07:02: <Slereah> (define (A m n) (cond ((= m 0) (+ 1 n))((> m 0)(cond ((= n 0) (A (- m 1) 1)) (> n 0) (A (- m 1) (A m (- n 1)))))))
|
|
|
238 2008-06-10.txt:01:12:42: <Slereah> (define (A m n) (if (= m 0) (+ 1 n) (if (= n 0) (A (- m 1) 1) (A (- m 1) (A m (- n 1))))))
|
|
|
239 2008-06-10.txt:01:47:19: <tusho> ((/ a b) . (modulo . (a . (b . ()))))
|
|
|
240 2008-06-13.txt:01:15:31: <Slereah> I use (define (M n) (if (> n 100) (- n 10) (M (M (+ n 11)))))
|
|
|
241 2008-06-13.txt:03:21:02: <Slereah> (define (list->number x n) (if (null? (cdr x)) (*(power 10 n) (car x)) (+ (* (last x) (power 10 n)) (list->number (cdr (reverse x)) (+ 1 n)))))
|
|
|
242 2008-06-13.txt:03:35:04: <oklofok> (define (power a b) (if (= b 0) 1 (* a (power a (- b 1))))) this can be done logarithmically
|
|
|
243 2008-06-23.txt:13:42:14: <oklopol> so fixed-point of (f n) is (f (f (f (... (f(f n)))))
|
|
|
244 2008-07-14.txt:20:24:52: <tusho> (* n (factorial (- n 1)))))
|
|
|
245 2008-07-18.txt:01:45:27: <oklopol> but anyway, i think augur just sucks ass, as he's gay ;)))))
|
|
|
246 2008-07-19.txt:03:43:01: <adu> (every(thing (in (lisp (uses (parent))))))
|
|
|
247 2008-07-27.txt:22:04:54: <psygnisfive> (define (cons a b) (lambda (op) (cond ((= op 'car) a) ((= op 'cdr) b) (else (error)))))
|
|
|
248 2008-08-02.txt:07:35:57: <oklopol> :))))))
|
|
|
249 2008-08-09.txt:14:29:33: <optbot> tusho: (= cons {(-> [h t] {(-> [$pb :] [h t]) (-> $car h) (-> $cdr t) (-> [$setcar h] h) (-> [$setcdr t] t) (-> [$! 0] h) (-> [$! n] (! t (- n 1))) (-> $length (+ 1 (length t)))})})(= list (cons 5 (cons 4 (cons 3 (cons 2 (cons 1 (cons 0 nil)))))))(= qs {(-> (: h t) (+ (qs (flr {(< _ h)} t)) (+ [h] (qs (flr {(>= _ h)} t))))) []})(qs list)
|
|
|
250 2008-08-14.txt:08:21:40: <oklopol> lucky us! :))))))
|
|
|
251 2008-10-01.txt:17:03:05: <tusho> ))))))))))))))))))))))))))))
|
|
|
252 2008-10-01.txt:17:20:21: <fizzie> (for-each display (append (map (lambda (i) (string-ref "Hello, world!" i)) (letrec ((iota (lambda (from to) (if (= from to) (cons from '()) (cons from (iota (+ from 1) to)))))) (iota 0 12))) (list #\newline)))
|
|
|
253 2008-10-01.txt:17:49:41: <AnMaster> While I can certainly see some very very good things with scheme, I have so far two issues with it: 1) you end up with too many ))))) at the end of many expressions for it to be readable. 2) apart from really trivial things it is rather ugly languages, and then I don't mean only macros, but also code with no macros
|
|
|
254 2008-10-10.txt:22:27:52: <optbot> oepy: ((lambda 3 1 ((closure-ref (get-num-arg 1) 0) (get-num-arg 1) (closure (lambda 2 3 ((lambda 1 1 ((closure-ref (get-num-arg 1) 0) (get-num-arg 1) (get-num-arg 3))) (get-num-arg 2)))))) (closure (lambda 4 2 (%halt (get-num-arg 2)))))
|
|
|
255 2008-10-15.txt:19:40:00: <fizzie> |: (+ 1 (call/cc (lambda (k) (+ 2 (k 3)))))
|
|
|
256 2008-10-24.txt:00:04:31: <thutubot> (((((~())))))
|
|
|
257 2008-10-24.txt:03:57:49: <thutubot> 01(1)(0)((1)(0))((0)(1))(((1)(0))((0)(1)))(((0)(1))((1)(0)))((((1)(0))((0)(1)))(((0)(1))((1)(0))))((((0)(1))((1)(0)))(((1)(0))((0)(1))))(((((1)(0))((0)(1)))(((0)(1))((1)(0))))((((0)(1))((1)(0)))(((1)(0))((0)(1)))))(((((0)(1))((1)(0)))(((1)(0))((0)(1))))((((1)(0))((0)(1)))(((0)(1))((1)(0))))) ...too much output!
|
|
|
258 2008-10-28.txt:02:05:26: <thutubot> (((((!())))))(((((!())))))(((((!())))))(((((!())))))((!()))((!()))!() ...S out of stack!
|
|
|
259 2008-10-28.txt:03:30:53: <thutubot> (((((!!)))))(((((!!)))))(((((!!)))))(((((!!)))))((!!))((!!))!! ...S out of stack!
|
|
|
260 2008-10-28.txt:03:31:24: <thutubot> ()((((((!!))))))((((((!!))))))((((((!!))))))((((((!!))))))(((!!)))(((!!)))(!!) ...a out of stack!
|
|
|
261 2008-10-28.txt:03:39:51: <thutubot> ~:(*a(a(:^)*(*a)~*a(~:)~*(~^)*):^)~^(((((!!)))))(((((!!)))))(((((!!)))))(((((!!)))))((!!))((!!))!! ...a out of stack!
|
|
|
262 2008-10-28.txt:03:40:27: <thutubot> (~:(*a(a(:^)*(*a)~*a(~:)~*(~^)*):^)~^)()((((((!!))))))((((((!!))))))((((((!!))))))((((((!!))))))(((!!)))(((!!)))(!!) ...a out of stack!
|
|
|
263 2008-10-28.txt:03:46:09: <thutubot> (((((((((((!!()()))))))(((((!!()()))))))(((((!!()()))))))(((((!!()()))))))((!!()())))((!!()())))
|
|
|
264 2008-10-28.txt:03:46:35: <thutubot> ((((((((((((!!()()))))))(((((!!()()))))))(((((!!()()))))))(((((!!()()))))))((!!()())))((!!()())))) ...a out of stack!
|
|
|
265 2008-10-28.txt:04:02:12: <thutubot> ((((!!()()))(((!!()()))((((((!!()())))))((((((!!()())))))((((((!!()())))))((((((!!()())))))))))))) ...a out of stack!
|
|
|
266 2008-10-28.txt:04:30:40: <thutubot> (~a*^((^)((:)S)(!(A)S(^)*())())!^^(^):^)(~:a(((:)S)(!(A)S(^)*())())*(^)~a*(~a*)~*(!^^)*~a*(:^)*)((((((((((((!!()()))))))(((((!!()()))))))(((((!!()()))))))(((((!!()()))))))((!!()())))((!!()())))) ...too much output!
|
|
|
267 2008-10-28.txt:04:45:58: <thutubot> ()(!!()())(((((((((!!()()))))))(((((!!()()))))))(((((!!()()))))))(((((!!()()))))))()(!(A)S(^)*())((:)S)(^) ...a out of stack!
|
|
|
268 2008-10-28.txt:04:48:31: <thutubot> (~:a(((:)S)(!(A)S(^)*())())*(^)~a*(~a*^)*~*(!^^)*~a*()*^)(!!()())(((((((((!!()()))))))(((((!!()()))))))(((((!!()()))))))(((((!!()())))))) ...too much output!
|
|
|
269 2008-10-28.txt:04:54:54: <thutubot> (((((((!!()()))))(((!!()()))))((!!()())))) ...a out of stack!
|
|
|
270 2008-10-29.txt:03:57:26: <thutubot> ((((((^))))))(((((^)))))(((((^)))))(((^)))((^))((^))(^) ...a out of stack!
|
|
|
271 2008-11-04.txt:20:22:01: <thutubot> ((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((:)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))) ...too much output!
|
|
|
272 2008-11-11.txt:15:09:24: <fizzie> I usually just use the named-let for that sort of functions: (define (mu f) (let loop ((n 0)) (if (= 0 (f n)) n (loop (s n))))) -- but that's of course a matter of style.
|
|
|
273 2008-11-11.txt:17:01:42: <Slereah> (apply (g append(list( (- n 1) (apply (rec (append (list f g (- n 1))args)))) args)))))
|
|
|
274 2008-11-22.txt:00:35:45: <oklopol> ;))))))
|
|
|
275 2008-11-22.txt:14:00:09: <oklopol> "as long as it's not pop pop culture, it's okay, and it's not not okay if i *don't* know." (forall X)(okay(pop_pop_culture(X) ^ know(X))), then emphasis on (not (not (okay(pop ... know(X)))))
|
|
|
276 2008-11-22.txt:14:03:52: <oklopol> "as long as it's not pop pop culture, it's okay, and it's not not okay if i *don't* know." (forall X)(okay((((not pop_culture(X)) ^ (pop_pop_culture(X))) ^ (know(X)))))
|
|
|
277 2008-12-25.txt:18:59:56: <ais523|direct> because they don't stack as well as ))))) or }}}
|
|
|
278 2009-01-07.txt:12:58:51: <fizzie> "int x=3;" is an instance of the 'declaration' syntax; It's something like (declaration (declaration-specifiers (type-specifier "int")) (init-declarator-list (init-declarator (declarator "x") "=" (initializer "3"))))))))))))))))))))))))))) in tree form.
|
|
|
279 2009-01-17.txt:17:08:57: <ehird> ~exec self.register_raw(r':[^ ]+ TOPIC #esoteric :(.*)', lambda m: self.raw('TOPIC #esoteric :%s | http://tunes.org/~nef/logs/esoteric' % (m.group(1),)))))
|
|
|
280 2009-01-18.txt:02:15:29: <kerlo> mbda x (lambda y (lambda z ((x z) (y z))))))"
|
|
|
281 2009-01-18.txt:02:48:49: <MizardX> ((\s ((\k s) (\x (\y x)))) (\x (\y (\z ((x z) (y z))))))
|
|
|
282 2009-01-18.txt:15:21:39: <ais523> #eval ((l (y z) (y (y (y (y (y z))))) (l (x) (f a x x)) (y))
|
|
|
283 2009-01-18.txt:15:21:42: <ehird> #eval (l (f) ((l (x) (f (x x))) (l (x) (f (x x)))))
|
|
|
284 2009-01-18.txt:15:21:56: <ais523> #eval ((l (y z) (y (y (y (y (y z)))))) (l (x) (f a x x)) (y))
|
|
|
285 2009-01-18.txt:15:22:36: <AnMaster> #eval ((l (y z) (y (y (y (y (y z)))))) (l (x) (f a x x)) (l (f) ((l (x) (f (x x))) (l (x) (f (x x))))))
|
|
|
286 2009-01-18.txt:15:22:42: <ais523> #eval ((l (y z) (y (y (y (y (y z)))))) (l (x) (f a x x)) (q))
|
|
|
287 2009-01-18.txt:15:22:53: <ehird> #eval (l (f) ((l (x) (f (x x))) (l (x) (f (x x)))))
|
|
|
288 2009-01-19.txt:23:11:11: <kerlo> %eval ((((s s)k)((s(k((s s)(s((s s)k)))))k) foo)
|
|
|
289 2009-01-19.txt:23:11:36: <kerlo> %eval (((s s)k)((s(k((s s)(s((s s)k)))))k)
|
|
|
290 2009-01-19.txt:23:12:37: <kerlo> %eval (((s s)k)((s(k((s s)(s((s s)k)))))k))
|
|
|
291 2009-01-19.txt:23:12:38: <kerlobot> [l (z) ((((s (k ((s s) (s ((s s) k))))) k) z) ((k ((s (k ((s s) (s ((s s) k))))) k)) z))]
|
|
|
292 2009-01-19.txt:23:12:47: <kerlo> %eval ((((s s)k)((s(k((s s)(s((s s)k)))))k)) foo)
|
|
|
293 2009-01-19.txt:23:12:48: <kerlobot> (foo (((s ((s s) k)) (k foo)) ((k ((s (k ((s s) (s ((s s) k))))) k)) foo)))
|
|
|
294 2009-01-19.txt:23:13:00: <kerlo> %eval (((s s)k)((s(k((s s)(s((s s)k)))))k))
|
|
|
295 2009-01-19.txt:23:13:00: <kerlobot> [l (z) ((((s (k ((s s) (s ((s s) k))))) k) z) ((k ((s (k ((s s) (s ((s s) k))))) k)) z))]
|
|
|
296 2009-01-19.txt:23:13:11: <kerlo> %eval (hold (((s s)k)((s(k((s s)(s((s s)k)))))k)))
|
|
|
297 2009-01-19.txt:23:13:11: <kerlobot> (hold (((s s) k) ((s (k ((s s) (s ((s s) k))))) k)))
|
|
|
298 2009-01-19.txt:23:16:48: <kerlo> %temp ((lambda (fix) input) (((s s) k) ((s (k ((s s) (s ((s s) k))))) k)))
|
|
|
299 2009-01-19.txt:23:17:24: <kerlo> %temp ((l (fix) input) (((s s) k) ((s (k ((s s) (s ((s s) k))))) k)))
|
|
|
300 2009-01-19.txt:23:18:21: <kerlobot> [l (z) ((((s (k ((s s) (s ((s s) k))))) k) z) ((k ((s (k ((s s) (s ((s s) k))))) k)) z))]
|
|
|
301 [too many lines; stopping]
|
