00:01:07 -!- knpti [n=user@081-003-214-196.yesss.at] has quit [Remote closed the connection] 00:07:56 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 145 (Connection timed out)] 00:08:33 gaze [n=gaze@ResNet-36-86.resnet.ucsb.edu] has joined #scheme 00:10:01 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 00:19:15 emma [n=em@unaffiliated/emma] has joined #scheme 00:23:15 -!- XTL [i=t6haha00@rhea.oamk.fi] has quit [Remote closed the connection] 00:26:59 frankmcauley [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has joined #scheme 00:29:11 -!- frankmcauley [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has quit [Client Quit] 00:54:38 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 00:55:08 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Remote closed the connection] 00:58:08 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 01:03:12 -!- untouchabl [i=untoucha@dhcp-129-64-166-32.dorm.brandeis.edu] has quit [Client Quit] 01:06:23 -!- arcfide [i=arcfide@adsl-99-14-209-200.dsl.bltnin.sbcglobal.net] has left #scheme 01:07:59 saccade [n=saccade@65.78.24.131] has joined #scheme 01:13:18 arcfide [i=arcfide@adsl-99-14-209-200.dsl.bltnin.sbcglobal.net] has joined #scheme 01:17:35 fryguy [n=fryguy@pool-74-104-161-201.bstnma.fios.verizon.net] has joined #scheme 01:18:41 -!- RageOfThou [n=RageOfTh@users-120-223.vinet.ba] has quit [Read error: 110 (Connection timed out)] 01:29:34 higgs [n=pkt@081-003-214-196.yesss.at] has joined #scheme 01:39:38 -!- gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has quit [] 01:41:09 gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has joined #scheme 01:44:20 -!- sepult [n=levgue@87.78.31.117] has quit [Remote closed the connection] 01:47:29 -!- masm [n=masm@bl7-36-228.dsl.telepac.pt] has quit ["Leaving."] 01:55:22 mejja [n=user@c-49b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 01:57:59 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 01:58:41 -!- ratelle [n=jeremie@modemcable197.59-202-24.mc.videotron.ca] has left #scheme 02:04:21 ratelle [n=jeremie@modemcable197.59-202-24.mc.videotron.ca] has joined #scheme 02:07:17 caoliver [n=oliver@75-134-208-20.dhcp.trcy.mi.charter.com] has joined #scheme 02:10:22 kanak [n=kanak@MCCORMICK-SEVEN-O-SIX.MIT.EDU] has joined #scheme 02:18:23 -!- higgs [n=pkt@081-003-214-196.yesss.at] has quit ["no reason"] 02:46:33 tonysidaway [n=tony@cpc1-walt3-0-0-cust709.popl.cable.ntl.com] has joined #scheme 02:48:27 -!- tonysidaway [n=tony@cpc1-walt3-0-0-cust709.popl.cable.ntl.com] has quit [Client Quit] 03:06:27 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 03:09:05 kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has joined #scheme 03:09:09 tjafk [n=timj@e176212097.adsl.alicedsl.de] has joined #scheme 03:11:25 -!- tjaway [n=timj@e176203102.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 03:13:55 -!- arcfide [i=arcfide@adsl-99-14-209-200.dsl.bltnin.sbcglobal.net] has quit [Read error: 110 (Connection timed out)] 03:18:49 -!- Summermute [n=scott@c-76-114-212-247.hsd1.dc.comcast.net] has quit [] 03:26:38 thesnowdog_ [i=thesnowd@114.73.166.182] has joined #scheme 03:27:44 -!- dmoerner [n=dmr@89-141.res.pomona.edu] has quit [Remote closed the connection] 03:32:20 Is there any research into transforming (automated porting) CL programs into scheme or vice-versa? 03:34:10 lowlycoder [n=x@unaffiliated/lowlycoder] has joined #scheme 03:34:48 Modius [n=Modius@24.174.112.56] has joined #scheme 03:36:52 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit [Read error: 145 (Connection timed out)] 03:36:54 -!- fryguy [n=fryguy@pool-74-104-161-201.bstnma.fios.verizon.net] has left #scheme 03:43:36 -!- thesnowdog [i=thesnowd@114.73.55.109] has quit [Read error: 110 (Connection timed out)] 03:48:46 -!- thesnowdog_ is now known as thesnowdog 03:50:27 -!- ratelle [n=jeremie@modemcable197.59-202-24.mc.videotron.ca] has left #scheme 03:52:43 tjaway [n=timj@e176217070.adsl.alicedsl.de] has joined #scheme 04:01:13 untouchable [i=untoucha@dhcp-129-64-166-32.dorm.brandeis.edu] has joined #scheme 04:05:53 I have written an average procedure which takes a list... how can I make it so it just takes an arbitrary number of arguments instead (like the +,-, etc, operators)? 04:06:22 so, I would say to be able to say: (average 1 2 3 4 5) instead of (average (list 1 2 3 4 5)) 04:07:06 -!- ve [n=a@94-193-95-252.zone7.bethere.co.uk] has quit [Read error: 113 (No route to host)] 04:07:06 how does one take an arbitrary number of args like that in scheme and have them coerced into a list? 04:07:27 (define foo (lambda x ...)) rather than (define foo (lambda (x) ...)) 04:07:53 x will be a list of the args rather than the first arg. 04:08:28 -!- tjafk [n=timj@e176212097.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 04:09:51 caoliver: Ah, very nice. Thanks! 04:10:14 Out of curiosity can you accomplish the same with the special form of define or do you need to use lambda? From my experiments you don't seem to be able to.. is that correct? 04:10:39 Don't remember. Lemme try. 04:10:47 MononcQc [n=Ferd@140-161.mc.royaume.com] has joined #scheme 04:11:22 (define (foo . bar) ...) 04:11:26 tjafk [n=timj@e176217128.adsl.alicedsl.de] has joined #scheme 04:12:08 -!- tjaway [n=timj@e176217070.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 04:12:09 Where bar receives the list of args. 04:12:35 Arelius: they were trying to port emacs to scheme... but that's elisp not CL... 04:18:45 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 04:37:31 -!- MononcQc [n=Ferd@140-161.mc.royaume.com] has quit [Read error: 113 (No route to host)] 04:44:57 caoliver: just saw your reply. thanks again! 04:50:50 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 04:54:56 -!- Modius [n=Modius@24.174.112.56] has quit [Read error: 145 (Connection timed out)] 05:09:09 -!- mejja [n=user@c-49b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit ["ChatZilla 0.9.85 [Firefox 3.5.3/20090824101458]"] 05:30:11 http://www.thousandparsec.net/tp/dev/documents/ncl.php agh! so close! 05:30:17 Modius [n=Modius@24.174.112.56] has joined #scheme 05:30:53 -!- kniu [n=kniu@CMU-284828.WV.CC.CMU.EDU] has quit [Read error: 110 (Connection timed out)] 05:34:30 -!- Modius [n=Modius@24.174.112.56] has quit [Client Quit] 05:38:44 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 05:39:04 foof [n=user@FLH1Afr049.osk.mesh.ad.jp] has joined #scheme 05:41:12 *foof* has switched back to linux 05:44:35 Hey, foof! 05:44:59 heya 05:47:11 Are you still hacking chibi-scheme? 05:47:29 yep 05:47:37 ... when I can find time 05:47:41 Hah! 05:48:35 I was following along to see whether per-contexts heaps were there yet. 05:49:13 not quite 05:51:20 It in the "small matter or programming" stage for sufficiently large values of "small." I guess. 05:52:39 Pretty small... there are just a few global symbol references that I need to remove (or tuck into the context object) and it will work. 05:53:05 bbl 05:53:43 hey... if I'm writing say... a game library that manages sprites and a scene graph and what not... but parts are in C and parts are in scheme, what's the best way to handle say... creating a sprite, and freeing it? if it was all scheme I'd assume it'd just get GC'd... is manually freeing stuff common with FFIs? 05:53:47 Cool. I'll look forward to that. 05:54:15 What scheme are you using? 05:54:18 gambit 05:54:41 schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 05:55:11 though... i'd have no objection to trying something else 05:55:23 I think you're looking for what sort of finalizer hooks there are on the GC. I don't know how that works on gambit, but that what I'd start trying to find out. 05:56:18 what scheme's GC's finalizer hooks are you familiar with? 05:56:59 I used them from bigloo 05:58:34 More generally, a finalizer is a procedure attached to an object that is called prior to the destruction of the object during GC. 05:59:12 ever heard of it called a will or something like that? 05:59:33 No. 05:59:37 oh hmm... never mind 06:00:01 how do bigloo and gambit compare? 06:01:04 I can't say as I'm not a gambit hacker though I've run it a few times, and it is on my computer. 06:01:41 At least you know the color of my dunce hat. 06:01:41 ah, okay. Thanks for the help. This pretty much looks like exactly what I need... something to wrap opaque objects 06:04:42 oh! hmm... do I need the finalize library to do this? 06:05:05 I see what you meant with "wills." Those sound as though you might get some use out of those. 06:06:29 -!- schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has quit [] 06:17:26 schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 06:19:12 jcowan [n=jcowan@74.68.154.139] has joined #scheme 06:25:22 Actually, those seem a bit more powerful then the stuff I played with. I'm glancing over the weak refs section of the gambit docs. 06:25:41 Anyhow, I'm out of steam. 'nite. 06:25:49 -!- caoliver [n=oliver@75-134-208-20.dhcp.trcy.mi.charter.com] has left #scheme 06:25:51 g'night. thanks for the help 06:25:52 aw 06:31:30 *jcowan* begins to write the Flopsy runtime. 06:32:00 many silly little C functions and macros, basically. 06:41:41 -!- kanak [n=kanak@MCCORMICK-SEVEN-O-SIX.MIT.EDU] has quit [] 06:42:25 flopsy? 06:43:10 My NotQuiteScheme language for fast floating-point operations. You write the FP parts of programs in Flopsy and it compiles to pure C, which can then be invoked from any Scheme like other C procedures. 06:43:47 interesting 06:45:00 It only provides a small subset of Scheme: the types are number (C double), string, procedure, and boolean, and there are lots of restrictions: no GC, only a few polymorphic procedures which can't be extended, no call/cc, no real closures .... 06:45:31 *Elly* nods 06:46:17 I've pretty much figured out the compiler except for how to do the type inference. Every variable and procedure argument is given a fixed type at compile time. 06:47:06 hmm 06:47:09 neat :P 06:48:20 So it's fairly easy to type an expression: (+ 3 4) must be numeric, because + has type number,number->number. 06:48:35 But typing the arguments to procedures is a little more tricky, because you have to look to where the procedures are called. 06:48:41 the type inference cant be too hard given the subset of types 06:49:18 and no closures 06:49:42 No closures over free variables, but there are still arguments of type procedure. 06:50:17 So (define (foo f x y) (f x y)) can't be typed unless we look at calls to foo. 06:51:02 -!- CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has quit ["Leaving"] 06:51:29 you really need a generic function 06:51:45 or templated in C++ terms 06:51:57 I don't think I do if I'm clever enough. 06:52:10 but are you? :p 06:52:19 I dont think I am :) 06:52:29 Won't know till I try and fail, eh. 06:52:55 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 110 (Connection timed out)] 06:55:16 "Fatal error: Sorry, your Flopsy implementer does not know how to type your program." 06:55:46 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 06:55:56 its a start :) 06:56:00 The trouble with templates, or equivalent C hacks, is that you can't have pointers to them. 06:56:16 i have no idea how they work 06:56:38 So in Flopsy, eqv? and equal?, because they are polymorphic, are syntax. There are corresponding procedures =, boolean-eqv?, string-eqv?, procedure-eqv?, string=?, and vector= that can be passed as procedures. 06:56:47 I just know the CLR generics stuff, wi\hich is similar to java's I think 06:56:58 C++ templates are just copies of the source code. 06:57:28 dmoerner [n=dmr@89-141.res.pomona.edu] has joined #scheme 06:57:29 CLR is similar to Java, except that in CLR you can discover the templated types at run time, whereas on the JVM you cannot. 06:57:49 and I can bind at runtime too :) 06:58:21 Right. But the whole point of this mini-runtime is to be static, static, static. 07:00:51 that's kinda where I am hoping to go next with IronScheme, a statically typed underlying scheme like language 07:01:22 *jcowan* nods. 07:01:28 would probably end being relatively similar to F# 07:01:28 sepult [n=levgue@xdsl-87-78-31-117.netcologne.de] has joined #scheme 07:02:07 -!- jcowan [n=jcowan@74.68.154.139] has quit [Read error: 131 (Connection reset by peer)] 07:02:10 but some things just cant be statically typed 07:05:24 -!- Nshag [n=shag@Mix-Orleans-106-1-193.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 07:08:08 -!- schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has quit [Read error: 110 (Connection timed out)] 07:10:11 pavelludiq [n=quassel@87.246.58.146] has joined #scheme 07:27:36 ve [n=a@94-193-95-252.zone7.bethere.co.uk] has joined #scheme 07:30:14 -!- sepult [n=levgue@xdsl-87-78-31-117.netcologne.de] has quit [Read error: 104 (Connection reset by peer)] 07:32:14 sepult [n=levgue@xdsl-87-78-31-117.netcologne.de] has joined #scheme 07:41:46 Jafet [n=Jafet@unaffiliated/jafet] has joined #scheme 07:49:51 -!- acieroid` is now known as acieroid 07:57:06 -!- aehrisch [n=knauel@vhost.knauel.org] has quit ["leaving"] 08:34:12 jewel [n=jewel@dsl-242-157-147.telkomadsl.co.za] has joined #scheme 08:43:05 choas [n=lars@91.13.234.252] has joined #scheme 08:45:58 Edico [n=Edico@unaffiliated/edico] has joined #scheme 08:47:15 -!- saccade [n=saccade@65.78.24.131] has quit ["This computer has gone to sleep"] 08:59:03 schoppenhauer [n=christop@unaffiliated/schoppenhauer] has joined #scheme 08:59:15 is there any pre-defined function for printing lists in some kind of tree-form in mzscheme? 09:01:48 SvekloB [n=sveklo@213.243.181.131] has joined #scheme 09:17:44 fschwidom [n=fschwido@p5B26BABB.dip0.t-ipconnect.de] has joined #scheme 09:22:28 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Remote closed the connection] 09:22:49 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 09:31:27 schemer999 [n=schemer9@76.90.137.46] has joined #scheme 09:57:15 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Remote closed the connection] 09:59:26 -!- gaze [n=gaze@ResNet-36-86.resnet.ucsb.edu] has quit [] 10:28:44 -!- rdd [n=user@c83-250-145-223.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 10:29:01 rdd [n=rdd@c83-250-145-223.bredband.comhem.se] has joined #scheme 10:32:10 -!- schoppenhauer [n=christop@unaffiliated/schoppenhauer] has quit [Read error: 148 (No route to host)] 10:33:40 -!- sepult [n=levgue@xdsl-87-78-31-117.netcologne.de] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 10:34:56 frankmcauley_ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has joined #scheme 10:46:00 -!- fschwidom [n=fschwido@p5B26BABB.dip0.t-ipconnect.de] has quit [Remote closed the connection] 10:49:16 masm [n=masm@bl7-36-241.dsl.telepac.pt] has joined #scheme 11:10:27 -!- masm [n=masm@bl7-36-241.dsl.telepac.pt] has quit ["Leaving."] 11:11:55 -!- leppie [n=lolcow@dsl-241-191-148.telkomadsl.co.za] has quit [Read error: 110 (Connection timed out)] 11:12:33 -!- kilimanjaro [n=kilimanj@cpe-173-172-99-25.austin.res.rr.com] has quit ["Leaving"] 11:18:13 schoppenhauer [n=christop@unaffiliated/schoppenhauer] has joined #scheme 11:19:15 -!- frankmcauley_ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has quit [] 11:34:56 mngbd [n=pkt@081-003-214-196.yesss.at] has joined #scheme 11:38:30 Foofie [n=innocent@80.203.225.86] has joined #scheme 11:40:13 masm [n=masm@bl7-36-241.dsl.telepac.pt] has joined #scheme 11:46:11 -!- Fufie [n=innocent@80.203.225.86] has quit [Read error: 145 (Connection timed out)] 11:52:30 -!- masm [n=masm@bl7-36-241.dsl.telepac.pt] has quit ["Leaving."] 11:54:36 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 11:56:41 leppie [n=lolcow@196-210-146-155-tvwt-esr-2.dynamic.isadsl.co.za] has joined #scheme 12:01:48 masm [n=masm@bl7-36-241.dsl.telepac.pt] has joined #scheme 12:08:43 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 145 (Connection timed out)] 12:10:00 frankmcauley__ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has joined #scheme 12:10:15 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 12:16:45 -!- mngbd [n=pkt@081-003-214-196.yesss.at] has quit ["no reason"] 12:20:29 -!- frankmcauley__ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has quit [] 12:22:37 -!- schoppenhauer [n=christop@unaffiliated/schoppenhauer] has quit ["Lost terminal"] 12:23:06 -!- CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 13:00:41 MrFahrenheit [n=RageOfTh@users-38-116.vinet.ba] has joined #scheme 13:08:37 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Connection timed out] 13:09:33 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 13:25:34 reprore_ [n=reprore@116.82.73.92] has joined #scheme 13:35:41 Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has joined #scheme 13:37:07 -!- reprore_ [n=reprore@116.82.73.92] has quit [Remote closed the connection] 13:41:01 -!- choas [n=lars@91.13.234.252] has quit ["leaving"] 13:41:42 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 13:56:35 -!- gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has quit [Read error: 104 (Connection reset by peer)] 13:56:44 gpaci_ [n=gpaci@gpaci-02.dsllan.toad.net] has joined #scheme 13:56:46 -!- gpaci_ is now known as gpaci 14:02:03 SvekloB_ [n=sveklo@unaffiliated/sveklo] has joined #scheme 14:09:37 -!- foof [n=user@FLH1Afr049.osk.mesh.ad.jp] has quit [Read error: 104 (Connection reset by peer)] 14:09:46 foof [n=user@FLH1Afr049.osk.mesh.ad.jp] has joined #scheme 14:10:16 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 145 (Connection timed out)] 14:20:11 nicoca [n=nicoca@mon76-1-88-168-192-93.fbx.proxad.net] has joined #scheme 14:25:49 -!- weinholt [i=weinholt@debian/emeritus/weinholt] has quit [] 14:30:39 TR2N [i=email@89-180-193-206.net.novis.pt] has joined #scheme 14:32:43 -!- Jafet [n=Jafet@unaffiliated/jafet] has quit [Remote closed the connection] 14:33:05 Jafet [n=Jafet@unaffiliated/jafet] has joined #scheme 14:33:05 -!- Jafet [n=Jafet@unaffiliated/jafet] has quit [Remote closed the connection] 14:33:15 Jafet [n=Jafet@unaffiliated/jafet] has joined #scheme 14:47:56 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 14:50:59 MononcQc [n=Ferd@140-161.mc.royaume.com] has joined #scheme 14:52:03 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Client Quit] 14:53:07 Graphettion [n=chatzill@adsl-99-184-63-92.dsl.okcyok.sbcglobal.net] has joined #scheme 14:53:24 -!- Graphettion [n=chatzill@adsl-99-184-63-92.dsl.okcyok.sbcglobal.net] has left #scheme 14:55:48 Nshag [i=user@Mix-Orleans-106-3-230.w193-248.abo.wanadoo.fr] has joined #scheme 14:57:31 chturne [n=cht@host86-128-227-60.range86-128.btcentralplus.com] has joined #scheme 15:01:05 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 15:08:02 -!- SvekloB_ [n=sveklo@unaffiliated/sveklo] has quit [Read error: 60 (Operation timed out)] 15:11:47 ziga` [n=user@89.142.123.220] has joined #scheme 15:12:10 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 15:19:23 -!- schemer999 [n=schemer9@76.90.137.46] has quit [] 15:37:28 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit ["Leaving..."] 15:39:12 -!- sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has quit [] 15:41:01 -!- TR2N [i=email@89-180-193-206.net.novis.pt] has left #scheme 15:41:33 hotblack23 [n=jh@p5B054376.dip.t-dialin.net] has joined #scheme 15:41:37 minion: memo for arcfide: You say that the R6RS is a compromise between wrapping everything and wrapping names only. But Chez does neither -- it wraps some non-names but not all! 15:41:37 Remembered. I'll tell arcfide when he/she/it next speaks. 16:02:09 -!- MononcQc [n=Ferd@140-161.mc.royaume.com] has quit ["Leaving"] 16:12:35 -!- untouchable [i=untoucha@dhcp-129-64-166-32.dorm.brandeis.edu] has quit ["( www.nnscript.com :: NoNameScript 4.22 :: www.esnation.com )"] 16:29:09 -!- gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has quit [] 16:31:48 -!- Foofie [n=innocent@80.203.225.86] has quit [Read error: 131 (Connection reset by peer)] 16:33:12 Foofie [n=innocent@86.80-203-225.nextgentel.com] has joined #scheme 16:36:53 untouchable [i=untoucha@dhcp-129-64-166-32.dorm.brandeis.edu] has joined #scheme 16:42:25 -!- ziga` [n=user@89.142.123.220] has left #scheme 16:46:55 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Nick collision from services.] 16:47:04 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 16:52:06 jonrafkind [n=jon@98.202.86.149] has joined #scheme 16:53:42 -!- hotblack23 [n=jh@p5B054376.dip.t-dialin.net] has quit ["Leaving."] 16:55:05 -!- tjafk [n=timj@e176217128.adsl.alicedsl.de] has quit ["Client exiting"] 16:55:35 timj [n=timj@e176217128.adsl.alicedsl.de] has joined #scheme 17:09:52 -!- nowhereman [n=pierre@lec67-4-82-235-57-28.fbx.proxad.net] has quit [Remote closed the connection] 17:13:04 -!- bzzbzz [n=franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Read error: 110 (Connection timed out)] 17:28:34 gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has joined #scheme 17:32:23 -!- _Jordan__ [n=jcooper@173-45-228-22.slicehost.net] has quit [Remote closed the connection] 17:32:26 _Jordan_ [n=jcooper@173-45-228-22.slicehost.net] has joined #scheme 17:35:21 choas [n=lars@p5B0DEAFC.dip.t-dialin.net] has joined #scheme 17:44:33 frankmcauley [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has joined #scheme 17:45:19 -!- frankmcauley [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has quit [Client Quit] 17:46:21 -!- Jafet [n=Jafet@unaffiliated/jafet] has quit ["Leaving."] 18:00:41 caoliver [n=oliver@75-134-208-20.dhcp.trcy.mi.charter.com] has joined #scheme 18:13:03 -!- jewel [n=jewel@dsl-242-157-147.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 18:15:14 TR2N [i=email@89-180-230-194.net.novis.pt] has joined #scheme 18:49:44 -!- Nshag [i=user@Mix-Orleans-106-3-230.w193-248.abo.wanadoo.fr] has quit ["Quitte"] 18:51:50 -!- Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has quit ["Leaving"] 18:53:28 -!- deke [n=wyld@fl-69-69-20-190.dhcp.embarqhsd.net] has quit [] 18:53:30 RageOfThou [n=RageOfTh@users-38-116.vinet.ba] has joined #scheme 18:55:10 -!- caoliver [n=oliver@75-134-208-20.dhcp.trcy.mi.charter.com] has left #scheme 18:56:30 aleix [n=aleix@95.17.144.244] has joined #scheme 18:56:43 -!- aleix [n=aleix@95.17.144.244] has quit [Client Quit] 19:00:49 -!- RageOfThou [n=RageOfTh@users-38-116.vinet.ba] has quit [Read error: 104 (Connection reset by peer)] 19:00:59 FunkyDrummer [n=RageOfTh@users-38-116.vinet.ba] has joined #scheme 19:06:23 gaze [n=gaze@ResNet-36-86.resnet.ucsb.edu] has joined #scheme 19:12:42 r2q2 [n=user@c-24-7-212-60.hsd1.il.comcast.net] has joined #scheme 19:16:14 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 19:17:17 -!- MrFahrenheit [n=RageOfTh@users-38-116.vinet.ba] has quit [Connection timed out] 19:28:54 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 19:29:40 arcfide [i=arcfide@adsl-99-137-203-69.dsl.bltnin.sbcglobal.net] has joined #scheme 19:30:01 -!- gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has quit [] 19:31:32 arcfide: Boo! 19:32:09 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 104 (Connection reset by peer)] 19:32:12 eno__ [n=eno@adsl-70-137-140-67.dsl.snfc21.sbcglobal.net] has joined #scheme 19:33:48 Riastradh: Yaw! 19:33:49 arcfide, memo from Riastradh: You say that the R6RS is a compromise between wrapping everything and wrapping names only. But Chez does neither -- it wraps some non-names but not all! 19:34:06 Riastradh: Please clarify? 19:34:31 The compromise was to wrap constant syntaxes, while unwrapping non-constant syntaxes. Chez follows this pattern. 19:34:44 Larceny appears to unwrap everything but identifiers. 19:34:54 I don't know which Scheme wraps everything. 19:35:18 PLT 19:36:41 Ah, okay. 19:37:15 Riastradh: I don't remember what Chez's behavior before on the subject was, but I suspect it was something in between. The newer Chez Scheme will follow the R6RS model, I believe. 19:37:40 -!- eno__ is now known as eno 19:38:17 Riastradh: So, in general, you can choose to either remember the rule for when a synax is wrapped or unwrapped, or you can treat it as always wrapped and use syntax->list on it. 19:51:49 Cheery [n=cheery@a88-113-50-158.elisa-laajakaista.fi] has joined #scheme 19:51:54 hi 19:52:07 Hello. 19:52:58 borism [n=boris@195.50.197.221] has joined #scheme 19:52:58 -!- nicoca [n=nicoca@mon76-1-88-168-192-93.fbx.proxad.net] has quit ["Leaving."] 19:53:52 *offby1* didn't know that IronScheme was "Scheme-like" as opposed to "Scheme" 19:53:53 is there a way to provide sensible tracebacks when handling programs in continuation passing style? 19:54:06 huh, good question 19:54:23 Yes: follow the continuation. 19:55:30 It's no different from stack traces (what I presume you mean by `tracebacks') in direct style, except that the built-in debugger may not have a formal model of your continuations while it does have a formal model of the host system's continuations for its direct style. 19:56:59 hmm.. 19:57:05 in short, that is the answer. 19:57:30 ? 19:59:12 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 19:59:35 well, I'd need to do tagging that allows me to see where that traceback is coming from. 19:59:57 and there's still the question: how do I follow the continuation? 20:00:14 what do I follow in the continuation more like that. :) 20:01:20 A stack trace consists of a linked list of continuation frames. Your debugger probably knows how to examine the host system's continuation frames and the host system's procedures and environments. Simply point it at the procedures that correspond with your continuation-passing style continuations. 20:02:19 *offby1* imagines Hal Holbrook saying "follow the continuation" 20:06:41 gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has joined #scheme 20:08:24 I have a feeling on this one.. I think I can do it, just have to think on it a bit. 20:12:55 guessing I have to first figure how to trace, and more importantly, which to trace. 20:13:11 Can you be more specific about the problem you are having? 20:14:45 I'm writing a lisp interpreter. 20:16:01 the link to code you pasted last time was quite helpful. 20:16:58 I found some trampolining code that allowed me to implement it without proper tail recursion. 20:19:56 which means that I yet have to get proper tracebacks on errors. 20:21:18 If you're not using the recursive structure of the host language, then you're maintaining your own stack, and it is your own stack from which you'll need to compute a stack trace. 20:21:30 Summermute [n=scott@76.114.212.247] has joined #scheme 20:22:14 uh. if I'm using continuation passing style, do I have a stack? 20:23:00 Yes. 20:23:11 It might not be in a convenient format, but you certainly have a stack. 20:23:15 That's what the continuation is. 20:24:07 Howdy, does anyone know if/how test-engine/scheme-tests works with the typed-scheme dialect of PLT sheme? I'm getting some weird macrology error messages just running (test) witha a single (check-expect...) clause. 20:24:15 http://paste.pocoo.org/show/146937/ 20:25:02 (Why don't you use lisppaste in this channel?) 20:25:28 gvim :Lodgeit in use. 20:25:49 Hmmm, pasted Python code (no longer my cup of tea, but cool language, btw) 20:25:56 (lisppaste has an XML-RPC interface, by the way, so you don't need to use a web browser.) 20:26:18 Riastradh: Cool - what are the mechanics of that? 20:26:24 Mechanics? 20:27:04 Um, if not a web browser, from whence does one automatically paste in the code via XML-RPC ? 20:27:12 Got to say "whence" ;-) 20:27:59 Is there some emacs or mirc plugin or something? Get my question? 20:28:01 By a program that talks XML-RPC. E.g., in Edwin, one simply marks a region and types `M-x lisppaste-region RET'. 20:28:35 (The implementation is at .) 20:28:37 -rudybot:#scheme- http://tinyurl.com/yl49x4t 20:28:41 Riastradh: Edwin - that's MIT Scheme, yes? 20:28:44 Yes. 20:29:17 Anything for DrScheme or good old fashioned emacs? 20:29:23 Probably. 20:29:31 If not, it's trivial to implement. 20:29:33 Same url? 20:29:41 Hmm? 20:30:34 Riastradh: Well, that's true. Many,many moons ago I did interoperability testing on the very first python and java, etc. XML-RPC implementations. 20:31:48 Riastradh: and Cheery: anyway, sorry to interupt 20:34:10 I sent an email off to the PLT list, but just in case there's any expertise currently on the channel, I can't seem to get PLT's test-engine/scheme-tests module to work with PLT's typed-scheme. Just a simple (check-expect ...) and a (test) gives me a good 5-6 lines of macrology errors. Any enlightenment? 20:39:52 *arcfide* grumbles about defmacro converts. 20:40:31 .oO(And half-converts, at that!) 20:44:08 Summermute pasted "unit checking typed-scheme" at http://paste.lisp.org/display/89266 20:44:10 frankmcauley__ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has joined #scheme 20:44:46 here's the short code that blows up 20:56:46 -!- Ppjet6 is now known as Pepe_ 21:00:03 -!- frankmcauley__ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has quit [] 21:06:23 Summermute: There is a lisppaste client for emacs. 21:09:10 *offby1* really needs to install that 21:24:50 kilimanjaro [n=kilimanj@cpe-173-172-99-25.austin.res.rr.com] has joined #scheme 21:26:34 mblondin [n=michael@bas5-montreal19-1279355358.dsl.bell.ca] has joined #scheme 21:26:50 -!- mblondin [n=michael@bas5-montreal19-1279355358.dsl.bell.ca] has left #scheme 21:34:23 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 110 (Connection timed out)] 21:46:42 -!- chturne [n=cht@host86-128-227-60.range86-128.btcentralplus.com] has quit ["leaving"] 22:06:39 -!- Cheery [n=cheery@a88-113-50-158.elisa-laajakaista.fi] has quit ["Lost terminal"] 22:16:57 -!- Summermute [n=scott@76.114.212.247] has quit [Read error: 145 (Connection timed out)] 22:19:56 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 22:28:01 schmir` [n=schmir@p54A93CC8.dip0.t-ipconnect.de] has joined #scheme 22:30:21 Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has joined #scheme 22:37:03 Summermute [n=scott@c-76-114-212-247.hsd1.dc.comcast.net] has joined #scheme 22:39:31 -!- gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has quit [Read error: 104 (Connection reset by peer)] 22:45:17 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 22:46:07 gpaci [n=gpaci@gpaci-02.dsllan.toad.net] has joined #scheme 22:48:12 -!- Foofie [n=innocent@86.80-203-225.nextgentel.com] has quit ["Leaving"] 22:51:25 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 22:52:29 attila_lendvai [n=ati@catv-89-134-66-153.catv.broadband.hu] has joined #scheme 22:54:22 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Ex-Chat"] 22:59:39 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 23:04:13 -!- choas [n=lars@p5B0DEAFC.dip.t-dialin.net] has quit ["leaving"] 23:05:30 -!- schmir` [n=schmir@p54A93CC8.dip0.t-ipconnect.de] has quit [Remote closed the connection] 23:07:10 -!- Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has left #scheme 23:08:36 DaveX [n=DaveX@sns55-88.york.ac.uk] has joined #scheme 23:09:44 -!- pavelludiq [n=quassel@87.246.58.146] has quit [Read error: 104 (Connection reset by peer)] 23:23:23 -!- DaveX [n=DaveX@sns55-88.york.ac.uk] has left #scheme 23:25:32 tkwg [n=user@81.3.214.196] has joined #scheme 23:25:58 -!- tkwg [n=user@81.3.214.196] has quit [Remote closed the connection] 23:26:45 tkwg [n=user@081-003-214-196.yesss.at] has joined #scheme 23:27:10 Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has joined #scheme 23:29:52 frankmcauley_ [n=frankmca@65.185.40.11] has joined #scheme 23:30:47 -!- tkwg [n=user@081-003-214-196.yesss.at] has quit [Remote closed the connection] 23:32:04 -!- attila_lendvai [n=ati@catv-89-134-66-153.catv.broadband.hu] has quit [Read error: 60 (Operation timed out)] 23:32:32 -!- frankmcauley_ [n=frankmca@65.185.40.11] has quit [Read error: 131 (Connection reset by peer)] 23:32:53 frankmcauley___ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has joined #scheme 23:35:09 *r2q2* needs to too 23:35:43 DaveX [n=DaveX@sns55-88.york.ac.uk] has joined #scheme 23:35:54 -!- DaveX [n=DaveX@sns55-88.york.ac.uk] has left #scheme 23:37:04 specbot: r5rs apply 23:37:05 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-9.html#%_idx_556 23:37:07 -rudybot:#scheme- http://tinyurl.com/2kjgxd 23:37:11 specbot: r6rs apply 23:37:13 specbot: help 23:37:14 To use the specbot bot, say something like "database term", where database is one of ("clhs", "r5rs", "cocoa", "elisp", "clim", "ieee754", "ppc", "posix", "man", "cltl2", "cltl2-section") and term is the desired lookup. The available databases are: 23:37:14 "clhs", The Common Lisp HyperSpec; "r5rs", The Revised 5th Ed. Report on the Algorithmic Language Scheme; "cocoa", Classes in the Cocoa Foundation and Application kits; "elisp", GNU Emacs Lisp Reference Manual 23:37:14 "clim", Common Lisp Interface Manager II Specification; "ieee754", Section numbers of IEEE 754; "ppc", PowerPC assembly mnemonics; "posix", Single UNIX Specification 23:37:40 -!- frankmcauley___ [n=frankmca@cpe-65-185-40-11.columbus.res.rr.com] has quit [Client Quit] 23:38:10 Is there a simple command line lisppaste tool? If not, I'm going to write one. 23:38:21 For those of us who don't use Emacs as our editor. 23:38:55 Even for those, who do that would certainly be useful. 23:39:02 arcfide: I don't think so. 23:39:22 (excuse non-English punctuation) 23:39:33 arcfide: I found this http://paste.lisp.org/display/28224 23:39:53 Oh, yeah, right, no way. 23:39:53 :-) 23:40:03 Thanks though! 23:40:13 arcfide: Although emacs is the one true editor. 23:40:23 arcfide: Praise gnu. 23:40:51 annodomini [n=lambda@wikipedia/lambda] has joined #scheme 23:49:38 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Read error: 54 (Connection reset by peer)] 23:50:01 jonrafkind [n=jon@98.202.86.149] has joined #scheme 23:54:43 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 23:57:09 -!- FunkyDrummer [n=RageOfTh@users-38-116.vinet.ba] has quit [Read error: 110 (Connection timed out)] 23:58:44 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 23:59:01 -!- rstandy` [n=rastandy@net-93-144-239-57.t2.dsl.vodafone.it] has quit [Read error: 110 (Connection timed out)]