00:00:14 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 00:00:35 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: Computer has gone to sleep.] 00:04:41 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Read error: Connection reset by peer] 00:07:47 woonie [~woonie@nusnet-215-188.dynip.nus.edu.sg] has joined #scheme 00:08:48 Lajjla [~Lajla@2001:0:5ef5:79fd:1c72:2b2d:ae33:eb94] has joined #scheme 00:09:21 GoKhlaYeh [~GoKhlaYeh@117.31.80.79.rev.sfr.net] has joined #scheme 00:09:49 offby1 [~user@q-static-138-125.avvanta.com] has joined #scheme 00:11:23 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 00:11:53 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 00:12:08 -!- Lajla [~Lajla@2001:0:5ef5:79fd:10a9:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 00:13:58 Is there a name for the inverse (or is it converse?) of cons? In other words, in (cons x y) => z; x is the result of "de-consing", so to speak, y and z. 00:14:18 Almost like set-difference or complement. 00:15:13 Is "de-consing" appropriate? 00:15:24 not in polite company, no 00:15:25 I don't know what you mean 00:15:56 offby1: That's what I figured; "de-consing" in #scheme is almost like Borat descending on a Southern family and shitting in a bag. 00:15:59 you say (uncons (cons x y) y) => x 00:16:07 but what about (uncons (cons x v) y) ? 00:16:08 error? 00:17:22 tomodo: SRFI-71 has an uncons: . 00:17:53 I'm just using it as a temporary name to ask that question 00:18:17 Right, right; let me think. 00:18:27 klutometis: i'd call it 'destructuring', in a sense. 00:18:33 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Ping timeout: 260 seconds] 00:19:10 tomodo: The latter might be an error; or can you return the empty list? 00:19:21 Is the empty list misrepresentational somehow? 00:19:30 qu1j0t3: That's an interesting way to look at it. 00:19:57 so it's a "safe" CAR which asserts that CDR is equal to something 00:20:46 klutometis: it's a traditional term for similar operations. 00:20:58 klutometis: e.g. destructuring a list into bindings 00:21:26 klutometis: and you are taking a composite value and producing its parts 00:21:29 qu1j0t3: Right, yeah; the Clojurians and the Pythonistas are obsessed with destructuring. We call it `values', I supposed. 00:21:33 *qu1j0t3* rambles incoherently 00:21:46 klutometis: well destructuring is a term maybe more prevalent in CL, but often used in Lisp 00:21:52 klutometis: even here 00:22:08 Oh, is it? Ok; maybe they stole it from the Lispish forefathers. 00:22:16 klutometis: i think i've also seen it in the context of pattern matching 00:22:32 klutometis: where you might use it on a tuple, potentially nested, or a list 00:22:48 klutometis: 2-tuple = pair = value of cons 00:22:48 Ah, right; that makes sense. I'm in the midst of kanren right now: which is declarative/logical programming in Scheme. 00:22:55 Pattern matching, destructuring come up a lot. 00:22:59 klutometis: yes! 00:23:06 in something like kanren there's no inverse of cons 00:23:11 just use cons 00:23:20 no need for 00:23:21 -!- annodomini [~lambda@wikipedia/lambda] has quit [Read error: Connection reset by peer] 00:23:32 annodomini [~lambda@wikipedia/lambda] has joined #scheme 00:23:41 tomodo: But conso allows you to express something like: (conso x '(b c d) '(a b c d)), where x is associated with 'a. 00:23:50 yes 00:23:52 I found that fascinating. 00:24:29 wait wait, what is that baout 00:24:32 klutometis: explain ! 00:25:15 -!- annodomini [~lambda@wikipedia/lambda] has quit [Client Quit] 00:25:59 qu1j0t3: `conso' expresses a constraint, x is a free variable; when kanren attempts to satisfy the constraint, it associates a with x. 00:26:11 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 00:26:38 conso is some sort of specific cons-constraint; there are similar constraints such as: caro, cdro, &c. 00:26:42 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 00:29:08 -!- CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has quit [Quit: leaving] 00:31:19 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 00:41:18 -!- woonie [~woonie@nusnet-215-188.dynip.nus.edu.sg] has quit [Ping timeout: 245 seconds] 00:42:35 -!- jlongster [~user@2620:101:8003:200:129a:ddff:feb0:614d] has quit [Remote host closed the connection] 00:44:56 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 00:50:50 -!- offby1 [~user@q-static-138-125.avvanta.com] has quit [Ping timeout: 260 seconds] 00:56:03 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 01:06:40 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 01:11:53 klutometis: ic 01:15:26 -!- _schulte_ [~eschulte@c-174-56-50-60.hsd1.nm.comcast.net] has quit [Ping timeout: 260 seconds] 01:17:07 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 276 seconds] 01:18:19 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 01:18:26 cdidd [~cdidd@128-72-107-107.broadband.corbina.ru] has joined #scheme 01:19:13 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 260 seconds] 01:20:14 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 01:26:28 Lajla [~Lajla@2001:0:5ef5:79fd:2847:2b2d:ae33:eb94] has joined #scheme 01:26:31 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:1c72:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 01:26:42 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 252 seconds] 01:27:58 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 01:28:31 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 01:32:13 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 01:43:20 noam_ [~noam@46.120.51.147] has joined #scheme 01:46:21 -!- noam [~noam@46.120.51.147] has quit [Ping timeout: 252 seconds] 01:50:35 Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has joined #scheme 01:58:03 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 01:58:33 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 02:29:11 -!- rostayob [~rostayob@host86-157-214-140.range86-157.btcentralplus.com] has quit [Quit: WeeChat 0.3.5] 02:29:16 -!- noam_ [~noam@46.120.51.147] has quit [Ping timeout: 276 seconds] 02:36:06 woonie [~woonie@nusnet-215-188.dynip.nus.edu.sg] has joined #scheme 02:42:18 Lajjla [~Lajla@2001:0:5ef5:79fd:14ae:2b2d:ae33:eb94] has joined #scheme 02:44:34 mjonsson [~mjonsson@38.109.95.176] has joined #scheme 02:45:50 -!- Lajla [~Lajla@2001:0:5ef5:79fd:2847:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 02:45:53 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 03:03:29 -!- MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has quit [Ping timeout: 245 seconds] 03:10:13 -!- bfig [~b_fin_g@r186-48-246-207.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 248 seconds] 03:11:55 bfig [~b_fin_g@r186-48-226-34.dialup.adsl.anteldata.net.uy] has joined #scheme 03:21:16 -!- bzzbzz [~franco@modemcable151.155-57-74.mc.videotron.ca] has quit [Quit: leaving] 03:22:06 langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has joined #scheme 03:25:46 sousousou [~user@host-72-174-54-175.msl-mt.client.bresnan.net] has joined #scheme 03:26:14 CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has joined #scheme 03:26:51 Jeez.. is there more documentation for scheme-complete? or am I just being silly, and not fully understanding it? 03:27:01 deicide [~chatzilla@pool-72-66-228-159.ronkva.east.verizon.net] has joined #scheme 03:33:11 -!- langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:34:03 -!- Nshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has quit [Read error: Connection reset by peer] 03:34:10 would someone be willing to help me with sicp ex 1.14? 03:35:09 Nshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has joined #scheme 03:36:00 sure 03:37:12 okay do you have a copy on hand or should i link you? 03:37:55 tomodo: http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-11.html#%_sec_1.2.3 03:38:26 offby1 [~user@q-static-138-125.avvanta.com] has joined #scheme 03:38:33 ok 03:39:14 thanks in advance 03:41:21 -!- offby1 [~user@q-static-138-125.avvanta.com] has quit [Changing host] 03:41:21 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 03:41:34 what do you want to know?? 03:41:52 how do I get to Carnegie Hall? 03:41:55 joast [~rick@98.145.91.18] has joined #scheme 03:42:02 practice 03:42:30 tomodo: the order of growth 03:42:40 of the count-change function 03:48:32 rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 03:48:41 tomodo++ 03:49:29 take a taxi, much quicker 03:49:56 take a picture, it'll last longer 03:50:02 (I never did understand that phrase) 03:50:22 ask a pianist on irc what notes they play and when 03:50:31 deicide: http://pastebin.com/raw.php?i=Rgd0wCiM 03:52:28 ah 03:52:53 tomodo: how do you know 03:52:55 that 03:52:58 (cc (- x 1) 2) 03:53:05 equals x-1 calls? 03:53:32 no it takes x-1 calls + ... 03:53:51 sorry 03:56:06 oh yeah 03:56:18 yes, but i still don't see why 03:56:32 if 'cc' means number of calls for that function 03:56:38 (cc (- x 1) 2) equals x-1 calls + ... calls 03:56:41 (cc x 2) = (cc x 1) + (cc (- x 1) 2) 03:56:49 (cc x 2) = (cc x 1) + (cc (- x 1) 1) + (cc (- x 2) 2) 03:56:54 (cc x 2) = (cc x 1) + (cc (- x 1) 1) + (cc (- x 2) 1) + ... 03:57:10 so it's x + x-1 + x-2 + ... 03:58:20 we're looking at how many calls (cc x 2) takes in terms of how many (cc x 1) takes 03:58:23 ohhh 03:58:35 alright 03:58:39 i understand now 03:58:47 rudybot is back if you want to do some evals 03:58:50 rudybot: eval (+ 1 2 3) 03:59:00 *offby1* twiddles thumbs 03:59:04 *offby1* fidgets uncomfortably 03:59:07 *offby1* glances around nervously. 03:59:09 Lajla [~Lajla@2001:0:5ef5:79fd:8f4:2b2d:ae33:eb94] has joined #scheme 03:59:21 offby1: your sandbox is ready 03:59:21 offby1: ; Value: 6 03:59:27 *offby1* wipes brow 04:01:25 tomodo: i understand why the order of growth in that function is polynomial at n^5 04:01:31 -!- masm [~masm@bl17-196-179.dsl.telepac.pt] has quit [Quit: Leaving.] 04:01:43 but what makes it that different from the fibannoci function 04:01:49 which is exponential 04:02:19 aren't they essentially the same? 04:02:30 calling itself with a slightly smaller subproblem? 04:02:33 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:14ae:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 04:02:43 calling itself twice* 04:04:35 deicide: fibonacci(n) is like cc(n,n) 04:05:03 why isn't cc exponential in both of its arguments? 04:05:06 well that's not really true at all 04:05:57 do you know that fib(n) takes exactly fib(n) calls? 04:06:19 yes 04:06:24 well I guess it doesn't 04:06:34 though i do not know how to prove it 04:06:38 it's more like fib(n) + fib(n-1) 04:06:46 fib(n+1) calls apparently 04:06:59 yeah, fib(n) + fib(n-1) = fib(n+1) 04:07:19 how about making it simpler 04:08:02 http://pastebin.com/raw.php?i=tU42Cuk4 04:08:17 this version doesn't work for fib(0), but it takes exactly fib(n) calls 04:08:56 the proof is that it returns a number like 1 + (1 + 1) + (1 + (1 + 1)) 04:09:05 and each '1' is a leaf 04:09:32 yep 04:09:50 I was going to say so the number of calls is equal to the number of 1's, but that's wrong, you have to count the +'s too 04:11:10 this "simpler" version wasn't helpful, we should forget it 04:12:05 -!- virl [~virl__@85-127-158-77.dynamic.xdsl-line.inode.at] has quit [Remote host closed the connection] 04:12:12 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 04:12:29 the number of calls for fib(n+2) is 2*fib(n+1) + fib(n) 04:12:42 offby1 [~user@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 04:13:06 -!- offby1 [~user@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Changing host] 04:13:06 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 04:13:19 yep 04:13:21 sorry it's fib(n+1) + 2*fib(n) 04:13:27 no 04:13:39 sorry it's 2*fib(n) + fib(n-1) 04:13:47 -!- jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 04:15:27 well anyway forget about this rubbish 04:15:45 just look at it this way: the number of 0 leaves is <= the number of 1 leaves 04:15:52 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 276 seconds] 04:16:19 and the number of 1 leaves adds up to fib(n) in total 04:16:25 so fib(n) is O(fib(n)) 04:17:08 okay yeah 04:17:10 and we know that fib(n) > 1.5^n due to the closed form so it's exponential 04:17:38 due to the closed form? 04:17:56 fib(n) = (1.6^n - 0.6^n)/something 04:18:15 something like that 04:18:49 oh yeah 04:18:55 basically it's well known to be exponential, but it doesn't dominate 2^n so we wont be able to prove it discretely 04:19:30 you can prove it using induction i think 04:19:33 i mean 04:19:39 i understand why fib is exponential 04:19:47 and now, why cc is polynomial 04:19:51 i don't understand 04:20:05 cc(x,n) is O(x^n) 04:20:12 yeah 04:20:16 let's talk about fixed n 04:20:21 it's only polynomial when you fix n 04:21:04 i don't understand what property makes them have different orders of growth (even when you fix n) 04:21:28 they're totally different incomparable functions 04:22:15 so there's no way to find some generalized property which correlates to an order of growth? 04:23:19 -!- Nisstyre [~yours@c-208-90-102-250.netflash.net] has quit [Read error: Connection reset by peer] 04:23:46 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 04:25:06 you can see visually why cc(x,n) is O(x^n) 04:25:17 http://pastebin.com/raw.php?i=DA4zr4rr 04:25:26 just place one * for each call 04:25:48 cc(x,1) makes a line, cc(x,2) makes a line of lines (fits inside a grid), cc(x,3) makes a line of lines of lines (fits inside a cube) 04:27:21 I don't know what you mean about generalized property 04:28:14 okay i see 04:28:37 there's no way to just take a given recursive/arithmetic function and figure out its order of growth. For simple classes of functions, like recurrence relations or dynamic programs you can do 04:29:02 yeah that's what i meant 04:29:14 well that's unfortunate 04:29:29 but thanks a lot. i greatly appreciate it. 04:34:15 -!- em [~em@unaffiliated/emma] has quit [Ping timeout: 260 seconds] 04:34:29 em [~em@unaffiliated/emma] has joined #scheme 04:35:19 confab_ [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 04:35:28 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 04:37:01 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 04:37:34 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 04:38:08 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Ping timeout: 260 seconds] 04:38:27 -!- confab_ is now known as confab 04:41:34 -!- datkin [~datkin@cpe-74-73-237-252.nyc.res.rr.com] has quit [Remote host closed the connection] 04:41:49 datkin [~datkin@cpe-74-73-237-252.nyc.res.rr.com] has joined #scheme 04:43:01 -!- homie [~levgue@xdsl-78-35-154-87.netcologne.de] has quit [Read error: Connection reset by peer] 04:44:28 homie [~levgue@xdsl-78-35-185-238.netcologne.de] has joined #scheme 04:47:41 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 04:47:48 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 04:48:26 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 04:54:28 -!- deicide [~chatzilla@pool-72-66-228-159.ronkva.east.verizon.net] has quit [Quit: ChatZilla 0.9.88 [Firefox 10.0.2/20120215223356]] 04:54:47 -!- turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has quit [Ping timeout: 244 seconds] 04:58:21 -!- CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has quit [Quit: leaving] 04:59:42 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Read error: Connection reset by peer] 05:00:03 offby1 [~user@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 05:02:14 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 05:15:28 Lajjla [~Lajla@2001:0:5ef5:79fd:109a:2b2d:ae33:eb94] has joined #scheme 05:17:41 hopfrog [~bill@76.73.221.195] has joined #scheme 05:18:48 -!- Lajla [~Lajla@2001:0:5ef5:79fd:8f4:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 05:28:40 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 276 seconds] 05:36:36 Nisstyre [~yours@c-208-90-102-250.netflash.net] has joined #scheme 05:37:07 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Read error: Connection reset by peer] 05:54:05 -!- mjonsson [~mjonsson@38.109.95.176] has quit [Quit: Leaving] 06:06:57 Lajla [~Lajla@2001:0:5ef5:79fd:109a:2b2d:ae33:eb94] has joined #scheme 06:10:35 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:109a:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 06:18:25 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 252 seconds] 06:18:29 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 06:18:59 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 06:29:48 -!- EmmanuelOga [~emmanuel@host155.201-253-134.telecom.net.ar] has quit [Quit: WeeChat 0.3.7-dev] 06:30:06 gravicappa [~gravicapp@ppp91-77-172-241.pppoe.mtu-net.ru] has joined #scheme 06:35:04 leo2007 [~leo@111.194.102.93] has joined #scheme 06:35:59 -!- sousousou [~user@host-72-174-54-175.msl-mt.client.bresnan.net] has quit [Remote host closed the connection] 06:39:22 ysph [~user@adsl-98-89-83-58.mgm.bellsouth.net] has joined #scheme 06:40:10 -!- sharkbird [~sharkbird@67-220-6-139.usiwireless.com] has quit [Ping timeout: 276 seconds] 06:42:07 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Remote host closed the connection] 06:42:54 karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 06:49:03 -!- karswell__ [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [] 07:09:30 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 07:16:34 -!- forcer [~forcer@hmbg-5f77241e.pool.mediaWays.net] has quit [Ping timeout: 276 seconds] 07:19:53 -!- djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 07:21:28 noam [~noam@46.120.51.147] has joined #scheme 07:24:19 djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 07:25:06 virl [~virl__@85-127-158-77.dynamic.xdsl-line.inode.at] has joined #scheme 07:27:29 Lajjla [~Lajla@2001:0:5ef5:79fd:1450:2b2d:ae33:eb94] has joined #scheme 07:30:26 -!- Lajla [~Lajla@2001:0:5ef5:79fd:109a:2b2d:ae33:eb94] has quit [Ping timeout: 272 seconds] 07:37:21 -!- hopfrog [~bill@76.73.221.195] has quit [Quit: Lost terminal] 08:02:29 araujo [~araujo@190.73.44.29] has joined #scheme 08:02:36 -!- araujo [~araujo@190.73.44.29] has quit [Changing host] 08:02:36 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 08:03:39 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 08:08:06 ALL THE SINGLE LADIES 08:09:13 *gf3* burns down omegacfx's house 08:09:52 -!- Nisstyre [~yours@c-208-90-102-250.netflash.net] has quit [Ping timeout: 276 seconds] 08:19:02 -!- gravicappa [~gravicapp@ppp91-77-172-241.pppoe.mtu-net.ru] has quit [Ping timeout: 265 seconds] 08:19:40 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Read error: Connection reset by peer] 08:20:04 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 08:22:38 djcb` [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 08:24:08 -!- djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Ping timeout: 240 seconds] 08:31:18 kniu [~kniu@pool-173-75-156-203.pitbpa.east.verizon.net] has joined #scheme 08:38:55 gravicappa [~gravicapp@ppp91-77-165-81.pppoe.mtu-net.ru] has joined #scheme 08:47:48 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:1450:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 08:49:20 Lajla [~Lajla@2001:0:5ef5:79fd:78:2b2d:ae33:eb94] has joined #scheme 08:57:14 -!- xwl [~user@123.108.223.27] has left #scheme 08:59:10 -!- leo2007 [~leo@111.194.102.93] has quit [Ping timeout: 244 seconds] 09:00:42 -!- riverswain [~avery@67-2-16-222.slkc.qwest.net] has quit [Read error: Connection reset by peer] 09:06:33 -!- ysph [~user@adsl-98-89-83-58.mgm.bellsouth.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 09:06:50 wingo [~wingo@90.164.198.39] has joined #scheme 09:08:00 -!- chromaticwt [~user@71-222-135-74.albq.qwest.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 09:08:14 leo2007 [~leo@114.249.18.93] has joined #scheme 09:08:29 chromaticwt [~user@71-222-135-74.albq.qwest.net] has joined #scheme 09:13:03 phd [~user@114.249.18.93] has joined #scheme 09:13:19 -!- phd [~user@114.249.18.93] has quit [Remote host closed the connection] 09:26:59 Operaist2 [~OperaIst@ppp-171-96-21-203.revip8.asianet.co.th] has joined #scheme 09:27:16 is nil the same as '() and (list)? 09:27:40 Operaist2: no. There's no nil in r5s. 09:27:41 r5rs. 09:27:54 no 09:27:59 '() is the same as (quote ()) which is different from (list). 09:28:12 But both evaluate to the same thing: () which is the end of list marker. 09:28:27 so they are different but they evaluate to the same thing? 09:28:35 Yes. 09:28:35 so how do i make their difference manifest? 09:28:45 (equal? '(quote ()) '(list)) 09:28:51 or (equal? ''() '(list)) 09:28:56 -!- dan64 [~dan64@li58-98.members.linode.com] has quit [Quit: ZNC - http://znc.in] 09:28:59 nil is a strange beast which encompasses both the end of a list and falsity, scheme separates the two 09:29:18 ijp: and boolean false, in emacs lisp and Common Lisp. 09:29:28 In scheme there's #f, () and nil, three different things. 09:30:46 in SICP they use nil a lot but it doesn't work with my scheme so what should i replace it with? 09:30:52 (define nil '()) 09:31:08 Yes, but beware that () is true in scheme. 09:31:49 So it depends on what you use nil for. As a boolean false, (define nil #f); as an empty list (define nil '()); as a symbol (define nil 'nil). 09:32:42 Operaist2: it also prefers true and false to #t and #f 09:32:53 so you might want to define those 09:33:40 can i (define nil (list)) 09:33:44 for empty list? 09:33:46 yes 09:33:48 Yes. 09:33:51 (list) returns (). 09:33:57 So (list) returns the same thing as '(). 09:34:21 Arguably, (list) computes more than '(), and '() is clearer than (list). 09:34:43 Using (list) is like using (- 1 1) to get 0. 09:36:49 Ohkhey 09:38:53 it doesn't really matter, you could even do (define nil (let loop ((val (generate-arbitrary-scheme-value))) (if (null? val) val (loop (generate-arbitrary-scheme-value))))) if you were so inclined 09:39:08 'generate-arbitrary-scheme-value' is left as an exercise 09:40:29 dan64 [~dan64@li58-98.members.linode.com] has joined #scheme 09:41:06 in SICP there is a procedure http://pastebin.com/jBZ81Qvk but it doesn't work. 09:41:15 so now i can't proceed 09:41:48 what doesn't work? 09:41:50 accumulate is to be defined. 09:42:01 the procedure flatmap 09:42:07 accumulate is defined already 09:42:21 levi [~user@c-174-52-219-147.hsd1.ut.comcast.net] has joined #scheme 09:42:31 what did you expect? what happened? 09:42:56 "doesn't work" won't mean anything to anyone else 09:43:23 it should give me a list but it says 16 which is an element in the list is not a list. accumulate gives append each element of the list but append only accepts list as parameter 09:43:29 so i think the procedure is faulty 09:43:39 but maybe back in the 1950s append is nicer 09:43:41 i dont know 09:43:47 maybe you ancients know? 09:43:59 *ijp* mumbles that he is probably younger than you 09:44:11 Operaist2: it's up to you to pass a proc function that returns lists! 09:44:34 -!- Operaist2 [~OperaIst@ppp-171-96-21-203.revip8.asianet.co.th] has quit [Read error: Connection reset by peer] 09:44:36 -!- dan64 [~dan64@li58-98.members.linode.com] has quit [Client Quit] 09:50:52 MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has joined #scheme 09:53:18 dan64 [~dan64@li58-98.members.linode.com] has joined #scheme 09:58:16 Operaist2 [~OperaIst@ppp-124-122-66-7.revip2.asianet.co.th] has joined #scheme 09:58:22 hello? 09:58:31 Hi! 09:58:35 Did memoserv work? 09:58:39 the number you have dialed has not been recognised, please try again later 09:59:26 anyway 09:59:34 as i was saying 09:59:43 Operaist2: flatmap works perfectly: http://paste.lisp.org/display/128123 10:00:13 forcer [~forcer@hmbg-4d068269.pool.mediaWays.net] has joined #scheme 10:02:29 whats memoserv? 10:02:37 Type /msg memoserv help 10:03:08 But perhaps it works only with registered users. Are you registered? 10:04:25 -!- virl [~virl__@85-127-158-77.dynamic.xdsl-line.inode.at] has quit [Remote host closed the connection] 10:05:21 Lajjla [~Lajla@2001:0:5ef5:79fd:2c6d:2b2d:ae33:eb94] has joined #scheme 10:06:50 -!- Operaist2 [~OperaIst@ppp-124-122-66-7.revip2.asianet.co.th] has quit [Ping timeout: 260 seconds] 10:08:48 -!- Lajla [~Lajla@2001:0:5ef5:79fd:78:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 10:12:45 ijp` [~user@host109-156-158-220.range109-156.btcentralplus.com] has joined #scheme 10:13:25 -!- ijp [~user@host86-174-97-88.range86-174.btcentralplus.com] has quit [Disconnected by services] 10:13:30 -!- ijp` is now known as ijp 10:13:43 -!- woonie [~woonie@nusnet-215-188.dynip.nus.edu.sg] has quit [Ping timeout: 252 seconds] 10:19:52 -!- ijp [~user@host109-156-158-220.range109-156.btcentralplus.com] has quit [Ping timeout: 276 seconds] 10:21:11 Operaist2 [~OperaIst@ppp-110-169-248-18.revip5.asianet.co.th] has joined #scheme 10:22:36 -!- tomodo [~tomodo@gateway/tor-sasl/tomodo] has quit [Quit: leaving] 10:22:59 djcb`` [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 10:24:42 -!- djcb` [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Ping timeout: 265 seconds] 10:25:57 hello 10:26:15 who was it that mumbled that he was younger than me? 10:27:03 how old are you? 10:27:30 Are you convinced that flatmap works? 10:28:43 i am 10:28:57 Good :-) 10:29:17 but there were other trains of dialogue i was following 10:29:28 so let's restart it 10:29:39 i call you all ancients 10:29:49 then someone said he's probably younger than me 10:29:54 then i said im only 16 10:29:57 I was born before scheme. 10:29:58 now your turn 10:30:06 how old is scheme 10:30:10 isnt it like 70 yr old 10:30:14 in the 1950? 10:30:17 60 yr old 10:30:19 No. It was created about 1975. 10:31:19 i still don't get what flatmap is supposed to do though 10:31:25 seems kinda overly convoluted 10:31:27 Lisp was created officially on March 4, 1959. Tomorrow it'll be 53 years old. I'm younger. 10:32:26 oh wow tomorrow is lisp birthday? 10:32:32 do they have a party for lisp? 10:32:34 Another example would be: (flatmap append (map (lambda (x) (list x (* x x))) '(1 2 3))) --> (3 9 2 4 1 1) 10:32:38 Yes, we do. 10:33:07 Running old programs such as: http://www.informatimago.com/develop/lisp/small-cl-pgms/wang.html 10:34:43 wait how do you get (3 9 2 4 1 1) from that?? 10:35:08 rudybot: (map (lambda (x) (list x (* x x))) '(1 2 3)) 10:35:08 pjb: your r5rs sandbox is ready 10:35:08 pjb: ; Value: {{1 1} {2 4} {3 9}} 10:35:30 rudybot: (define (flatmap proc seq) (accumulate append (list) (map proc seq))) 10:35:30 pjb: Done. 10:35:44 rudybot: (define (accumulate op init list) (if (null? list) init (accumulate op (op (car list) init) (cdr list)))) 10:35:44 pjb: Done. 10:36:04 rudybot: (flatmap append '((1 1) (2 4) (3 9))) 10:36:04 pjb: ; Value: {3 9 2 4 1 1} 10:36:42 snizzo [~quassel@host49-1-dynamic.40-79-r.retail.telecomitalia.it] has joined #scheme 10:36:52 ijp [~user@host86-182-153-12.range86-182.btcentralplus.com] has joined #scheme 10:37:19 Notice one would change the order of the elements by changing (op (car list) init) to (op init (car list)) 10:37:32 rudybot: (define (accumulate op init list) (if (null? list) init (accumulate op (op init (car list)) (cdr list)))) 10:37:32 pjb: Done. 10:37:42 rudybot: (flatmap append '((1 1) (2 4) (3 9))) 10:37:42 pjb: ; Value: {1 1 2 4 3 9} 10:38:03 Perhaps it was the definition that was wanted. 10:38:18 so why is it called flatmap 10:38:25 what i can see is that it is like a map function 10:38:33 Because it allows to flatten the results of a map. 10:38:33 except it only takes in lists 10:38:40 In Common Lisp, we'd just use mapcan. 10:38:41 and it makes a list of those lists 10:39:02 but result of a map is already flat? 10:39:12 map gives you a list right? 10:39:14 is list flat?? 10:40:07 A flat list is a list containing only atoms. 10:40:14 An atom is a non-pair. 10:40:40 The result of (map (lambda (x) (list x (* x x))) '(1 2 3)) is not a flat list. 10:41:06 rudybot: eval (require srfi/1) 10:41:07 ijp: your sandbox is ready 10:41:07 ijp: Done. 10:41:24 rudybot: eval (define (flatmap f l) (concatenate (map f l))) 10:41:24 ijp: Done. 10:41:34 rudybot: eval (map iota (iota 5)) 10:41:34 ijp: ; Value: (() (0) (0 1) (0 1 2) (0 1 2 3)) 10:41:48 rudybot: eval (flatmap iota (iota 5)) 10:41:48 ijp: ; Value: (0 0 1 0 1 2 0 1 2 3) 10:41:59 ijp: yes, but a course or a book such as sicp cannot just contain (require srfi/1)  (require srfi/n). 10:42:25 yes, it provides a demonstration 10:42:52 given a function f that takes a value and returns a list 10:43:03 flapmap will return a list of values, and map will return a list of lists 10:43:35 Nonetheless, one can argue that flatmap is ill named and not well conceived. accumulate is more useful. 10:43:55 if words are confusing, show some examples 10:44:52 ok so basically if i had a list of list say ((1 2) (3 4) (5 6)) i would use flatmap to make it (1 2 3 4 5 6) 10:44:56 choas [~lars@p5795CB5C.dip.t-dialin.net] has joined #scheme 10:45:14 (flatmap (lambda (x) x) l) would do that, yes 10:47:22 rostayob [~rostayob@host86-157-214-140.range86-157.btcentralplus.com] has joined #scheme 10:48:05 what other way can you use flatmap? 10:48:52 one novelty is to implement filter using flatmap 10:49:00 bacause in SICP when they used it they used it to produce a list of pairs 10:49:08 so its not really flat at all 10:49:22 this is true, it only flattens one level 10:49:39 rudybot: (apply append '((1 2) (3 4) (5 6))) 10:49:40 leppie: your sandbox is ready 10:49:40 leppie: ; Value: (1 2 3 4 5 6) 10:50:29 rudybot: eval (define (my-filter f l) (flatmap (lambda (x) (if (f x) (list x) (list))) l)) 10:50:29 ijp: Done. 10:50:43 rudybot: eval (my-filter even? '(0 1 2 3 4 5 6 7 8 9 10)) 10:50:43 ijp: ; Value: (0 2 4 6 8 10) 10:50:48 rudybot: eval (my-filter odd? '(0 1 2 3 4 5 6 7 8 9 10)) 10:50:48 ijp: ; Value: (1 3 5 7 9) 10:51:20 still don't undersatnd what flatmap is :( 10:51:35 do you understand what concatenate does? 10:51:49 rudybot: eval (concatenate '((0 1 2) (3 4 5) (6 7 8))) 10:51:49 ijp: ; Value: (0 1 2 3 4 5 6 7 8) 10:52:10 flatmap is just a map, then concatenating the result lists 10:52:51 so, if we take that filter example I gave 10:53:30 rudybot: eval (define (my-filter f l) (map (lambda (x) (if (f x) (list x) (list))) l)) 10:53:30 ijp: Done. 10:53:35 only this time using normal map 10:53:49 rudybot: eval (my-filter odd? '(0 1 2 3 4 5 6 7 8 9 10)) 10:53:49 ijp: ; Value: (() (1) () (3) () (5) () (7) () (9) ()) 10:54:18 then all we are doing is taking those intermediate lists, and appending them together 10:54:34 oh 10:54:40 rudybot: eval (concatenate '(() (1) () (3) () (5) () (7) () (9) ())) 10:54:40 ijp: ; Value: (1 3 5 7 9) 10:54:50 so i can see the obvious use when you have a list of 1-list 10:55:44 leppie: how goes things in the IronScheme world? 10:58:29 ijp: slowly lately, need to think of something fun and new to boost development 10:59:09 guess I should make a release then, been in RC state for about 2 years now ;p 10:59:28 -!- Operaist2 [~OperaIst@ppp-110-169-248-18.revip5.asianet.co.th] has quit [Ping timeout: 255 seconds] 11:01:05 -!- leo2007 [~leo@114.249.18.93] has quit [Quit: rcirc on GNU Emacs 23.4.1] 11:13:30 Operaist2 [~OperaIst@ppp-58-11-242-28.revip2.asianet.co.th] has joined #scheme 11:18:22 -!- Operaist2 [~OperaIst@ppp-58-11-242-28.revip2.asianet.co.th] has quit [Ping timeout: 252 seconds] 11:19:48 -!- djcb`` [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Ping timeout: 265 seconds] 11:19:56 -!- noam [~noam@46.120.51.147] has quit [Read error: Connection reset by peer] 11:20:53 noam [~noam@46.120.51.147] has joined #scheme 11:21:38 Lajla [~Lajla@2001:0:5ef5:79fd:1455:2b2d:ae33:eb94] has joined #scheme 11:22:23 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:2c6d:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 11:32:05 nowhereman [~pierre@AStrasbourg-551-1-62-135.w83-194.abo.wanadoo.fr] has joined #scheme 11:33:58 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 276 seconds] 11:35:48 -!- nowhere_man [~pierre@AStrasbourg-551-1-19-143.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds] 12:09:45 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 12:11:50 -!- ijp [~user@host86-182-153-12.range86-182.btcentralplus.com] has quit [Quit: kernel update] 12:14:20 bas [~bas@5352A3FB.cm-6-3c.dynamic.ziggo.nl] has joined #scheme 12:15:12 -!- bas is now known as Skola 12:25:59 attila_lendvai [~attila_le@87.247.61.163] has joined #scheme 12:25:59 -!- attila_lendvai [~attila_le@87.247.61.163] has quit [Changing host] 12:25:59 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 12:30:56 Lajjla [~Lajla@2001:0:5ef5:79fd:287a:2b2d:ae33:eb94] has joined #scheme 12:31:43 -!- Lajla [~Lajla@2001:0:5ef5:79fd:1455:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 12:54:39 masm [~masm@bl17-196-179.dsl.telepac.pt] has joined #scheme 13:08:08 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Ping timeout: 252 seconds] 13:10:06 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 13:11:49 -!- pygospa [~Pygosceli@kiel-4dbecb83.pool.mediaWays.net] has quit [Read error: Connection reset by peer] 13:12:31 sharkbird [~sharkbird@67-220-6-139.usiwireless.com] has joined #scheme 13:13:42 soveran [~soveran@186.19.214.247] has joined #scheme 13:16:06 pygospa [~Pygosceli@kiel-4dbec9cc.pool.mediaWays.net] has joined #scheme 13:21:59 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 13:33:43 Lajla [~Lajla@2001:0:5ef5:79fd:3801:2b2d:ae33:eb94] has joined #scheme 13:36:33 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:287a:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 13:36:37 -!- rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Ping timeout: 244 seconds] 13:37:38 rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 13:40:06 airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has joined #scheme 13:40:29 -!- dous [~dous@unaffiliated/dous] has quit [Remote host closed the connection] 13:41:05 dous [~dous@unaffiliated/dous] has joined #scheme 13:45:17 -!- wingo [~wingo@90.164.198.39] has quit [Read error: Connection reset by peer] 13:45:30 -!- dous [~dous@unaffiliated/dous] has quit [Ping timeout: 244 seconds] 13:46:33 -!- homie [~levgue@xdsl-78-35-185-238.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 13:53:10 homie [~levgue@xdsl-78-35-185-238.netcologne.de] has joined #scheme 13:53:40 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 14:13:00 virl [~virl__@85-127-158-77.dynamic.xdsl-line.inode.at] has joined #scheme 14:17:02 -!- DGASAU [~user@91.218.144.129] has quit [Ping timeout: 244 seconds] 14:22:12 _schulte_ [~eschulte@c-174-56-50-60.hsd1.nm.comcast.net] has joined #scheme 14:22:45 wingo [~wingo@90.164.198.39] has joined #scheme 14:30:46 -!- snizzo [~quassel@host49-1-dynamic.40-79-r.retail.telecomitalia.it] has quit [Ping timeout: 276 seconds] 14:39:47 Lajjla [~Lajla@2001:0:5ef5:79fd:38f9:2b2d:ae33:eb94] has joined #scheme 14:43:03 -!- Lajla [~Lajla@2001:0:5ef5:79fd:3801:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 14:45:03 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 245 seconds] 14:45:34 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 14:52:27 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: Leaving] 14:56:51 noam_ [~noam@46.120.51.147] has joined #scheme 14:58:50 kk` [~kk@77.107.164.131] has joined #scheme 14:58:50 -!- kk` [~kk@77.107.164.131] has quit [Changing host] 14:58:50 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 14:58:58 -!- noam [~noam@46.120.51.147] has quit [Ping timeout: 255 seconds] 15:08:45 dous [~dous@unaffiliated/dous] has joined #scheme 15:10:09 bfgun [~b_fin_g@r186-48-235-108.dialup.adsl.anteldata.net.uy] has joined #scheme 15:13:39 -!- bfig [~b_fin_g@r186-48-226-34.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 252 seconds] 15:19:13 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 15:19:25 kk` [~kk@77.107.164.131] has joined #scheme 15:19:25 -!- kk` [~kk@77.107.164.131] has quit [Changing host] 15:19:25 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 15:21:38 -!- datkin [~datkin@cpe-74-73-237-252.nyc.res.rr.com] has quit [Read error: Connection reset by peer] 15:21:50 CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has joined #scheme 15:25:11 datkin_ [~datkin@cpe-74-73-237-252.nyc.res.rr.com] has joined #scheme 15:26:22 -!- datkin_ [~datkin@cpe-74-73-237-252.nyc.res.rr.com] has left #scheme 15:29:21 -!- homie [~levgue@xdsl-78-35-185-238.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 15:33:02 -!- eno [~eno@nslu2-linux/eno] has quit [Ping timeout: 272 seconds] 15:34:12 eno [~eno@nslu2-linux/eno] has joined #scheme 15:39:24 Lajla [~Lajla@2001:0:5ef5:79fd:189f:2b2d:ae33:eb94] has joined #scheme 15:40:47 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 15:41:21 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 15:43:07 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 15:43:08 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:38f9:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 15:46:42 kk` [~kk@77.107.164.131] has joined #scheme 15:46:43 -!- kk` [~kk@77.107.164.131] has quit [Changing host] 15:46:43 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 15:53:43 dzhus [~sphinx@176.14.94.92] has joined #scheme 15:56:24 phax [~phax@unaffiliated/phax] has joined #scheme 15:56:44 -!- airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has quit [] 15:57:07 -!- bfgun is now known as bfig 15:57:50 jrslepak [~jrslepak@c-71-233-151-135.hsd1.ma.comcast.net] has joined #scheme 16:00:38 snizzo [~quassel@host49-1-dynamic.40-79-r.retail.telecomitalia.it] has joined #scheme 16:07:24 -!- dous [~dous@unaffiliated/dous] has quit [Remote host closed the connection] 16:09:05 dous [~dous@unaffiliated/dous] has joined #scheme 16:32:55 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 260 seconds] 16:35:04 Lajjla [~Lajla@2001:0:5ef5:79fd:20c3:2b2d:ae33:eb94] has joined #scheme 16:35:35 -!- snizzo [~quassel@host49-1-dynamic.40-79-r.retail.telecomitalia.it] has quit [Read error: Connection reset by peer] 16:37:44 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 16:37:58 -!- Lajla [~Lajla@2001:0:5ef5:79fd:189f:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 16:40:08 kk` [~kk@77.107.164.131] has joined #scheme 16:40:08 -!- kk` [~kk@77.107.164.131] has quit [Changing host] 16:40:08 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 16:41:59 tcleval [~funnyguy@186.213.47.221] has joined #scheme 16:44:31 hi, what is the role of () around complex in http://paste.lisp.org/display/128128 ? I see the with (complex) I can define an "object", where I can store a function dispatcher inside the lambda.. but I dont understand how () change it so much 16:45:30 tcleval: (define (f . args) body) is equivalent to (define f (lambda args body)) 16:46:07 So the first form is equivalent to (define complex (lambda () (lambda (x y) (cons x y)))) which is quite different from the secoond form. 16:49:00 pjb: so, on the second form, complex hold a lambda expression that receives args, and on the first form complex is a lambda expression that creates another lambda that receives x y... hummm 16:50:10 so in the first form I can create something like C++/java objects as the objects defined with (define myobj complex) are actualy a lambda expression 16:52:43 pjb: in that case, as I have an extra lambda, I can define auxiliary procedures only accessible inside complex... Just like Poors Man obj programming 16:54:53 closures are a poor man's objects 16:55:16 http://people.csail.mit.edu/gregs/ll1-discuss-archive-html/msg03277.html 16:55:48 http://c2.com/cgi/wiki?ClosuresAndObjectsAreEquivalent 16:59:35 thx people 17:14:18 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 17:23:46 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 17:28:19 -!- offby1 [~user@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Changing host] 17:28:19 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 17:29:24 riverswain [~avery@67-2-16-222.slkc.qwest.net] has joined #scheme 17:33:03 Lajla [~Lajla@2001:0:5ef5:79fd:28e8:2b2d:ae33:eb94] has joined #scheme 17:36:43 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:20c3:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 17:39:37 sousousou [~user@host-72-174-54-175.msl-mt.client.bresnan.net] has joined #scheme 17:41:41 -!- sousousou [~user@host-72-174-54-175.msl-mt.client.bresnan.net] has quit [Remote host closed the connection] 17:53:36 homie [~levgue@xdsl-78-35-182-205.netcologne.de] has joined #scheme 17:54:31 republican_devil [~g@pool-108-13-218-184.lsanca.fios.verizon.net] has joined #scheme 17:54:37 -!- leppie [~lolcow@196-215-4-254.dynamic.isadsl.co.za] has quit [Read error: Connection reset by peer] 17:58:49 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 18:02:20 i had no idea guy steele edited the first ecmascript specification 18:02:39 leppie [~lolcow@196-215-4-254.dynamic.isadsl.co.za] has joined #scheme 18:02:41 Nisstyre [~yours@c-208-90-102-250.netflash.net] has joined #scheme 18:05:58 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 18:07:34 wingo, he is also the guy behind Java 18:10:30 -!- noam_ [~noam@46.120.51.147] has quit [Read error: Connection reset by peer] 18:11:06 noam_ [~noam@46.120.51.147] has joined #scheme 18:12:03 samth [~samth@c-174-63-85-87.hsd1.ma.comcast.net] has joined #scheme 18:14:21 -!- noam_ [~noam@46.120.51.147] has quit [Read error: Connection reset by peer] 18:14:35 noam_ [~noam@46.120.51.147] has joined #scheme 18:25:00 noam [~noam@46.120.51.147] has joined #scheme 18:26:44 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 18:27:50 -!- noam_ [~noam@46.120.51.147] has quit [Ping timeout: 255 seconds] 18:28:33 Lajjla [~Lajla@2001:0:5ef5:79fd:1858:2b2d:ae33:eb94] has joined #scheme 18:29:41 -!- noam [~noam@46.120.51.147] has quit [Ping timeout: 248 seconds] 18:30:46 -!- chromaticwt [~user@71-222-135-74.albq.qwest.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 18:31:18 chromaticwt [~user@71-222-135-74.albq.qwest.net] has joined #scheme 18:31:43 -!- Lajla [~Lajla@2001:0:5ef5:79fd:28e8:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 18:34:06 that i knew 18:36:57 wingo, I always use it as an argument to either Java people who think scheme is retarded or the inverse 18:37:04 Domain is everything of course. 18:37:30 hi, schemers. I am reading "The Scheme Programming Language, 3rd Edition" and I dont understand what "=>" is doing on this code http://paste.lisp.org/display/128130 actually I dont know what "=>" stands for 18:37:56 tcleval, that's a form of cond 18:38:14 It basically, if the condition is true, evaluates to the result of the condition with cdr applied to it 18:38:15 tcleval: the right hand side of => is a procedure that's applied to the test expression. 18:38:30 tcleval: Also, did you know that TSPL 4th edition is freely available online? 18:38:59 really? that is great! 18:39:04 I am going for it 18:39:31 tcleval: http://www.scheme.com/tspl4/ 18:40:38 nice.. to be "complete" I could find a pdf or chm version so I can read it on my phone too 18:41:35 -!- virl [~virl__@85-127-158-77.dynamic.xdsl-line.inode.at] has quit [Remote host closed the connection] 18:42:48 asumu: on the 4th edition I see [] instead of () on the same code I just show you. Is that racket specific ? Coz I am using gambit 18:43:16 tsplv4 is r6rs 18:43:24 in which [] is equivalent to () 18:43:48 gambit does not implement r6rs 18:43:52 humm 18:43:57 if you're on gambit, better to stay with tsplv3 18:44:04 So I better stick with 3rd edition 18:44:30 anyway is good to know where to findo more info on scheme 18:45:08 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 18:48:38 [ and ( is interchangeable, so you could read 4th and just pretend they are the same. Or you can stick with 3rd, up to you. 18:49:04 All of the TSPL editions (down to 2nd anyway) use syntax-case, for example, so Gambit won't support everything there anyway. 18:53:17 -!- rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Ping timeout: 252 seconds] 18:55:09 -!- MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has quit [Ping timeout: 245 seconds] 18:56:44 rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 18:57:01 asumu: in any case I am downloading the book 18:57:17 -!- cdidd [~cdidd@128-72-107-107.broadband.corbina.ru] has quit [Remote host closed the connection] 19:03:21 EmmanuelOga [~emmanuel@host39.190-229-112.telecom.net.ar] has joined #scheme 19:05:58 -!- forcer [~forcer@hmbg-4d068269.pool.mediaWays.net] has quit [Read error: Connection reset by peer] 19:06:26 forcer [~forcer@hmbg-4d068269.pool.mediaWays.net] has joined #scheme 19:07:17 -!- em [~em@unaffiliated/emma] has quit [Ping timeout: 244 seconds] 19:08:36 Ahh, symtax-case, my mortal nemesis 19:08:50 I like what you've done to your beard. 19:15:15 tomodo [~tomodo@gateway/tor-sasl/tomodo] has joined #scheme 19:19:30 noam [~noam@46.120.51.147] has joined #scheme 19:21:38 hi 19:21:52 *offby1* rubs his chin 19:22:15 *overflow_0f8b* twists mustache 19:24:13 *qu1j0t3* adjusts monocle 19:26:55 I say. 19:30:32 Lajla [~Lajla@2001:0:5ef5:79fd:148e:2b2d:ae33:eb94] has joined #scheme 19:31:15 -!- omegacfx [~omegacfx@unaffiliated/omegacfx] has left #scheme 19:34:08 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:1858:2b2d:ae33:eb94] has quit [Ping timeout: 260 seconds] 19:42:17 realitygrill_ [~realitygr@76.226.218.33] has joined #scheme 19:42:38 -!- realitygrill [~realitygr@76.226.217.27] has quit [Ping timeout: 240 seconds] 19:42:38 -!- realitygrill_ is now known as realitygrill 19:47:02 realitygrill_ [~realitygr@76.226.198.154] has joined #scheme 19:48:47 schemers use scheme for shell scripting? 19:49:07 tired of perl and tcl arrays syntax seems a mess 19:49:16 -!- realitygrill [~realitygr@76.226.218.33] has quit [Ping timeout: 276 seconds] 19:49:16 -!- realitygrill_ is now known as realitygrill 19:49:55 republican_devil: looked at scsh (i don't use it myself, but it's clever)? 19:50:12 em [~em@unaffiliated/emma] has joined #scheme 19:51:43 -!- rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Ping timeout: 252 seconds] 19:53:08 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 19:53:27 -!- Lajla [~Lajla@2001:0:5ef5:79fd:148e:2b2d:ae33:eb94] has quit [Read error: Connection reset by peer] 19:53:52 rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 19:54:02 Lajla [~Lajla@2001:0:5ef5:79fd:148e:2b2d:ae33:eb94] has joined #scheme 19:56:48 I have a while back, it seemed wuite awesome. 19:56:53 quite 19:58:23 bill_ [~bill@76.73.221.195] has joined #scheme 20:01:55 -!- FireFly [~firefly@unaffiliated/firefly] has quit [Ping timeout: 255 seconds] 20:02:08 qu1j0t3: #gavino 20:03:14 -!- republican_devil is now known as yes_imgavino 20:03:23 I do really love lisp. 20:03:40 perl really gives me headache 20:05:23 yes_imgavino: I like lisp too. do you use emacs? 20:08:42 FireFly [~firefly@firefly.xen.prgmr.com] has joined #scheme 20:08:56 vi 20:09:05 wingo: oh gawd, i fall for it every time. 20:09:25 all we need is Xah Lee in here and it's a party 20:11:21 wow his post so boring on google groups 20:11:25 usenet 20:11:36 I mean I don't like perl either. 20:11:37 lol 20:11:48 picolisp seems interesting 20:12:01 most jobs using java barf 20:12:37 lastest thing si mongodb nodejs and mysql being used so at least not oracle crap 20:12:47 wonder wah twould happen if used scheme without relational db 20:12:57 would apps be better on same given hardware 20:14:04 -!- bill_ [~bill@76.73.221.195] has left #scheme 20:14:28 hopfrog [~bill@76.73.221.195] has joined #scheme 20:17:17 do any of you work in a place using such strategy? 20:17:21 scheme all the way 20:20:05 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Ping timeout: 248 seconds] 20:33:06 ? 20:33:14 feel like the wub 20:33:24 wish to discuss things but everyone silent 20:34:53 hey 20:35:03 i'm working on my AI 20:36:04 -!- tali713 [~tali713@c-75-72-193-140.hsd1.mn.comcast.net] has quit [Ping timeout: 276 seconds] 20:36:21 tali713 [~tali713@c-75-72-193-140.hsd1.mn.comcast.net] has joined #scheme 20:37:05 pdponze [~pierre@37.0.41.146] has joined #scheme 20:37:11 -!- EmmanuelOga [~emmanuel@host39.190-229-112.telecom.net.ar] has quit [Ping timeout: 244 seconds] 20:43:12 yes_imgavino: if you like lisp, you should be using emacs, it even has viper-mode for vi emulation, but not ex. 20:43:52 adu [~ajr@pool-72-83-26-98.washdc.fios.verizon.net] has joined #scheme 20:44:08 why 20:44:13 vi si fine 20:44:18 paul graham used it 20:44:24 I find emacs a task in itself to learn 20:44:26 zz 20:44:36 plus if I am on terminal withotu x 20:44:42 emacs no use eh 20:44:52 oh wait it has termianl mode ok ok 20:44:56 but why bother 20:45:04 I think :sm gives em paren matching 20:45:07 and away i go 20:46:18 -!- _schulte_ [~eschulte@c-174-56-50-60.hsd1.nm.comcast.net] has quit [Ping timeout: 245 seconds] 20:47:51 auto-troll-mode 20:48:27 eli, ping -- troll infestation in aisle 4 20:48:46 not trollllll 20:48:49 I am not troll 20:48:55 not not 20:49:16 where's Capt. Obvious when you need him 20:49:24 man fuck you guys 20:51:12 EmmanuelOga [~emmanuel@181.28.178.241] has joined #scheme 20:51:53 http://javafree.uol.com.br/artigo/871463/Interview-with-Klaus-Wuestefeld-founder-of-Prevayler.html I think a shop using lisp prevalence would go a long way toward beating most of what I see running on my precious linux machines. 20:51:54 http://tinyurl.com/8xc7u9w 20:52:09 -!- C-Keen [cckeen@pestilenz.org] has left #scheme 20:53:22 -!- wingo [~wingo@90.164.198.39] has quit [Ping timeout: 246 seconds] 20:55:15 -!- adu [~ajr@pool-72-83-26-98.washdc.fios.verizon.net] has quit [Read error: Connection reset by peer] 20:55:44 adu [~ajr@pool-72-83-26-98.washdc.fios.verizon.net] has joined #scheme 21:09:03 Lajjla [~Lajla@2001:0:5ef5:79fd:50:2b2d:ae33:eb94] has joined #scheme 21:09:08 dnolen [~user@p72-0-226-118-static.acedsl.com] has joined #scheme 21:12:30 -!- Lajla [~Lajla@2001:0:5ef5:79fd:148e:2b2d:ae33:eb94] has quit [Ping timeout: 272 seconds] 21:13:28 -!- chromaticwt [~user@71-222-135-74.albq.qwest.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:13:47 *adu* <3 Emacs 21:13:48 -!- realitygrill [~realitygr@76.226.198.154] has quit [Read error: Connection reset by peer] 21:13:54 chromaticwt [~user@71-222-135-74.albq.qwest.net] has joined #scheme 21:17:00 realitygrill [~realitygr@76.226.195.76] has joined #scheme 21:17:01 -!- realitygrill [~realitygr@76.226.195.76] has quit [Client Quit] 21:21:35 -!- adu [~ajr@pool-72-83-26-98.washdc.fios.verizon.net] has quit [Quit: adu] 21:24:30 -!- gravicappa [~gravicapp@ppp91-77-165-81.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:31:34 mjonsson [~mjonsson@38.109.95.176] has joined #scheme 21:31:35 mjonsson_ [~mjonsson@38.109.95.176] has joined #scheme 21:33:53 -!- sharkbird [~sharkbird@67-220-6-139.usiwireless.com] has quit [Remote host closed the connection] 21:34:37 sharkbird [~sharkbird@67-220-6-139.usiwireless.com] has joined #scheme 21:36:15 -!- noam [~noam@46.120.51.147] has quit [Ping timeout: 260 seconds] 21:37:25 superjudge [~superjudg@c83-250-198-227.bredband.comhem.se] has joined #scheme 21:38:53 snits [~snits@75-167-2-163.phnx.qwest.net] has joined #scheme 21:40:54 noam [~noam@46.120.51.147] has joined #scheme 21:44:26 JohnnyL [~IceChat7@ool-45782e3e.dyn.optonline.net] has joined #scheme 21:45:45 noam_ [~noam@46.120.51.147] has joined #scheme 21:48:41 -!- noam [~noam@46.120.51.147] has quit [Ping timeout: 252 seconds] 21:50:54 -!- noam_ [~noam@46.120.51.147] has quit [Ping timeout: 260 seconds] 22:03:29 -!- superjudge [~superjudg@c83-250-198-227.bredband.comhem.se] has quit [Quit: superjudge] 22:04:28 -!- tomodo [~tomodo@gateway/tor-sasl/tomodo] has quit [Ping timeout: 276 seconds] 22:08:32 -!- Skola [~bas@5352A3FB.cm-6-3c.dynamic.ziggo.nl] has quit [Quit: Lost terminal] 22:11:55 -!- sharkbird [~sharkbird@67-220-6-139.usiwireless.com] has quit [Remote host closed the connection] 22:12:14 sharkbird [~sharkbird@67-220-6-139.usiwireless.com] has joined #scheme 22:21:07 -!- offby1 [~user@pdpc/supporter/monthlybyte/offby1] has quit [Read error: Connection reset by peer] 22:22:26 offby1 [~user@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 22:26:07 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 246 seconds] 22:26:35 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 22:27:02 Lajla [~Lajla@2001:0:5ef5:79fd:3898:2b2d:ae33:eb94] has joined #scheme 22:28:48 -!- Lajjla [~Lajla@2001:0:5ef5:79fd:50:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 22:29:27 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 22:31:16 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 22:37:34 -!- hopfrog [~bill@76.73.221.195] has quit [Ping timeout: 244 seconds] 22:41:32 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Quit: Ex-Chat] 22:41:37 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 22:54:08 -!- aspect [~aspect@abstracted-spleen.org] has left #scheme 23:00:05 -!- offby1 [~user@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Changing host] 23:00:05 offby1 [~user@pdpc/supporter/monthlybyte/offby1] has joined #scheme 23:01:45 arrix [~arrix@114.244.44.185] has joined #scheme 23:06:25 airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has joined #scheme 23:06:42 -!- mjonsson [~mjonsson@38.109.95.176] has quit [Quit: Leaving] 23:08:24 -!- confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 23:09:13 confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 23:09:32 -!- confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 23:09:39 oneirophren [oneirophre@91.196.91.40] has joined #scheme 23:11:25 confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 23:29:07 foeniks [~fevon@p57B4C67C.dip.t-dialin.net] has joined #scheme 23:43:34 Lajjla [~Lajla@2001:0:5ef5:79fd:340c:2b2d:ae33:eb94] has joined #scheme 23:46:04 -!- dnolen [~user@p72-0-226-118-static.acedsl.com] has quit [Ping timeout: 265 seconds] 23:47:08 -!- Lajla [~Lajla@2001:0:5ef5:79fd:3898:2b2d:ae33:eb94] has quit [Ping timeout: 245 seconds] 23:57:59 -!- bfig [~b_fin_g@r186-48-235-108.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 252 seconds] 23:58:41 -!- choas [~lars@p5795CB5C.dip.t-dialin.net] has quit [Ping timeout: 244 seconds]