00:01:13 synthase [n=synthase@68.63.20.12] has joined #scheme 00:11:08 -!- jgracin [n=jgracin@82.193.208.195] has quit [Remote closed the connection] 00:11:35 -!- synthasee [n=synthase@68.63.20.12] has quit [Read error: 110 (Connection timed out)] 00:11:47 synthasee [n=synthase@68.63.20.12] has joined #scheme 00:14:18 -!- Mr_SpOOn [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has quit [Read error: 60 (Operation timed out)] 00:18:34 -!- npe [n=npe@c-24-62-155-243.hsd1.nh.comcast.net] has quit [Read error: 110 (Connection timed out)] 00:20:17 -!- synthase [n=synthase@68.63.20.12] has quit [Read error: 110 (Connection timed out)] 00:21:57 jonrafkind: I did not know that. 00:22:22 -!- jonrafkind [n=jon@wireless147.wireless.utah.edu] has quit [Connection timed out] 00:22:34 Decompile? That seems like a lot more trouble than just preserving source. 00:26:28 a1len [n=James@unaffiliated/a1len] has joined #scheme 00:29:21 -!- rdd [n=user@c83-250-142-219.bredband.comhem.se] has quit [Read error: 54 (Connection reset by peer)] 00:29:48 Kerris41 [n=Kerris4@87-194-3-170.bethere.co.uk] has joined #scheme 00:32:13 incubot: who are the best five rappers in the world? 00:32:19 "Who are the best 5 rappers in the world? 00:32:57 Dylan, Dylan, Dylan, Dylan, and Dylan. 00:33:05 incubot: because I spit hot fire 00:33:23 Halt and catch fire? 00:35:41 rdd [n=user@c83-250-142-219.bredband.comhem.se] has joined #scheme 00:36:03 zbigniew: can you do imaginary numbers in chicken without the imaginary package? 00:36:13 incubot: (sqrt -1) 00:36:18 +nan 00:36:36 incubot: imaginary fail 00:36:39 One is less likely to encounter difficulties with non-compliance using MIT Scheme than using PLT Scheme. The only non-compliance of which I am aware in MIT Scheme is the implementation of multiple return values. Simply writing a program in what the R5RS considers to be a lexically equivalent way in PLT Scheme, however, will cause it to fail. 00:36:49 there's an imaginary package? ... is that a trick question? 00:37:14 incubot: (use numbers) 00:37:24 Error: unbound variable: numbers 00:37:35 zbigniew: http://chicken.wiki.br/complex 00:37:52 numbers can't be compiled statically, unfortunately 00:37:57 (i'm limited to static packages) 00:38:10 You can do imaginary numbers with car and cdr... 00:38:10 s/packages/eggs/ 00:38:12 Lemonator [n=kniu@CMU-301252.WV.CC.CMU.EDU] has joined #scheme 00:38:22 synx: right; a la sicp 00:38:27 i was not aware the complex egg was still maintained 00:38:28 (define (lame-sqrt number) (if (< number 0) (cons 0 number) (cons number 0)) 00:38:31 or something 00:38:50 it may not be; i was just a little jealous that plt had complex numbers out-of-the-box 00:38:52 klutometis: it might be possible to have a static numbers egg, hold on 00:39:20 Imaginary numbers are basically just an excuse to throw around a 2-tuple of numbers as a single unit. 00:39:31 Also to patch up some mathematical holes... 00:39:52 But they do form a 2D vector space. 00:41:45 klutometis: how static do you want it? 00:41:52 klutometis: csc myfile.scm -static-extensions -R numbers -X numbers 00:42:54 zbigniew: nice; i'm compiling with straight -static now; what does -static-extensions do? 00:43:06 will give you a dynamically-linked binary with numbers linked statically (on my system, libgmp is still dynamic, but that might be an OS X thing, not sure) 00:43:19 beautiful; that's exactly what i needed 00:46:06 -!- kniu [n=kniu@LEMON.RES.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 00:47:30 -!- Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 00:47:54 -!- rtra [n=rtra@unaffiliated/rtra] has quit ["1st day on dvorak irc -> pain"] 00:48:08 levi [n=user@levi.dsl.xmission.com] has joined #scheme 00:48:34 synx: some sort of fancy orthogonality to the real line, i guess 00:48:44 bpt [i=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 00:50:18 klutometis: well it's exactly orthogonal... just that they redefine all mathematics functions to map 2 dimensions, according to the rules of complex numbers they pulled out of their ass to make everything work right. 00:51:28 minion: chant 00:51:29 MORE TROUBLE 00:51:30 "How to keep the cosine making sense when we do Taylor series? Let's reach into our ass and decide that e^(i*pi)-1=0 problem solved!" 00:55:28 annodomini [n=lambda@130.189.179.215] has joined #scheme 00:58:59 -!- suzume [n=user@pl044.nas933.takamatsu.nttpc.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 00:59:30 suzume [n=user@pl044.nas933.takamatsu.nttpc.ne.jp] has joined #scheme 01:00:37 kniu [n=kniu@LEMON.RES.CMU.EDU] has joined #scheme 01:03:24 Cale_ [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has joined #scheme 01:05:24 -!- Lemonator [n=kniu@CMU-301252.WV.CC.CMU.EDU] has quit [Read error: 60 (Operation timed out)] 01:08:48 -!- Cale [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has quit [Nick collision from services.] 01:08:50 -!- Cale_ is now known as Cale 01:13:12 -!- suzume [n=user@pl044.nas933.takamatsu.nttpc.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 01:18:16 npe [n=npe@c-24-60-48-136.hsd1.nh.comcast.net] has joined #scheme 01:19:54 bombshelter13 [n=bombshel@209-161-229-68.dsl.look.ca] has joined #scheme 01:22:44 sctb [n=sctb@S01060016cbc2d41a.cg.shawcable.net] has joined #scheme 01:28:22 arcfide [n=arcfide@adsl-99-137-201-169.dsl.bltnin.sbcglobal.net] has joined #scheme 01:32:33 wasabi_ [n=wasabi@p4132-ipbfp04kyoto.kyoto.ocn.ne.jp] has joined #scheme 01:43:56 -!- bweaver [n=bweaver@67.161.236.94] has quit [] 01:51:48 besides sawfish/sawmill, is there any window manager written ins cheme? 01:52:04 replor [n=replor@ntkngw375028.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 01:53:20 -!- melito_ [n=melito@70.99.250.82] has quit ["Leaving..."] 01:54:10 hml: I believe there was a SCWM or something like that. 02:09:00 -!- Kerris41 [n=Kerris4@87-194-3-170.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 02:10:07 johnnowak [n=johnnowa@207-38-171-48.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has joined #scheme 02:13:10 scx in scsh... 02:18:48 -!- hml [n=x@unaffiliated/hml] has quit [Remote closed the connection] 02:21:08 arcfide: scwm is unmaintained. Guilde leaked memory like crazy 02:21:20 after a few days, your computer would run out of swap 02:21:41 GUILE. 02:24:06 -!- aaco [n=aaco@unaffiliated/aaco] has quit ["Leaving"] 02:24:07 tltstc` [n=nine@192.207.69.1] has joined #scheme 02:24:37 -!- Fare [n=Fare@ita4fw1.itasoftware.com] has quit ["Leaving"] 02:25:36 guile leaks memory? Wonder what Fare was doing... 02:35:19 -!- bpt [i=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit ["Leaving"] 02:37:03 hm...does plt scheme support something like "freeze the state of the program" and "reload the state of the program from a frozen image"? 02:39:53 -!- sctb [n=sctb@S01060016cbc2d41a.cg.shawcable.net] has quit [Read error: 110 (Connection timed out)] 02:43:54 jonrafkind [n=jon@c-98-202-86-149.hsd1.ut.comcast.net] has joined #scheme 02:45:07 Not... really. What I learned is they compile modules, but leave them separate in the file system, instead of making a wholistic program state. 02:47:09 aw :( 02:52:31 I don't know though, it might be possible. Riastradh might know... 02:53:06 synx: eli is the local plt guru, though 02:53:18 incubot: bach's fugues are purposefully underspecified problem 02:54:06 I listened to Bach in some music courses in grade school, then forgot about him entirely until buying that book 02:55:03 *klutometis* pats incubot: any bachological droid is ok by me 03:03:16 $10 says the book was GEB :P 03:03:19 -!- BloomFilter is now known as Daeken 03:10:00 Elly: mzscheme had support for dumping an image -- IIRC it worked only for a.out binaries (=> not for elf binaries), and it's probably not usable now. 03:10:26 hml [n=x@unaffiliated/hml] has joined #scheme 03:13:14 -!- cky [n=cky@203-211-87-20.ue.woosh.co.nz] has quit [Connection timed out] 03:22:10 kalven_ [i=calvin@brutaldeluxe.com] has joined #scheme 03:22:23 -!- tltstc` [n=nine@192.207.69.1] has quit [] 03:22:54 -!- kalven [i=calvin@brutaldeluxe.com] has quit [Read error: 104 (Connection reset by peer)] 03:27:54 bpt [i=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 03:33:16 -!- luz [n=davids@201.29.173.91] has quit ["Client exiting"] 03:39:55 eli: :( 03:41:51 -!- Modius [n=Modius@adsl-68-93-132-132.dsl.austtx.swbell.net] has quit ["I'm big in Japan"] 03:48:25 -!- bpt [i=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit [calvino.freenode.net irc.freenode.net] 03:48:25 -!- incubot [n=incubot@24.205.65.135] has quit [calvino.freenode.net irc.freenode.net] 03:48:25 -!- elias` [n=me@unaffiliated/elias/x-342423] has quit [calvino.freenode.net irc.freenode.net] 03:48:25 -!- z0d [n=z0d@unaffiliated/z0d] has quit [calvino.freenode.net irc.freenode.net] 03:48:25 -!- Debolaz [n=debolaz@nat.andersberle.com] has quit [calvino.freenode.net irc.freenode.net] 03:48:25 -!- eli [n=eli@winooski.ccs.neu.edu] has quit [calvino.freenode.net irc.freenode.net] 03:48:25 -!- Kusanagi [n=Motoko@unaffiliated/kusanagi] has quit [calvino.freenode.net irc.freenode.net] 03:48:52 bpt [i=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 03:48:52 incubot [n=incubot@24.205.65.135] has joined #scheme 03:48:52 elias` [n=me@unaffiliated/elias/x-342423] has joined #scheme 03:48:52 z0d [n=z0d@unaffiliated/z0d] has joined #scheme 03:48:52 Debolaz [n=debolaz@nat.andersberle.com] has joined #scheme 03:48:52 eli [n=eli@winooski.ccs.neu.edu] has joined #scheme 03:48:52 Kusanagi [n=Motoko@unaffiliated/kusanagi] has joined #scheme 04:06:12 -!- incubot [n=incubot@24.205.65.135] has quit [Read error: 110 (Connection timed out)] 04:07:11 -!- wasabi_ [n=wasabi@p4132-ipbfp04kyoto.kyoto.ocn.ne.jp] has quit [Remote closed the connection] 04:07:34 incubot [n=incubot@24.205.65.135] has joined #scheme 04:15:03 synx, imaginary numbers are much more than just `an excuse to throw around a 2-tuple of numbers as a single unit'. 04:15:23 synx, or, better put: complex numbers are much more than that. 04:16:13 `Imaginary numbers' aren't much useful themselves, but complex numbers turn out to be algebraically closed, and calculus of complex functions has some surprising properties. 04:17:34 kanakBK [n=chatzill@MACGREGOR-THREE-NINETY-NINE.MIT.EDU] has joined #scheme 04:17:51 synx, one of the consequences of complex calculus is that there is really only one workable definition of the sine and cosine functions on the complex plane that agrees with their definition on the real line; in fact, this is the case for *any* analytic function on the real line. 04:18:20 CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has joined #scheme 04:18:26 synx, and, by the way, it turns out that any complex differentiable function is analytic, in that its Taylor series converges in the maximum possible radius of its definition. Go boggle that one out. 04:22:58 synx, many results from complex analysis apply to other fields (so to speak) as well, such as real analysis and number theory. Not to mention that complex analysis turns up all over the place in modern small-scale physics. 04:24:29 (Of course, many of the surprising results about complex calculus, such as that mere complex differentiability implies complex analyticity, go out the window as soon as one begins to discuss multivariate complex functions. But the univariate case is still mind-boggling.) 04:25:24 grettke [n=grettke@CPE-65-31-132-59.wi.res.rr.com] has joined #scheme 04:29:54 synx, so, the complex number system is interesting to analysts, algebraists, number theorists, geometers, and physicists alike. Be nice to the complex numbers! 04:30:12 (Topologists, too.) 04:32:26 ttmrichter_ [n=ttmricht@59.174.133.117] has joined #scheme 04:36:50 I don't see it as mind boggling, as much as that they designed it to have nice useful properties. 04:37:06 -!- MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has quit ["Leaving."] 04:38:43 What's mind-boggling is that characterizing the complex numbers solely by the properties necessary to `fill in holes' for solutions to perfectly normal polynomials (1) turn out to be enough for algebraic closure (while this is not true, for instance, of the rational numbers), and (2) have far-reaching analytic consequences as well. 04:39:10 Far-reaching analytic, topological, geometrical, and number theoretical consequences. 04:39:18 -!- bombshelter13 [n=bombshel@209-161-229-68.dsl.look.ca] has quit [Read error: 104 (Connection reset by peer)] 04:39:26 You can't derive the complex number system from the real number system, so that's why I joke about how it was pulled out of rear end areas. I don't mean to imply that they didn't set it up intelligently. 04:40:29 You can derive the defining characteristics of complex numbers from the polynomial equation x^2 + 1 = 0. 04:40:32 I think it's neat that they have algebraic closure. Good thinking of the people who set it up so that would be so. 04:40:53 Algebraic closure wasn't proven until long after the complex numbers were invented. 04:41:27 You can do that yes, when you start with a complex number mathematical system. Otherwise how are you going to compute the square root of -1? 04:41:45 `The square root of -1' isn't a good characterization. 04:41:56 (It is an ill-defined phrase in the complex number system.) 04:42:36 The analytical consequences of the complex number system, too, were not discovered until long after it was invented merely to close some holes in polynomial equations. 04:43:24 well fine then, without complex numbers as an underlying assumption, nothing exists that when squared is less than one. 04:44:12 You are aware that there are two complex numbers whose squares are both -1, right? 04:44:19 -!- ttmrichter [n=ttmricht@119.96.165.100] has quit [Connection timed out] 04:44:30 Yes. 04:44:31 The choice between them, indeed, is entirely arbitrary -- a matter of convention. 04:45:29 Not so much arbitrary, but decided so that complex numbers will have algebraic closure. 04:45:38 So `the square root of -1' is ill-defined; the property of a complex number x that x^2 + 1 = 0 does not uniquely determine x. 04:45:41 No. 04:47:31 1. The inventors of the complex number system didn't have a clue of most of the deep consequences of the system. That they could fill the gaps in some polynomial equations they realized (e.g., x^2 + 1 = 0), but no one proved that it worked for all polynomial equations until after Gauss's attack in Disquisitiones Arithmeticae, at the tail end of the eighteenth century. 04:47:55 Ohh, heh. Yeah I gotcha. 04:48:02 2. The choice of which number we call i has no bearing on whether the complex number system is algebraically closed. All our reasoning would continue to hold were we to exchange i with -i. 04:48:10 (= (complex-sqrt -1) i) -> uh oh 04:48:20 er, complex-= 04:49:01 Each complex number has two square roots. The choice between them is arbitrary. (In fact we can't even smoothly make that choice for the whole complex plane.) 04:49:14 lelf [n=lelf@217.118.90.208] has joined #scheme 04:49:24 Yes I understand. 04:50:45 There are, of course, other constructions designed to satisfy x^2 + 1 = 0, but they tend to have much less amazing consequences than the complex number system. 04:51:45 klutometis: a "purposefully underspecified problem"? Have you been reading Joseph Kerman? 04:51:54 We still get a complete field with the complex number system; we have no such amenity from the quaternions (although they are interesting in some fields, so to speak, nevertheless); and the octonions fail even to be multiplicatively associative. 04:52:23 (And the Cayley numbers have still more bizarre properties, rendering them quite arcane.) 04:52:30 -!- grettke [n=grettke@CPE-65-31-132-59.wi.res.rr.com] has quit [] 04:52:49 nataraj [n=nataraj@121.246.244.166] has joined #scheme 04:53:02 Hi 04:53:27 anybody working on armpit scheme for embedded system 04:53:27 ? 04:55:08 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 04:59:41 wasabi_ [n=wasabi@p4132-ipbfp04kyoto.kyoto.ocn.ne.jp] has joined #scheme 04:59:45 -!- johnnowak [n=johnnowa@207-38-171-48.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has quit [] 05:06:12 cky [n=cky@203-211-87-20.ue.woosh.co.nz] has joined #scheme 05:10:18 tjafk1 [n=timj@e176204241.adsl.alicedsl.de] has joined #scheme 05:10:44 benny [n=benny@i577A00FC.versanet.de] has joined #scheme 05:14:58 MichaelRaskin [n=MichaelR@3ad50e34.broker.freenet6.net] has joined #scheme 05:18:17 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 05:18:59 Daemmerung: no, but his expose on Kunst der Fuga is non pareil; I was referring more to Johann's generous lack of direction for performance (if you can have a generous lack) compared to the Verklemptheit of, say, Cage or even Chopin. 05:19:00 Modius [n=Modius@adsl-68-93-132-132.dsl.austtx.swbell.net] has joined #scheme 05:20:06 -!- benny` [n=benny@i577A0E03.versanet.de] has quit [Read error: 110 (Connection timed out)] 05:20:20 s/Fuga/Fuge/ 05:20:52 annodomini_ [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 05:21:16 -!- kanakBK [n=chatzill@MACGREGOR-THREE-NINETY-NINE.MIT.EDU] has quit [Remote closed the connection] 05:26:15 -!- hml [n=x@unaffiliated/hml] has quit [Remote closed the connection] 05:26:43 -!- tjafk2 [n=timj@e176200108.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 05:31:02 tiento [n=user@190.161.45.134] has joined #scheme 05:31:54 -!- tiento [n=user@190.161.45.134] has left #scheme 05:32:35 hml [n=x@unaffiliated/hml] has joined #scheme 05:36:16 -!- CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 05:37:13 CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has joined #scheme 05:37:29 -!- annodomini [n=lambda@wikipedia/lambda] has quit [Read error: 110 (Connection timed out)] 05:38:18 Hee. 05:38:24 -!- replor [n=replor@ntkngw375028.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 113 (No route to host)] 05:38:58 Something about the turn of phrase brought Kerman to mind.... 05:43:11 peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has joined #scheme 05:43:59 -!- peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has quit [Client Quit] 05:49:56 -!- JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has left #scheme 06:04:22 -!- pchrist|univ [n=spirit@gateway.hpc.cs.teiath.gr] has quit [Client Quit] 06:05:02 pchrist|univ [n=spirit@gateway.hpc.cs.teiath.gr] has joined #scheme 06:07:35 tiento [n=user@190.161.45.134] has joined #scheme 06:07:37 -!- tiento [n=user@190.161.45.134] has left #scheme 06:09:28 -!- nataraj [n=nataraj@121.246.244.166] has quit ["Leaving"] 06:25:53 eno__ [n=eno@adsl-70-137-160-51.dsl.snfc21.sbcglobal.net] has joined #scheme 06:29:16 -!- arcfide [n=arcfide@adsl-99-137-201-169.dsl.bltnin.sbcglobal.net] has quit ["Leaving"] 06:38:14 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 110 (Connection timed out)] 06:41:10 -!- lelf [n=lelf@217.118.90.208] has quit [Read error: 104 (Connection reset by peer)] 06:51:32 -!- bsmntbombdood is now known as xor 06:52:27 -!- xor is now known as bsmntbombdood 06:53:58 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["The funniest things in my life are truth and absurdity."] 07:03:55 athos [n=philipp@p54B87494.dip.t-dialin.net] has joined #scheme 07:05:11 -!- CaptainMorgan [n=CaptainM@c-24-61-150-59.hsd1.ma.comcast.net] has quit [Remote closed the connection] 07:20:26 -!- eno__ [n=eno@adsl-70-137-160-51.dsl.snfc21.sbcglobal.net] has quit ["leaving"] 07:24:56 -!- hml [n=x@unaffiliated/hml] has quit ["leaving"] 07:25:08 hml [n=x@unaffiliated/hml] has joined #scheme 07:25:26 tizoc_ [n=user@r190-135-29-213.dialup.adsl.anteldata.net.uy] has joined #scheme 07:26:37 -!- hml [n=x@unaffiliated/hml] has quit [Client Quit] 07:39:42 hml [n=x@unaffiliated/hml] has joined #scheme 07:41:09 -!- REPLeffect [n=REPLeffe@69.54.115.254] has quit [Read error: 110 (Connection timed out)] 07:42:57 -!- tizoc [n=user@r190-135-64-118.dialup.adsl.anteldata.net.uy] has quit [Read error: 110 (Connection timed out)] 07:50:40 -!- annodomini_ [n=lambda@wikipedia/lambda] has quit [] 07:51:58 elmex [n=elmex@e180069236.adsl.alicedsl.de] has joined #scheme 07:56:24 -!- hml [n=x@unaffiliated/hml] has quit [Remote closed the connection] 07:57:42 -!- raikov [n=igr@203.181.243.11] has quit [Remote closed the connection] 08:11:32 -!- leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has quit [Remote closed the connection] 08:13:37 leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has joined #scheme 08:14:23 ejs [n=eugen@nat.ironport.com] has joined #scheme 08:15:21 amoe [n=amoe@cpc3-brig3-0-0-cust346.brig.cable.ntl.com] has joined #scheme 08:18:11 sili [n=sili@121.96.161.244] has joined #scheme 08:18:56 is there a join procedure that will stick a value between every two elements and return a list? 08:19:24 I know there is (join) but I can't seem to extrapolate what it does 08:22:41 -!- leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has quit [Read error: 54 (Connection reset by peer)] 08:23:19 leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has joined #scheme 08:28:08 -!- wasabi_ [n=wasabi@p4132-ipbfp04kyoto.kyoto.ocn.ne.jp] has quit [Remote closed the connection] 08:29:19 wasabi_ [n=wasabi@p4132-ipbfp04kyoto.kyoto.ocn.ne.jp] has joined #scheme 08:35:59 peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has joined #scheme 08:36:42 Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has joined #scheme 08:40:45 ecraven [n=nex@140.78.42.103] has joined #scheme 09:03:01 Mr_SpOOn [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has joined #scheme 09:03:05 attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has joined #scheme 09:06:03 -!- attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has quit [Client Quit] 09:11:38 -!- Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has quit ["Leaving."] 09:17:14 attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has joined #scheme 09:28:50 offby1` [n=user@q-static-138-125.avvanta.com] has joined #scheme 09:29:46 sam__ [n=Sami__@hoasnet-fe1add00-113.dhcp.inet.fi] has joined #scheme 09:30:47 How to evaluate this lambda expression in DrScheme: ( f. f f) ( f y. if y (f f (not y)) y)? 09:33:07 -!- leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has quit [Read error: 54 (Connection reset by peer)] 09:33:39 ((lambda (f) (f f)) (lambda (f y) (if y (f f (not y)) y))) i'd think 09:34:00 leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has joined #scheme 09:35:09 schmalbe [n=bernhard@p549A0361.dip0.t-ipconnect.de] has joined #scheme 09:35:18 -!- offby1 [n=user@q-static-138-125.avvanta.com] has quit [Read error: 145 (Connection timed out)] 09:39:58 ecraven: I put the expression to DrScheme and got this error message: http://dl.getdropbox.com/u/175564/scheme.png 09:40:24 ecraven: Do you know how to fix it? 09:41:03 sam__: you are running in "Beginner's mode". change this to whatever makes PLT use normal Scheme 09:41:18 "Beginning Student mode" is too limited 09:46:10 -!- amoe [n=amoe@cpc3-brig3-0-0-cust346.brig.cable.ntl.com] has quit ["leaving"] 09:50:46 ecraven: thansk! 09:50:51 *thanks! 09:52:14 umis [n=umis@prudent-gloryer.volia.net] has joined #scheme 09:52:46 I compiled a unit using chicken. Can a unit be included dynamically using csi? 09:53:43 ecraven: Do you know how to use this lambda expression in DrScheme: http://dl.getdropbox.com/u/175564/scheme2.png 09:54:13 -!- umis [n=umis@prudent-gloryer.volia.net] has left #scheme 09:54:48 umis [n=umis@prudent-gloryer.volia.net] has joined #scheme 10:00:11 -!- peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has quit [] 10:04:51 amoe [n=amoe@cpc3-brig3-0-0-cust346.brig.cable.ntl.com] has joined #scheme 10:07:03 -!- leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has quit [Read error: 60 (Operation timed out)] 10:07:29 -!- gnomon [n=gnomon@CPE001d60dffa5c-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: 110 (Connection timed out)] 10:11:03 leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has joined #scheme 10:13:27 ilSignorCarlo [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has joined #scheme 10:15:41 lolcow [n=lolcow@196-210-170-62-wfor-esr-2.dynamic.isadsl.co.za] has joined #scheme 10:16:26 lysium [n=bernauer@bender.Informatik.Uni-Tuebingen.De] has joined #scheme 10:19:23 -!- leppie [n=lolcow@dsl-243-58-118.telkomadsl.co.za] has quit [Read error: 60 (Operation timed out)] 10:21:01 -!- certainty|work [n=david@212.77.226.243] has quit [Read error: 110 (Connection timed out)] 10:21:13 -!- lolcow is now known as leppie 10:32:56 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 10:37:32 -!- wasabi_ [n=wasabi@p4132-ipbfp04kyoto.kyoto.ocn.ne.jp] has quit [Remote closed the connection] 10:53:02 -!- drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Read error: 60 (Operation timed out)] 10:57:33 gnomon [n=gnomon@CPE001d60dffa5c-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 10:57:36 -!- ecraven [n=nex@140.78.42.103] has quit [Remote closed the connection] 11:03:45 ecraven [n=nex@140.78.42.103] has joined #scheme 11:22:09 sili_ [n=sili@222.127.52.161] has joined #scheme 11:29:44 fschwidom [n=fschwido@dslb-088-068-103-078.pools.arcor-ip.net] has joined #scheme 11:29:51 -!- rdd [n=user@c83-250-142-219.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 11:33:21 -!- tizoc_ is now known as tizoc 11:37:52 -!- sili [n=sili@121.96.161.244] has quit [Read error: 110 (Connection timed out)] 11:41:22 -!- bpt [i=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit ["Leaving"] 11:45:09 -!- sili_ [n=sili@222.127.52.161] has quit [Read error: 110 (Connection timed out)] 12:00:44 -!- ecraven [n=nex@140.78.42.103] has quit ["bbl"] 12:01:53 -!- borism [n=boris@195-50-204-153-dsl.krw.estpak.ee] has quit [Client Quit] 12:04:09 cemerick [n=la_mer@75.147.38.122] has joined #scheme 12:12:52 rdd [n=user@c83-250-142-219.bredband.comhem.se] has joined #scheme 12:32:55 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 12:35:19 -!- geckosenator [n=sean@c-24-8-193-190.hsd1.co.comcast.net] has quit [Read error: 110 (Connection timed out)] 12:43:46 luz [n=davids@201.19.1.9] has joined #scheme 12:47:38 -!- fschwidom [n=fschwido@dslb-088-068-103-078.pools.arcor-ip.net] has quit [Remote closed the connection] 12:49:22 fschwidom [n=fschwido@dslb-088-068-103-078.pools.arcor-ip.net] has joined #scheme 12:51:00 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 12:53:22 ecraven [n=nex@140.78.42.103] has joined #scheme 13:00:03 -!- sam__ [n=Sami__@hoasnet-fe1add00-113.dhcp.inet.fi] has quit [] 13:08:58 sam__ [n=Sami__@hoasnet-fe1add00-113.dhcp.inet.fi] has joined #scheme 13:09:42 Nshag [n=shagoune@Mix-Orleans-106-1-5.w193-248.abo.wanadoo.fr] has joined #scheme 13:09:48 hotblack23 [n=jh@p5B053935.dip.t-dialin.net] has joined #scheme 13:09:51 -!- sam__ [n=Sami__@hoasnet-fe1add00-113.dhcp.inet.fi] has quit [Client Quit] 13:12:06 -!- athos [n=philipp@p54B87494.dip.t-dialin.net] has quit [Remote closed the connection] 13:14:12 -!- yagur [n=yyaaa@211.109.158.113] has quit [Remote closed the connection] 13:15:33 yagur [n=yyaaa@211.109.158.113] has joined #scheme 13:17:05 kuribas [i=kristof@d54C2AD53.access.telenet.be] has joined #scheme 13:26:39 ejs_ [n=eugen@80.91.178.218] has joined #scheme 13:26:57 -!- ejs [n=eugen@nat.ironport.com] has quit [Read error: 110 (Connection timed out)] 13:27:26 aaco [n=aaco@unaffiliated/aaco] has joined #scheme 13:53:12 -!- ejs_ [n=eugen@80.91.178.218] has quit ["Ex-Chat"] 14:02:27 -!- ecraven [n=nex@140.78.42.103] has quit [Remote closed the connection] 14:06:51 annodomini [n=lambda@wikipedia/lambda] has joined #scheme 14:07:21 bombshelter13 [n=bombshel@142.204.133.123] has joined #scheme 14:08:07 rudybot: eval ((lambda (f) (f f)) (lambda (f y) (if y (f f (not y)) y))) 14:08:08 offby1`: error: #: expects 2 arguments, given 1: # 14:12:54 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 14:13:50 annodomini [n=lambda@64.30.3.122] has joined #scheme 14:25:33 gigabytes [n=gigabyte@host154-239-dynamic.16-79-r.retail.telecomitalia.it] has joined #scheme 14:30:00 rudybot: eval ((lambda (f) + 13 f) 3) 14:30:01 lysium: ; Value: 3 14:30:22 rudybot: eval ((lambda (f) (+ 13 f)) 3) 14:30:22 lysium: ; Value: 16 14:30:41 rudybot: eval ((lambda (f) (f f)) (lambda (f) (f f))) 14:30:43 lysium: error: with-limit: out of time 14:30:48 cool 14:36:45 -!- annodomini [n=lambda@wikipedia/lambda] has quit [Read error: 60 (Operation timed out)] 14:45:34 GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has joined #scheme 14:45:48 -!- GreyLensman [n=ray@c-76-108-235-51.hsd1.fl.comcast.net] has left #scheme 14:51:11 name [n=name@sburn/devel/name] has joined #scheme 14:51:25 -!- aspect [i=aspect@burns.dreamhost.com] has quit [Read error: 54 (Connection reset by peer)] 14:51:32 annodomini [n=lambda@130.189.179.215] has joined #scheme 14:53:34 incubot: i had a dream wherein someone carved an effigy to hephaistos in the lawn at trader joe's 14:53:37 all Hephaistos asks is that you run a torch race 14:54:19 (damn, i love this droid; though it's a collective, derivative work) 15:02:43 langmartin [n=user@75.148.111.133] has joined #scheme 15:07:52 -!- fschwidom [n=fschwido@dslb-088-068-103-078.pools.arcor-ip.net] has quit [Remote closed the connection] 15:18:24 orgy` [n=ratm_@pD9FFE003.dip.t-dialin.net] has joined #scheme 15:25:22 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 15:25:53 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit [Read error: 104 (Connection reset by peer)] 15:26:04 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 15:31:33 klutometis: you just said that because you knew the bot had "Hephaistos" in its db somewhere. 15:31:36 cheater. 15:32:28 incubot: leppie rocks! 15:32:30 "are the only truth" rocks ;) 15:33:12 incubot: Brad or Angelina? 15:33:14 "Well now I see what all the fuss is about." --Dade's mom, upon seeing Kate (Angelina Jolie) 15:33:29 lol 15:33:29 damn, that's some DB 15:33:34 incubot: Nick or Nora? 15:33:36 for that matter, Nora Roberts and all her aliases, Sophie Kinsella, Laurell K. Hamilton, James Frey...) 15:33:38 -!- offby1` is now known as offby1 15:44:21 peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has joined #scheme 15:46:50 -!- lysium [n=bernauer@bender.Informatik.Uni-Tuebingen.De] has quit ["Lost terminal"] 15:50:33 -!- yagur [n=yyaaa@211.109.158.113] has quit ["  ."] 15:52:13 wasabi_ [n=wasabi@ntoska153183.oska.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 15:54:49 -!- wasabi_ [n=wasabi@ntoska153183.oska.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 16:02:32 -!- pchrist [n=spirit@gentoo/developer/pchrist] has quit ["leaving"] 16:03:08 pchrist [n=spirit@gentoo/developer/pchrist] has joined #scheme 16:15:59 -!- rdd [n=user@c83-250-142-219.bredband.comhem.se] has quit [Connection reset by peer] 16:17:41 arcfide [n=arcfide@156-56-206-145.dhcp-bl.indiana.edu] has joined #scheme 16:19:23 jlongster [n=user@75.148.111.133] has joined #scheme 16:19:50 rdd [n=rdd@c83-250-142-219.bredband.comhem.se] has joined #scheme 16:21:20 wabash [n=user1@pool-72-69-146-31.mdsnwi.dsl-w.verizon.net] has joined #scheme 16:21:58 Hi. Does Scheme support Unicode strings? 16:23:17 R6RS does 16:23:45 wabash: Many Scheme implementations have some form of Unicode support. 16:24:31 ok, thanks. 16:24:59 Is R6RS implemented? and arcfide, what implementations come to mind? Mit-scheme? MZ-scheme? 16:25:06 BW^- [i=Miranda@79.138.219.141.bredband.tre.se] has joined #scheme 16:25:13 sjamaan: around? 16:25:37 lysium [n=bernauer@bender.Informatik.Uni-Tuebingen.De] has joined #scheme 16:25:46 wabash: R6RS is partially implemented on a few Schemes. 16:26:01 -!- ilSignorCarlo [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has quit ["Lost terminal"] 16:26:03 sjamaan: i just got an email from Dmitry Lizorkin refering to your http://sjamaan.ath.cx/docs/scheme/sxslt.pdf as a very good description of sxslt. 16:26:15 Gambit, Gauche, PLT, others 16:26:23 wabash: MIT Scheme, mzscheme, Chicken, Gambit, Scheme48 all support Unicode at some level, IIRC. 16:26:25 -!- bem is now known as chandler 16:26:30 ok, thanks. 16:26:48 -!- lysium [n=bernauer@bender.Informatik.Uni-Tuebingen.De] has left #scheme 16:28:19 -!- gigabytes [n=gigabyte@host154-239-dynamic.16-79-r.retail.telecomitalia.it] has quit [] 16:31:54 -!- Mr_SpOOn [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has quit [Read error: 104 (Connection reset by peer)] 16:35:40 So, how is everyone doing today? 16:35:56 replor [n=replor@ntkngw375028.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 16:35:58 arcfide: new england is cold as balls, did you know that? 16:36:12 Hardly; it's just beginning to get brisk. 16:36:38 npe: What is the current temperature? 16:36:44 If you are, as I imagine from your hostname, in the middle of New Hampshire, and if you will remain here for another couple of months, you'll get to enjoy another forty degrees Fahrenheit colder, most assuredly. 16:37:03 Riastradh: lol... I grew up in NH. I'm in Texas now. 16:37:19 Riastradh: speaking of which, you up for a coffee if/when I head to boston next week? 16:37:28 Around here we're just beginning to reach an average temperature between 30 and 40 degrees. 16:37:58 It's barely below freezing in New Hampshire right now, I think. 16:38:13 (and has been for several days) 16:38:14 Eh, okay, so that's not so bad. 16:39:06 npe, I don't yet know exactly when I'll be in Boston next week. I'll be all over New England. 16:39:22 (An arm in Connecticut, a leg somewhere in Maine, probably an ear or two in Vermont, &c.) 16:39:23 going to hit concord nh? 16:39:42 gigabytes [n=gigabyte@host154-239-dynamic.16-79-r.retail.telecomitalia.it] has joined #scheme 16:39:45 arcfide: lol... in texas it's still 75 in the day. 16:39:55 Doubtful, except perhaps in passing. 16:40:59 Riastradh: gotcha, I'll give you a beep when i go to boston then. 16:47:43 was probably a good 35 deg C here today, way too hot for my liking 16:56:03 for some value of "good" 17:00:40 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 17:00:49 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 17:01:01 -!- jlongster [n=user@75.148.111.133] has quit [Read error: 113 (No route to host)] 17:02:48 eno [n=eno@nslu2-linux/eno] has joined #scheme 17:14:39 where good = at least a multiplication factor of 1 :) 17:23:20 -!- wabash [n=user1@pool-72-69-146-31.mdsnwi.dsl-w.verizon.net] has left #scheme 17:24:19 xan__ [n=xan@cs78225040.pp.htv.fi] has joined #scheme 17:26:21 jgracin [n=jgracin@82.193.208.195] has joined #scheme 17:26:33 -!- schmalbe [n=bernhard@p549A0361.dip0.t-ipconnect.de] has quit [Remote closed the connection] 17:29:51 -!- jonrafkind [n=jon@c-98-202-86-149.hsd1.ut.comcast.net] has quit [Connection timed out] 17:29:52 -!- brianf [n=brian@external-asa-hq-bllvwa.corp.strata8.net] has quit [Read error: 104 (Connection reset by peer)] 17:46:16 ramkrsna [n=ramkrsna@unaffiliated/ramkrsna] has joined #scheme 17:47:25 -!- kuribas [i=kristof@d54C2AD53.access.telenet.be] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 17:49:43 -!- rdd [n=rdd@c83-250-142-219.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 17:52:53 -!- BW^- [i=Miranda@79.138.219.141.bredband.tre.se] has left #scheme 17:53:11 jonrafkind [n=jon@wireless249.wireless.utah.edu] has joined #scheme 17:53:47 BW^- [i=Miranda@79.138.219.141.bredband.tre.se] has joined #scheme 17:55:38 -!- BW^- [i=Miranda@79.138.219.141.bredband.tre.se] has left #scheme 17:57:39 rdd [n=user@c83-250-142-219.bredband.comhem.se] has joined #scheme 18:02:49 -!- bsmntbombdood [n=gavin@97-118-130-100.hlrn.qwest.net] has quit [Read error: 110 (Connection timed out)] 18:03:22 bsmntbombdood [n=gavin@97-118-130-100.hlrn.qwest.net] has joined #scheme 18:06:07 -!- ramkrsna [n=ramkrsna@unaffiliated/ramkrsna] has quit ["Leaving"] 18:07:45 orgy_ [n=ratm_@pD9FFE003.dip.t-dialin.net] has joined #scheme 18:08:57 -!- gigabytes [n=gigabyte@host154-239-dynamic.16-79-r.retail.telecomitalia.it] has quit [] 18:21:48 BloomFilter [n=foo@c-24-99-122-104.hsd1.ga.comcast.net] has joined #scheme 18:21:53 -!- orgy` [n=ratm_@pD9FFE003.dip.t-dialin.net] has quit [Read error: 113 (No route to host)] 18:29:38 rushfan [n=rushfan@155.33.149.22] has joined #scheme 18:30:29 -!- rushfan [n=rushfan@155.33.149.22] has left #scheme 18:33:01 -!- Daeken [n=foo@c-24-99-122-104.hsd1.ga.comcast.net] has quit [Read error: 110 (Connection timed out)] 18:33:06 -!- umis [n=umis@prudent-gloryer.volia.net] has quit [Connection timed out] 18:40:27 -!- name [n=name@sburn/devel/name] has quit [Read error: 60 (Operation timed out)] 19:03:04 geckosenator [n=sean@c-24-8-193-190.hsd1.co.comcast.net] has joined #scheme 19:06:16 -!- arcfide [n=arcfide@156-56-206-145.dhcp-bl.indiana.edu] has quit ["Leaving"] 19:06:17 -!- incubot [n=incubot@24.205.65.135] has quit [Read error: 54 (Connection reset by peer)] 19:08:27 -!- BloomFilter is now known as Daekene 19:08:28 -!- Daekene is now known as Daeken 19:08:50 schmalbe [n=bernhard@p549A0361.dip0.t-ipconnect.de] has joined #scheme 19:09:14 -!- peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has quit [] 19:09:24 -!- MichaelRaskin [n=MichaelR@3ad50e34.broker.freenet6.net] has quit [Read error: 60 (Operation timed out)] 19:10:35 tltstc` [n=nine@192.207.69.1] has joined #scheme 19:11:05 incubot [n=incubot@24.205.65.135] has joined #scheme 19:11:24 -!- cpfr [n=cf@cpe-76-171-165-212.socal.res.rr.com] has quit [Read error: 110 (Connection timed out)] 19:12:51 JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 19:13:49 -!- attila_lendvai [n=ati@catv-89-133-170-239.catv.broadband.hu] has quit ["..."] 19:19:44 -!- tjafk1 [n=timj@e176204241.adsl.alicedsl.de] has quit [Remote closed the connection] 19:22:12 -!- JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has quit [Read error: 60 (Operation timed out)] 19:25:31 gigabytes [n=gigabyte@host15-239-dynamic.11-79-r.retail.telecomitalia.it] has joined #scheme 19:30:04 Cale_ [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has joined #scheme 19:32:48 -!- Cale [n=Cale@CPE001c10c70239-CM000e5cdd834a.cpe.net.cable.rogers.com] has quit [Nick collision from services.] 19:32:52 -!- Cale_ is now known as Cale 19:34:00 tizoc_ [n=user@r190-135-38-41.dialup.adsl.anteldata.net.uy] has joined #scheme 19:36:15 Mr_SpOOn [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has joined #scheme 19:38:17 name [n=name@sburn/devel/name] has joined #scheme 19:40:02 -!- schmalbe [n=bernhard@p549A0361.dip0.t-ipconnect.de] has quit [Remote closed the connection] 19:42:37 -!- jgracin [n=jgracin@82.193.208.195] has quit [Remote closed the connection] 19:43:21 -!- tizoc [n=user@r190-135-29-213.dialup.adsl.anteldata.net.uy] has quit [Read error: 110 (Connection timed out)] 19:43:41 -!- tizoc_ is now known as tizoc 19:46:29 GoNoGo [n=GoNoGo@cro34-3-82-236-93-215.fbx.proxad.net] has joined #scheme 19:55:18 -!- GoNoGo [n=GoNoGo@cro34-3-82-236-93-215.fbx.proxad.net] has quit [Read error: 104 (Connection reset by peer)] 19:56:49 melito [n=melito@70.99.250.82] has joined #scheme 20:00:33 puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has joined #scheme 20:01:02 -!- dirchh [n=user@jimi.informatik.uni-tuebingen.de] has quit [Remote closed the connection] 20:13:32 -!- gigabytes [n=gigabyte@host15-239-dynamic.11-79-r.retail.telecomitalia.it] has quit [] 20:18:24 jgracin [n=jgracin@82.193.208.195] has joined #scheme 20:18:57 bweaver [n=bweaver@67.161.236.94] has joined #scheme 20:23:56 -!- aaco [n=aaco@unaffiliated/aaco] has quit ["Leaving"] 20:29:11 -!- geckosenator [n=sean@c-24-8-193-190.hsd1.co.comcast.net] has quit [Read error: 110 (Connection timed out)] 20:53:01 JohnnyL [i=JohnnyL@ool-182ddad4.dyn.optonline.net] has joined #scheme 20:54:06 MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 20:55:52 hml [n=x@unaffiliated/hml] has joined #scheme 20:59:43 -!- hml [n=x@unaffiliated/hml] has quit [Client Quit] 21:00:21 hml [n=x@DNab434dee.Stanford.EDU] has joined #scheme 21:00:46 Cowmoo [n=Cowmoo@static-70-108-241-27.res.east.verizon.net] has joined #scheme 21:06:07 There is somebody here to explain me the system of ACM library? 21:06:35 I wanted to download an article, and it requires me about 65$ for printing. 21:07:13 a-s: cash or soul, please; that'll be cash or soul for acm lock-down material. 21:08:14 a-s: you would do better to try to locate the publication in question in your local library. 21:08:35 :) I will try 21:08:53 I believe that the rates are somewhat less extortionate for ACM members. (I am not one.) 21:09:10 I see. thanks 21:09:15 -!- proq [n=user@unaffiliated/proqesi] has quit [Remote closed the connection] 21:09:31 proq [n=user@unaffiliated/proqesi] has joined #scheme 21:09:45 An article of 2 pages is more expensie than the whole SICP!!! 21:09:50 Or you could ask here to see if anybody already has an e-copy of the paper that you seek. It couldn't hurt. 21:10:24 http://doi.acm.org/10.1145/960118.808386 21:10:46 I doubt that somebody gives it here... 21:11:30 You'd have more luck in the channel next door, I think. I take it that McCarthy doesn't have this paper archived on his site? 21:12:55 I will brush my teeths and dring a tea 21:14:38 brick_ [n=brick@d118-75-223-164.try.wideopenwest.com] has joined #scheme 21:15:37 I'm trying to take the first element in a list and _use_ it as a function call on something else but i keep getting "attempt to call a non-procedure" errors 21:16:36 brick_: the first element's value must be a lambda 21:18:27 i'm calling it thus: ((car '(myfunc 1 2 3)) param) 21:18:40 rudybot: eval ((car (list +)) 2 2) 21:18:40 cpfr [n=cf@dynamic-153-135.usc.edu] has joined #scheme 21:18:40 sladegen: ; Value: 4 21:18:55 ((car `(,myfunc 1 2 3)) param) 21:18:59 rudybot: eval ((car '(+)) 2 2) 21:19:01 sladegen: error: procedure application: expected procedure, given: +; arguments were: 2 2 21:19:27 rudybot: eval (symbol? (car '(+))) 21:19:27 sladegen: ; Value: #t 21:19:46 rudybot: eval (procedure? (car (list +))) 21:19:46 sladegen: ; Value: #t 21:20:01 rudybot: eval (procedure? (car `(,+))) 21:20:02 leppie: ; Value: #t 21:20:13 or what leppie proposes. 21:20:26 r5rs quasiquote 21:20:26 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-7.html#%_idx_150 21:20:27 -rudybot:#scheme- http://tinyurl.com/3rjrss 21:22:58 r6rs if 21:23:11 guess not :( :p 21:24:26 brick_, there is a world of difference between a procedure and a symbol, even if you referred to the procedure by the same text with which you wrote the symbol's name in your program. 21:24:30 brick_, consider: 21:24:36 rudybot: eval (list '+ +) 21:24:38 Riastradh: ; Value: (+ #) 21:29:36 -!- proq [n=user@unaffiliated/proqesi] has quit [Read error: 104 (Connection reset by peer)] 21:30:22 i'm not sure what the comma is for, but here's what I have: 21:30:27 above in my program: (define (funca p) p) 21:30:36 then: ((car '(funca 1 2 3)) 4) 21:31:01 In that expression, you are trying to apply the *symbol* whose name is FUNCA, as if it were a procedure. Symbols, however, are far from procedures. 21:31:47 If you want a list that contains the *procedure* you defined earlier (with a name that happened to be spelled F-U-N-C-A), then you will need to build it in some way other than evaluating (QUOTE (FUNCA 1 2 3)), such as by evaluating (LIST FUNCA 1 2 3). 21:34:21 ((car `(,funca 1 2 3)) 4) 21:35:28 proq [n=user@unaffiliated/proqesi] has joined #scheme 21:38:44 ah I guess I didn't realize the distinction between symbols and procedures at all, thanks I think i've got it now 21:39:41 -!- Cowmoo [n=Cowmoo@static-70-108-241-27.res.east.verizon.net] has left #scheme 21:46:16 -!- jgracin [n=jgracin@82.193.208.195] has quit [Remote closed the connection] 21:52:31 so let's say my input is given to me as a list such as: '((funca 1) (funcb 2) (funcc 3)) 21:53:07 peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has joined #scheme 21:53:53 since I can't build the incoming input in any other way, how would i pull of the first elements (which are symbols?) and apply them as functions to something else? 21:54:47 You will have to map the symbols to procedures yourself. 21:55:03 -!- cemerick [n=la_mer@75.147.38.122] has quit [] 22:04:20 la la la 22:05:10 -!- hemulen [n=hemulen@cpe-069-134-114-252.nc.res.rr.com] has quit ["He rode off into the sunset. . ."] 22:05:23 Func not only moves, it can remove-- dig? 22:08:05 how can I map symbols to procedures without using lambda? 22:09:09 You can't do a damned thing in Scheme without using lambda. (What are you really asking?) 22:09:52 exexex [n=chatzill@85.102.133.91] has joined #scheme 22:11:25 how would you normally map a symbol to a procedure? it seems like: (define mysymbol (lambda (parm) (myprocedure parm)) but it's not workin 22:13:57 hemulen [n=hemulen@cpe-069-134-114-252.nc.res.rr.com] has joined #scheme 22:14:31 That defines a variable `mysymbol' with the value "procedure of one argument that applies the procedure stored in variable `myprocedure' to its argument." 22:16:05 What you want instead is code that, given a symbol, returns the procedure that you wish to associate with that symbol. How you want to write that code is for you to decide. 22:16:07 so if I had: (some_other_procedure '((mysymbol 1) (mysymbol 2))) 22:19:55 Here's a hint: how would you write code that, given the symbol `one' `two' `three' `four' or `five', returned the correponding integer value? 22:20:17 (or the _corresponding_ integer value, if you prefer) 22:21:04 (define one 1) (define two 2) ... etc 22:21:10 No. 22:21:29 You have defined a variable `one' that contains 1, etc. 22:21:33 attila_lendvai [n=ati@business-89-132-61-222.business.broadband.hu] has joined #scheme 22:23:00 well i could make it a procedure such as (define (one) 1) but then i'd have to to call it like: (one) to output '1' 22:23:28 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 22:23:29 That also defines a variable `one', only this time you have bound it to a 0-arity procedure. 22:24:40 -!- Nshag [n=shagoune@Mix-Orleans-106-1-5.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 22:24:51 A symbol is not a variable. A symbol is a datum. 22:25:34 (define foo 'ziggy) defines a variable `foo' and binds it to a symbol `ziggy'. 22:26:17 rudybot: eval (define foo 'ziggy) (begin (display foo) (newline)) (symbol? foo) 22:26:17 Daemmerung: ; Value: #t 22:26:17 Daemmerung: ; stdout: "ziggy\n" 22:27:33 (define foo '(ziggy 1)) defines a variable `foo' and binds it to a list of two elements: the symbol `ziggy' and the integer 1. 22:28:17 I repeat -- `ziggy' is not a variable! It is a piece of data of type symbol. 22:29:36 -!- elias` [n=me@unaffiliated/elias/x-342423] has quit [Connection timed out] 22:30:45 Now if you wrote (define foo ziggy) -- note the lack of the single quote there -- you would be defining a variable `foo' and binding it to whatever value was currently in the variable `ziggy'. The key is the lack of quote. When you quote something, you tell Scheme, "This may /look/ like code, but I want it to be data." 22:31:22 -!- hml [n=x@unaffiliated/hml] has quit [Remote closed the connection] 22:34:19 rudybot: eval (define (is-it-a-one? x) (eq? x 'one)) (list (is-it-a-one? 'two) (is-it-a-one? 'one)) 22:34:19 Daemmerung: ; Value: (#f #t) 22:39:06 sam__ [n=Sami__@hoasnet-fe1add00-113.dhcp.inet.fi] has joined #scheme 22:41:56 -!- peter_12 [n=peter@S010600119506b129.gv.shawcable.net] has quit [] 22:48:33 borism [n=boris@195-50-204-153-dsl.krw.estpak.ee] has joined #scheme 22:59:45 -!- cpfr is now known as dpfr 23:01:10 -!- dpfr is now known as ypfr 23:06:42 -!- exexex [n=chatzill@85.102.133.91] has quit [Remote closed the connection] 23:17:49 -!- langmartin [n=user@75.148.111.133] has quit [Read error: 113 (No route to host)] 23:20:52 hml [n=x@unaffiliated/hml] has joined #scheme 23:26:43 -!- name [n=name@sburn/devel/name] has quit ["Lost terminal"] 23:28:05 arcfide [n=arcfide@adsl-99-137-201-169.dsl.bltnin.sbcglobal.net] has joined #scheme 23:34:04 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 23:34:17 quiet 23:35:51 *arcfide* ducks down and peers around carefully. 23:36:10 .oO(Wha? What happened?) 23:36:20 renke [n=renke@Lfbe9.l.pppool.de] has joined #scheme 23:36:20 -!- renke [n=renke@Lfbe9.l.pppool.de] has quit [Client Quit] 23:38:57 -!- Mr_SpOOn [n=Mr_SpOOn@89-97-102-218.ip17.fastwebnet.it] has quit ["Lost terminal"] 23:42:38 -!- ypfr is now known as cpfr 23:52:43 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 23:58:27 -!- kilimanjaro [n=kilimanj@70.116.95.163] has quit ["Connection reset by beer"]