00:00:05 -!- puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has quit ["Konversation terminated!"] 00:01:49 -!- foof [n=user@c-76-99-30-44.hsd1.pa.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 00:02:36 -!- X-Scale [i=email@89.180.189.190] has quit [] 00:03:05 -!- tessier_ [n=treed@kernel-panic/sex-machines] has left #scheme 00:09:01 X-Scale [i=email@89.180.171.34] has joined #scheme 00:18:32 johnnowak [n=johnnowa@207-38-171-48.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has joined #scheme 00:23:39 -!- MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has quit [Read error: 113 (No route to host)] 00:26:42 jberg: mzscheme also works very well on Windows (my platform) and Mac (the platform of the majority of PLT devs AFAIK). 00:27:07 gweiqi [n=greg@69.120.126.163] has joined #scheme 00:27:51 You can run mzscheme under Emacs as an inferior process, but it's no SLIME. 00:29:36 -!- mike___ [n=mike@dslb-088-064-139-238.pools.arcor-ip.net] has quit ["This computer has gone to sleep"] 00:34:45 proq: if you haven't yet found a solution to your problem with mzscheme not starting, I would suggest ditching the ubuntu package and building from source. 00:37:09 -!- bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit [Read error: 145 (Connection timed out)] 00:40:55 bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 00:43:25 -!- dzhus [n=sphinx@95-24-135-178.broadband.corbina.ru] has quit [Remote closed the connection] 00:44:36 -!- melito [n=melito@70.99.250.82] has quit ["Leaving..."] 00:47:18 offby1: it went away when I installed drscheme, which is fine with me 00:47:23 -!- ecraven [n=nex@140.78.42.103] has quit ["bbl"] 00:47:39 -!- Kusanagi [n=Motoko@unaffiliated/kusanagi] has quit [] 01:01:44 -!- mejja [n=user@c-4bb5e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Remote closed the connection] 01:03:07 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 01:04:24 -!- chaoslynx [n=cpehle@p57A738D7.dip.t-dialin.net] has quit ["Lost terminal"] 01:05:34 bombshelter13 [n=bombshel@72-255-25-234.client.stsn.net] has joined #scheme 01:08:55 -!- johnnowak [n=johnnowa@207-38-171-48.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has quit [] 01:09:06 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 01:10:11 -!- seth [n=seth@76-191-139-155.dsl.static.sonic.net] has quit [Nick collision from services.] 01:10:16 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["The funniest things in my life are truth and absurdity."] 01:10:20 seth [n=seth@ubuntu/member/sethkinast] has joined #scheme 01:10:32 set1 [n=seth@76-191-139-155.dsl.static.sonic.net] has joined #scheme 01:20:55 dmoerner [n=user@ppp-71-139-23-60.dsl.snfc21.pacbell.net] has joined #scheme 01:22:14 -!- errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has quit [Remote closed the connection] 01:23:22 errordeveloper [n=errordev@78-86-1-110.zone2.bethere.co.uk] has joined #scheme 01:31:17 dlurf [n=dlurf@c83-249-224-126.bredband.comhem.se] has joined #scheme 01:41:07 Am I right that cps transformation can turn growth of control context (i.e. stack) into growth of, say, environment, but cannot eliminate growth of something at all? 01:41:17 Yes. 01:41:59 thnx 01:42:51 *mbishop* wonders who wants to eliminate this growth on his finger 01:43:54 Try dunking your finger into a vat of liquid nitrogen. 01:49:50 don't suppose anyone would know what this means exactly: an application of an expression E is an expression of the form (E E1...En). 01:51:52 Are you having trouble with some particular part of it? 01:52:29 ha, yeah. what the heck it means. 01:53:21 I mean, an expression is something like "3", no? so if your expression is 3, then what would the E through En be? 01:53:31 -!- dmoerner [n=user@ppp-71-139-23-60.dsl.snfc21.pacbell.net] has quit [Read error: 110 (Connection timed out)] 01:53:33 If your expression is 3, then your expression is not an application. 01:53:48 If, on the other hand, your expression is (f x), then E is f, n is 1, and E1 is x. 01:54:08 -!- athos [n=philipp@92.250.204.223] has quit ["leaving"] 01:54:40 alrighty. let me try and digest that. 01:54:42 Not every expression can be meaningfully applied, see. 01:55:15 Here is an expression: (lambda (x) (+ 1 x)) 01:55:29 And here is an application of that expression: ((lambda (x) (+ 1 x)) 12) 01:57:36 -!- annodomini [n=lambda@wikipedia/lambda] has quit [Read error: 104 (Connection reset by peer)] 01:57:51 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 02:07:12 ozy` [n=vt920@pool-71-184-104-97.prvdri.fios.verizon.net] has joined #scheme 02:07:48 -!- bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit [Read error: 104 (Connection reset by peer)] 02:08:37 bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 02:10:43 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 02:12:10 ExcelsisD [i=email@89.180.131.28] has joined #scheme 02:12:23 reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 02:14:42 raikov [n=igr@81.153.145.122.ap.yournet.ne.jp] has joined #scheme 02:16:19 -!- brweber2 [n=brweber2@64.186.207.104] has quit [] 02:17:37 so...say my expresion does (* x x). then a curried application that evaluates to 3 would be (f (sqrt 3))? heh, this curried thing is getting me now... 02:18:32 agemo [n=jovdmeer@igwe16.vub.ac.be] has joined #scheme 02:19:04 nah, can't be right from looking at this wikipedia page... 02:22:03 -!- Mr-Cat [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has quit [Remote closed the connection] 02:22:13 -!- seth [n=seth@ubuntu/member/sethkinast] has left #scheme 02:27:30 hmm, no, that must be right. (define f (lambda (x) (* x x))) is my expression. an application of that would certainly be (f (sqrt 3)) right? And this thing is saying a curried application is either an application or an application of a curried application. 02:27:58 so I guess what they mean though, a curried application could also be something like (f (f 77))? 02:28:35 ha, shoot. everyone went to sleep on me... 02:28:57 `Curried application' is a silly term. `Partial application' makes more sense. `Currying' is the process of representing a conceptually binary function as a unary function that returns another unary function. 02:29:33 well, I'm just going with what it says in this sicp stuff. 02:31:28 -!- X-Scale [i=email@89.180.171.34] has quit [Read error: 110 (Connection timed out)] 02:31:37 oh well, guess I'll just move on for now. 02:31:42 Where in SICP does one encounter the term `curried application'? 02:31:49 -!- alaricsp [n=alaricsp@217.205.201.45] has quit [] 02:31:57 -!- agemo [n=jovdmeer@igwe16.vub.ac.be] has left #scheme 02:32:04 Riastradh: the problems for section 1.1 02:32:57 well, "sample programming assignments" they're called. not really in the book 02:32:59 Anyway, partial application is, well, as the term suggests. Given some two-argument function, say f, and one argument for it, say x, the partial application of f to x yields another function whose value at y is f(x, y). 02:34:04 I see. 02:34:50 It doesn't make much sense to discuss the partial application or currying of a unary function, or (in the context of Scheme) of a unary procedure. 02:46:57 I took a look at that problem, decker. What the hell? "Move on for now" is what I'd do. 02:47:24 I assume it's in there to see if the student knows how to talk to a TA. 02:47:30 geckosenator [n=sean@ppp-69-218-241-177.dsl.dytnoh.ameritech.net] has joined #scheme 02:47:32 haha. sounds more like move on forever 02:47:46 Flush it with extreme prejudice. 02:48:14 man, I gotta say these lectures are pretty awsome 02:48:29 "A gnort of E is either an application of E or an application of a gnort of E." 02:50:06 Daemmerung: eh, kinda makes sense to me at this point to be honest. like I said, either (f 77), or (f (f 77)), or (f (f (f 77))), and so forth 02:50:44 Bless you, but you're trying too hard to have it make sense. 02:50:54 haha, ok. 02:52:17 -!- luz [n=davids@201.19.26.27] has quit ["Client exiting"] 02:52:25 decker : if you're after "curried application", then i think that sequence of expressions are probably not it 02:52:54 ski_: care to enlighten me then? 02:53:36 "a curried application is either an application or an application of a curried application" 02:53:48 ski_: what is inexpressably retarded is that the original problem set does not define Currying, nor partial application. It is supposed to be finger exercises to ensure that the student can type shit into a REPL. 02:54:04 is `(f 77)' a "curried application' ? 02:54:32 ski_: seems to me. I mean, it's an application, right? 02:54:43 yes 02:54:51 what is it an application of ? 02:55:02 the expression f 02:55:06 yes 02:55:20 -!- reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 02:55:23 -!- mfredrickson [n=mfredric@c-98-212-171-158.hsd1.il.comcast.net] has quit [] 02:55:26 ha, ok. you got me there... 02:55:26 is `(f (f 77))' an application ? 02:55:27 one sec 02:56:02 (which is why I s/curried application/gnort/) 02:58:39 nothingHappens [n=nothingH@12-226-78-3.client.mchsi.com] has joined #scheme 03:03:03 incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has joined #scheme 03:06:27 ski_: I'd say yes. 03:07:52 but then not an application of (f 77), which is why I'm still stuck. 03:08:22 right 03:08:36 what would an application of `(f 77)' look like ? 03:09:07 just (f 77), no? there's nothing else it could be 03:10:47 decker: an application is an expression, and can itself be applied. 03:11:20 (x foo) is an application. So is ((x foo) your-mom). 03:12:17 *ski_* has to leave :| 03:12:57 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 03:13:51 yeah, me too actually. guess I'll need to revisit this perhaps. thanks a bunch for the help and whatnot though. 03:14:44 -!- offby1-quassel [n=quassel@q-static-138-125.avvanta.com] has quit [Read error: 113 (No route to host)] 03:14:56 offby1-quassel [n=quassel@q-static-138-125.avvanta.com] has joined #scheme 03:15:54 -!- offby1 [n=user@q-static-138-125.avvanta.com] has quit [Read error: 110 (Connection timed out)] 03:18:17 Adamant [n=Adamant@c-71-226-66-93.hsd1.ga.comcast.net] has joined #scheme 03:24:18 reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 03:40:30 -!- reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 03:42:50 benny` [n=benny@i577A0E03.versanet.de] has joined #scheme 03:42:58 -!- benny [n=benny@i577A0E03.versanet.de] has quit [Read error: 104 (Connection reset by peer)] 03:49:53 -!- Nshag [i=user@Mix-Orleans-105-2-142.w193-248.abo.wanadoo.fr] has quit ["Quitte"] 03:51:29 -!- Gracenotes_away is now known as Gracenotes 04:01:52 elmex_ [n=elmex@e180068116.adsl.alicedsl.de] has joined #scheme 04:11:33 -!- raikov [n=igr@81.153.145.122.ap.yournet.ne.jp] has quit [Read error: 60 (Operation timed out)] 04:14:35 -!- a1len [n=James@unaffiliated/a1len] has quit ["Lost terminal"] 04:17:27 -!- elmex [n=elmex@e180068043.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 04:17:27 -!- elmex_ is now known as elmex 04:19:50 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 04:20:56 Adamant [n=Adamant@c-71-226-66-93.hsd1.ga.comcast.net] has joined #scheme 04:21:04 -!- gweiqi [n=greg@69.120.126.163] has quit ["Leaving."] 04:22:18 a1len [n=James@unaffiliated/a1len] has joined #scheme 04:22:34 -!- ExcelsisD is now known as X-Scale 04:29:49 offby1 [n=user@q-static-138-125.avvanta.com] has joined #scheme 04:34:13 reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 04:35:35 -!- bombshelter13 [n=bombshel@72-255-25-234.client.stsn.net] has quit [Read error: 54 (Connection reset by peer)] 04:39:56 -!- reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 04:40:37 -!- araujo [n=araujo@gentoo/developer/araujo] has quit ["Leaving"] 04:41:03 reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 04:58:43 Vaeshir_ [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has joined #scheme 04:58:43 -!- Vaeshir [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has quit [Read error: 54 (Connection reset by peer)] 05:05:50 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 05:08:21 -!- benny` is now known as benny 05:10:00 spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has joined #scheme 05:11:53 -!- Gracenotes [n=person@wikipedia/Gracenotes] has quit [Remote closed the connection] 05:23:53 -!- jonrafkind [n=jon@wireless117.wireless.utah.edu] has quit ["Leaving"] 05:24:10 jonrafkind [n=jon@wireless117.wireless.utah.edu] has joined #scheme 05:27:39 -!- tjafk1 [n=timj@e176203047.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 05:28:02 tjafk1 [n=timj@e176208117.adsl.alicedsl.de] has joined #scheme 05:35:45 jlongster [n=user@c-68-59-187-95.hsd1.tn.comcast.net] has joined #scheme 05:38:32 raikov [n=igr@81.153.145.122.ap.yournet.ne.jp] has joined #scheme 05:42:45 johnnowak [n=johnnowa@207-38-171-48.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has joined #scheme 05:55:55 ExcelsisD [i=email@89-180-22-53.net.novis.pt] has joined #scheme 05:56:30 -!- reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 06:03:56 -!- jonrafkind [n=jon@wireless117.wireless.utah.edu] has quit [Read error: 110 (Connection timed out)] 06:10:57 la la la 06:12:08 -!- X-Scale [i=email@89.180.131.28] has quit [Read error: 110 (Connection timed out)] 06:12:14 -!- spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has quit [] 06:13:45 lodely hodely yodely 06:13:51 rudybot: la la la 06:15:44 hml [n=x@unaffiliated/hml] has joined #scheme 06:16:23 Phoenixfire159 [n=Phoenixf@c-71-199-107-166.hsd1.pa.comcast.net] has joined #scheme 06:16:31 are there any web frameworks for scheme? there's ruby on rails; but is there scheme on stuff? 06:16:41 leftpan 06:16:44 leftparen 06:16:55 Hi, I'm starting out learning scheme, is there a good implementation to start with? 06:16:59 plus "hop" is pretty intriguing 06:17:01 ick, it's based on plt 06:17:09 now now. 06:17:09 basically I'm down to guile vs plt 06:17:15 why not chicken? 06:17:35 Phoenixfire159: PLT is specifically designed for students (although it's practical too) 06:18:01 offby1: what's a scheme specifically desgiened for writing robust enterprise software? 06:18:02 Phoenixfire159: plus, one of PLT's developers -- eli -- usually hangs out here, and is very helpful 06:18:10 just out of curiosity, why is it for students? 06:18:21 hml: I doubt there's any scheme that is specifically designed for that. 06:18:34 so scheme is designed to be hobby and not real world usage? 06:18:38 hml: if you use the word "enterprise" as an adjective, you're probably better off with Java :) 06:18:45 -!- ExcelsisD is now known as X-Scale 06:18:53 s/enterprise/real world/ 06:19:18 PLT, chicken, gambit, MIT come to mind. 06:19:36 hml: which scheme you choose is not too important when you're learning. 06:19:43 pick one that's easy to get going. 06:19:51 i need to write real world software 06:19:53 one that's packaged with your distro is a good choice :) 06:19:54 like facebook apps 06:20:15 hml: leftparen supposedly has some preliminary facebook support. 06:20:28 i think i may just have to roll myu own on chicken 06:20:35 i can't see what plt offfers that wants me to ditch chicken 06:21:02 probably nothing. 06:23:57 what's a good scheme introduction? 06:27:20 -!- jlongster [n=user@c-68-59-187-95.hsd1.tn.comcast.net] has quit [Read error: 113 (No route to host)] 06:28:20 Phoenixfire159: http://mitpress.mit.edu/sicp/full-text/book/book.html 06:29:21 thanks 06:30:18 People are fond of "The Little Schemer", but I wasn't crazy about it 06:34:15 jberg- [n=moo@24.84-48-213.nextgentel.com] has joined #scheme 06:37:05 patmaddox [n=pergesu@ip68-4-201-9.oc.oc.cox.net] has joined #scheme 06:38:39 drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has joined #scheme 06:39:14 does anyone know if it's possible to use plt scheme's parser generator in such a way that it returns as soon as it can no longer parse one of the start rules? requiring an end token is causing me problems 06:39:49 foof [n=user@c-76-99-30-44.hsd1.pa.comcast.net] has joined #scheme 06:43:06 jonrafkind [n=jon@c-98-202-86-149.hsd1.ut.comcast.net] has joined #scheme 06:43:37 -!- jberg [n=moo@24.84-48-213.nextgentel.com] has quit [Read error: 113 (No route to host)] 06:45:23 okay, n00b question, why must I (begin (display 'something) (newline)) 06:45:29 why can't I just (display 'something) (newline) 06:45:50 Phoenixfire159: the latter is two separate expressions. the first is one expression. you can't use two in a context where you need one. 06:46:40 use BEGIN to group multiple expressions into a single sequential expression when necessary 06:47:58 oh okay, thanks 07:02:49 -!- ozy` [n=vt920@pool-71-184-104-97.prvdri.fios.verizon.net] has quit ["absquatulating"] 07:03:50 hotblack23 [n=jh@p5B056CAA.dip.t-dialin.net] has joined #scheme 07:08:02 eno__ [n=eno@adsl-70-137-131-93.dsl.snfc21.sbcglobal.net] has joined #scheme 07:08:12 ejs [n=eugen@92-49-224-211.dynamic.peoplenet.ua] has joined #scheme 07:20:14 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 110 (Connection timed out)] 07:28:40 incubot: if i had to, i would change my name to: MCCRACKEN 07:28:43 Abelson asked "Say your name?" to her, to illustrate an argument that a spoken language can not distinguish "Say 'your name'?" 07:34:26 -!- Phoenixfire159 [n=Phoenixf@c-71-199-107-166.hsd1.pa.comcast.net] has quit [] 07:41:34 -!- hotblack23 [n=jh@p5B056CAA.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 07:43:15 dum de dum 07:48:47 vixey [n=vicky@amcant.demon.co.uk] has joined #scheme 07:50:38 araujo [n=araujo@gentoo/developer/araujo] has joined #scheme 07:53:13 -!- johnnowak [n=johnnowa@207-38-171-48.c3-0.wsd-ubr1.qens-wsd.ny.cable.rcn.com] has quit [Remote closed the connection] 07:56:47 xwl` [n=user@221.221.160.204] has joined #scheme 08:05:15 -!- drdo [n=psykon@167.111.54.77.rev.vodafone.pt] has quit [Remote closed the connection] 08:13:53 dzhus [n=sphinx@93.81.189.4] has joined #scheme 08:31:44 -!- a1len [n=James@unaffiliated/a1len] has quit ["Lost terminal"] 08:38:38 athos [n=philipp@p54B8683B.dip.t-dialin.net] has joined #scheme 08:40:05 -!- xwl` [n=user@221.221.160.204] has quit [Remote closed the connection] 08:52:29 -!- kilimanjaro [n=kilimanj@70.116.95.163] has quit [Remote closed the connection] 08:55:08 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 08:55:25 fschwidom [n=fschwido@94.219.119.62] has joined #scheme 08:56:42 bpalmer [n=user@unaffiliated/bpalmer] has joined #scheme 09:11:37 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 09:19:10 -!- synthase [n=synthase@c-69-243-234-165.hsd1.al.comcast.net] has quit [Read error: 110 (Connection timed out)] 09:29:29 jberg [n=moo@24.84-48-213.nextgentel.com] has joined #scheme 09:47:38 -!- jberg- [n=moo@24.84-48-213.nextgentel.com] has quit [Read error: 110 (Connection timed out)] 09:48:24 -!- ejs [n=eugen@92-49-224-211.dynamic.peoplenet.ua] has quit ["Leaving"] 09:54:20 -!- jberg [n=moo@24.84-48-213.nextgentel.com] has quit [Read error: 60 (Operation timed out)] 10:03:16 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 10:07:43 jberg [n=moo@24.84-48-213.nextgentel.com] has joined #scheme 10:19:57 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 10:24:45 you can distinguish if you say the quotation marks out loud. 10:27:13 puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has joined #scheme 10:27:19 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 10:40:32 -!- fschwidom [n=fschwido@94.219.119.62] has quit [Read error: 60 (Operation timed out)] 10:45:04 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 10:46:15 ExcelsisD [i=email@89.180.239.51] has joined #scheme 10:48:01 -!- athos [n=philipp@p54B8683B.dip.t-dialin.net] has quit ["leaving"] 10:48:29 -!- jberg [n=moo@24.84-48-213.nextgentel.com] has quit [] 10:48:37 ecraven [n=nex@140.78.42.103] has joined #scheme 10:51:27 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 10:52:35 -!- X-Scale [i=email@89-180-22-53.net.novis.pt] has quit [Read error: 60 (Operation timed out)] 10:57:14 xwl` [n=user@221.221.160.204] has joined #scheme 11:05:55 -!- hml [n=x@unaffiliated/hml] has quit [Remote closed the connection] 11:09:18 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 11:14:15 name [n=name@sburn/devel/name] has joined #scheme 11:22:09 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 11:30:37 -!- amoe [n=amoe@cpc3-brig3-0-0-cust346.brig.cable.ntl.com] has quit ["leaving"] 11:32:33 amoe [n=amoe@cpc3-brig3-0-0-cust346.brig.cable.ntl.com] has joined #scheme 11:32:41 fschwidom [n=fschwido@94.219.112.170] has joined #scheme 11:33:59 athos [n=philipp@92.250.204.223] has joined #scheme 11:34:01 a1len [n=James@unaffiliated/a1len] has joined #scheme 11:40:01 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 11:47:44 MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has joined #scheme 11:50:11 -!- athos [n=philipp@92.250.204.223] has quit [Read error: 54 (Connection reset by peer)] 11:51:08 -!- benny [n=benny@i577A0E03.versanet.de] has quit [Read error: 60 (Operation timed out)] 11:53:11 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 11:57:29 loxs [n=loxs@213.91.162.124] has joined #scheme 11:58:41 hark [n=strider@hark.slew.org] has joined #scheme 12:00:41 X-Scale [i=email@89.180.239.51] has joined #scheme 12:01:01 foof` [n=user@c-76-99-30-44.hsd1.pa.comcast.net] has joined #scheme 12:01:03 offby1` [n=user@q-static-138-125.avvanta.com] has joined #scheme 12:01:36 -!- heat [i=dima@66.160.171.42] has quit [Read error: 104 (Connection reset by peer)] 12:01:52 heat [i=dima@66.160.171.42] has joined #scheme 12:02:08 borism_ [n=boris@195-50-200-115-dsl.krw.estpak.ee] has joined #scheme 12:03:01 -!- loxs [n=loxs@213.91.162.124] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- ExcelsisD [i=email@89.180.239.51] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- vixey [n=vicky@amcant.demon.co.uk] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- foof [n=user@c-76-99-30-44.hsd1.pa.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- tjafk1 [n=timj@e176208117.adsl.alicedsl.de] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- Vaeshir_ [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- offby1 [n=user@q-static-138-125.avvanta.com] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- Mr_Awesome [n=eric@pool-98-115-118-219.chi01.dsl-w.verizon.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- decker [n=chatzill@71-93-181-7.static.rvsd.ca.charter.com] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- pchrist [n=spirit@gentoo/developer/pchrist] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- bzzbzz [n=franco@modemcable027.191-81-70.mc.videotron.ca] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- rcy [n=rcy@S01060002553240a8.vc.shawcable.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- aquanaut [n=user@pool-71-191-49-201.washdc.fios.verizon.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- pbusser2 [n=peter@82.174.238.138] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- Poeir [n=Poeir@c-98-222-133-165.hsd1.il.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- dfeuer [n=dfeuer@wikimedia/Dfeuer] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- qebab [n=finnrobi@eros.orakel.ntnu.no] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- subversus [i=elliot@loveturtle.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- Deformati [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 12:03:01 -!- tabe [n=tabe@210.188.204.133] has quit [wolfe.freenode.net irc.freenode.net] 12:03:38 Def [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has joined #scheme 12:03:38 loxs [n=loxs@213.91.162.124] has joined #scheme 12:03:38 ExcelsisD [i=email@89.180.239.51] has joined #scheme 12:03:38 vixey [n=vicky@amcant.demon.co.uk] has joined #scheme 12:03:38 tjafk1 [n=timj@e176208117.adsl.alicedsl.de] has joined #scheme 12:03:38 Vaeshir_ [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has joined #scheme 12:03:38 Mr_Awesome [n=eric@pool-98-115-118-219.chi01.dsl-w.verizon.net] has joined #scheme 12:03:38 decker [n=chatzill@71-93-181-7.static.rvsd.ca.charter.com] has joined #scheme 12:03:38 pchrist [n=spirit@gentoo/developer/pchrist] has joined #scheme 12:03:38 bzzbzz [n=franco@modemcable027.191-81-70.mc.videotron.ca] has joined #scheme 12:03:38 rcy [n=rcy@S01060002553240a8.vc.shawcable.net] has joined #scheme 12:03:38 aquanaut [n=user@pool-71-191-49-201.washdc.fios.verizon.net] has joined #scheme 12:03:38 tabe [n=tabe@210.188.204.133] has joined #scheme 12:03:38 dfeuer [n=dfeuer@wikimedia/Dfeuer] has joined #scheme 12:03:38 qebab [n=finnrobi@eros.orakel.ntnu.no] has joined #scheme 12:03:38 pbusser2 [n=peter@82.174.238.138] has joined #scheme 12:03:38 Deformati [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has joined #scheme 12:03:38 Poeir [n=Poeir@c-98-222-133-165.hsd1.il.comcast.net] has joined #scheme 12:03:38 subversus [i=elliot@loveturtle.net] has joined #scheme 12:04:26 -!- ExcelsisD [i=email@89.180.239.51] has quit [SendQ exceeded] 12:04:47 Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has joined #scheme 12:04:48 -!- Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has left #scheme 12:07:14 -!- borism [n=boris@195-50-207-112-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 12:08:09 benny [n=benny@i577A15B9.versanet.de] has joined #scheme 12:10:41 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 12:11:41 jah [n=jah@239.56.76-86.rev.gaoland.net] has joined #scheme 12:12:07 -!- jah [n=jah@239.56.76-86.rev.gaoland.net] has quit [Client Quit] 12:13:24 Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has joined #scheme 12:13:25 -!- Kerris4 [n=Kerris4@87-194-3-170.bethere.co.uk] has left #scheme 12:15:06 -!- underspecified [n=eric@isa7-dhcp-116-155.naist.jp] has quit [] 12:15:58 higepon460 [n=taro@FL1-122-135-41-137.tky.mesh.ad.jp] has joined #scheme 12:19:34 -!- higepon460 [n=taro@FL1-122-135-41-137.tky.mesh.ad.jp] has quit [Remote closed the connection] 12:30:45 -!- pchrist [n=spirit@gentoo/developer/pchrist] has quit ["leaving"] 12:31:18 pchrist [n=spirit@gentoo/developer/pchrist] has joined #scheme 12:33:27 yhara [n=yhara@7.193.12.221.megaegg.ne.jp] has joined #scheme 12:36:53 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 12:38:48 -!- fschwidom [n=fschwido@94.219.112.170] has quit [Remote closed the connection] 12:39:54 bombshelter13 [n=bombshel@72-255-25-234.client.stsn.net] has joined #scheme 12:45:00 athos [n=philipp@92.250.204.223] has joined #scheme 12:49:53 noam_ [n=noam@87.69.129.163] has joined #scheme 12:50:59 hmmm, are "and" and "or" functions? i am getting > (or #f #f #f) => #f and > or => or: bad syntax in: or 12:51:32 i wish to call (reduce and %t (something)). i am using DrScheme 3.7.2 12:51:43 er #t. 12:51:46 r5rs or 12:51:47 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-7.html#%_idx_120 12:51:48 -rudybot:#scheme- http://tinyurl.com/5pmuzt 12:51:59 it says that it's just library syntax 12:52:08 so some kind of macro then 12:52:42 that will be so it can short circuit like (and #f (foo)) will not execute foo 12:53:53 so i should write a lambda that does or? 12:54:00 if you like 12:55:06 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 12:55:12 alright. 12:55:25 someting like (define (othor . bools) (if (null? bools) (or) (or (car bools) (othor (cdr bools))))) 12:59:25 luz [n=davids@201.29.167.245] has joined #scheme 13:01:25 jewel [n=jewel@dsl-242-149-174.telkomadsl.co.za] has joined #scheme 13:02:42 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 13:02:53 slyson_ [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has joined #scheme 13:08:19 -!- ecraven [n=nex@140.78.42.103] has quit ["bbl"] 13:08:59 hotblack23 [n=jh@p5B057957.dip.t-dialin.net] has joined #scheme 13:09:43 prophet05 [n=prophet@p5B3F7D9F.dip.t-dialin.net] has joined #scheme 13:10:15 Hi is there a posibility to explicitly convert some number into an integer? 13:10:56 i have calculated a value and rounded it so i get 2.0 but the make-string function wants an integer 13:12:00 rudybot: eval (integer->string 2) 13:12:01 offby1`: error: reference to undefined identifier: integer->string 13:12:07 rudybot: eval (number->string 2) 13:12:07 offby1`: ; Value: "2" 13:12:10 -!- offby1` is now known as offby1 13:12:42 rudybot: eval (truncate 2.0) 13:12:43 offby1: ; Value: 2.0 13:12:47 *sigh* 13:12:50 rudybot: eval (integer? 2.0) 13:12:51 offby1: ; Value: #t 13:12:57 rudybot: eval (integer? 2.1) 13:12:57 offby1: ; Value: #f 13:13:01 inexact->exact 13:13:02 rudybot: eval (integer? (truncate 2.1)) 13:13:02 offby1: ; Value: #t 13:13:15 dlurf: I don't think so ... 13:13:21 rudybot: eval (integer? (exact->inexact- 2.1)) 13:13:21 offby1: error: reference to undefined identifier: exact->inexact- 13:13:23 rudybot: eval (integer? (exact->inexact- 2.1)) 13:13:23 offby1: error: reference to undefined identifier: exact->inexact- 13:13:26 rudybot: eval (integer? (exact->inexact 2.1)) 13:13:26 offby1: ; Value: #f 13:13:31 make-string: expects type as 1st argument, given: 1.0; other arguments were: #\0 13:13:35 Thats my error 13:13:41 rudybot: eval (integer? (exact->inexact (floor 2.1))) 13:13:41 offby1: ; Value: #t 13:13:45 prophet05: there ya go. 13:13:46 finally. 13:13:57 rudybot: eval (integer? (floor 2.1)) 13:13:57 offby1: ; Value: #t 13:14:52 inexact->exact < worked thanks 13:15:17 probably not portable, though, as you can see 13:15:57 offby1, just needs to run at university and there they use the same environment 13:16:45 -!- slyson [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has quit [Read error: 110 (Connection timed out)] 13:19:33 rudybot: (quotient 2.1 1) 13:19:42 rudybot: eval (quotient 2.1 1) 13:19:43 vixey: error: quotient: expects type as 1st argument, given: 2.1; other arguments were: 1 13:20:52 you shouldn't use inexact->exact 13:21:21 it may not give an integer 13:22:39 I have to say I wonder if it's not integer->char you're looking for... 13:24:33 vixey, well how should i solve my problem then? 13:26:47 -!- xwl` [n=user@221.221.160.204] has quit [Read error: 60 (Operation timed out)] 13:26:56 -!- noam_ [n=noam@87.69.129.163] has quit ["Leaving"] 13:31:01 -!- peyt [n=pete@li6-11.members.linode.com] has quit [Read error: 104 (Connection reset by peer)] 13:31:50 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 13:32:44 synthase [n=synthase@c-69-243-234-165.hsd1.al.comcast.net] has joined #scheme 13:33:51 well, you have to convert between inexact and exact anyway and if (inexact->exact (round x)) doesn't give you an integer your Scheme is pretty insane 13:34:07 dlurf, is 3/2 insane? 13:34:25 say floor 13:34:27 Why bother using ROUND when you could TRUNCATE? 13:39:24 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 13:42:36 higepon664 [n=taro@FL1-122-135-41-137.tky.mesh.ad.jp] has joined #scheme 13:48:23 is there a testsuite for foof-loop ? 13:49:12 -!- raikov [n=igr@81.153.145.122.ap.yournet.ne.jp] has quit [Read error: 110 (Connection timed out)] 13:49:41 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 13:50:32 -!- underspecified [n=eric@softbank220043052007.bbtec.net] has quit [Read error: 104 (Connection reset by peer)] 13:51:32 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 13:53:20 is there any precedent on how to call the equivalents of opendir(), readdir() and closedir()? I'm thinking about {OPEN,READ,CLOSE}-DIRECTORY-STREAM, and DIRECTORY-STREAM? 13:53:32 (I thin s48 has it this way) 13:53:42 s/thin /think/ 13:54:47 use the C FFI 13:55:02 oh sorry that's what you were talking about already 13:58:45 spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has joined #scheme 14:02:21 -!- hotblack23 [n=jh@p5B057957.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 14:15:47 rotty: that's pretty much the low-level scsh API. 14:20:45 orgy` [n=ratm_@pD9FFD358.dip.t-dialin.net] has joined #scheme 14:22:21 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 14:23:16 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 14:23:26 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 14:26:36 -!- kryptiskt [n=irc@c83-249-224-126.bredband.comhem.se] has left #scheme 14:26:38 kryptiskt [n=irc@c83-249-224-126.bredband.comhem.se] has joined #scheme 14:28:39 -!- bombshelter13 [n=bombshel@72-255-25-234.client.stsn.net] has quit [Read error: 110 (Connection timed out)] 14:30:58 dsmith [i=gf4jols7@cpe-71-74-230-225.neo.res.rr.com] has joined #scheme 14:32:17 roty 14:32:19 rotty: http://mumble.net/~campbell/scheme/test-foof-loop.scm 14:32:25 rotty: Test suite for fooff looooooopppppp 14:32:43 rotty: Foof loop iter 1, fooof looop iter 2 14:37:08 wingo-tp [n=wingo@29.Red-83-32-65.dynamicIP.rima-tde.net] has joined #scheme 14:39:39 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 14:40:02 Nshag [i=user@Mix-Orleans-106-4-98.w193-248.abo.wanadoo.fr] has joined #scheme 14:58:44 -!- r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has quit [Read error: 110 (Connection timed out)] 15:04:59 -!- dzhus [n=sphinx@93.81.189.4] has quit [Remote closed the connection] 15:08:48 does scheme store (/ 1 3) as an infinite precision number or as a float? 15:09:57 it is exat 15:10:00 it is exact* 15:15:06 -!- dlurf [n=dlurf@c83-249-224-126.bredband.comhem.se] has left #scheme 15:16:18 name: I think it depends on the particular scheme. 15:16:25 PLT stores it as an exact ratio: 15:16:29 rudybot: eval (exact? 1/3) 15:16:29 offby1: ; Value: #t 15:16:40 name: but I will bet scm and guile store it as a float 15:16:42 e.g. 15:17:02 r5rs / 15:17:02 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-9.html#%_idx_284 15:17:03 -rudybot:#scheme- http://tinyurl.com/8ydjkj 15:19:15 sam__ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 15:19:22 gweiqi [n=greg@69.120.126.163] has joined #scheme 15:25:34 -!- gribozavr [n=grib@193.138.147.22] has quit [Read error: 60 (Operation timed out)] 15:26:37 -!- mmc [n=michal@83-103-88-29.ip.fastwebnet.it] has quit [Remote closed the connection] 15:27:21 -!- higepon664 [n=taro@FL1-122-135-41-137.tky.mesh.ad.jp] has quit [Remote closed the connection] 15:27:32 mmc [n=michal@83-103-88-29.ip.fastwebnet.it] has joined #scheme 15:29:31 rtra [n=rtra@unaffiliated/rtra] has joined #scheme 15:33:04 hmm, anybody knowing where `define-test-case' (used in test-foof-loop.scm) comes from? 15:33:21 hotblack23 [n=jh@p5B055EF1.dip.t-dialin.net] has joined #scheme 15:37:50 -!- athos [n=philipp@92.250.204.223] has quit ["leaving"] 15:39:18 rotty: file test, line 129: (define-syntax define-test-case 15:43:30 -!- yhara [n=yhara@7.193.12.221.megaegg.ne.jp] has quit [Read error: 113 (No route to host)] 15:51:20 http://justletmetgrepthatforyou.com/ 15:54:00 sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 15:55:10 -!- sam__ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [Read error: 104 (Connection reset by peer)] 16:01:01 reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 16:05:13 athos [n=philipp@92.250.204.223] has joined #scheme 16:05:21 offby1, scheme@(guile-user)> (exact? 1/3) 16:05:21 #t 16:05:41 rotty: 16:06:29 X-Scale2 [i=email@89.181.91.98] has joined #scheme 16:08:13 dzhus [n=sphinx@93.81.183.103] has joined #scheme 16:11:09 -!- X-Scale [i=email@89.180.239.51] has quit [Read error: 60 (Operation timed out)] 16:12:13 foof`: if only 16:15:28 -!- wingo-tp is now known as wingo 16:15:36 -!- wingo is now known as wingo-tp 16:20:48 -!- vixey [n=vicky@amcant.demon.co.uk] has quit [Remote closed the connection] 16:24:18 Riastradh: thanks 16:28:34 Riastradh: is it likely that you change the test suite considerably? I'm contemplating converting it to using some testing framework I've already ported (instead of adding yet another one) 16:29:54 (probably by implementing define-test-case in terms of that testing framework, as not to change it too much) 16:39:57 eli [n=eli@winooski.ccs.neu.edu] has joined #scheme 16:40:31 -!- orgy` [n=ratm_@pD9FFD358.dip.t-dialin.net] has quit [Remote closed the connection] 16:42:48 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 16:48:22 -!- sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [Read error: 145 (Connection timed out)] 16:49:05 sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 16:49:29 -!- a1len [n=James@unaffiliated/a1len] has quit ["Lost terminal"] 16:51:23 -!- nothingHappens [n=nothingH@12-226-78-3.client.mchsi.com] has quit [Remote closed the connection] 16:56:54 pmatos [n=pmatos@pocm06r.ecs.soton.ac.uk] has joined #scheme 16:57:02 vixey [n=vicky@amcant.demon.co.uk] has joined #scheme 16:57:19 -!- pmatos [n=pmatos@pocm06r.ecs.soton.ac.uk] has quit [Read error: 104 (Connection reset by peer)] 16:58:24 grettke [n=grettke@CPE-65-31-142-107.wi.res.rr.com] has joined #scheme 17:00:25 dmoerner [n=dmr@ppp-71-139-23-60.dsl.snfc21.pacbell.net] has joined #scheme 17:00:28 Mr-Cat [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has joined #scheme 17:00:49 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 17:04:58 -!- eno__ [n=eno@adsl-70-137-131-93.dsl.snfc21.sbcglobal.net] has quit ["leaving"] 17:05:23 -!- jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 17:08:25 Must internal definitions be constant in order to reference them by a subsequent internally defined procedure? 17:08:51 (define (x) (define x1 (+ 1 1)) (define x2 (+ x1 1))) 17:08:57 Is that kosher? 17:09:05 well yes but you could use LET* also 17:09:21 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 17:09:26 No, that's not kosher, edw`. 17:09:39 The first reason is that that body has no expressions. 17:09:56 Yeah, that too... assume "... x2)" 17:10:10 The second reason (if you are using anything but the R6RS) is that it must be possible to evaluate every right-hand side without referring to the values of any of the left-hand sides. 17:10:11 But I get the picture. 17:10:14 rotty: Did those test cases help? 17:10:25 -!- edw` is now known as edw 17:10:49 r2q2: i've yet to port the underlying testing framework, but yes, thanks! 17:11:30 Now I remember why I never use internal DEFINEs... 17:12:26 gribozavr [n=grib@193.138.147.22] has joined #scheme 17:12:35 They aren't very useful for anything but procedure definitions. 17:13:06 They are particularly bad when the right-hand sides involve arbitrary procedure calls (outside of LAMBDAs). 17:13:14 bombshelter13 [n=bombshel@dhcp-18-190-47-61.dyn.mit.edu] has joined #scheme 17:13:18 Yeah, that's what I'm doing, but I wanted to throw some constants in before-hand. Being a good boy, avoiding magic numbers. 17:13:33 Literal constants are not so bad. 17:13:58 Does PLT scheme have a 'vector-tabulate' somewhere? I thought it was in srfi/43 but am apparently wrong. :/ 17:13:58 a1len [n=James@unaffiliated/a1len] has joined #scheme 17:14:16 If you really want to use SRFI 43 (why, I can't fathom), use VECTOR-UNFOLD. 17:14:45 I was using IOTA... 17:15:55 Which of course is a prodedure, but come on... 17:17:11 mejja [n=user@c-4bb5e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 17:17:18 Riastradh: well, I want to use 'whatever contains vector-tabulate'... I have no particular desire for 43, i just thought that's where it lived. Is there something wrong with 43? 17:17:30 I'm not familiar with the operation of vector-unfold, is it's usage similar? 17:17:34 Yes, very similar. 17:18:04 Alright, let me see if i can figure that one out. 17:18:16 why don't you read the documentation instead of guessing 17:18:24 You can drop the name VECTOR-UNFOLD into the place where you wanted to write VECTOR-TABULATE. 17:19:20 vixey: 'read the documentation and see how it works' is prettymuch what I meant by 'figure that one out'. 17:20:04 internal defines are the same as letrec 17:20:45 letrec* actually :) 17:21:01 In R6RS, not R5RS. 17:21:14 Right? 17:21:19 Yes, edw. 17:21:21 Riastradh: very easy, cool. 17:21:45 in R5RS it should be have like R6RS's letrec* as I understand it 17:22:01 -!- prophet05 [n=prophet@p5B3F7D9F.dip.t-dialin.net] has quit ["Quit"] 17:22:07 No. 17:22:27 jeremiah [n=jeremiah@31.Red-213-98-123.staticIP.rima-tde.net] has joined #scheme 17:22:34 Well, ten minutes later, I've mechanically converted my internal definitions to a LET*. Some of the Java weenies' refactoring Kool-Aid would be handy once in a while. 17:23:37 or some kind of macro system would be cool 17:23:56 Huh? Did you forget the smiley? 17:24:55 ozy` [n=vt920@pool-71-184-104-97.prvdri.fios.verizon.net] has joined #scheme 17:26:35 -!- a1len [n=James@unaffiliated/a1len] has quit ["Lost terminal"] 17:26:39 Lisp macros basically rewrite lisp code syntactically. 17:26:59 So that means that they rewrite a linked data structure right? 17:27:09 What I want to do is rewrite a graph data structure the same way with a similar system. 17:28:12 define 'graph' 17:29:07 Are these the first steps in proving the existence of God, r2q2? Whenever I hear the word "basically", I reach for my revolver. 17:29:29 Same with "essentially". 17:30:14 eno [n=eno@nslu2-linux/eno] has joined #scheme 17:31:27 -!- vixey [n=vicky@amcant.demon.co.uk] has quit [Remote closed the connection] 17:32:13 edw: So basically, you're essentially opposed to adverbs? 17:32:43 mejja: Okay. 17:32:48 Yes, right there, foof! Precisely! 17:32:53 mejja: A graph is a relationship of ordered pairs 17:33:03 mejja: you have a set of verticies and a set of edges 17:33:13 The relationship is defined between verticies and edges 17:33:15 -!- spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has quit [] 17:33:32 r2q2: Directed or undirected? Cycles allowed? 17:33:33 You're lucky you're not in the cafe with me; you would be dead right now. Too much caffeine. 17:34:01 edw: Cafe in old city? I'd be a stone's throw away. 17:34:37 Fork etc. Was in Old City Coffee. 17:34:46 How well do you throw? 17:34:49 foof`: Cycles are allowed 17:34:56 foof`: Directed are allowed 17:35:10 foof`: But on the protoype its probably going to be undirected with cycles 17:36:48 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 17:37:02 edw: I'm between 4th & 5th on Fairmount. 17:37:21 Maybe Olympic level throwing... 17:37:54 I could go for some edamame at N 3rd. 17:38:08 Is that Kiso? 17:38:13 -!- foof` is now known as foof 17:38:39 No, that's 4th & Race. North Third is a bar. At 3rd & Brown, I believe. 17:39:10 OK. The neighborhood has changed so much since I used to live here. 17:40:46 Sure, actually, I could meet @ North Third in an hour or so. 17:41:20 That was more of a hypothetical. I'm going to see a movie soonish. 17:41:28 Ah :) 17:41:37 Lunch, bbl... 17:42:00 -!- sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [Operation timed out] 17:45:16 My language is mostly inspiried by charity ftp://ftp.cpsc.ucalgary.ca/pub/projects/charity/literature/papers_and_reports/dataII.ps and scheme. 17:46:03 question. if things like + and * aren't really primitives, what is used to build them exactly? I suppose I'll learn eventually if I keep going through this sicp book... 17:46:04 -!- Mr-Cat [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has quit [Read error: 54 (Connection reset by peer)] 17:46:08 bombshel1er13 [n=bombshel@dhcp-18-111-61-198.dyn.mit.edu] has joined #scheme 17:46:43 Mr-Cat [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has joined #scheme 17:48:12 decker: what do you mean by "not really primitives"? 17:49:59 rotty: well, that's what this sicp stuff is saying. and when you type + into your interpreter it spits back out that it's a procedure 17:50:07 sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 17:51:00 decker: yes, but that doesn't mean it is necessarily implemented in Scheme, it might well be a primitive procedure 17:52:59 but perhaps they are implemented in scheme somehow? I mean, the guy in the lecture says you might as well treat them as primitives, just as you might as well treat something like the square procedure you've defined as a primitive. but it sounded like they're made up of something even lower level. 17:53:56 decker: yea you can implement them. 17:54:11 decker: Implement a register machine and have those primitives as gates. 17:54:12 decker: how they are implemented depends on the implementation, obviously 17:54:50 decker: If you implement a register machine and host your implementation on that and then program your register machine on the bare metal (FPGA) you could do that. 17:55:45 ok. thanks. 17:56:09 -!- reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 17:56:40 -!- bombshelter13 [n=bombshel@dhcp-18-190-47-61.dyn.mit.edu] has quit [Read error: 110 (Connection timed out)] 17:57:44 decker: There were some threads about that. 17:59:08 decker: Also if you described a scheme to verilog compiler it still would be scheme. 18:06:03 Did anyone successfully use syntax-case along with match from 'matchable' egg in chicken? 18:06:13 This combintion fails on such pattern: ('let ((var vexpr) ...) body ...) 18:07:08 ecraven [n=nex@140.78.42.103] has joined #scheme 18:09:16 BW^- [i=Miranda@151.82.19.36] has joined #scheme 18:09:29 what's the best way to say in english that feedback is welcome? 18:09:42 -!- rtra [n=rtra@unaffiliated/rtra] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 18:10:07 "feedback is welcome" 18:10:18 oki 18:15:35 Frob grovel full lexical mumblicate. 18:15:45 Mr-Cat: Ask felix. 18:16:24 I have not used it, Mr-Cat. But you should specify (1) exactly what you typed, (2) exactly what you saw, and (3) exactly what you expected to see. 18:17:38 Mr-Cat: Use lisppsate 18:17:40 lisppaste: url? 18:17:41 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 18:18:01 reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 18:20:39 -!- sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [] 18:21:37 ejs [n=eugen@92.49.234.93] has joined #scheme 18:30:35 -!- incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has quit [Read error: 110 (Connection timed out)] 18:30:49 Thanks all, I was already helped at #chicken, seems, that there is a bug in chicken's syntax-case 18:31:30 Mr-Cat: not necessarily, maybe a bug in syntax-case itself, or maybe a bug in the match support for syntax-case 18:33:08 Can someone remind me why there is a separate #chicken channel? Does bifurcating the answers and questions help anyone? 18:33:40 Because Chicken is a very active implementation, and Chicken-specific discussion would be off-topic here. 18:33:46 No, it wouldn't. 18:34:27 I want to see Chicken discussion, PLT Scheme discussion, Scheme48 discussion -- whatever Scheme discussion -- here. Too much time is spent off the topic of Scheme altogether anyway. 18:34:39 Because there would be East-coast/West-coast rapper drive-by shooting between Chicken and Gambit folks if each didn't have their own channel. 18:34:49 There's a #gambit too? 18:34:57 there's a #scsh 18:35:00 There is. 18:37:54 spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has joined #scheme 18:39:36 -!- ozy` [n=vt920@pool-71-184-104-97.prvdri.fios.verizon.net] has quit ["absquatulating"] 18:40:56 OK, it's a bug in syntax-case support for the matchable egg... 18:40:59 bleh 18:41:58 Personally I'm curious to hear what was going on, and I might even have been able to help with it, but I'm already brushing up against Freenode's limit on number of channels. 18:43:01 I'm slightly baffled as to why it's failing though. 18:43:13 X-Scale [i=email@89.180.41.90] has joined #scheme 18:43:26 Since every other macro system under the sun has no problems with this, I can only assume it's actually triggering a bug in syntax-case. 18:43:42 -!- bombshel1er13 [n=bombshel@dhcp-18-111-61-198.dyn.mit.edu] has quit [Remote closed the connection] 18:43:46 ... but I really don't have time to look at it right now. 18:44:28 It would get higher precedence on my list if I gave a damn about Chicken syntax-case support. As it is, it'll have to wait until I have free time. 18:47:15 Riastradh: this code: http://paste.lisp.org/display/73393 fails to load (,l) in chicken scheme with the following error: Error: invalid syntax: (let (((var vexpr) w)) (if (list? (var vexpr)) (match-one x (body ...) (cdr x) (set-cdr! x) (match-drop-ids (begin (quasiquote ((lambda (unquote var) (unquote-splicing (expand-exprs body))) (unquote-splicing vexpr))))) (failure) ()) (failure))) 18:47:57 ... and yet it passes with alexpander, riaxpander, and Hanson's syntactic-closures implementation. 18:48:13 ...and with built-in match 18:48:35 What about (MATCH '(FOO) ((X ...) X))? 18:48:56 freenode has a channel number limit? what is it? 18:49:02 Twenty or so, rotty. 18:49:34 Riastradh: That works. The first test to fail in the test suite is: 18:50:07 (match '((a . 1) (b . 2) (c . 3)) (((x . y) ___) (list x y))) 18:50:33 Also with ... instead of ___ of course. 18:50:38 Is this with the latest ? 18:50:47 No, it's not. 18:51:06 ? 18:51:49 No, it's the version in the Chicken repo. It has all the bug fixes. 18:51:59 Where can I find that file? 18:52:03 Does it have a simple URI? 18:52:04 -!- r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has quit [Read error: 110 (Connection timed out)] 18:52:47 No, afaik 18:53:00 It is in this archive: http://www.call-with-current-continuation.org/eggs/matcher.egg 18:53:18 You can replace .egg with .tar.gz and unpack it 18:53:38 What's the name of the file in it? 18:53:38 Sorry 18:53:45 (the relevant file) 18:53:47 It's not the one 18:53:50 Oh.. hmmm... 18:54:03 It works fine w/ the latest match.scm. 18:54:15 This is the one http://www.call-with-current-continuation.org/eggs/matchable.egg 18:55:14 There is matchable.scm in the archive - I believe that's it 18:57:03 -!- BW^- [i=Miranda@151.82.19.36] has quit [Read error: 110 (Connection timed out)] 18:57:43 urk 18:57:55 Well that's embarrassing :/ 18:57:58 -!- spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has quit [] 18:58:04 What was the problem? 18:58:38 spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has joined #scheme 18:58:40 The definition of match-check-identifier for syntax-case. 18:58:59 (syntax-case stx () ((_ x sk fk) (if (identifier? (syntax q)) (syntax sk) (syntax fk)))) 18:59:02 Ha! 18:59:03 s/q/x 18:59:04 Oops. 18:59:46 Perhaps you should add a test case for MATCH-CHECK-IDENTIFIER and friends! 19:00:08 If I had simply run the test suite w/ syntax-case I would've caught that. 19:00:53 borism [n=boris@195-50-199-124-dsl.krw.estpak.ee] has joined #scheme 19:01:16 -!- X-Scale2 [i=email@89.181.91.98] has quit [Connection timed out] 19:02:25 Mr-Cat: I just committed the fix, when you get the new version syntax-case should work. 19:02:43 I still _highly_ recommend riaxpander over the syntax-case egg. 19:02:48 ... or Chicken 4. 19:02:51 foof: Thnx, will try now 19:07:43 -!- borism_ [n=boris@195-50-200-115-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 19:12:29 Kusanagi [n=Lernaean@unaffiliated/kusanagi] has joined #scheme 19:17:20 -!- reprore [n=reprore@ntkngw604176.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote closed the connection] 19:19:57 npe [n=npe@32.97.110.63] has joined #scheme 19:20:58 -!- npe [n=npe@32.97.110.63] has quit [Remote closed the connection] 19:21:11 npe [n=npe@32.97.110.63] has joined #scheme 19:26:37 -!- Vaeshir_ [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 19:30:52 Mr-Cat_ [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has joined #scheme 19:30:53 -!- Mr-Cat [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has quit [Read error: 54 (Connection reset by peer)] 19:41:39 -!- kryptiskt [n=irc@c83-249-224-126.bredband.comhem.se] has left #scheme 19:42:19 moghar [n=user@unaffiliated/moghar] has joined #scheme 19:42:41 Riastradh: FWIW, I've started porting your testing framework to R6RS; currently the port manages to run test-foof-loop.scm (mostly) 19:43:08 `Porting' is a rather strong word; if I recall correctly, it should be a matter of defining about a dozen pretty trivial procedures. 19:44:13 yeah, and doing some lowercasing, but it was indeed very straightforward 19:44:17 Let me know if you have any questions. 19:44:22 (...oh, right.) 19:44:23 sure, thanks 19:47:22 I guess there's no way to implemented FRESH-LINE portably... 19:47:48 Indeed not. Just define it to be NEWLINE. 19:48:09 I presume you're starting with s48-test.scm? 19:48:38 mfredrickson [n=mfredric@c-98-212-171-158.hsd1.il.comcast.net] has joined #scheme 19:49:46 Riastradh: yes, I did 19:50:09 (as I'm more familiar with s48 than MIT) 19:53:29 X-Scale2 [i=email@89.180.41.90] has joined #scheme 19:54:47 -!- mfredrickson [n=mfredric@c-98-212-171-158.hsd1.il.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- X-Scale [i=email@89.180.41.90] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- ejs [n=eugen@92.49.234.93] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- grettke [n=grettke@CPE-65-31-142-107.wi.res.rr.com] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- wingo-tp [n=wingo@29.Red-83-32-65.dynamicIP.rima-tde.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- pbusser2 [n=peter@82.174.238.138] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- dfeuer [n=dfeuer@wikimedia/Dfeuer] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- decker [n=chatzill@71-93-181-7.static.rvsd.ca.charter.com] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- tabe [n=tabe@210.188.204.133] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- loxs [n=loxs@213.91.162.124] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- tjafk1 [n=timj@e176208117.adsl.alicedsl.de] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- qebab [n=finnrobi@eros.orakel.ntnu.no] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- aquanaut [n=user@pool-71-191-49-201.washdc.fios.verizon.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- subversus [i=elliot@loveturtle.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- Deformati [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- Def [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- Mr_Awesome [n=eric@pool-98-115-118-219.chi01.dsl-w.verizon.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- Poeir [n=Poeir@c-98-222-133-165.hsd1.il.comcast.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- bzzbzz [n=franco@modemcable027.191-81-70.mc.videotron.ca] has quit [wolfe.freenode.net irc.freenode.net] 19:54:47 -!- rcy [n=rcy@S01060002553240a8.vc.shawcable.net] has quit [wolfe.freenode.net irc.freenode.net] 19:54:48 Riastradh: currently I get a division by zero at the very end of the foof-loop test suite (last output: " done\n; 0 tests 0") 19:55:51 mfredrickson [n=mfredric@c-98-212-171-158.hsd1.il.comcast.net] has joined #scheme 19:55:51 spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has joined #scheme 19:55:51 X-Scale [i=email@89.180.41.90] has joined #scheme 19:55:51 ejs [n=eugen@92.49.234.93] has joined #scheme 19:55:51 grettke [n=grettke@CPE-65-31-142-107.wi.res.rr.com] has joined #scheme 19:55:51 wingo-tp [n=wingo@29.Red-83-32-65.dynamicIP.rima-tde.net] has joined #scheme 19:55:51 Def [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has joined #scheme 19:55:51 loxs [n=loxs@213.91.162.124] has joined #scheme 19:55:51 tjafk1 [n=timj@e176208117.adsl.alicedsl.de] has joined #scheme 19:55:51 Mr_Awesome [n=eric@pool-98-115-118-219.chi01.dsl-w.verizon.net] has joined #scheme 19:55:51 decker [n=chatzill@71-93-181-7.static.rvsd.ca.charter.com] has joined #scheme 19:55:51 bzzbzz [n=franco@modemcable027.191-81-70.mc.videotron.ca] has joined #scheme 19:55:51 rcy [n=rcy@S01060002553240a8.vc.shawcable.net] has joined #scheme 19:55:51 aquanaut [n=user@pool-71-191-49-201.washdc.fios.verizon.net] has joined #scheme 19:55:51 tabe [n=tabe@210.188.204.133] has joined #scheme 19:55:51 dfeuer [n=dfeuer@wikimedia/Dfeuer] has joined #scheme 19:55:51 qebab [n=finnrobi@eros.orakel.ntnu.no] has joined #scheme 19:55:51 pbusser2 [n=peter@82.174.238.138] has joined #scheme 19:55:51 Deformati [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has joined #scheme 19:55:51 Poeir [n=Poeir@c-98-222-133-165.hsd1.il.comcast.net] has joined #scheme 19:55:51 subversus [i=elliot@loveturtle.net] has joined #scheme 19:56:28 Hm... Is there a digital version of Appel's 'Compiling with continuations' available? I didn't manage to find one (and vixie said, I won't manage), but I still hope that I won't have to order a printed copy. 19:56:44 -!- X-Scale [i=email@89.180.41.90] has quit [SendQ exceeded] 20:00:04 rotty, are the pass/fail counts for subsuites reported correctly? 20:01:32 Riastradh: yes. I think I made an error doing with-test-suite-run, as I'm using parameters instead of fluids + cells, and hence have moved the reporting stuff under the parameterize, as to have access to the parameter values 20:01:56 lisppaste: url? 20:01:56 To use the lisppaste bot, visit http://paste.lisp.org/new/scheme and enter your paste. 20:01:58 You shouldn't need to rearrange any of the dynamic state. 20:02:15 Simply change fluids into parameters (and don't alter the cells). 20:02:37 ok, i'll put the cells back in 20:03:16 Mr-Cat_: you can preview portions of it on Google or Amazon. Know, however, that it is more of a historical document now than anything else. 20:03:25 X-Scale [i=email@89.181.97.86] has joined #scheme 20:04:11 (as parameters are mutable, I thought I won't need them) 20:04:20 Daemmerung: 'Historical?' is there a better book or paper to understand cps transformations? 20:05:04 Mr-Cat_: I would recommend EOPL. 20:05:17 Mr-Cat_, suppose you didn't have an implicit control stack; Scheme would refuse to remember when evaluating (+ 1 2) in (* (+ 1 2) 3) that afterward it was to multiply the result by three. 20:05:43 Mr-Cat_, instead, you must tell each procedure what you want to do with its result, by passing another procedure. 20:06:08 For example, if you know that the next thing you want to do after (* (+ 1 2) 3) is NEXT, then you would write (+ 1 2 (LAMBDA (SUM) (* SUM 3 (LAMBDA (PRODUCT) (NEXT PRODUCT))))). 20:06:21 Daemmerung, Riastradh: Thanks, I understand the main idea of cps transformation 20:06:26 I would /not/ recommend CwC to that end unless you are more comfortable in ML and Scheme, and interested in an almost 20 year old take on code generation using CPS. 20:06:43 (What has changed about code generation?) 20:06:47 Um, I mean, more comfortable in ML /than/ Scheme. Can't write this morning. 20:06:56 Mr-Cat_, what would you like to understand, then? 20:07:41 To understand advanced methods of cps transformation 20:07:50 Advanced methods of CPS transformation? 20:08:14 Do you mean more efficient transformation algorithms? 20:08:17 Can you give an example of something you're having trouble understanding? 20:11:21 ; 47 tests, 47 passed (100%), 0 failed (0%) 20:11:29 Riastradh: thanks 20:11:57 Back in Computer Logic Circuits, our professor taught us a way of adding numbers that went left to right instead of right to left. Anyone off hand know the name of the technique? 20:12:16 Left to right in terms of digits, that is. 20:12:39 rudybot: eval (lcm 47 100) 20:12:39 mejja: ; Value: 4700 20:15:34 trc-testing is my favorite testing framework so far; IMHO, its quite similiar to test-manager, but has additional niceties 20:15:55 incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has joined #scheme 20:16:01 incubot: welcome! 20:16:03 Edwin's Dired, though, supports only sorting by name and date. Patches welcome, again; we haven't needed anything more, or we'd have implemented it. 20:16:22 Riastradh: You see, I know that there are cps transformation algortithms, that produce optimized code (when compared to, say, 'naive' cps transformation, similar to that mentioned in eopl), but I didn't manage to find a starting point to learn about those algorithms. 20:16:32 Mr-Cat_: 20:17:03 By "optimized" you mean "with fewer administrative redexes," I take it. 20:17:39 Dannerung: yes 20:18:12 The basic idea is not to create a continuation in the output until it is needed, so the CPS generator creates virtual continuations that can either be invoked (CONTINUE-WITH-OPERAND) or reified (REIFY-CONTINUATION). 20:18:40 (I used the bizarre word `continuator' in cps.scm for what I just called `virtual continuations'.) 20:18:46 One arc of papers you might enjoy (I am presently hamstrung both by being out of my office and by the continuing absence of readscheme.org) is the Flanagan et al "The essence of compiling with continuations" series, where they make a case for a related transformation. Then you can read Shivers complaining about how the PLT team got it all wrong elsewhere. It is an amusing arc. 20:18:55 Riastradh: Thanks, but is there a more detailed explaination of this algorithm? 20:19:04 There is no more detailed explanation than the code, Mr-Cat_. 20:19:06 -!- Deformati [n=joe@c-68-62-76-160.hsd1.mi.comcast.net] has quit [SendQ exceeded] 20:19:24 Daemmerung: thanks 20:19:26 (To be honest, all the verbiage about whether X or Y intermediate representation is better or worse is just silly.) 20:19:40 (You say that like it's a bad thing.) 20:20:20 (An intermediate representation cannot add new information, and it will lose information only if the compiler chooses to ignore it.) 20:20:40 (Talking inside parenthesis is fun!) 20:20:53 (How about eating dentures, mbishop?) 20:21:04 incubot: eat my dentures 20:21:06 back then, yes; before they all fell out and I got dentures 20:21:07 (That's not so fun :() 20:21:11 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 20:21:29 Thompson's teeth! The only teeth strong enough to eat other teeth! 20:22:04 rtra [n=rtra@unaffiliated/rtra] has joined #scheme 20:22:18 -!- X-Scale2 [i=email@89.180.41.90] has quit [Connection timed out] 20:23:07 (In case you didn't catch that: http://uk.youtube.com/watch?v=rm_KiA8go_4 ) 20:23:31 -!- CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 20:23:50 slyson [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has joined #scheme 20:24:26 -!- Mr-Cat_ [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has quit [Read error: 104 (Connection reset by peer)] 20:24:27 Mr-Cat__ [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has joined #scheme 20:24:52 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 20:26:51 a1len [n=James@unaffiliated/a1len] has joined #scheme 20:27:13 -!- loxs [n=loxs@213.91.162.124] has quit [Remote closed the connection] 20:31:00 underspecified_ [n=eric@softbank220043052007.bbtec.net] has joined #scheme 20:31:22 nan8 [n=user@dslb-088-067-018-169.pools.arcor-ip.net] has joined #scheme 20:31:38 -!- underspecified [n=eric@softbank220043052007.bbtec.net] has quit [Read error: 104 (Connection reset by peer)] 20:33:01 sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 20:35:14 Vaeshir [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has joined #scheme 20:35:23 ejs1 [n=eugen@92-49-227-193.dynamic.peoplenet.ua] has joined #scheme 20:35:37 exexex [n=chatzill@88.235.95.1] has joined #scheme 20:36:01 jlongster [n=user@c-68-59-187-95.hsd1.tn.comcast.net] has joined #scheme 20:37:07 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 20:38:43 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 20:41:25 -!- Vaeshir [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 20:41:32 -!- rtra [n=rtra@unaffiliated/rtra] has quit ["argh, wrong kernel"] 20:41:50 Vaeshir [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has joined #scheme 20:42:12 -!- slyson_ [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has quit [Read error: 110 (Connection timed out)] 20:43:07 -!- sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [Read error: 60 (Operation timed out)] 20:44:34 -!- ejs [n=eugen@92.49.234.93] has quit [Read error: 110 (Connection timed out)] 20:44:35 -!- r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has quit [Remote closed the connection] 20:46:03 slyson_ [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has joined #scheme 20:47:09 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 20:50:04 sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 20:51:37 slyson__ [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has joined #scheme 20:52:07 -!- slyson [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has quit [Read error: 60 (Operation timed out)] 20:52:33 ejs2 [n=eugen@92.49.235.22] has joined #scheme 20:56:11 -!- slyson_ [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has quit [Read error: 145 (Connection timed out)] 21:02:27 -!- ejs1 [n=eugen@92-49-227-193.dynamic.peoplenet.ua] has quit [Read error: 110 (Connection timed out)] 21:11:38 Riastradh: do you intend to touch trc-testing much? I wonder if I should just copy the code, or try to keep it in a way that allows me to pull in changes from your repo. 21:20:01 Riastradh: you refer to the file LICENSE in s48-test.scm, but there's no LICENSE in the repo. May I assume new-style BSD? 21:20:13 Yikes! 21:22:22 I have a lot of unrecorded changes in my repository. Oops. 21:25:53 Well, this is a little better, for now. 21:27:19 rotty: Making libraries of Riastradh's code? 21:27:31 rotty: I mean packages 21:32:54 r2q2: R6RS libs 21:36:08 it's somewhat annoying that the BSD license includes the name of the author, so you cannot rely ship a single copy of the license file if there are multiple files with different (sets of) authors referring to it 21:36:24 Whoops. 21:36:27 That's a mistake. 21:36:43 s/rely/really/ 21:39:35 repository? 21:39:39 Riastradh uses revision control? 21:40:24 -!- jewel [n=jewel@dsl-242-149-174.telkomadsl.co.za] has quit [No route to host] 21:40:32 -!- patmaddox [n=pergesu@ip68-4-201-9.oc.oc.cox.net] has quit ["The computer fell asleep"] 21:40:46 -!- spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has quit [] 21:41:20 rotty, you can ship a single copy of LICENCE now. 21:41:30 (...the LICENCE file...) 21:42:32 (It really ought to say `copyright holder' where it says `author', I suppose.) 21:50:16 lelf [n=lelf@217.118.90.200] has joined #scheme 21:50:22 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 21:50:52 offby1: Yea he uses darcs for some of his code. 21:53:00 offby1: its on his website. 21:56:18 *wingo-tp* re-reads dybvig's history of chez scheme 21:57:31 What suggested to you that I avoid it, offby1? 21:58:24 -!- sam___ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [Read error: 110 (Connection timed out)] 22:02:19 Adamant [n=Adamant@c-71-226-66-93.hsd1.ga.comcast.net] has joined #scheme 22:02:34 -!- bpalmer [n=user@unaffiliated/bpalmer] has quit [Read error: 110 (Connection timed out)] 22:02:52 -!- Kusanagi [n=Lernaean@unaffiliated/kusanagi] has quit [] 22:03:38 I dunno. 22:03:43 I figured you were a curmudgeon. 22:03:54 "I do not avoid revision control systems, offby1; but I do deny them my source code" 22:04:08 s/curmudgeon/luddite/ 22:05:12 I am a curmudgeon, not a luddite. I use revision control systems, but only for code that I'm happy with; otherwise I spend more time thinking about fixing the code (or discarding the code) than about putting it under revision control. 22:05:43 I don't like thinking about revision control systems while I'm working, and that's why I use Darcs. 22:06:43 bitches don't know 'bout muh darcs 22:09:32 (As if C syntax weren't bad enough, of course GCC's attribute syntax makes it even worse.) 22:10:15 rtra [n=rtra@unaffiliated/rtra] has joined #scheme 22:10:25 mike______ [n=mike@dslb-088-066-253-108.pools.arcor-ip.net] has joined #scheme 22:15:05 Riastradh: how would you change C syntax to make it *better* ? 22:15:15 Write types as a single syntactic entity. 22:15:59 -!- ejs2 [n=eugen@92.49.235.22] has quit ["Leaving"] 22:16:19 sam_ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has joined #scheme 22:16:38 -!- npe [n=npe@32.97.110.63] has quit [] 22:17:28 exexex_ [n=chatzill@85.97.124.219] has joined #scheme 22:20:08 GreyLensman [n=ray@c-76-108-236-161.hsd1.fl.comcast.net] has joined #scheme 22:20:23 -!- synthase [n=synthase@c-69-243-234-165.hsd1.al.comcast.net] has quit [Read error: 60 (Operation timed out)] 22:20:40 git seems almost as good as darcs but they need more abstract algebra to make it better. 22:20:53 -!- GreyLensman [n=ray@c-76-108-236-161.hsd1.fl.comcast.net] has left #scheme 22:21:46 All they need to do is take git and marry it with model theory when using their directed graphs and they can start using the algebra of patches. 22:22:19 has anyone here done usb device reverse engineering? is there any way to find out valid control messages or interrupt out endpoint messages? 22:22:30 I would use git but they keep making it easier; and I am a little put off by that. 22:24:11 yea 22:24:50 ecraven: use the driver that already exists and put a usb monitor and intercept the stuff. 22:24:58 ecraven: By stuff I mean usb transmissions 22:25:11 Arelius [n=Indy@netblock-68-183-230-134.dslextreme.com] has joined #scheme 22:25:23 r2q2: windows only, doesn't work on linux, i can't find a decent usb port monitor for macos.. guess i'll just have to find a windows machine 22:25:38 s/windows only/windows and bad mac drivers only/ 22:26:06 synthase [n=synthase@c-69-243-234-165.hsd1.al.comcast.net] has joined #scheme 22:27:41 -!- exexex [n=chatzill@88.235.95.1] has quit [Connection timed out] 22:29:53 -!- exexex_ [n=chatzill@85.97.124.219] has quit [Remote closed the connection] 22:30:42 -!- nan8 [n=user@dslb-088-067-018-169.pools.arcor-ip.net] has left #scheme 22:32:05 spooneybarger [n=spooneyb@cpe-74-73-111-254.nyc.res.rr.com] has joined #scheme 22:32:22 tdanecker [n=chatzill@62.218.223.86] has joined #scheme 22:34:27 -!- ecraven [n=nex@140.78.42.103] has quit ["bbl"] 22:43:33 -!- Mr-Cat__ [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has quit [Read error: 104 (Connection reset by peer)] 22:43:34 Mr-Cat_ [n=Mr-Cat@bahirkin1507.dialup.corbina.ru] has joined #scheme 22:47:36 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["The funniest things in my life are truth and absurdity."] 22:47:46 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 22:48:45 -!- jlongster [n=user@c-68-59-187-95.hsd1.tn.comcast.net] has quit [Read error: 113 (No route to host)] 22:50:04 -!- dzhus [n=sphinx@93.81.183.103] has quit [Read error: 60 (Operation timed out)] 22:51:42 -!- incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has quit [Remote closed the connection] 22:56:25 incubot [n=incubot@24-205-65-135.dhcp.psdn.ca.charter.com] has joined #scheme 22:56:32 -!- offby1-quassel [n=quassel@q-static-138-125.avvanta.com] has quit [Remote closed the connection] 22:56:43 -!- offby1 [n=user@q-static-138-125.avvanta.com] has quit [Remote closed the connection] 22:59:34 -!- grettke [n=grettke@CPE-65-31-142-107.wi.res.rr.com] has quit [] 23:00:15 offby1-quassel [n=quassel@q-static-138-125.avvanta.com] has joined #scheme 23:03:00 -!- wingo-tp [n=wingo@29.Red-83-32-65.dynamicIP.rima-tde.net] has quit [Read error: 113 (No route to host)] 23:05:51 kniu [n=kniu@pool-71-107-51-222.lsanca.dsl-w.verizon.net] has joined #scheme 23:08:19 -!- lelf [n=lelf@217.118.90.200] has quit ["sleep"] 23:09:05 lelf [n=lelf@217.118.90.230] has joined #scheme 23:09:23 -!- Vaeshir [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 23:09:34 -!- sam_ [n=Sami__@e81-197-69-201.elisa-laajakaista.fi] has quit [] 23:10:13 -!- hark [n=strider@hark.slew.org] has quit [Remote closed the connection] 23:12:08 -!- XTL [i=t6haha00@rhea.oamk.fi] has quit [Remote closed the connection] 23:13:37 offby1 [n=user@q-static-138-125.avvanta.com] has joined #scheme 23:14:00 -!- lelf [n=lelf@217.118.90.230] has quit ["sleep"] 23:14:11 XTL [i=t6haha00@rhea.oamk.fi] has joined #scheme 23:14:22 -!- tdanecker [n=chatzill@62.218.223.86] has left #scheme 23:18:35 -!- slyson__ [n=joe@92-234-146-79.cable.ubr19.live.blueyonder.co.uk] has quit ["leaving"] 23:21:28 Vaeshir [n=zane@c-66-31-28-121.hsd1.ma.comcast.net] has joined #scheme 23:25:10 pavelludiq [n=pavellud@87.246.13.147] has joined #scheme 23:26:46 -!- underspecified_ [n=eric@softbank220043052007.bbtec.net] has quit [Read error: 104 (Connection reset by peer)] 23:27:07 underspecified [n=eric@softbank220043052007.bbtec.net] has joined #scheme 23:27:55 -!- hotblack23 [n=jh@p5B055EF1.dip.t-dialin.net] has quit [Connection timed out] 23:29:38 -!- puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has quit [Read error: 54 (Connection reset by peer)] 23:30:05 oSand [n=heartles@118-93-83-88.dsl.dyn.ihug.co.nz] has joined #scheme 23:33:28 -!- name [n=name@sburn/devel/name] has quit ["Lost terminal"] 23:34:35 hark [n=strider@hark.slew.org] has joined #scheme 23:36:36 -!- oSand [n=heartles@118-93-83-88.dsl.dyn.ihug.co.nz] has quit [Read error: 54 (Connection reset by peer)] 23:39:51 -!- MichaelRaskin_ [n=raskin@gwh-1-177-mytn23k1.ln.rinet.ru] has left #scheme 23:40:10 -!- r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has quit [Remote closed the connection] 23:41:28 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 23:41:42 -!- bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has quit [Read error: 60 (Operation timed out)] 23:42:05 -!- XTL [i=t6haha00@rhea.oamk.fi] has quit [Remote closed the connection] 23:42:11 XTL [i=t6haha00@2001:708:510:33:0:0:0:deca] has joined #scheme 23:46:59 bpt [n=bpt@cpe-071-070-209-067.nc.res.rr.com] has joined #scheme 23:50:34 Kusanagi [n=Lernaean@unaffiliated/kusanagi] has joined #scheme