00:00:31 -!- sreeram [n=sreeram@122.174.64.33] has quit [] 00:05:03 rouslan [n=Rouslan@unaffiliated/rouslan] has joined #scheme 00:16:34 -!- citizen995 [i=5d8d60bc@gateway/web/freenode/x-3b224877a720f82d] has quit ["Page closed"] 00:35:29 rcassidy_ [n=rcassidy@129.10.228.137] has joined #scheme 00:35:50 -!- rcassidy_ [n=rcassidy@129.10.228.137] has left #scheme 00:49:08 gnomon: http://github.com/rotty/spells/commit/cfe9d38b883ce63f5301bc7e98490e298aaf8a51 00:49:10 -rudybot:#scheme- http://tinyurl.com/myxt5x 00:49:55 (that's my AWK macro, FWIW) 00:50:04 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Remote closed the connection] 00:54:01 RageOfThou [n=RageOfTh@89.146.177.105] has joined #scheme 00:57:18 -!- saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has quit ["This computer has gone to sleep"] 01:04:09 chylli [n=lchangyi@119.181.15.104] has joined #scheme 01:11:56 -!- MrFahrenheit [n=RageOfTh@SE400.PPPoE-6500.sa.bih.net.ba] has quit [Read error: 110 (Connection timed out)] 01:15:37 -!- dmoerner [n=dmr@ppp-71-139-30-13.dsl.snfc21.pacbell.net] has quit [Remote closed the connection] 01:17:08 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Remote closed the connection] 01:21:01 xwl_ [n=user@147.243.236.60] has joined #scheme 01:25:21 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 01:32:52 QinGW [n=wangqing@203.86.81.2] has joined #scheme 01:35:01 rouslan [n=Rouslan@unaffiliated/rouslan] has joined #scheme 01:42:41 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Remote closed the connection] 01:44:17 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 01:45:30 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 01:48:49 -!- eno__ [n=eno@adsl-70-137-155-123.dsl.snfc21.sbcglobal.net] has quit [Read error: 60 (Operation timed out)] 01:49:26 eno [n=eno@nslu2-linux/eno] has joined #scheme 01:55:13 rotty: nice; so it looks like, along with make, etc., you're on the way to a full-fledge gnu stack in scheme? 01:55:51 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [Remote closed the connection] 01:56:25 timchen1` [i=tim@kalug.ks.edu.tw] has joined #scheme 01:56:40 -!- timchen1` is now known as nasloc__ 02:12:58 klutometis: hehe. perhaps in 5 years :-) 02:52:59 tjafk1 [n=timj@e176199212.adsl.alicedsl.de] has joined #scheme 03:08:58 -!- tjafk2 [n=timj@e176212112.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 03:11:09 ormvegr [i=40ffb441@gateway/web/freenode/x-b5752d81b1b9f761] has joined #scheme 03:12:06 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [] 03:12:17 rouslan [n=Rouslan@pool-70-109-137-208.cncdnh.east.myfairpoint.net] has joined #scheme 03:13:20 ormvegr 03:13:39 -!- RageOfThou [n=RageOfTh@89.146.177.105] has quit [Read error: 110 (Connection timed out)] 03:13:52 -!- tc-rucho [n=tc-rucho@190.191.87.42] has quit [Read error: 110 (Connection timed out)] 03:15:17 wolgo [n=noige@69.59.130.52] has joined #scheme 03:16:21 annodomini [n=lambda@pool-141-154-207-110.bos.east.verizon.net] has joined #scheme 03:16:23 -!- ormvegr [i=40ffb441@gateway/web/freenode/x-b5752d81b1b9f761] has quit [Ping timeout: 180 seconds] 03:16:54 Hello, I am learning scheme and using Dr. Scheme. I am using The Little Schemer to learn with. I am getting some behavior that I did not expect. 03:16:57 -!- ASau [n=user@193.138.70.52] has quit ["off"] 03:18:42 I have defined a procedure called rember which takes two arguments. An atom and a list. I have completed the exercise from the book successfully but when I try to run my code I get the following: # 03:19:11 What does # mean? 03:20:29 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 03:28:22 it means you didn't invoke it? 03:28:36 and you're staring at the procedure instead of the value of calling it on something 03:30:27 oh okay 03:34:01 -!- jao [n=jao@187.Red-83-50-68.dynamicIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 03:39:29 rotty: looks nice :p 03:45:09 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 04:18:24 -!- ray [i=ray@ipv6.the.ug] has quit ["Changing server"] 04:18:27 ray [i=ray@drong.notacat.org] has joined #scheme 04:33:13 -!- underspecified [n=underspe@leopard175.naist.jp] has quit [] 04:33:18 bitweiler [n=phax@ppp-70-242-66-37.dsl.stlsmo.swbell.net] has joined #scheme 04:36:44 ASau [n=user@77.246.231.134] has joined #scheme 04:37:23 leppie|work [i=52d2e3c8@gateway/web/freenode/x-3cc97f92f8084dfb] has joined #scheme 04:37:32 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 04:38:00 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 04:40:06 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 104 (Connection reset by peer)] 04:40:19 QinGW [n=wangqing@203.86.81.2] has joined #scheme 04:42:07 -!- wolgo [n=noige@69.59.130.52] has left #scheme 04:44:29 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-3cc97f92f8084dfb] has quit ["Page closed"] 04:44:48 leppie|work [i=52d2e3c8@gateway/web/freenode/x-4ba4493f711b5788] has joined #scheme 04:45:22 underspecified [n=underspe@leopard175.naist.jp] has joined #scheme 04:56:36 -!- kilimanjaro [n=kilimanj@70.116.95.163] has quit [Remote closed the connection] 05:09:30 brandelune [n=suzume@pl834.nas982.takamatsu.nttpc.ne.jp] has joined #scheme 05:23:05 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 05:23:33 athos [n=philipp@92.250.250.68] has joined #scheme 05:26:39 aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 05:27:47 -!- aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 05:27:56 aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 05:28:16 -!- aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 54 (Connection reset by peer)] 05:28:23 aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 05:28:52 -!- aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 05:29:19 aircastl_ [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 06:20:44 -!- bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has quit [Client Quit] 06:30:31 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [Client Quit] 06:31:08 copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 06:36:38 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 06:37:38 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit [Client Quit] 06:38:59 -!- cky [n=cky@cpe-024-211-255-249.nc.res.rr.com] has quit [Read error: 60 (Operation timed out)] 06:44:59 soupdragon [n=f@83.104.248.190] has joined #scheme 06:45:51 cky [n=cky@24.211.255.249] has joined #scheme 07:08:25 hotblack23 [n=jh@p5B057551.dip.t-dialin.net] has joined #scheme 07:13:16 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 07:15:54 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [Read error: 60 (Operation timed out)] 07:16:01 -!- hotblack23 [n=jh@p5B057551.dip.t-dialin.net] has quit ["Leaving."] 07:17:18 -!- soupdragon [n=f@83.104.248.190] has quit [Read error: 113 (No route to host)] 07:19:18 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 07:22:20 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 07:23:49 wy [n=wy@c-24-16-38-23.hsd1.wa.comcast.net] has joined #scheme 07:25:46 -!- synthase [n=synthase@adsl-146-254-105.mob.bellsouth.net] has quit [Read error: 110 (Connection timed out)] 07:36:44 -!- wy [n=wy@c-24-16-38-23.hsd1.wa.comcast.net] has quit ["Leaving"] 07:37:31 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 07:38:01 snurble [n=snurble@83.191.238.2] has joined #scheme 07:38:16 -!- aircastl_ is now known as aircastle_a 07:40:05 jewel_ [n=jewel@dsl-242-130-65.telkomadsl.co.za] has joined #scheme 07:45:04 kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 07:45:20 npe [n=npe@195.207.5.2] has joined #scheme 07:50:08 rstandy [n=rastandy@net-93-144-39-178.t2.dsl.vodafone.it] has joined #scheme 07:53:02 antoszka_ [n=antoszka@unaffiliated/antoszka] has joined #scheme 07:53:50 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Read error: 104 (Connection reset by peer)] 07:56:58 npe_ [n=npe@195.207.5.2] has joined #scheme 08:03:53 -!- antoszka_ is now known as antoszka 08:04:42 mmc [n=mima@esprx02x.nokia.com] has joined #scheme 08:08:30 Fufie [n=poff@Gatekeeper.vizrt.com] has joined #scheme 08:11:28 -!- npe [n=npe@195.207.5.2] has quit [No route to host] 08:14:20 -!- Fufie [n=poff@Gatekeeper.vizrt.com] has quit [Read error: 104 (Connection reset by peer)] 08:20:28 Fufie [n=poff@Gatekeeper.vizrt.com] has joined #scheme 08:23:32 marcoecc [i=me@gateway/gpg-tor/key-0x9C9AAE7F] has joined #scheme 08:34:14 -!- aircastle_a is now known as aircastle_ 08:37:29 -!- snurble [n=snurble@83.191.238.2] has quit [Read error: 104 (Connection reset by peer)] 08:38:01 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 08:49:25 dzhus [n=sphinx@95-24-91-183.broadband.corbina.ru] has joined #scheme 08:55:24 -!- TR2N [i=email@89.180.144.5] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- Quadrescence [n=quad@unaffiliated/quadrescence] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- pantsd_ [n=hkarau@nat/uwaterloo/x-6274542859f7943e] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- tarbo_ [n=me@unaffiliated/tarbo] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- roderic [n=user@bubbles.ccs.neu.edu] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- stepnem [n=stepnem@topol.nat.praha12.net] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- ineiros_ [n=ineiros@james.ics.hut.fi] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- ecraven [n=nex@140.78.42.103] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- g0ju [n=moo@spalila.hrz.fh-zwickau.de] has quit [simmons.freenode.net irc.freenode.net] 08:55:24 -!- minion [n=minion@common-lisp.net] has quit [simmons.freenode.net irc.freenode.net] 08:56:04 TR2N [i=email@89.180.144.5] has joined #scheme 08:56:04 Quadrescence [n=quad@unaffiliated/quadrescence] has joined #scheme 08:56:04 pantsd_ [n=hkarau@nat/uwaterloo/x-6274542859f7943e] has joined #scheme 08:56:04 roderic [n=user@bubbles.ccs.neu.edu] has joined #scheme 08:56:04 stepnem [n=stepnem@topol.nat.praha12.net] has joined #scheme 08:56:04 ineiros_ [n=ineiros@james.ics.hut.fi] has joined #scheme 08:56:04 ecraven [n=nex@140.78.42.103] has joined #scheme 08:56:04 g0ju [n=moo@spalila.hrz.fh-zwickau.de] has joined #scheme 08:56:04 minion [n=minion@common-lisp.net] has joined #scheme 08:56:26 tarbo [n=me@unaffiliated/tarbo] has joined #scheme 08:58:22 -!- stepnem [n=stepnem@topol.nat.praha12.net] has quit [SendQ exceeded] 09:05:05 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 09:05:31 athos [n=philipp@92.250.250.68] has joined #scheme 09:16:01 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 09:27:57 -!- xwl_ [n=user@147.243.236.60] has quit [Remote closed the connection] 09:47:04 -!- mmc [n=mima@esprx02x.nokia.com] has quit ["Leaving."] 10:03:50 -!- incubot [i=incubot@klutometis.wikitex.org] has quit [Remote closed the connection] 10:05:26 mmc [n=mima@esprx01x.nokia.com] has joined #scheme 10:08:54 incubot [i=incubot@klutometis.wikitex.org] has joined #scheme 10:20:16 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 104 (Connection reset by peer)] 10:45:06 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["If technology is distinguishable from magic, it is insufficiently advanced."] 10:48:21 proq` [n=user@38.100.211.40] has joined #scheme 10:48:50 -!- proq [n=user@38.100.211.40] has quit [Remote closed the connection] 10:53:14 alaricsp [n=alaricsp@88-202-202-24.rdns.as8401.net] has joined #scheme 10:56:24 -!- proq` [n=user@38.100.211.40] has quit [Read error: 104 (Connection reset by peer)] 10:56:34 proq` [n=user@38.100.211.40] has joined #scheme 11:22:31 cracki [n=cracki@43-231.eduroam.RWTH-Aachen.DE] has joined #scheme 11:32:12 borism [n=boris@195-50-197-191-dsl.krw.estpak.ee] has joined #scheme 11:42:49 stepnem [n=stepnem@topol.nat.praha12.net] has joined #scheme 11:50:43 -!- ASau [n=user@77.246.231.134] has quit ["off"] 11:58:35 jao [n=jao@187.Red-83-50-68.dynamicIP.rima-tde.net] has joined #scheme 12:05:06 -!- jewel_ [n=jewel@dsl-242-130-65.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 12:07:26 -!- aircastle_ is now known as aircastle_away 12:08:04 Fare [n=Fare@c-98-216-111-110.hsd1.ma.comcast.net] has joined #scheme 12:12:30 mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has joined #scheme 12:22:00 annodomini [n=lambda@75.69.96.104] has joined #scheme 12:30:24 -!- mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 12:37:42 -!- cracki [n=cracki@43-231.eduroam.RWTH-Aachen.DE] has quit ["If technology is distinguishable from magic, it is insufficiently advanced."] 12:38:12 jhu [n=user@081-003-214-196.yesss.at] has joined #scheme 12:45:32 jewel_ [n=jewel@dsl-242-130-65.telkomadsl.co.za] has joined #scheme 12:46:14 attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has joined #scheme 12:47:47 MrFahrenheit [n=RageOfTh@89.146.188.209] has joined #scheme 12:52:05 -!- dsmith [n=dsmith@cpe-173-88-196-177.neo.res.rr.com] has quit [Remote closed the connection] 12:54:49 ASau [n=user@193.138.70.52] has joined #scheme 12:59:31 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 12:59:41 -!- npe_ is now known as npe 13:04:57 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 13:07:45 blackened` [n=blackene@89.102.28.224] has joined #scheme 13:10:09 photon [n=photon@unaffiliated/photon] has joined #scheme 13:32:01 bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has joined #scheme 13:37:03 Pittsfield Lawn & Tractor has the largest selection of parts and accessories in Berkshire County. 13:45:40 do they recurse? 13:50:37 annodomini [n=lambda@130.189.179.215] has joined #scheme 13:51:41 yes, but not mutually 13:51:51 -!- dnm_ [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [Client Quit] 13:58:32 Edico [n=Edico@unaffiliated/edico] has joined #scheme 14:01:54 masm [n=masm@213.22.191.93] has joined #scheme 14:16:48 arggg, this R6RS directory/library layout is a mess 14:17:35 *leppie* looks at rotty 14:17:51 *leppie* looks at all the others 14:18:36 rickardg [n=user@EGAWS2003.stu.lu.se] has joined #scheme 14:18:52 davazp [n=user@79.153.148.56] has joined #scheme 14:21:32 is there any statically typed languages that can infer types for a procedure like map in scheme that takes a proc based on the number of lists passed to the procedure? Is this even possible? 14:25:48 or lets make it easier, are there any languages that let you define a method contract for such a procedure? eg (((I ... => O) (list I) ...) => (list O)) 14:26:17 leppie: PLT has a typed Scheme variant, that I know nothing about. But I don;t see any problems with deriving a type for map. 14:26:18 where I and O are input and output types 14:26:41 leppie: are the lists typed? 14:27:18 ideally :) i'm just pondering some ideas for making a typed-scheme compiler 14:29:38 obviously for say case 1 - 8, i can make fast dispatching, but im wondering on the more than that case, which can go into infinity, so where do I stop? 14:29:49 leppie: but it all depends on how exact you want to type... do you want the lists to have the same length for example? 14:30:52 no, that would be outside the typing scope :p 14:30:58 does the mapper accept a full Cartesian product of types or only a subset... 14:32:08 hkBst: i have no idea 14:32:25 but basically I or O could be any type 14:32:46 so given the input and the transformation, the output can be derived 14:32:57 it's possible but inference will be partial 14:33:18 leppie: well, the cars together have to be valid arguments for the mapper... 14:34:08 this is stronger than that each car should be a valid possible argument for a certain position only, unless the mapper accepts a full product 14:34:19 soupdragon: that's what I feel, but I dont know if it's even worth going down that avenue, it might be a nice exercise 14:34:57 soupdragon: what exactly will be partial? 14:35:13 sorry hkBst, I lost you there, I dont really know the terminology :( 14:35:27 *leppie* has lots to study 14:35:41 -!- brandelune [n=suzume@pl834.nas982.takamatsu.nttpc.ne.jp] has quit [] 14:36:04 hkBst: inference 14:36:26 leppie: well, for example suppose your mapper accept as first argument a boolean and as second argument a character, BUT if the first is #f only a char that represents a digit for #t only a lowercase letter. 14:36:36 jlongster [n=user@75.148.111.133] has joined #scheme 14:36:41 hkBst: sometimes the typechecker has to give up and ask you to put annotations down 14:36:42 soupdragon: only if you choose to not do full inference 14:36:48 hkBst: ????????? 14:37:05 soupdragon: what exactly should stop you doing full inference? 14:37:10 hkBst: it's not a choice 14:37:15 soupdragon: then why? 14:37:25 hkBst: It's undecidible 14:37:38 leppie: instead of the full product boolean x character 14:37:59 soupdragon: surely it depends on what kind of type system you want to implement 14:38:06 yes 14:38:16 soupdragon: otoh having a few extra specialized procedures cant hurt 14:38:24 so what exactly is undecidable? 14:38:29 hkBst: inference 14:39:20 what about compile time generating procedures with the Nth case? 14:39:28 s/with/for/ 14:39:40 soupdragon: inference of what exactly? 14:40:18 but that would present a problem with using them as higher order procedures I think 14:40:32 hkBst: types 14:41:01 soupdragon: types depends on your typing system and you haven't specified what kind of types you;re talking about 14:41:11 hkBst: type memq for example, it wont work 14:41:42 leppie: it's a function, done. Or it's a function taking X arguments, done. 14:41:46 based on usage, it can be typed, but not alone 14:41:58 but what about the return type? 14:42:00 hkBst: any system expressive enough to type variadic procedures has incomplete inference 14:42:24 hkBst: this is a basic result from type theory 14:43:19 soupdragon: okay, so what prevents me from typing all variadic procedure as procedures and be done? 14:43:30 what 14:43:36 r5rs memq 14:43:36 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-9.html#%_idx_428 14:43:39 -rudybot:#scheme- http://tinyurl.com/67422m 14:44:04 memq can return #f or a list of T 14:44:27 leppie: so that is its type 14:45:04 either #f or list with types the same as its argument 14:46:07 so how can you statically type that? 14:46:25 leppie: you have to use a type-system that can represent that union 14:46:54 hmm, i guess 14:47:08 leppie: integer is also only a type that's the union of all the actual integers... 14:47:25 true 14:47:45 let me ponder that idea a bit more :) 14:48:21 soupdragon: I think you're working from some assumption which you are neglecting to mention. 14:48:45 hkBst: I think you haven't studied this stuff for years 14:49:41 yeah, i still does not solve the 'map' problem 14:50:26 soupdragon: no, you're just negelcting to mention what types you allow and stuff 14:52:51 leppie: why not? 14:52:51 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 14:53:39 because I am dumb :) 14:53:42 -!- rickardg [n=user@EGAWS2003.stu.lu.se] has quit [Remote closed the connection] 14:53:50 i need a nap 14:58:38 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 15:08:44 -!- Fufie [n=poff@Gatekeeper.vizrt.com] has quit ["Leaving"] 15:14:20 -!- bitweiler [n=phax@ppp-70-242-66-37.dsl.stlsmo.swbell.net] has quit [Read error: 110 (Connection timed out)] 15:16:57 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Read error: 110 (Connection timed out)] 15:24:37 -!- Modius [n=Modius@24.174.112.56] has quit ["I'm big in Japan"] 15:25:59 -!- jlongster [n=user@75.148.111.133] has quit [Read error: 113 (No route to host)] 15:31:25 -!- ASau [n=user@193.138.70.52] has quit [No route to host] 15:33:38 camt [n=camt@mail.propack.on.ca] has joined #scheme 15:40:52 -!- Fare [n=Fare@c-98-216-111-110.hsd1.ma.comcast.net] has quit ["Leaving"] 15:46:24 -!- proq` is now known as proq 15:46:55 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 110 (Connection timed out)] 15:47:20 reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 15:54:55 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 15:55:24 -!- proq [n=user@unaffiliated/proqesi] has quit [Remote closed the connection] 15:55:50 proq [n=user@38.100.211.40] has joined #scheme 15:57:08 -!- dzhus [n=sphinx@95-24-91-183.broadband.corbina.ru] has quit [Remote closed the connection] 16:00:40 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 16:04:15 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 16:16:33 -!- npe [n=npe@195.207.5.2] has quit [] 16:21:19 jlongster [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 16:21:33 mrsolo [n=mrsolo@nat/yahoo/x-8b0784766d40773d] has joined #scheme 16:23:03 -!- camt [n=camt@mail.propack.on.ca] has quit [Remote closed the connection] 16:25:21 -!- chylli [n=lchangyi@119.181.15.104] has quit [Remote closed the connection] 16:28:06 -!- reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 16:28:25 reprore__ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 16:37:23 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 16:38:01 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 16:47:23 Modius [n=Modius@24.174.112.56] has joined #scheme 16:48:09 -!- jhu [n=user@081-003-214-196.yesss.at] has quit [Read error: 110 (Connection timed out)] 16:54:34 bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 17:01:35 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 17:11:50 repror___ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 17:12:01 -!- reprore__ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 113 (No route to host)] 17:14:18 -!- mmc [n=mima@esprx01x.nokia.com] has quit [Remote closed the connection] 17:15:12 mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has joined #scheme 17:17:16 Fare [n=Fare@c-98-216-111-110.hsd1.ma.comcast.net] has joined #scheme 17:17:35 saccade_ [n=saccade@c-66-31-201-117.hsd1.ma.comcast.net] has joined #scheme 17:21:06 -!- repror___ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 17:26:13 camt [n=camt@mail.propack.on.ca] has joined #scheme 17:30:00 Hagaer [n=user@27.62.broadband3.iol.cz] has joined #scheme 17:37:55 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 17:38:04 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 17:38:28 -!- masm [n=masm@213.22.191.93] has quit ["Leaving."] 17:42:45 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [Client Quit] 17:44:19 reprore_ [n=reprore@mail.trn.dis.titech.ac.jp] has joined #scheme 17:44:23 -!- reprore_ [n=reprore@mail.trn.dis.titech.ac.jp] has quit [Remote closed the connection] 17:45:37 -!- davazp [n=user@79.153.148.56] has quit [Remote closed the connection] 17:49:20 -!- socialite [n=piespy@dynamic-78-8-14-48.ssp.dialog.net.pl] has quit [Read error: 110 (Connection timed out)] 17:51:24 socialite [n=piespy@dynamic-78-8-0-95.ssp.dialog.net.pl] has joined #scheme 18:00:43 -!- saccade_ [n=saccade@c-66-31-201-117.hsd1.ma.comcast.net] has quit ["This computer has gone to sleep"] 18:03:43 -!- attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has quit [Read error: 113 (No route to host)] 18:07:06 copumpkin [n=pumpkin@dhcp-212-202.cs.dartmouth.edu] has joined #scheme 18:08:18 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 18:12:10 Deformati [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 18:12:35 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Client Quit] 18:13:15 athos [n=philipp@92.250.250.68] has joined #scheme 18:13:53 -!- Deformati is now known as Deformative 18:30:27 -!- photon is now known as lol 18:30:37 -!- lol is now known as photon 18:32:11 saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has joined #scheme 18:32:24 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 18:57:42 Thren [n=Thren@pool-98-113-187-131.nycmny.fios.verizon.net] has joined #scheme 19:00:48 dzhus [n=sphinx@95.24.172.144] has joined #scheme 19:02:10 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-4ba4493f711b5788] has quit [Ping timeout: 180 seconds] 19:05:20 concorr [n=concorr@214.Red-88-6-241.staticIP.rima-tde.net] has joined #scheme 19:17:00 masm [n=masm@213.22.191.93] has joined #scheme 19:18:36 kib21 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 19:19:15 -!- m3lawren_ [n=m3lawren@paquin.xsquared.ca] has left #scheme 19:19:55 -!- concorr [n=concorr@214.Red-88-6-241.staticIP.rima-tde.net] has quit ["leaving"] 19:22:17 -!- kib21 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has left #scheme 19:28:46 -!- kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has quit [Read error: 110 (Connection timed out)] 19:34:00 -!- copumpkin is now known as pumpkin 19:37:12 rmns [n=ramunas@85-255-53-21.ip.kis.lt] has joined #scheme 19:37:19 -!- rmns [n=ramunas@85-255-53-21.ip.kis.lt] has left #scheme 20:02:40 -!- borism [n=boris@195-50-197-191-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 20:06:11 klutomet1s [i=klutomet@klutometis.wikitex.org] has joined #scheme 20:06:58 Keyframe2 [n=Keyframe@93-138-86-14.adsl.net.t-com.hr] has joined #scheme 20:17:10 -!- incubot [i=incubot@klutometis.wikitex.org] has quit [Read error: 104 (Connection reset by peer)] 20:18:40 just wondering if anyone knows, How many hours should How to design programs take to work through? 20:19:30 -!- klutometis [n=klutomet@pdpc/supporter/active/klutometis] has quit [Read error: 110 (Connection timed out)] 20:20:11 42 20:20:27 i like it, seems to be a pretty universal answer 20:20:49 after all, it is an answer to life, the universe and everything 20:21:11 As many as at takes, and not more. 20:22:19 incubot [n=incubot@klutometis.wikitex.org] has joined #scheme 20:22:20 anything a little more precise? i'm just wondering ballpart 20:22:57 Sorry, not from me. 20:23:28 wingo [n=wingo@8.Red-81-39-159.dynamicIP.rima-tde.net] has joined #scheme 20:24:01 -!- wingo [n=wingo@8.Red-81-39-159.dynamicIP.rima-tde.net] has quit [Read error: 54 (Connection reset by peer)] 20:25:50 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Success] 20:26:36 how do I output something to standard error in PLT ? 20:30:23 -!- alaricsp [n=alaricsp@88-202-202-24.rdns.as8401.net] has quit [Remote closed the connection] 20:30:31 what's wrong with this code http://codepad.org/CimrOQAo ? 20:32:56 Well, for starters, it looks like a URL rather than something executable. 20:33:12 Fare: maybe (write "oops" (current-error-port)) 20:36:51 -!- mario-goulart [n=user@201-40-162-47.cable.viacabocom.com.br] has quit [Remote closed the connection] 20:37:11 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 20:40:45 Edico: Also member? and se are not defined. 20:43:17 kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 20:43:29 lde, are defined, I uploaded the code needed 20:48:55 Edico: I can't see the definitions. 20:51:58 minion: advice for Edico 20:52:01 Edico: #11945: Well, what did you expect? 20:55:01 the file that contain those definition is simply.scm from this site ftp://anarres.cs.berkeley.edu/pub/scheme/ 20:55:50 I don't think is a problem with that file 20:56:12 Deformati [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 20:56:17 if I write the like this it works fine http://codepad.org/IUXMcRwG 20:56:46 -!- camt [n=camt@mail.propack.on.ca] has quit [Remote closed the connection] 20:57:02 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 20:58:01 -!- Hagaer [n=user@27.62.broadband3.iol.cz] has quit [Read error: 110 (Connection timed out)] 21:00:55 synthase [n=synthase@adsl-220-190-152.mob.bellsouth.net] has joined #scheme 21:03:06 Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 21:04:08 -!- dzhus [n=sphinx@95.24.172.144] has quit [Remote closed the connection] 21:04:31 -!- Deformati [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 21:04:52 Fare: Use (current-error-port) 21:05:46 -!- jewel_ [n=jewel@dsl-242-130-65.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 21:06:01 dmoerner [n=dmr@ppp-71-139-30-13.dsl.snfc21.pacbell.net] has joined #scheme 21:06:30 rudybot: eval (let ((a (lambda b b))) (values (a (a 'g)) (a a))) 21:06:30 sladegen: your sandbox is ready 21:06:31 sladegen: ; Value: ((g)) 21:06:31 sladegen: ; Value#2: (#) 21:09:24 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 21:11:00 Edico: (foo) is not the same as foo... and if foo is not a procedure a run-time error, too. 21:12:45 sladegen, where is foo in my case? 21:13:31 both (wd_is_an) and (wd_is_a) call a procedure 21:13:38 wd_is_foo 21:14:17 wd_is_foo is the name value for a procedure 21:14:33 passing procedure as argument and passing results of procedure application are two distict operations. 21:16:20 another way to put it is: every parenthesis in lisp has meaning. 21:18:04 thanks sladegen 21:18:24 I got it 21:19:16 http://codepad.org/ztthgl5Y 21:20:08 lisppaste: url 21:20:09 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 21:20:45 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 21:20:53 ok, I will use that in the future :) 21:23:17 Edico pasted "gertrude" at http://paste.lisp.org/display/83883 21:23:49 ah, nice it appears here! 21:24:47 right and when you do use lisppaste annotate pastes in stead of creating multiple ones. 21:25:06 Neither 'member?' nor 'se' is defined in your paste. I can guess at the first, but not the second. 21:25:36 chandler, se is for sentence 21:25:37 -!- dmoerner [n=dmr@ppp-71-139-30-13.dsl.snfc21.pacbell.net] has quit [Read error: 110 (Connection timed out)] 21:25:51 That's nice. How does your compiler know what it means? 21:26:03 sladegen annotated #83883 "this is not the same..." at http://paste.lisp.org/display/83883#1 21:26:18 (se 'I 'learn 'scheme) produces > (I learn scheme) 21:27:31 chandler: read your irc log... Edico gave a url with member? and se definitions. 21:28:01 Oh. I only looked at the lisppaste. 21:28:47 I read a book, it's called Simply Scheme and is meant as 'prequel' for SICP 21:29:26 the book uses some libraries that can be found here ftp://anarres.cs.berkeley.edu/pub/scheme/ 21:30:27 it's writed by Brian Harvey 21:30:37 http://webcast.berkeley.edu/course_details_new.php?seriesid=2008-D-26263&semesterid=2008-D 21:30:42 -rudybot:#scheme- http://tinyurl.com/56e5ro 21:30:44 -!- bombshelter13_ [n=bombshel@toronto-gw.adsl.erx01.mtlcnds.ext.distributel.net] has quit [] 21:35:38 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 21:40:41 bombshelter13p_ [n=bombshel@24.114.232.35] has joined #scheme 21:46:02 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 21:47:54 bombshelter13p__ [n=bombshel@24.114.232.37] has joined #scheme 21:53:28 -!- bombshelter13p__ [n=bombshel@24.114.232.37] has quit [Read error: 54 (Connection reset by peer)] 22:01:53 dmoerner [n=dmr@ppp-71-139-30-13.dsl.snfc21.pacbell.net] has joined #scheme 22:04:34 Edico: that book is free now 22:05:09 Hagaer [n=user@27.62.broadband3.iol.cz] has joined #scheme 22:05:46 mbishop, where? 22:06:30 ah yes, it is 22:06:33 http://www.cs.berkeley.edu/~bh/ss-toc2.html 22:07:44 -!- bombshelter13p_ [n=bombshel@24.114.232.35] has quit [Read error: 110 (Connection timed out)] 22:09:45 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 22:12:03 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 22:13:52 -!- heat [n=dima@8.21.172.227] has quit [Read error: 110 (Connection timed out)] 22:13:55 (define (error-printf . x) (apply fprintf (current-error-port) x)) 22:14:29 OK, I think I have it. 22:14:48 How do I get time to output to error-port instead of output-port ? 22:14:53 meh, not THAT important 22:19:09 rouslan [n=Rouslan@unaffiliated/rouslan] has joined #scheme 22:19:11 looks like it would print to the error-port.. how do you know it doesn't? 22:21:09 Deformati [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 22:24:19 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Leaving"] 22:28:14 -!- Keyframe2 [n=Keyframe@93-138-86-14.adsl.net.t-com.hr] has quit [" HydraIRC -> http://www.hydrairc.com <- In tests, 0x09 out of 0x0A l33t h4x0rz prefer it :)"] 22:30:31 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Remote closed the connection] 22:31:02 my procedure does 22:33:00 time doesn't 22:33:06 time outputs to standard output 22:36:34 -!- masm [n=masm@213.22.191.93] has quit ["Leaving."] 22:39:08 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 22:41:25 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 22:41:41 arcfide [n=arcfide@adsl-99-50-228-230.dsl.bltnin.sbcglobal.net] has joined #scheme 22:42:01 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 22:44:33 -!- Hagaer [n=user@27.62.broadband3.iol.cz] has quit [Read error: 110 (Connection timed out)] 23:01:32 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Connection reset by peer] 23:03:57 -!- bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 23:12:54 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 23:13:16 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [Read error: 60 (Operation timed out)] 23:16:42 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [No route to host] 23:21:04 attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has joined #scheme 23:22:44 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 23:33:13 -!- apotheon [n=ren@c-24-8-180-234.hsd1.co.comcast.net] has left #scheme 23:37:09 -!- jlongster [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit [Read error: 113 (No route to host)] 23:37:17 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 23:38:02 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 23:45:29 -!- joast [n=rick@76.178.178.72] has quit ["Leaving."] 23:46:07 joast [n=rick@76.178.178.72] has joined #scheme 23:49:49 bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has joined #scheme 23:51:42 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 23:52:15 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit ["Leaving."] 23:54:08 -!- aircastle_away [n=aircastl@nttkyo895001.tkyo.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection]