00:06:50 pure [n=pure@219-89-144-173.jetstart.xtra.co.nz] has joined #scheme 00:06:56 -!- pure is now known as mad_muppet 00:07:38 Im trying to do a question on the mit site that asks for a program that uses inc to add one to a number 00:07:52 however I cant find any examples of inc 00:08:03 can someone point me to an example thanks 00:08:19 g06|in [n=goblin@cpe-71-74-80-139.insight.res.rr.com] has joined #scheme 00:16:48 rudybot: eval (let () (define (inc x) (+ x 1)) (inc 41)) 00:16:49 mejja: your sandbox is ready 00:16:49 mejja: ; Value: 42 00:20:37 -!- g06|in [n=goblin@cpe-71-74-80-139.insight.res.rr.com] has quit [] 00:23:10 mike [n=m@dslb-088-064-149-141.pools.arcor-ip.net] has joined #scheme 00:23:38 -!- mike is now known as Guest36285 00:23:44 rudybot: eval ((let ((one 1)) (lambda (x) (+ x one))) 2) 00:23:45 sladegen: your sandbox is ready 00:23:45 sladegen: ; Value: 3 00:25:09 rule0 [n=rule0@85.103.55.19] has joined #scheme 00:25:29 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 00:28:16 incubot: If you inflated an atom to the size of the known Universe, then a Planck-scale object would be about the size of a tree. 00:28:19 where they try to not have a smile because it would expose their self inflated ego 00:32:42 rcassidy [n=rcassidy@155.33.149.150] has joined #scheme 00:33:51 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 00:34:06 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 00:40:14 -!- rule0 [n=rule0@85.103.55.19] has quit ["Leaving"] 00:45:06 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 00:45:23 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 00:47:09 -!- Guest36285 [n=m@dslb-088-064-149-141.pools.arcor-ip.net] has quit ["This computer has gone to sleep"] 00:47:29 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 00:50:57 Adamant [n=Adamant@c-76-29-188-22.hsd1.ga.comcast.net] has joined #scheme 00:57:08 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 00:57:27 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 01:03:13 -!- mad_muppet [n=pure@219-89-144-173.jetstart.xtra.co.nz] has quit [Remote closed the connection] 01:08:44 -!- MrFahrenheit [n=RageOfTh@92.36.151.99] has quit [Read error: 110 (Connection timed out)] 01:11:05 -!- MichaelRaskin [n=MichaelR@gwh-1-177-mytn23k1.ln.rinet.ru] has left #scheme 01:11:32 MichaelRaskin [n=MichaelR@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 01:16:40 incubot: szadkowski 01:16:43 Rationale? For the R6RS draft? Surely you joke, Mr Szadkowski. 01:23:13 -!- Arelius [n=indy@64.174.9.113] has quit [Read error: 110 (Connection timed out)] 01:34:50 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 01:57:26 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 01:59:21 -!- subversus [i=elliot@loveturtle.net] has quit [Remote closed the connection] 01:59:48 wolf_ [n=wolf@ip24-56-46-40.ph.ph.cox.net] has joined #scheme 02:01:00 Hi i dont know if this is what the room is used for but could I ask for help solving a scheme problem? 02:08:42 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 02:09:45 -!- mejja [n=user@c-f6b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote closed the connection] 02:11:09 Adamant [n=Adamant@c-76-29-188-22.hsd1.ga.comcast.net] has joined #scheme 02:11:46 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 02:12:06 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 02:13:19 AtnNn [n=welcome@modemcable087.62-56-74.mc.videotron.ca] has joined #scheme 02:16:03 tripwyre [n=sathya@117.193.166.248] has joined #scheme 02:21:06 -!- rcassidy [n=rcassidy@155.33.149.150] has quit [] 02:23:19 wolf_: the telepathy-IRC gateway is down, so you'll have to actually state your problem. 02:23:21 but yes 02:24:36 athos_ [n=philipp@92.250.250.68] has joined #scheme 02:25:38 -!- athos [n=philipp@92.250.250.68] has quit [Read error: 104 (Connection reset by peer)] 02:25:51 I didnt know if this was for development. Anyway, The problem is that I need to solve is in drscheme I need to be able to write (before_list '( 3 4 5 6) 5 6) and have it return true, because in that is list 5 appears before 6 ( the two numbers at the end ) in the case of (before_list '( 3 4 5 6) 6 3) it should return false because 3 comes before 6 in the list 02:26:05 Im new to scheme and have trouble with the syntax 02:27:51 so the order in which the two numbers at the end appear in ( 5 6) should be the same order as in the group preceding them, 3 4 5 6, the 5 appears before the 6 here too, so it returns true 02:28:01 well, just off the bat usually people use - as a separator so it'd be before-list 02:28:31 I have to keep that the same, this is an assignment 02:28:50 I wonder what you're doing where you're not sure whether 5 comes before 6. Are you sorting lists? 02:28:50 -!- Modius__ [n=Modius@adsl-69-150-57-149.dsl.austtx.swbell.net] has quit [Read error: 110 (Connection timed out)] 02:28:50 Oh, okay. 02:29:22 What I would do is make two lists A and B. 02:30:02 -!- athos_ is now known as athos 02:30:45 -!- elderK [n=zk@222-152-95-4.jetstream.xtra.co.nz] has left #scheme 02:31:04 I'd iterate through A, and take its element a, then find the element b in B that would be after a. Then I try and exhaust A. If I end up exhausting B, it's false. Otherwise true. 02:31:43 Not nested iteration, but two lists iterating in parallel (at different rates) as two separate arguments. 02:32:19 I dont think i can do it that way, I have to put in (before_list '( 3 4 5 6) 5 6) and have it return true 02:32:39 always two numbers? 02:32:41 There is a simple and relatively idiomatic one-liner solution, involving two `memq's. 02:32:58 (And since this is a homework, then I'll leave it at that.) 02:33:01 p1dzkl, yes 02:34:50 eli: memv or member rather 02:35:12 it is a homework assignment, however I would appreciate any help, I had an unfortunately tragedy in my family and had to miss the two weeks of lectures. 02:35:15 No, I meant memq. 02:36:02 wolf_: That should be a pretty thick hint. Look up what memq/memv/member is doing, and go on from there. (The hint is that they are not plain predictaes.) 02:37:14 orgy` [n=ratm_@pD9FFCF5A.dip.t-dialin.net] has joined #scheme 02:37:17 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 02:38:26 eli: really? R5RS says (eq? 2 2) => unspecified 02:38:46 p1dzkl: Yes, I know. I'm not using R5RS. 02:39:21 Modius [n=Modius@ppp-70-243-80-142.dsl.austtx.swbell.net] has joined #scheme 02:39:55 [BTW, when I made the hint explicit in the above, I did mention the other two. But *I* am perfectly fine with `memq' for what *I* do.] 02:41:39 -!- bombshelter13_ [n=bombshel@209-161-233-254.dsl.look.ca] has quit [Client Quit] 02:42:34 eli, sorry, do you know of a good scheme resource page that might explain its use? 02:46:51 wolf_: If you're using PLT, then enter `member' in the documentation search and read what it says -- pay attention to how it is not a predicate (instead of returning #f/#t, it returns #f or some other useful value), and then play with it. 02:48:44 im using drscheme 02:48:57 write `member' and hit F1. 02:49:44 k I see it now, thank you 02:50:19 -!- CaptainMorgan [n=CaptainM@c-75-68-42-94.hsd1.nh.comcast.net] has quit [Remote closed the connection] 02:58:39 eli: As a hint to see if I'm on the right track, it'd involve 2 memv calls and 1 memq call, right? Or am I making this more complicated than it needs to be? 03:00:53 cky: It would be just two `mem*' calls for whatever equality suits your needs. 03:01:14 Cool, thanks. 03:01:46 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Connection timed out] 03:02:24 bombshelter13_ [n=bombshel@209-161-233-254.dsl.look.ca] has joined #scheme 03:03:15 (qrsvar (cerprqr yvfg k l) (yrg ([y (zrzd k yvfg)]) (naq y (zrzd l y)))) 03:03:49 sepult [n=buggarag@xdsl-87-78-73-126.netcologne.de] has joined #scheme 03:04:16 eli: Nice, your answer is more robust than mine. :-) 03:04:53 My version is shorter but requires the first argument to exist in the list. 03:05:33 subversus [i=elliot@loveturtle.net] has joined #scheme 03:05:58 cky: It's common to forget that. (And you could use `cond', but it's roughly the same length anyway.) 03:06:11 *nods* 03:21:56 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 03:22:10 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 03:22:10 GreyLensman [n=ray@c-76-108-236-161.hsd1.fl.comcast.net] has joined #scheme 03:22:35 -!- GreyLensman [n=ray@c-76-108-236-161.hsd1.fl.comcast.net] has left #scheme 03:30:04 Working with Gambit's C-interface, when the return value of a function is a int *, how does one grab values out of this like an array? 03:30:43 Or do I need to construct an appropriate Scheme list object or something in the C code? 03:33:55 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 03:38:03 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 03:40:37 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 03:44:56 -!- orgy` [n=ratm_@pD9FFCF5A.dip.t-dialin.net] has quit [Remote closed the connection] 03:50:17 metasyntax: You may have better luck asking in #gambit. :-) Unless you have already asked there and there's nobody answering. 03:56:14 cky: there are only two other people in there now, so I haven't asked 03:56:57 I think I got it figured out though, I need to define my own type conversion functions; fortunately there's an example of doing this in the manual, I'll just have to adapt it 03:58:34 Cool, good luck! 03:59:49 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 04:01:42 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 04:01:57 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 04:09:55 tjafk1 [n=timj@e176200052.adsl.alicedsl.de] has joined #scheme 04:18:49 wahjava [n=abbe@opennic/abbe] has joined #scheme 04:19:02 hi everyone 04:20:44 *wahjava* is newbie in scheme and following SICP 04:21:13 any one has any idea about this error ? 'procedure application: expected procedure, given: 0; arguments were: 1/100' 04:23:14 i'm using mzscheme 04:24:33 you tried to apply a function but you had a number 04:24:46 don't add () everywhere 04:24:59 just where you call a procedure 04:25:38 -!- tjafk2 [n=timj@e176217115.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 04:26:40 abbe pasted "simpson2" at http://paste.lisp.org/display/78821 04:26:52 p1dzkl: any ideas what is wrong with above code ? 04:27:19 -!- kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has quit ["Leaving"] 04:27:45 (simpson2 cube 0 1 100) 04:27:54 kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has joined #scheme 04:28:17 (a (* x h)) doesn't look right 04:28:24 a is a number, right? 04:28:46 oops, yes, thanks ...:-) 04:29:23 -!- tripwyre [n=sathya@117.193.166.248] has quit [] 04:31:18 -!- ejs [n=eugen@20-136-124-91.pool.ukrtel.net] has quit ["This computer has gone to sleep"] 04:31:27 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 04:31:54 -!- gweiqi [n=greg@69.120.126.163] has quit ["Leaving."] 04:44:50 -!- kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 04:47:05 kniu [n=kniu@OVERLORD.RES.CMU.EDU] has joined #scheme 04:56:02 -!- luz [n=davids@189.122.121.232] has quit ["Client exiting"] 04:59:36 -!- saccade [n=saccade_@COMBINATOR.MIT.EDU] has quit [Read error: 60 (Operation timed out)] 05:00:38 reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 05:09:52 -!- underspecified_ [n=eric@softbank220043052007.bbtec.net] has quit [] 05:16:19 -!- wolf_ [n=wolf@ip24-56-46-40.ph.ph.cox.net] has quit ["Leaving"] 05:17:56 -!- mokogobo [n=mokogobo@pcp075595pcs.unl.edu] has quit [Read error: 60 (Operation timed out)] 05:25:26 -!- reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 05:25:35 reprore_ [n=reprore@125.0.63.71] has joined #scheme 05:26:08 -!- reprore_ [n=reprore@125.0.63.71] has quit [Read error: 104 (Connection reset by peer)] 05:26:20 reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 05:32:53 cky: thanks :) 05:33:16 leppie: :-) 05:37:24 -!- sphex [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 104 (Connection reset by peer)] 05:37:35 sphex [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has joined #scheme 05:50:58 Arelius [n=Indy@netblock-68-183-230-134.dslextreme.com] has joined #scheme 05:54:42 -!- MichaelRaskin [n=MichaelR@gwh-1-177-mytn23k1.ln.rinet.ru] has left #scheme 05:55:06 MichaelRaskin [n=MichaelR@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 05:58:13 mmc [n=mima@cs160181.pp.htv.fi] has joined #scheme 05:59:59 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 06:01:36 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 06:05:29 -!- Kusanagi [n=Lernaean@unaffiliated/kusanagi] has quit [Nick collision from services.] 06:05:30 Hydr4 [n=Lernaean@68-184-239-20.dhcp.stls.mo.charter.com] has joined #scheme 06:05:34 ejs [n=eugen@20-136-124-91.pool.ukrtel.net] has joined #scheme 06:06:03 -!- bombshelter13_ [n=bombshel@209-161-233-254.dsl.look.ca] has quit [Client Quit] 06:18:37 Adamant [n=Adamant@c-76-29-188-22.hsd1.ga.comcast.net] has joined #scheme 06:24:37 -!- sepult [n=buggarag@xdsl-87-78-73-126.netcologne.de] has quit ["leaving"] 06:32:30 -!- mmc [n=mima@cs160181.pp.htv.fi] has quit ["Leaving."] 06:36:02 sepult [n=buggarag@xdsl-87-78-73-126.netcologne.de] has joined #scheme 06:46:16 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 06:46:59 -!- ejs [n=eugen@20-136-124-91.pool.ukrtel.net] has quit ["This computer has gone to sleep"] 06:47:31 najzere [n=najzere@ip68-96-114-229.lv.lv.cox.net] has joined #scheme 06:48:50 -!- najzere [n=najzere@ip68-96-114-229.lv.lv.cox.net] has quit [Client Quit] 06:49:42 najzere [n=najzere@ip68-96-114-229.lv.lv.cox.net] has joined #scheme 06:52:37 puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has joined #scheme 06:56:09 -!- reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 06:56:13 reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 06:56:39 -!- sepult [n=buggarag@xdsl-87-78-73-126.netcologne.de] has quit ["leaving"] 06:59:39 Hey, anyone want to help me with some string manipulation? 07:01:34 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 07:07:07 chris2 [n=cky@98.105.155.172] has joined #scheme 07:12:11 -!- cky [n=cky@98.105.147.104] has quit [Read error: 60 (Operation timed out)] 07:12:52 -!- arcfide [n=arcfide@h-68-165-57-45.chcgilgm.dynamic.covad.net] has quit ["Leaving"] 07:12:58 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 07:12:59 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 07:13:54 -!- wahjava [n=abbe@opennic/abbe] has quit [Read error: 104 (Connection reset by peer)] 07:14:21 wahjava [n=abbe@opennic/abbe] has joined #scheme 07:17:43 -!- puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has quit ["Konversation terminated!"] 07:24:21 -!- chris2 is now known as cky 07:29:53 -!- najzere [n=najzere@ip68-96-114-229.lv.lv.cox.net] has quit ["derp derp"] 07:33:15 help me #scheme, I'm reading the stalin sources and I'm very afraid :( 07:34:47 155 (define (sx-first s) 07:34:47 156 ;; note: This can't be eta-converted because of bugs running under IRIX 5.3. 07:34:50 157 (sx-car s)) 07:34:50 seriously, what? 07:34:53 -!- Nshag [i=user@Mix-Orleans-106-2-185.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 07:35:38 sepult [n=buggarag@xdsl-87-78-73-126.netcologne.de] has joined #scheme 07:35:57 -!- reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 07:35:58 xwl [n=user@114.246.73.70] has joined #scheme 07:46:34 reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 07:47:52 Ragnaroek [i=54a65cdd@gateway/web/ajax/mibbit.com/x-8d0d5b05e32e003c] has joined #scheme 07:51:55 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 08:07:38 Axioplase [n=Pied@p3039-ipbf510aobadori.miyagi.ocn.ne.jp] has joined #scheme 08:07:40 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 08:08:15 ct2rips [n=ct2rips@blfd-4db1d0b2.pool.einsundeins.de] has joined #scheme 08:10:46 -!- reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 08:11:12 CaptainMorgan [n=CaptainM@c-75-68-42-94.hsd1.nh.comcast.net] has joined #scheme 08:12:58 hotblack23 [n=jh@p5B056851.dip.t-dialin.net] has joined #scheme 08:17:12 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 08:17:24 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 08:20:50 barney [n=bernhard@p549A0721.dip0.t-ipconnect.de] has joined #scheme 08:34:24 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 08:34:45 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 08:43:57 elfor [n=johanfre@85.8.2.11.static.se.wasadata.net] has joined #scheme 08:50:42 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 54 (Connection reset by peer)] 08:51:29 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 09:06:49 -!- exexex [n=chatzill@88.234.14.80] has quit [Read error: 110 (Connection timed out)] 09:07:31 -!- jberg [n=johan@62.80-202-161.nextgentel.com] has quit [Read error: 113 (No route to host)] 09:13:37 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 09:24:24 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 09:26:36 jberg [n=johan@62.80-202-161.nextgentel.com] has joined #scheme 09:35:29 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 09:35:45 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 09:38:30 elias` [n=me@cs78208074.pp.htv.fi] has joined #scheme 09:44:21 -!- araujo [n=araujo@gentoo/developer/araujo] has quit [Read error: 60 (Operation timed out)] 09:55:37 sphex_ [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has joined #scheme 10:00:38 sphex__ [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has joined #scheme 10:01:37 npe [n=npe@195.207.5.2] has joined #scheme 10:02:14 -!- npe [n=npe@195.207.5.2] has quit [Remote closed the connection] 10:02:23 npe [n=npe@195.207.5.2] has joined #scheme 10:11:11 araujo [n=araujo@gentoo/developer/araujo] has joined #scheme 10:12:36 -!- SharkBrain [n=user@124-197-41-171.callplus.net.nz] has quit [Remote closed the connection] 10:12:39 -!- sphex [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 110 (Connection timed out)] 10:12:47 -!- sphex_ [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 110 (Connection timed out)] 10:14:51 -!- xwl [n=user@114.246.73.70] has quit [Read error: 113 (No route to host)] 10:16:43 -!- MichaelRaskin [n=MichaelR@gwh-1-177-mytn23k1.ln.rinet.ru] has left #scheme 10:17:57 MichaelRaskin [n=MichaelR@195.91.224.193] has joined #scheme 10:19:05 -!- bsmntbombdood [i=gavin@97-118-113-91.hlrn.qwest.net] has quit [Read error: 113 (No route to host)] 10:19:13 bsmntbombdood_ [n=gavin@97-118-134-159.hlrn.qwest.net] has joined #scheme 10:20:21 mike [n=m@dslb-088-066-237-251.pools.arcor-ip.net] has joined #scheme 10:20:49 -!- mike is now known as Guest59285 10:24:07 Judofyr [n=Judofyr@c199DBF51.dhcp.bluecom.no] has joined #scheme 10:28:07 orgy` [n=ratm_@pD9FFCF5A.dip.t-dialin.net] has joined #scheme 10:30:26 -!- wahjava [n=abbe@opennic/abbe] has quit [] 10:34:22 -!- MichaelRaskin [n=MichaelR@195.91.224.193] has left #scheme 10:34:48 MichaelRaskin [n=MichaelR@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 10:39:37 athos [n=philipp@92.250.250.68] has joined #scheme 10:49:08 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 10:49:24 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 11:11:45 -!- synthase [n=synthase@68.63.19.212] has quit [Read error: 110 (Connection timed out)] 11:14:53 SharkBrain [n=user@124-197-41-171.callplus.net.nz] has joined #scheme 11:20:08 damg1 [n=dbachtin@p4FDB7C7C.dip.t-dialin.net] has joined #scheme 11:45:58 rakesh_d [n=rakesh@proxy.iiit.ac.in] has joined #scheme 11:47:02 MrFahrenheit [n=RageOfTh@92.36.200.80] has joined #scheme 11:47:18 hi 11:54:45 presto10 [n=user@cs181131.pp.htv.fi] has joined #scheme 11:58:48 -!- rakesh_d [n=rakesh@proxy.iiit.ac.in] has quit ["Leaving"] 12:02:21 -!- Arelius [n=Indy@netblock-68-183-230-134.dslextreme.com] has quit [] 12:07:40 -!- SharkBrain [n=user@124-197-41-171.callplus.net.nz] has quit [Read error: 113 (No route to host)] 12:11:20 -!- barney [n=bernhard@p549A0721.dip0.t-ipconnect.de] has quit [Remote closed the connection] 12:17:02 presto10` [n=user@cs181131.pp.htv.fi] has joined #scheme 12:17:26 Edico [n=Edico@unaffiliated/edico] has joined #scheme 12:18:14 deat [n=deat@fac34-8-88-172-174-215.fbx.proxad.net] has joined #scheme 12:24:29 -!- Axioplase [n=Pied@p3039-ipbf510aobadori.miyagi.ocn.ne.jp] has quit ["Lost terminal"] 12:24:41 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 12:24:45 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 12:31:59 -!- geckosenator [n=sean@c-71-237-94-78.hsd1.co.comcast.net] has quit [Read error: 110 (Connection timed out)] 12:33:23 -!- presto10 [n=user@cs181131.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 12:35:38 underspecified_ [n=eric@softbank220043052007.bbtec.net] has joined #scheme 12:36:13 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 12:37:31 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 12:56:08 synthase [n=synthase@68.63.19.212] has joined #scheme 12:57:52 -!- dfeuer [n=dfeuer@wikimedia/Dfeuer] has quit ["Goin' away"] 13:17:47 sphex [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has joined #scheme 13:18:08 -!- deat [n=deat@fac34-8-88-172-174-215.fbx.proxad.net] has quit [] 13:23:54 xwl [n=user@114.246.73.70] has joined #scheme 13:32:12 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 13:34:08 gweiqi [n=greg@69.120.126.163] has joined #scheme 13:34:51 -!- sphex__ [n=nobody@modemcable185.138-56-74.mc.videotron.ca] has quit [Read error: 110 (Connection timed out)] 13:51:02 mejja [n=user@c-f6b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 13:51:44 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 13:52:01 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 13:54:43 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 60 (Operation timed out)] 13:57:08 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 14:05:05 Lilarcor_ [n=Lilarcor@pool-71-126-188-188.washdc.east.verizon.net] has joined #scheme 14:07:40 sepult_ [n=buggarag@xdsl-87-78-122-56.netcologne.de] has joined #scheme 14:07:59 -!- sepult_ [n=buggarag@xdsl-87-78-122-56.netcologne.de] has quit [Client Quit] 14:08:39 -!- sepult [n=buggarag@xdsl-87-78-73-126.netcologne.de] has quit [Nick collision from services.] 14:09:14 mokogobo [n=mokogobo@pcp075595pcs.unl.edu] has joined #scheme 14:11:03 sepult [n=buggarag@xdsl-87-78-122-56.netcologne.de] has joined #scheme 14:12:29 higepon148 [n=taro@FL1-118-109-126-100.tky.mesh.ad.jp] has joined #scheme 14:15:10 jewel [n=jewel@dsl-247-205-254.telkomadsl.co.za] has joined #scheme 14:21:36 -!- Lilarcor_ [n=Lilarcor@pool-71-126-188-188.washdc.east.verizon.net] has quit ["The Lord of Murder Shall Perish."] 14:24:45 alaricsp [n=alaricsp@64.105.38.106] has joined #scheme 14:25:43 deat [n=deat@fac34-8-88-172-174-215.fbx.proxad.net] has joined #scheme 14:29:05 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 14:30:01 penthief [n=matt@87-194-57-101.bethere.co.uk] has joined #scheme 14:30:38 -!- Adrinael [n=adrinael@barrel.rolli.org] has quit [Read error: 60 (Operation timed out)] 14:31:33 -!- presto10` [n=user@cs181131.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 14:34:03 -!- alaricsp [n=alaricsp@64.105.38.106] has quit [] 14:37:27 Adrinael [i=adrinael@rid7.kyla.fi] has joined #scheme 14:37:37 meanburrito920_ [n=John@76-217-6-100.lightspeed.irvnca.sbcglobal.net] has joined #scheme 14:38:41 reprore_ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 15:00:17 tripwyre [n=sathya@117.193.160.155] has joined #scheme 15:03:07 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 15:04:24 -!- reprore_ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 15:04:45 reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 15:13:04 -!- higepon148 [n=taro@FL1-118-109-126-100.tky.mesh.ad.jp] has quit [Read error: 113 (No route to host)] 15:15:55 -!- ttmrichter [n=ttmricht@219.140.250.126] has quit ["Ex-Chat"] 15:20:08 -!- penthief [n=matt@87-194-57-101.bethere.co.uk] has quit [Success] 15:30:21 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 15:30:33 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 15:38:07 mmc [n=mima@cs160181.pp.htv.fi] has joined #scheme 15:40:22 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 15:40:38 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 15:42:06 chris2 [n=cky@98.105.155.172] has joined #scheme 15:46:47 -!- hotblack23 [n=jh@p5B056851.dip.t-dialin.net] has quit [Remote closed the connection] 15:56:28 wossname [n=wossname@bas1-toronto35-1279420635.dsl.bell.ca] has joined #scheme 15:59:39 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 15:59:41 -!- cky [n=cky@98.105.155.172] has quit [Read error: 110 (Connection timed out)] 16:00:03 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 16:01:44 bombshelter13_ [n=bombshel@209-161-233-254.dsl.look.ca] has joined #scheme 16:06:59 -!- mjonsson [n=mjonsson@66-234-42-75.nyc.cable.nyct.net] has quit [Read error: 110 (Connection timed out)] 16:14:05 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 16:23:33 -!- mmc [n=mima@cs160181.pp.htv.fi] has quit ["Leaving."] 16:25:52 -!- damg1 [n=dbachtin@p4FDB7C7C.dip.t-dialin.net] has quit [Read error: 104 (Connection reset by peer)] 16:26:38 Elly: it might be that the bug fix requires the two functions not to be eq? and is implemented somewhere else. 16:30:30 incubot: the straightforward solution is, don't run under IRIX 5.3 16:30:34 aix, various bsds, cygwin, hpux, irix, linux, macosx, mingw, mingw-msys, solaris, winxp/win2k 16:30:49 yes, that would definitely solve the problem 16:31:36 -!- chris2 is now known as cky 16:44:56 -!- Modius [n=Modius@ppp-70-243-80-142.dsl.austtx.swbell.net] has quit [Read error: 104 (Connection reset by peer)] 16:45:07 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 16:45:24 Modius [n=Modius@ppp-70-243-80-142.dsl.austtx.swbell.net] has joined #scheme 16:46:24 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 16:49:05 -!- Judofyr [n=Judofyr@c199DBF51.dhcp.bluecom.no] has quit [Remote closed the connection] 16:49:37 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 16:54:47 exexex [n=chatzill@85.101.216.220] has joined #scheme 17:00:32 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 17:05:35 Modius_ [n=Modius@adsl-69-154-11-184.dsl.austtx.swbell.net] has joined #scheme 17:15:27 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Connection timed out] 17:16:05 -!- xwl [n=user@114.246.73.70] has quit [Read error: 110 (Connection timed out)] 17:16:13 -!- ct2rips [n=ct2rips@blfd-4db1d0b2.pool.einsundeins.de] has quit ["Verlassend"] 17:16:25 kadaver [n=hask@h199n6c1o1097.bredband.skanova.com] has joined #scheme 17:16:26 what is the signficance of preorder and postorder traversal of a BST? why would you want to do that? 17:18:47 npe_ [n=npe@195.207.5.2] has joined #scheme 17:19:24 athos [n=philipp@92.250.250.68] has joined #scheme 17:24:54 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 17:25:39 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 17:26:32 mjonsson [n=mjonsson@66-234-42-75.nyc.cable.nyct.net] has joined #scheme 17:28:40 -!- Modius [n=Modius@ppp-70-243-80-142.dsl.austtx.swbell.net] has quit [Read error: 110 (Connection timed out)] 17:31:18 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 17:31:35 kadaver: preorder will get you polish notation on expression trees, for instance 17:31:41 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 17:32:12 -!- elfor [n=johanfre@85.8.2.11.static.se.wasadata.net] has quit [] 17:34:40 -!- npe [n=npe@195.207.5.2] has quit [Read error: 113 (No route to host)] 17:36:10 -!- npe_ [n=npe@195.207.5.2] has quit [No route to host] 17:37:59 ejs [n=eugen@235-159-124-91.pool.ukrtel.net] has joined #scheme 17:40:57 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 17:41:19 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 17:42:23 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 17:42:36 i see 17:42:43 -!- kadaver [n=hask@h199n6c1o1097.bredband.skanova.com] has left #scheme 17:46:34 athos [n=philipp@92.250.250.68] has joined #scheme 17:48:51 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 17:49:13 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 17:51:39 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 17:52:33 athos [n=philipp@92.250.250.68] has joined #scheme 17:53:10 -!- reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 17:53:46 presto10 [n=user@cs181131.pp.htv.fi] has joined #scheme 17:54:06 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 17:54:19 penthief [n=matt@87-194-57-101.bethere.co.uk] has joined #scheme 17:59:17 -!- orgy` [n=ratm_@pD9FFCF5A.dip.t-dialin.net] has quit ["Gone."] 17:59:28 orgy` [n=ratm_@pD9FFCF5A.dip.t-dialin.net] has joined #scheme 17:59:50 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 18:00:20 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 18:02:16 mmc [n=mima@cs160181.pp.htv.fi] has joined #scheme 18:02:33 incubot: it's all your fault, asshat! 18:02:35 asshat 18:02:58 incubot: egghead 18:03:01 egghead? 18:03:08 -!- mokogobo [n=mokogobo@pcp075595pcs.unl.edu] has quit [Read error: 60 (Operation timed out)] 18:06:58 Nshag [i=user@Mix-Orleans-106-4-233.w193-248.abo.wanadoo.fr] has joined #scheme 18:09:00 -!- Ragnaroek [i=54a65cdd@gateway/web/ajax/mibbit.com/x-8d0d5b05e32e003c] has quit [Remote closed the connection] 18:09:00 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 18:10:22 Ragnaroek [i=54a647cf@gateway/web/ajax/mibbit.com/x-f773d9656fc3a9da] has joined #scheme 18:10:56 jeremiah [n=jeremiah@213.98.123.31] has joined #scheme 18:11:51 ct2rips [n=ct2rips@blfd-4db1d0b2.pool.einsundeins.de] has joined #scheme 18:20:54 mokogobo [n=mokogobo@pcp075595pcs.unl.edu] has joined #scheme 18:21:00 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 18:21:03 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Connection timed out] 18:21:08 error_de1eloper_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 18:22:18 saccade [n=saccade_@COMBINATOR.MIT.EDU] has joined #scheme 18:26:39 -!- penthief [n=matt@87-194-57-101.bethere.co.uk] has quit ["Leaving"] 18:36:58 -!- error_de1eloper_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 18:37:17 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 18:40:40 Judofyr [n=Judofyr@c349BBF51.dhcp.bluecom.no] has joined #scheme 18:45:13 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 18:47:24 incubot: jughead 18:47:42 I hate klutometis for making a more entertaining bot than mine. 18:47:58 Actually I hate chrisone for the same reason 18:50:22 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 18:56:26 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 18:56:46 incubot: archie 18:56:49 (unless Archie Bunker is the fellow in Archie comics...but hard to imagine him speaking since he only speaks in text on paper) 19:01:54 offby1: anything new up north? 19:02:23 I'm still employed, which counts as news to me :) 19:02:35 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 19:02:53 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 19:04:37 arcfide [n=arcfide@h-68-165-57-45.chcgilgm.dynamic.covad.net] has joined #scheme 19:05:38 -!- exexex [n=chatzill@85.101.216.220] has quit [Remote closed the connection] 19:05:43 exexex_ [n=chatzill@85.101.216.220] has joined #scheme 19:05:44 -!- exexex_ is now known as exexex 19:05:49 -!- Judofyr [n=Judofyr@c349BBF51.dhcp.bluecom.no] has quit [Remote closed the connection] 19:07:39 hedgee [n=cky@166.166.21.82] has joined #scheme 19:08:39 offby1: whoever coined the maxim, "no news is good news," didn't appreciate the simpler things in life; apparently 19:10:35 elfor [n=johanfre@85.8.2.11.static.se.wasadata.net] has joined #scheme 19:11:13 -!- cky [n=cky@98.105.155.172] has quit [Read error: 60 (Operation timed out)] 19:11:45 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 19:11:52 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 19:11:59 klutometis, maybe he did. Maybe he attained the simple regular undisrupted life he longed for.. 19:12:15 -!- hedgee is now known as cky 19:12:17 No News is Good News is a nice motto when dealing with usenet. 19:12:22 Hence, NN. 19:21:54 Are there any essays on Literate Programming and Functional Programming, for or against the two co-existing in a program designed in say, Scheme? 19:25:24 -!- ejs [n=eugen@235-159-124-91.pool.ukrtel.net] has quit ["This computer has gone to sleep"] 19:25:55 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 19:26:10 hedgee [n=cky@166.166.21.82] has joined #scheme 19:26:26 -!- cky [n=cky@166.166.21.82] has quit [Nick collision from services.] 19:26:28 -!- hedgee is now known as cky 19:26:53 -!- p1dzkl [i=p1dzkl@81.167.54.222.static.lyse.net] has quit [Read error: 104 (Connection reset by peer)] 19:29:47 p1dzkl [i=p1dzkl@81.167.54.222.static.lyse.net] has joined #scheme 19:29:59 erider [n=erider@unaffiliated/erider] has joined #scheme 19:30:29 has anyone got scheme up and running in the iphone? 19:30:48 People have been messing with Chicken on the iphone 19:30:58 And I think there's a special PLT version for embedded stuff? 19:31:25 sjamaan: do you have a link of the version of chicken for the iphone? 19:32:12 I think it's just the regular Chicken, cross-compiled to the iphone 19:32:40 ok I will have a look then 19:33:08 -!- kniu [n=kniu@OVERLORD.RES.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 19:33:53 kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has joined #scheme 19:39:01 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 60 (Operation timed out)] 19:39:20 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 19:41:15 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Connection timed out] 19:42:25 HG` [n=wells@91.111.16.205] has joined #scheme 19:42:26 MichaelRaskin: indeed; in that socratic post-testosterone slumber, "ti neoteron" might act as a vexing stimulant 19:44:21 "socratic post-testosterone slumber"? 19:46:02 Elly: yeah; positive libido was looked upon as a discomfort; relief sought in senescence 19:46:16 oh, I see 19:46:20 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 19:49:39 -!- meanburrito920_ [n=John@76-217-6-100.lightspeed.irvnca.sbcglobal.net] has quit ["has been attacked by a grue"] 19:49:58 -!- jonrafkind [n=jon@c-98-202-86-149.hsd1.ut.comcast.net] has quit [Read error: 110 (Connection timed out)] 19:50:25 -!- elfor [n=johanfre@85.8.2.11.static.se.wasadata.net] has quit [] 19:58:19 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 20:00:15 erider: Danny Yoo has been putting together something called "Moby Scheme", which is (I think) the simple "Student" level of PLT scheme, running on the Android 20:00:28 -!- a-s [n=user@92.80.90.15] has quit [Remote closed the connection] 20:00:40 ah yes, moby scheme 20:01:05 but it will not run on the iphone? 20:02:03 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Success] 20:03:18 nope 20:03:21 Android only 20:06:41 -!- synthase [n=synthase@68.63.19.212] has quit [Read error: 60 (Operation timed out)] 20:13:18 benny` [n=benny@i577A007D.versanet.de] has joined #scheme 20:13:48 a-s [n=user@92.80.90.15] has joined #scheme 20:16:33 *morphir* would like to form a scheme study group. 20:17:24 anyone learning the language - that would like to attend such a fora per irc channel? 20:19:25 I'm kind of learning scheme, but I use this channel for that 20:19:36 meanburrito920_ [n=John@76-217-6-100.lightspeed.irvnca.sbcglobal.net] has joined #scheme 20:20:27 morphir: You can probably study right here in this channel. After all, we love to have new Schemers learning. 20:22:14 *Elly* has not actually sat down and written anything meaningful in scheme, but has a decent amount of experience with functional programming in general 20:24:09 morphir: take a look at ##SICP -- it's a little bit like a Scheme study group 20:24:47 heh ... define "meaningful" ... I suspect I have never written anything "meaningful" in any language in << counts on fingers and toes >> 35 years 20:25:59 I feel like I don't really know a language until I've written a compiler or something in it 20:26:42 the main thing I trip over in scheme is that using sum types ala Haskell or ML feels very clunky 20:27:09 -!- benny [n=benny@i577A09B8.versanet.de] has quit [Read error: 110 (Connection timed out)] 20:30:52 I assume that's because Haskell is statically typed but scheme is dynamically typed 20:30:54 (Never used ML) 20:31:04 ML is also static 20:31:15 I miss being able to do this: 20:31:17 Haskell is basically lazy ML with a nicer syntax 20:31:34 prove (And a b) = (prove a) and (prove b) 20:31:43 prove (Or a b) = (prove a) or (prove b) 20:31:55 and things like that 20:32:05 pattern-matching with destructuring is <3 20:32:26 puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has joined #scheme 20:32:44 didn't know ML wasn't lazy 20:32:58 ML is strict, yes 20:32:58 Elly: ah, I know about that -- I use Erlang at work. It's nice. 20:33:20 Elly: PLT has something called "match-lambda" which will let you approximate that, but the syntax is noisy 20:33:22 Elly: What does prove do? 20:33:22 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 60 (Operation timed out)] 20:33:34 arcfide: in, e.g., a theorem prover, you might have: 20:33:47 data Prop = Atom String | And Prop Prop | Or Prop Prop | ... 20:34:10 then you have a function prove :: Prop -> Bool (I'm fudging the type names a bit because I always mix them up between ML and Haskell) 20:34:37 well, really it'd be prove :: [String] -> Prop -> Bool because you need a context 20:34:37 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 20:34:53 then prove would case on which arm of the sum type its argument is 20:34:58 I really miss being able to do it that way in scheme 20:35:14 I've seen the match macros in PLT, but they're not as concise 20:37:00 nope 20:37:53 Arelius [n=Indy@netblock-68-183-230-134.dslextreme.com] has joined #scheme 20:38:07 those are the things I miss most 20:38:10 *Elly* shrugs 20:40:28 -!- mmc [n=mima@cs160181.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 20:40:59 elfor [n=johanfre@85.8.2.11.static.se.wasadata.net] has joined #scheme 20:43:47 jao [n=jao@55.Red-88-15-113.dynamicIP.rima-tde.net] has joined #scheme 20:46:54 ah, there is a sicp channel? brilliant :) 20:50:23 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 20:51:28 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Connection reset by peer] 20:55:21 -!- cracki_ [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["The funniest things in my life are truth and absurdity."] 20:56:56 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 21:00:41 -!- tripwyre [n=sathya@117.193.160.155] has quit ["bye all"] 21:07:37 -!- Arelius [n=Indy@netblock-68-183-230-134.dslextreme.com] has quit [] 21:07:50 -!- ct2rips [n=ct2rips@blfd-4db1d0b2.pool.einsundeins.de] has quit ["Noch da, noch da ... Uuuuund weg."] 21:08:36 -!- puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has quit ["Konversation terminated!"] 21:08:56 Arelius [n=indy@64.174.9.113] has joined #scheme 21:12:03 -!- Ragnaroek [i=54a647cf@gateway/web/ajax/mibbit.com/x-f773d9656fc3a9da] has quit ["http://www.mibbit.com ajax IRC Client"] 21:14:41 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 21:18:08 presto10` [n=user@cs181131.pp.htv.fi] has joined #scheme 21:18:24 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 21:19:53 -!- bombshelter13_ [n=bombshel@209-161-233-254.dsl.look.ca] has quit [Client Quit] 21:25:52 -!- Guest59285 [n=m@dslb-088-066-237-251.pools.arcor-ip.net] has quit ["This computer has gone to sleep"] 21:30:46 -!- ASau [n=user@193.138.70.52] has quit [Remote closed the connection] 21:30:57 ASau [n=user@193.138.70.52] has joined #scheme 21:32:14 -!- presto10 [n=user@cs181131.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 21:36:32 saccade_ [n=saccade@dhcp-18-188-70-132.dyn.mit.edu] has joined #scheme 21:38:20 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 21:41:00 -!- deat [n=deat@fac34-8-88-172-174-215.fbx.proxad.net] has quit [] 21:41:55 jonrafkind [n=jon@c-98-202-86-149.hsd1.ut.comcast.net] has joined #scheme 21:44:46 Elly: There's a good reason that the PLT match macro is "not as concise" -- it's much easier to make the matching syntax extensible. (The "more concise" version is still available with a quasiquote.) 21:45:22 Elly: But I suspect that you want something like type definitions for disjoint sums -- it's not difficult to get to given some work. 21:46:11 sussman uses +1 called the incrementor.. whu is that? 21:46:16 Elly: For example, see the class notes in my course (csu660.barzilay.org): I'm using a very ML-ish kind of `define-type', and you get the ML-like pattenr matching over it. The whole thing is now using Typed Scheme, for even more fun. 21:46:19 *why 21:48:23 mornfall: Do you mean 1+? I'm given to understand that that was traditional in the day. Like call/cc is a traditional alias for call-with-current-continuation. 21:48:48 s/mornfall/morphir/ 21:51:26 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 21:56:32 -!- guenthr [n=unknown@sahnehaschee.unix-ag.uni-kl.de] has quit [bartol.freenode.net irc.freenode.net] 21:56:32 -!- csmrFX0r [i=csmr@paha.arkkitehti.e21.fi] has quit [bartol.freenode.net irc.freenode.net] 21:56:32 -!- eli [n=eli@winooski.ccs.neu.edu] has quit [bartol.freenode.net irc.freenode.net] 21:56:32 -!- clog [n=nef@bespin.org] has quit [bartol.freenode.net irc.freenode.net] 21:56:32 -!- ski [n=slj@c-e113e055.1149-1-64736c10.cust.bredbandsbolaget.se] has quit [bartol.freenode.net irc.freenode.net] 21:56:33 -!- peddie [n=matthew@PEDDIE.MIT.EDU] has quit [bartol.freenode.net irc.freenode.net] 21:56:33 -!- emma [n=emma@unaffiliated/emma] has quit [bartol.freenode.net irc.freenode.net] 21:58:05 clog [n=nef@bespin.org] has joined #scheme 21:58:05 eli [n=eli@winooski.ccs.neu.edu] has joined #scheme 21:58:05 emma [n=emma@unaffiliated/emma] has joined #scheme 21:58:05 guenthr [n=unknown@sahnehaschee.unix-ag.uni-kl.de] has joined #scheme 21:58:05 peddie [n=matthew@PEDDIE.MIT.EDU] has joined #scheme 21:58:05 csmrFX0r [i=csmr@paha.arkkitehti.e21.fi] has joined #scheme 21:58:23 ski [n=slj@c-e113e055.1149-1-64736c10.cust.bredbandsbolaget.se] has joined #scheme 22:00:32 -!- elfor [n=johanfre@85.8.2.11.static.se.wasadata.net] has quit [] 22:10:12 -!- HG` [n=wells@91.111.16.205] has quit [Client Quit] 22:13:25 geckosenator [n=sean@c-71-237-94-78.hsd1.co.comcast.net] has joined #scheme 22:21:24 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 22:21:40 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 22:33:00 -!- presto10` [n=user@cs181131.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 22:37:29 -!- saccade_ [n=saccade@dhcp-18-188-70-132.dyn.mit.edu] has quit ["This computer has gone to sleep"] 22:45:50 *mejja* vinkar till ski 22:47:52 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 22:49:04 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 22:51:27 -!- jao [n=jao@55.Red-88-15-113.dynamicIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 22:54:06 -!- ecraven [n=nex@140.78.42.103] has quit ["bbl"] 22:56:39 -!- erider [n=erider@unaffiliated/erider] has quit ["ChatZilla 0.9.84 [Firefox 3.0.8/2009032609]"] 23:04:36 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 23:05:05 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 23:05:36 -!- kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has quit ["Leaving"] 23:10:49 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 23:12:10 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 23:13:13 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 23:13:54 -!- sepult [n=buggarag@xdsl-87-78-122-56.netcologne.de] has quit ["leaving"] 23:22:25 -!- error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 54 (Connection reset by peer)] 23:22:34 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 23:23:26 -!- orgy` [n=ratm_@pD9FFCF5A.dip.t-dialin.net] has quit ["Gone."] 23:24:27 -!- morphir [n=morphir@217.168.81.9] has quit [Remote closed the connection] 23:24:35 morphir [n=morphir@217.168.81.9] has joined #scheme 23:31:58 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Leaving"] 23:37:27 -!- cipher` [n=cipher@pool-173-48-136-239.bstnma.fios.verizon.net] has quit [Client Quit] 23:37:52 cipher [n=cipher@pool-173-48-136-239.bstnma.fios.verizon.net] has joined #scheme 23:38:18 -!- mejja [n=user@c-f6b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote closed the connection] 23:47:37 error_developer_ [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 23:47:49 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Read error: 104 (Connection reset by peer)] 23:48:04 RageOfThou [n=RageOfTh@92.36.161.57] has joined #scheme 23:55:05 raikov [n=igr@203.181.243.11] has joined #scheme 23:56:38 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme