00:00:14 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 00:01:15 -!- Paraselene_ [n=Not@79-67-214-225.dynamic.dsl.as9105.com] has quit [Nick collision from services.] 00:01:32 Paraselene_ [n=Not@79-67-214-225.dynamic.dsl.as9105.com] has joined #scheme 00:02:18 Just verifying, R5RS does not specify the characters allowable in symbol names? 00:03:20 -!- joast [n=rick@76.178.184.231] has quit ["Leaving."] 00:05:21 reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 00:07:49 Any character is allowed in a symbol's name. However, only a few characters, specified in the R5RS, are permitted in the lexical syntax for literal symbols. 00:08:34 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 00:08:50 repror___ [n=reprore@i118-19-38-17.s04.a014.ap.plala.or.jp] has joined #scheme 00:09:45 So the only requirement is that the first character couldn't be the beginning of a number? 00:11:58 If you escape with the | character, even that restriction doesn't exist. For example try evaluating '|3| 00:12:18 repr_____ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 00:12:32 -!- reprore [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 54 (Connection reset by peer)] 00:13:43 rudybot: eval '||| 00:13:44 sladegen: your sandbox is ready 00:13:44 sladegen: error: eval:1:3: read: unbalanced `|' 00:14:29 rudybot: eval '|'|| 00:14:30 sladegen: error: eval:1:4: read: unbalanced `|' 00:14:57 (string->symbol "|") ==> |\|| 00:15:05 `|/ 00:15:20 -!- cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has quit ["If technology is distinguishable from magic, it is insufficiently advanced."] 00:15:29 rudybot: eval '|\|| 00:15:29 sladegen: error: eval:1:4: read: unbalanced `|' 00:15:46 rudybot: anywayz 00:15:47 sladegen: eh? Try "rudybot: help". 00:16:11 rudybot: eval (string->symbol "|") 00:16:11 Quetzalcoatl_: your sandbox is ready 00:16:11 Quetzalcoatl_: ; Value: \| 00:17:04 Heh, I think I may start with a slightly-less-than-r5rs-compliant symbol name character set then. :/ I'll try the escaping later... 00:18:43 luz [n=davids@189.122.121.232] has joined #scheme 00:19:14 copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 00:21:32 arcfide: I try to do that as well (using unmodified upstream), but it's not always possible due to case-sensitivity, for example 00:23:47 arcfide: also note that what's in (spells testing parameters) is inherently implementation-specific (originally based on Riastradh's s48-test.scm) 00:25:48 QinGW [n=wangqing@203.86.81.2] has joined #scheme 00:26:58 -!- underspecified_ [n=eric@softbank220043052007.bbtec.net] has quit [] 00:32:02 -!- repr_____ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 113 (No route to host)] 00:34:26 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 60 (Operation timed out)] 00:34:56 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 00:36:22 -!- repror___ [n=reprore@i118-19-38-17.s04.a014.ap.plala.or.jp] has quit [Read error: 110 (Connection timed out)] 00:36:47 dudleyf [n=dudleyf@ip70-178-212-238.ks.ks.cox.net] has joined #scheme 00:46:46 reprore [n=reprore@www.trn.dis.titech.ac.jp] has joined #scheme 00:50:11 -!- Axioplase_ is now known as Axioplase 00:54:06 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 00:55:14 -!- reprore [n=reprore@www.trn.dis.titech.ac.jp] has quit [Remote closed the connection] 00:56:33 -!- elderK [n=elderK@222-152-92-36.jetstream.xtra.co.nz] has quit [] 00:57:38 reprore [n=reprore@fw.trn.dis.titech.ac.jp] has joined #scheme 00:58:54 attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has joined #scheme 01:02:26 underspecified [n=underspe@leopard175.naist.jp] has joined #scheme 01:06:31 -!- mrsolo [n=mrsolo@nat/yahoo/x-dcf2329c87f44816] has quit [Read error: 60 (Operation timed out)] 01:24:34 Does this look like a correct parse of the input shown, or should I change the grammar to now break SExps into a head and tail as is shown? http://scheme.pastebin.com/m7a48b41a 01:24:38 -!- saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has quit ["This computer has gone to sleep"] 01:26:17 now=not 01:26:44 *bombshelter13_* coughs. I mean, (define now not). 01:28:20 You mean (set! now 'not) 01:28:21 ;) 01:30:45 strange, '-' isn't getting parsed right... 01:31:02 elderK [n=elderK@222-152-95-210.jetstream.xtra.co.nz] has joined #scheme 01:33:23 bombshelter13_: Why don't you work directly on sexps rather than producing a very difficult to use parse tree? 01:34:28 soupdragon: hm, that mostly is just building the sexp up as a tree, beyond identifying the types of the tokens...? 01:34:34 joast [n=rick@76.178.184.231] has joined #scheme 01:35:08 *bombshelter13_* also notes that the implementation language lacks sexps. 01:35:37 then that is what is the first thing you should implement :p 01:37:31 *bombshelter13_* isn't entirely sure how operating on the tree, whose structure is basically sexp-like, is going to be much harder? 01:39:45 -!- attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has quit [Read error: 113 (No route to host)] 01:40:28 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 01:41:17 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 01:41:44 -!- elderK [n=elderK@222-152-95-210.jetstream.xtra.co.nz] has left #scheme 01:47:21 I mean, if I take out the head/tail thing on sexps, it comes out like this, which basically seems to reflect an identical structure to the sexps, just with typing added... http://scheme.pastebin.com/m6c026d2d 01:47:51 anyhow... i gotta go for now, later all 01:47:55 -!- bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has quit [Client Quit] 01:49:16 underspecified_ [n=eric@walnut.naist.jp] has joined #scheme 01:50:32 -!- underspecified_ [n=eric@walnut.naist.jp] has quit [Client Quit] 01:53:00 -!- dudleyf [n=dudleyf@ip70-178-212-238.ks.ks.cox.net] has quit [] 01:56:56 -!- RageOfThou [n=RageOfTh@SE400.PPPoE-83.sa.bih.net.ba] has quit [Read error: 110 (Connection timed out)] 02:00:28 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 02:04:55 -!- reprore [n=reprore@fw.trn.dis.titech.ac.jp] has quit [Remote closed the connection] 02:24:09 -!- QinGW [n=wangqing@203.86.81.2] has quit ["Leaving."] 02:24:50 QinGW [n=wangqing@203.86.81.2] has joined #scheme 02:29:25 -!- tobetchi [n=tobetchi@p296b3d.sagant01.ap.so-net.ne.jp] has quit [Remote closed the connection] 02:45:48 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 60 (Operation timed out)] 02:49:28 eno [n=eno@nslu2-linux/eno] has joined #scheme 02:52:36 Elly: If you want provable correctness, you don't want an implementation written in C! 02:52:55 foof: okay, but unrelated to my question 02:53:01 tjafk2 [n=timj@e176201096.adsl.alicedsl.de] has joined #scheme 02:53:26 *offby1* suspects any program's proof of correctness will be harder to understand than the program' itself 02:56:10 Elly ,what was your question ? 02:56:31 offby1: If you really want to be picky, then every program is correct. 02:56:42 heh 02:56:47 "it does what it does, maan" 02:56:51 go with the flow 02:56:58 every child is beautiful! 02:57:35 offby1: Something I say in class when I introduce types -- there is no type system in the world that will find a problem in: (define (sub1 x) (+ x 1)) 02:57:43 (More or less.) 02:57:51 sure 02:59:04 (The real fun is, BTW, to extract programs from proofs, assuming a logic that is constructive enough.) 02:59:27 my question was "Is there a version of R5RS sufficiently formalized to enable proofs of correctness for programs" 02:59:31 the answer appears to be "no" 02:59:52 There's an implementation of the denotational semantics. 03:00:02 Elly: by version you mean implementation? Not the semantics defined in the actual document? 03:00:48 I mean an actual specification document 03:00:55 well just check the appendix :) 03:01:11 I would like to be able to assert in a machine-verifiable way that my scheme implementation meets the definition of the language 03:01:12 Elly: That's a very hand-wavy question; what kind of formalization is R5RS lacking? 03:01:13 http://schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-10.html#%_sec_7.2 03:01:15 -rudybot:#scheme- http://tinyurl.com/l22dx8 03:01:35 eli: e.g., judgments for how to beta-reduce all the forms 03:01:44 Elly: Writing a verified compiler is very difficult, especially for an untyped language 03:01:58 Elly: Example? 03:02:02 s/un/dynamically / 03:02:14 Elly: I can show you a mechanical proof of CPS conversion if you like (for a typed language) 03:03:28 eli: things like: \infer[app]{[y/v]x}{((lambda (v) y) x)} 03:03:50 which specifies that a lambda expression applied to a value reduces to the body of the lambda with the value substituted in for the formal parameter 03:03:54 that only handles unary lambdas, of course 03:05:57 Elly: Are you referring to a specification of a call-by-value, strict language? 03:06:39 in this case, that rule specifically implements call-by-name 03:06:39 Elly, you're implementing a simple lambda calculus -- not R5RS scheme? 03:06:50 soupdragon: that was an example of what a reduction rule might look like 03:07:06 So I have a parameter that I set outside of a sandbox and use inside of a sandbox. Is that not supposed to work? 03:07:16 eli: call-by-value would also have judgements denoting what a value is, and the application rule would only work when all the substitutions are actually values 03:07:29 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 60 (Operation timed out)] 03:07:39 If not, I could just eval with '(paramaterize) inside the expression... Is there a right way to deal with this with sandboxes? 03:07:49 I thought you wanted to implement R5RS and provide proofs -- now I'm not sure 03:07:57 ...parameterize 03:08:18 Elly: That kind of stuff is written in the document, although often with an awkward language since it has very old roots; and in addition, it is all there in the semantics section. 03:08:21 I do, in fact, want to implement R5RS and provide a proof that my implementation is correct 03:08:32 okay 03:08:48 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 03:09:03 -!- tjafk1 [n=timj@e176206147.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 03:09:20 Elly: Such a proof can only be as formal as the specification. (For any spec.) 03:09:34 eli: right, and I believe that the current spec is insufficiently formal 03:09:53 synx: call-in-sandbox-context 03:10:19 Elly: The level of formality is, unsurprisingly, a subjective quality. 03:10:31 eli: indeed 03:10:45 oh huh, thanks eli 03:11:34 synx: The sandbox works in a completely (almost completely) isolated environment, so obviously things like parameter settings would not affect it -- just like parameter settings inside the box doesn't affect anything outside of it. 03:11:43 jonrafkind [n=jon@98.202.86.149] has joined #scheme 03:12:35 I could understand inside not affecting outside, I guess vice versa just follows. 03:13:26 synx: Exactly, since that would imply having the same parameter value. Thing about drscheme setting some parameter for its own use -- it shouldn't affect how your program runs. 03:14:50 Good point. 03:19:41 rotty: I'm using a case-insensitive 'include' function to deal with Riastradh's case sensitivity, so I've managed to get parscheme, foof-loop, and soon to be schemantic-web working without needing to edit any source. I intend to do the same with trc-testing, but yes, obvisouly it will require some implementation specific code. Right now I've been going through and adjusting some of the SRFI libraries to make use of Chez built-ins 03:19:41 other libraries on top of it. 03:19:58 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 03:27:18 OK so it didn't work. I need to figure out what I'm doing wrong. 03:27:29 https://synx.us.to/code/scheme/convoluted-sandbox.ss 03:27:39 ...and https://synx.us.to/code/scheme/neo.ss <.< 03:28:00 -!- tltstc [n=tltstc@vpn-scm.mscsoftware.com] has quit [Read error: 60 (Operation timed out)] 03:30:57 QinGW1 [n=wangqing@203.86.81.2] has joined #scheme 03:31:55 (synx: is it *that* hard for you to setup an http server, or use one of the pasters, or something?) 03:32:29 I did setup an http server ._. 03:32:33 oh you mean the SSL thing 03:32:40 Yes. 03:32:54 I could paste it... just felt it was less likely of a mispaste if you saw the actual file I'm working with. 03:32:55 -!- QinGW [n=wangqing@203.86.81.2] has quit [Read error: 60 (Operation timed out)] 03:34:23 synx: That wouldn't work of course -- stuff inside the `call-in-sandbox-context' is evaluated inside the sandbox, so trying to call the sandbox evaluator from there wouldn't work, since you basically have the sandbox call itself. The only way to get that is to construct a `parameterize' expression, or just use `call-in-sandbox-context' to change a parameter (rather than try to use `parameterize'). 03:38:33 -!- yosafbridge [n=yosafbri@ludios.net] has quit ["Coyote finally caught me"] 03:38:45 yosafbridge [n=yosafbri@ludios.net] has joined #scheme 03:38:55 tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has joined #scheme 03:40:12 eli: ? I'm pretty sure I don't call the evaluator within the call-in-sandbox-context thing. Do you mean how I apply the procedure returned by the last time I called the evaluator? 03:40:27 It just doesn't hold the new parameterization, outputting 23 instead of 42 03:43:38 *eli* sighs 03:43:57 Now I have to dredge myself again through the sea of warnings. 03:44:51 synx: You're running `morpheus' which is bound to a function -- the fact that the function was created in the sandbox is no longer relevant. 03:47:37 So calling the function outside of a sandbox context is... outside. But if I change the parameter outside or inside, morpheus still returns 23. 03:50:00 -!- luz [n=davids@189.122.121.232] has quit ["Client exiting"] 03:50:20 synx: I don't know -- all I remember is that you made a mess of things. (Sorry, but I'm not going to go through the dialogs a third time.) 03:51:41 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 03:53:04 I'm trying to use procedures from a module that use a parameter, inside of procedures returned from a sandbox. Can't seem to set that parameter no matter what I do though. 03:54:23 The procedures the sandbox returns are kept as values in a hash table, so I don't know how I'd do that with using the evaluator every time... 04:24:21 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 04:40:25 hmm 04:40:27 #;52> (fmt #f (num 1)) 04:40:27 "1" 04:40:27 #;53> (fmt #f (num 0)) 04:40:29 "0.0" 04:43:48 dfeuer [n=dfeuer@wikimedia/Dfeuer] has joined #scheme 04:44:03 [bjoern] [n=bjoern@dslb-094-222-129-035.pools.arcor-ip.net] has joined #scheme 04:44:27 <[bjoern]> Hi, how do I destructively remove the first item of a list? 04:45:28 [bjoern]: you need to do SET-CAR! and SET-CDR! on the first cons cell 04:45:50 it's probably a lot easier if you can to just go (SET! X (CDR X)) (assuming X is the list) 04:45:59 (but that doesn't actually modify the list.. as you probably know) 04:46:58 (a b c) setting the car gives (b b c) setting the cdr gives (b c) 04:47:39 <[bjoern]> ah so I replace the car with the cadr and the cdr with the cddr? 04:47:41 [bjoern]: How do you intend to use this destructive operation (in what context)? 04:47:57 <[bjoern]> It's just homework 04:49:35 <[bjoern]> that seems to work 04:58:32 hilarity ensues 04:58:35 #;84> (fmt #f (fmt-join (lambda (x) (pad-char #\0 (pad/left 2 (num x 16)))) (list 0 #x16 #x3e (random #x7f) (random #xff) (random #xff)) ":")) 04:58:38 "0.0:16:3E:15:E4:CE" 04:59:11 zbigniew: gimme a sec 04:59:43 take your time, i am just playing around 05:02:00 -!- [bjoern] [n=bjoern@dslb-094-222-129-035.pools.arcor-ip.net] has left #scheme 05:02:30 *zbigniew* wishes chicken's sprintf supported a simple pad option for numbers; I rarely need anything else 05:04:29 zbigniew: your nickname is endlessly entertaining to pronounce 05:09:20 zbigniew: try the latest trunk 05:13:17 ikaros [n=ikaros@f050239097.adsl.alicedsl.de] has joined #scheme 05:13:55 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 05:15:40 Elly: thank you 05:15:44 foof: thank YOU 05:16:11 (I will report back in about 24 hours on that) 05:20:21 foof: does chibi have a public repo yet? 05:21:00 Elly: there's the hg repo, right? 05:21:06 http://code.google.com/p/chibi-scheme/ 05:21:31 ooh, there we go 05:23:08 hg clone https://chibi-scheme.googlecode.com/hg/ chibi-scheme 05:24:03 alright, w00t :) 05:25:17 latest version reports line numbers for all read and syntax errors (still just function names for runtime errors) and makes all literals immutable 05:25:54 nice :) 05:26:01 any progress on FFI? 05:27:03 not yet, actually working primarily on things that will help w/ plan9, since I'm being paid money to do so, and FFI doesn't mesh well w/ the plan9 philosophy 05:27:19 so a lot of otherwise useful things won't be added until august 05:27:20 foof: are you running it in 9vx? 05:27:39 duncanm: Yeah, I've also played w/ qemu but it runs too slow. 05:27:42 well, P9 makes ffi a lot less necessary as long as you can open, close, read, and write :) 05:28:15 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [] 05:28:23 Debugging is crucial though - I hate impls that don't give line # info for bugs. 05:28:33 oh 05:28:41 i wish s48 had line numbers ;-( 05:32:06 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 05:33:53 -!- Quetzalcoatl_ [n=godless@cpe-71-72-235-91.cinci.res.rr.com] has quit [Read error: 110 (Connection timed out)] 05:34:08 does p9 support dynamic loading? 05:35:30 I should get a working P9 install on this laptop. I wonder if grub can load it. 05:37:12 well, I know that the graphics card only supports VESA modes, which is one of the saddest things ever on 1280x800 :P 05:37:25 haha, I implemented (add/mul/div bignum fixnum), which was the minimal needed for read/write, and of the three mul/div worked the first time with no bugs, whereas add was buggy 05:37:39 -!- X-Scale is now known as TR2N 05:39:57 leppie|work [i=52d2e3c8@gateway/web/freenode/x-fec274be3908cf78] has joined #scheme 05:40:17 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 05:43:45 Elly: Why doesn't FFI mesh well with Plan9? 05:44:11 I don't know 05:44:16 I would think you should ask foof 05:44:51 Oh, you're right, it was foof who said that. 05:45:00 *pbusser2* is just pretending to be awake. 05:45:11 foof: Why doesn't FFI mesh well with Plan9? 05:56:16 Well, it's not that it's contrary to Plan9 or would be difficult, it's more that the spirit of plan9 is small programs chained together rather one large program achieving modularity through external libraries. 05:57:29 So implementing 9p and a process/pipeline interface would take priority over any sort of FFI. 06:01:30 anyway, gotta go 06:01:33 -!- foof [n=user@dn157-046.naist.jp] has quit ["bbl"] 06:13:04 underspecified_ [n=eric@isa7-dhcp-116-220.naist.jp] has joined #scheme 06:14:14 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 06:19:32 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 06:20:40 -!- etoxam [n=||||||||@84.79.67.254] has quit [Read error: 60 (Operation timed out)] 06:21:06 -!- ikaros [n=ikaros@f050239097.adsl.alicedsl.de] has quit ["Leave the magic to Houdini"] 06:31:54 etoxam [n=||||||||@84.79.67.254] has joined #scheme 06:32:06 copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 06:42:29 blandest [n=blandest@softhouse.is.ew.ro] has joined #scheme 06:51:01 Sveklo [n=user@a88-115-8-123.elisa-laajakaista.fi] has joined #scheme 06:57:42 athos [n=philipp@92.250.250.68] has joined #scheme 07:01:04 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 07:03:51 cdwillis [n=dwm@c-98-223-195-59.hsd1.in.comcast.net] has joined #scheme 07:16:02 npe [n=npe@195.207.5.2] has joined #scheme 07:16:57 -!- cdwillis [n=dwm@c-98-223-195-59.hsd1.in.comcast.net] has left #scheme 07:20:18 mmc [n=mima@esprx02x.nokia.com] has joined #scheme 07:23:43 ejs [n=eugen@77.222.151.102] has joined #scheme 07:31:40 Judofyr [n=Judofyr@77.40.165.3] has joined #scheme 07:33:07 ejs1 [n=eugen@nat.ironport.com] has joined #scheme 07:34:52 -!- arcfide [n=arcfide@ppp-70-246-150-121.dsl.stlsmo.swbell.net] has left #scheme 07:38:23 foof [n=user@naist-wavenet125-070.naist.jp] has joined #scheme 07:40:58 -!- ejs [n=eugen@77.222.151.102] has quit [Read error: 110 (Connection timed out)] 07:52:17 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 07:53:33 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 07:55:11 levy [n=levy@apn-89-223-170-160.vodafone.hu] has joined #scheme 07:56:29 rstandy [n=rastandy@net-93-144-121-202.t2.dsl.vodafone.it] has joined #scheme 08:08:32 attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has joined #scheme 08:15:07 BW^- [i=Miranda@151.80.66.16] has joined #scheme 08:15:20 anyone here used the Bigloo web library HOP? 08:21:07 BW^-: the mailing list is usually a good place to ask questions. 08:21:24 -!- underspecified_ [n=eric@isa7-dhcp-116-220.naist.jp] has quit [] 08:21:26 thehcdreamer [n=thehcdre@94.198.78.26] has joined #scheme 08:21:44 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-fec274be3908cf78] has quit ["Page closed"] 08:22:13 hkBst: super 08:22:16 leppie|work [i=52d2e3c8@gateway/web/freenode/x-b078973a0c444f83] has joined #scheme 08:22:20 hkBst: i learned loads about Hop since yesterdya 08:22:22 yesterday 08:22:24 it's super-powerful 08:24:58 -!- foof [n=user@naist-wavenet125-070.naist.jp] has quit [Read error: 60 (Operation timed out)] 08:26:25 BW^-: nice, I stripped down the sudoku example. 08:26:52 pierpa [n=user@host202-182-static.80-94-b.business.telecomitalia.it] has joined #scheme 08:26:55 hkBst: if i get it right, "services" in HOP are inlined RPC calls. 08:26:56 correct? 08:27:01 had somed fun getting hss to work 08:30:21 BW^-: well, only in so far as loading a website is a RPC I think. 08:31:08 hkBst: i have the impression it's more. 08:31:22 it's also invoke a lambda on the server from the client, and pass and get multiple Scheme values or HTML for arguments 08:31:26 -!- blandest [n=blandest@softhouse.is.ew.ro] has quit [Read error: 60 (Operation timed out)] 08:32:02 i like how "dirty" (as opposed to "not dirty", and "too dirty", respectively), that Scheme2JS is 08:32:18 as far as i see, it's a very well-made abstraction atop JS 08:32:18 what do you mean by that? 08:32:27 and integrates with regular JS code very good 08:32:57 Does any web framework in Scheme support components (like Seaside)? 08:33:00 by dirty, i mean that S2JS is pretty much R5RS compliant, with some quirks. for instance, it has dot notation to access JS properties 08:33:13 BW^-: ah ok 08:33:31 also generally it does not check if variables you address exist, though you can configure it to do that 08:33:36 (set! nonexistant-var 123) 08:37:06 ecraven: what are components? 08:38:48 for me, the ability to embed "pieces" of html+logic into others. i want a navbar-component and a shopping-cart component, and others, that i can mix and match without one knowing much about the other 08:39:03 so no "react to a GET to this page"-style programming 08:39:13 look at www.seaside.st for examples in Smalltalk 08:52:47 -!- jao [n=jao@94.Red-88-6-161.staticIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 08:54:05 borism_ [n=boris@195-50-205-98-dsl.krw.estpak.ee] has joined #scheme 08:57:53 -!- attila_lendvai [n=ati@catv-89-132-189-132.catv.broadband.hu] has quit ["..."] 08:59:51 -!- borism [n=boris@195-50-199-95-dsl.krw.estpak.ee] has quit [Read error: 145 (Connection timed out)] 09:04:03 rdd [n=user@c83-250-157-93.bredband.comhem.se] has joined #scheme 09:24:17 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 09:24:29 blandest [n=blandest@softhouse.is.ew.ro] has joined #scheme 09:33:06 -!- rdd [n=user@c83-250-157-93.bredband.comhem.se] has quit [Remote closed the connection] 09:38:12 ecraven: like (define somehtml ( ...)) ? 09:40:21 dzhus [n=sphinx@95-24-164-119.broadband.corbina.ru] has joined #scheme 09:53:34 -!- nasloc__ [i=tim@kalug.ks.edu.tw] has quit [Read error: 104 (Connection reset by peer)] 09:53:35 timchen119 [i=tim@kalug.ks.edu.tw] has joined #scheme 10:00:18 jao [n=jao@74.Red-80-24-4.staticIP.rima-tde.net] has joined #scheme 10:01:00 -!- saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit ["This computer has gone to sleep"] 10:01:30 BW^-4376 [n=Miranda@151.80.207.191] has joined #scheme 10:01:47 what's the best way to generate an Excel document with non-richtext contents? 10:02:20 spit out csv? :P 10:02:40 no, i want it to be ms excel format. 10:02:44 also, i want to know how to do the same with openoffice document 10:03:05 let's see, is there any more format one should support? lotus?? 10:03:48 I don't know, sounds like a nightmare to me :) 10:04:08 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 54 (Connection reset by peer)] 10:05:17 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 10:06:15 BW^-4376: CSV will work, a HTML will work too 10:06:37 else you will need to go for specific Excel XML 10:06:46 the XLWT library seems promising 10:06:58 ok 10:07:02 dont know that 10:07:51 -!- BW^- [i=Miranda@151.80.66.16] has quit [Read error: 110 (Connection timed out)] 10:08:18 -!- QinGW1 [n=wangqing@203.86.81.2] has quit [Read error: 104 (Connection reset by peer)] 10:08:56 look at the Listing B @ http://articles.techrepublic.com.com/5100-10878_11-6163451.html 10:14:18 -!- jao [n=jao@74.Red-80-24-4.staticIP.rima-tde.net] has quit [Remote closed the connection] 10:16:12 jao [n=jao@74.Red-80-24-4.staticIP.rima-tde.net] has joined #scheme 10:19:59 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Read error: 101 (Network is unreachable)] 10:23:41 Edico [n=Edico@unaffiliated/edico] has joined #scheme 10:25:35 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has left #scheme 10:26:32 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 10:29:51 justjohnny [n=justjohn@rrcs-24-103-197-179.nys.biz.rr.com] has joined #scheme 10:44:50 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 60 (Operation timed out)] 10:46:33 foof [n=user@dn157-046.naist.jp] has joined #scheme 10:47:15 jeremiah [n=jeremiah@imaxeson.net] has joined #scheme 10:50:10 lolcow [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 10:51:41 -!- lolcow [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 10:54:07 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 10:55:44 -!- BW^-4376 [n=Miranda@151.80.207.191] has quit [Read error: 60 (Operation timed out)] 11:01:58 cracki [n=cracki@45-065.eduroam.RWTH-Aachen.DE] has joined #scheme 11:02:17 blandest1 [n=blandest@softhouse.is.ew.ro] has joined #scheme 11:03:19 -!- blandest [n=blandest@softhouse.is.ew.ro] has quit [Read error: 104 (Connection reset by peer)] 11:03:53 Mr-Cat [n=Miranda@hermes.lanit.ru] has joined #scheme 11:05:44 -!- jao [n=jao@74.Red-80-24-4.staticIP.rima-tde.net] has quit [Remote closed the connection] 11:10:13 -!- levy [n=levy@apn-89-223-170-160.vodafone.hu] has quit [Read error: 104 (Connection reset by peer)] 11:28:57 -!- stepnem [n=stepnem@topol.nat.praha12.net] has quit [Read error: 104 (Connection reset by peer)] 11:30:30 MrFahrenheit [n=RageOfTh@SE400.PPPoE-3087.sa.bih.net.ba] has joined #scheme 11:31:18 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Remote closed the connection] 11:39:24 dsmith [n=dsmith@cpe-173-88-196-177.neo.res.rr.com] has joined #scheme 11:41:06 -!- ecraven [n=nex@140.78.42.103] has quit ["brb"] 11:44:02 Fufie [n=poff@Gatekeeper.vizrt.com] has joined #scheme 11:44:40 luz [n=davids@139.82.89.70] has joined #scheme 11:45:38 ecraven [n=nex@140.78.42.103] has joined #scheme 11:45:57 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 11:48:30 stepnem [n=stepnem@topol.nat.praha12.net] has joined #scheme 11:50:24 -!- Judofyr [n=Judofyr@77.40.165.3] has quit [Remote closed the connection] 11:51:00 Judofyr [n=Judofyr@77.40.165.3] has joined #scheme 11:51:06 -!- rstandy [n=rastandy@net-93-144-121-202.t2.dsl.vodafone.it] has quit [Read error: 110 (Connection timed out)] 11:54:55 blandest [n=blandest@softhouse.is.ew.ro] has joined #scheme 11:55:49 -!- blandest1 [n=blandest@softhouse.is.ew.ro] has quit [Read error: 110 (Connection timed out)] 11:56:21 levy [n=levy@apn-94-44-21-234.vodafone.hu] has joined #scheme 11:56:35 -!- Fufie [n=poff@Gatekeeper.vizrt.com] has quit ["Leaving"] 12:01:10 underspecified_ [n=eric@walnut.naist.jp] has joined #scheme 12:02:44 -!- underspecified_ [n=eric@walnut.naist.jp] has quit [Client Quit] 12:07:25 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 12:09:15 BW^- [n=Miranda@151.82.12.124] has joined #scheme 12:12:48 r5rs do 12:12:48 http://www.schemers.org/Documents/Standards/R5RS/HTML/r5rs-Z-H-7.html#%_idx_138 12:12:50 -rudybot:#scheme- http://tinyurl.com/qfdonj 12:13:10 jewel_ [n=jewel@dsl-247-203-169.telkomadsl.co.za] has joined #scheme 12:16:56 -!- tonyg [n=tonyg@host226.lshift.net] has quit ["Leaving"] 12:21:30 I imagine this is highly implementation dependent, but are there any tools to profile Scheme code? I am mostly interested in profiling memory (e.g., number of calls to CONS). 12:25:24 Fufie [n=poff@Gatekeeper.vizrt.com] has joined #scheme 12:26:38 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Read error: 104 (Connection reset by peer)] 12:33:13 annodomini [n=lambda@75.69.96.104] has joined #scheme 12:35:40 blackened` [n=blackene@89.102.28.224] has joined #scheme 12:37:23 -!- jewel_ [n=jewel@dsl-247-203-169.telkomadsl.co.za] has quit [Operation timed out] 12:38:56 jewel_ [n=jewel@dsl-247-203-169.telkomadsl.co.za] has joined #scheme 12:43:00 -!- thehcdreamer [n=thehcdre@94.198.78.26] has quit [] 12:47:12 -!- stepnem [n=stepnem@topol.nat.praha12.net] has quit [Read error: 104 (Connection reset by peer)] 12:49:22 -!- BW^- [n=Miranda@151.82.12.124] has quit [Read error: 110 (Connection timed out)] 12:55:19 -!- dzhus [n=sphinx@95-24-164-119.broadband.corbina.ru] has quit [Remote closed the connection] 12:56:22 rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has joined #scheme 12:57:11 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 12:57:45 exexex [n=chatzill@88.234.187.252] has joined #scheme 12:58:28 -!- jeremiah [n=jeremiah@imaxeson.net] has quit [Excess Flood] 12:58:43 jeremiah [n=jeremiah@imaxeson.net] has joined #scheme 12:58:47 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 13:05:39 rstandy` [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has joined #scheme 13:05:49 -!- rstandy` [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has quit [Remote closed the connection] 13:05:53 -!- rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 13:05:58 rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has joined #scheme 13:07:58 -!- dsmith [n=dsmith@cpe-173-88-196-177.neo.res.rr.com] has quit [Remote closed the connection] 13:12:00 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 13:17:09 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 13:19:53 stepnem [n=stepnem@topol.nat.praha12.net] has joined #scheme 13:23:46 jdijk [i=jdijk@ftth-212-84-159-210.solcon.nl] has joined #scheme 13:23:58 -!- jdijk [i=jdijk@ftth-212-84-159-210.solcon.nl] has quit [Client Quit] 13:27:24 davazp [n=user@79.153.148.56] has joined #scheme 13:29:44 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 13:30:39 Nshag [i=user@Mix-Orleans-106-4-242.w193-248.abo.wanadoo.fr] has joined #scheme 13:36:53 -!- stepnem [n=stepnem@topol.nat.praha12.net] has quit [Read error: 104 (Connection reset by peer)] 13:39:00 stepnem [n=stepnem@topol.nat.praha12.net] has joined #scheme 13:40:41 Thren_Laptop [n=cytrick@128.148.216.237] has joined #scheme 13:44:43 -!- Mr-Cat [n=Miranda@hermes.lanit.ru] has quit [Read error: 113 (No route to host)] 13:48:23 moghar [n=user@unaffiliated/moghar] has joined #scheme 13:49:11 annodomini [n=lambda@130.189.179.215] has joined #scheme 13:57:31 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-b078973a0c444f83] has quit ["Page closed"] 14:01:31 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 14:02:06 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 14:05:54 dammit are even structures different in the sandbox... 14:06:28 message-header: expects args of type ; given instance of a different 14:15:51 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 14:16:43 -!- Thren_Laptop [n=cytrick@128.148.216.237] has quit [Read error: 104 (Connection reset by peer)] 14:19:46 Quadrescence: PLT scheme has a statistical profiler built-in 14:20:39 levy_ [n=levy@apn-89-223-242-198.vodafone.hu] has joined #scheme 14:27:12 synx: how about using non-generative records? 14:28:31 synx: Yes, it is very much an isolated sandbox. See `sandbox-namespace-specs' if you want some module instaces to be shared with the sandbox. 14:29:11 offby1: That's a surprising use of "built-in"... 14:30:44 why not just write a profiled-cons procedure? 14:31:07 and import that as cons 14:31:07 hmm, that wont work for other modules though 14:31:16 underspecified_ [n=eric@softbank220043052007.bbtec.net] has joined #scheme 14:32:47 -!- Judofyr [n=Judofyr@77.40.165.3] has quit [Remote closed the connection] 14:33:13 sepult [n=user@xdsl-87-78-25-166.netcologne.de] has joined #scheme 14:34:12 -!- blandest [n=blandest@softhouse.is.ew.ro] has quit ["Leaving."] 14:36:32 eli: Or I could just have a sandbox procedure rebuild the message structure manually. 14:38:25 synx: Sure, feel free to even use this: http://en.wikipedia.org/wiki/Godel_number 14:39:08 -!- levy [n=levy@apn-94-44-21-234.vodafone.hu] has quit [Read error: 110 (Connection timed out)] 14:42:25 thanks eli, never knew the name for that (although the name sounds familiar) 14:42:49 -!- rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has quit [Read error: 104 (Connection reset by peer)] 14:49:01 leppie, synx: in case it wasn't clear, my suggestion wasn't serious. 14:49:53 synx: you can use `prefab' structs, or lists, or whatever, but specifying a module to share should work perfectly fine. 14:53:11 demanotto [n=demanott@KD210230163150.ec-userreverse.dion.ne.jp] has joined #scheme 14:55:02 lolcow [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 14:55:05 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 54 (Connection reset by peer)] 14:55:13 -!- lolcow is now known as leppie 14:55:42 -!- mmc [n=mima@esprx02x.nokia.com] has quit [Remote closed the connection] 14:58:17 athos [n=philipp@92.250.250.68] has joined #scheme 14:59:13 -!- exexex [n=chatzill@88.234.187.252] has quit [Remote closed the connection] 15:00:39 tonyg [n=tonyg@host226.lshift.net] has joined #scheme 15:00:50 rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has joined #scheme 15:05:18 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 15:05:35 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 15:09:21 -!- leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has quit [Read error: 104 (Connection reset by peer)] 15:09:36 -!- justjohnny [n=justjohn@rrcs-24-103-197-179.nys.biz.rr.com] has quit [Read error: 60 (Operation timed out)] 15:09:50 leppie [n=lolcow@dsl-243-9-136.telkomadsl.co.za] has joined #scheme 15:13:00 -!- Fufie [n=poff@Gatekeeper.vizrt.com] has quit ["Leaving"] 15:16:05 -!- cracki [n=cracki@45-065.eduroam.RWTH-Aachen.DE] has quit [Read error: 60 (Operation timed out)] 15:16:33 -!- npe [n=npe@195.207.5.2] has quit [No route to host] 15:16:49 rjack [n=rjack@adsl-ull-221-169.51-151.net24.it] has joined #scheme 15:18:08 -!- synthase [n=synthase@adsl-220-177-247.mob.bellsouth.net] has quit [Read error: 110 (Connection timed out)] 15:20:38 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Read error: 110 (Connection timed out)] 15:22:18 -!- levy_ [n=levy@apn-89-223-242-198.vodafone.hu] has quit [Read error: 110 (Connection timed out)] 15:24:55 jlongster [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has joined #scheme 15:32:00 metasyntax|work [n=taylor@75-149-208-121-Illinois.hfc.comcastbusiness.net] has joined #scheme 15:34:55 -!- sepult [n=user@xdsl-87-78-25-166.netcologne.de] has quit [Read error: 104 (Connection reset by peer)] 15:35:42 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 15:40:50 sepult [n=buggarag@xdsl-87-78-25-166.netcologne.de] has joined #scheme 15:47:37 -!- XTL [i=t6haha00@rhea.oamk.fi] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- tonyg [n=tonyg@host226.lshift.net] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- demanotto [n=demanott@KD210230163150.ec-userreverse.dion.ne.jp] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- annodomini [n=lambda@wikipedia/lambda] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- langmartin [n=user@exeuntcha.tva.gov] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- Archeron [n=wade@69.10.147.2] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- socialite [n=piespy@dynamic-62-87-248-135.ssp.dialog.net.pl] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- rudybot [n=luser@q-static-138-125.avvanta.com] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- elmex [i=elmex@ist.m8geil.de] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- thesnowdog [i=thesnowd@114.73.38.61] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- lisppaste [n=lisppast@common-lisp.net] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- incubot [n=incubot@klutometis.wikitex.org] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- sad0ur [n=sad0ur@psi.cz] has quit [verne.freenode.net irc.freenode.net] 15:47:37 -!- heat [n=dima@8.21.172.227] has quit [verne.freenode.net irc.freenode.net] 15:47:46 reprore_ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 15:48:02 tonyg [n=tonyg@host226.lshift.net] has joined #scheme 15:48:02 demanotto [n=demanott@KD210230163150.ec-userreverse.dion.ne.jp] has joined #scheme 15:48:02 annodomini [n=lambda@wikipedia/lambda] has joined #scheme 15:48:02 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 15:48:02 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 15:48:02 Archeron [n=wade@69.10.147.2] has joined #scheme 15:48:02 socialite [n=piespy@dynamic-62-87-248-135.ssp.dialog.net.pl] has joined #scheme 15:48:02 rudybot [n=luser@q-static-138-125.avvanta.com] has joined #scheme 15:48:02 elmex [i=elmex@ist.m8geil.de] has joined #scheme 15:48:02 thesnowdog [i=thesnowd@114.73.38.61] has joined #scheme 15:48:02 lisppaste [n=lisppast@common-lisp.net] has joined #scheme 15:48:02 incubot [n=incubot@klutometis.wikitex.org] has joined #scheme 15:48:02 sad0ur [n=sad0ur@psi.cz] has joined #scheme 15:48:02 heat [n=dima@8.21.172.227] has joined #scheme 15:48:02 XTL [i=t6haha00@rhea.oamk.fi] has joined #scheme 15:57:29 CSdread_ [n=danielf@209-188-116-183.taosnet.com] has joined #scheme 15:57:53 -!- reprore_ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 15:58:19 reprore_ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 16:05:26 -!- jonrafkind [n=jon@98.202.86.149] has quit [Connection timed out] 16:10:30 puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has joined #scheme 16:14:45 -!- soupdragon [n=f@amcant.demon.co.uk] has quit [Read error: 110 (Connection timed out)] 16:15:23 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 16:15:41 elderK [n=elderK@222-152-95-210.jetstream.xtra.co.nz] has joined #scheme 16:16:14 ikaros [n=ikaros@f051152201.adsl.alicedsl.de] has joined #scheme 16:18:57 -!- mbishop_ is now known as mbishop 16:19:18 oh sweet, when you use sandbox-namespace-specs parameters work again for that module! 16:23:07 cracki [n=cracki@sglty.kawo2.RWTH-Aachen.DE] has joined #scheme 16:23:35 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 16:26:17 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 16:29:59 -!- davazp [n=user@79.153.148.56] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 16:54:05 [bjoern] [n=bjoern@dslb-094-223-191-046.pools.arcor-ip.net] has joined #scheme 16:57:08 -!- ejs1 [n=eugen@nat.ironport.com] has quit [Read error: 60 (Operation timed out)] 17:00:00 -!- luz [n=davids@139.82.89.70] has quit ["Client exiting"] 17:01:42 <[bjoern]> Is it possible to make a function say "reset!" so that after (define aList '(a)) (reset! aList) aList is the empty list? 17:02:04 No 17:06:48 -!- sepult [n=buggarag@xdsl-87-78-25-166.netcologne.de] has quit ["leaving"] 17:12:01 <[bjoern]> A solution then would be to use boxes? 17:13:06 a solution to what problem ? 17:14:08 (define-syntax reset! (syntax-rules () [(_ some-list) (set! some-list '())])) 17:15:14 <[bjoern]> Right, also good. Thanks. 17:19:06 -!- CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has quit [Read error: 104 (Connection reset by peer)] 17:22:44 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 17:29:25 luz [n=davids@189.122.121.232] has joined #scheme 17:32:54 moghar` [n=user@157.185.jawnet.pl] has joined #scheme 17:32:54 -!- moghar [n=user@unaffiliated/moghar] has quit [Read error: 104 (Connection reset by peer)] 17:33:40 sepult [n=user@xdsl-87-78-25-166.netcologne.de] has joined #scheme 17:34:15 [bjoern]: I'd do what jonrafkind suggested - macro. 17:34:38 You can reify the object, but thats more complex than it needs to be. 17:39:54 -!- demanotto [n=demanott@KD210230163150.ec-userreverse.dion.ne.jp] has quit [Read error: 110 (Connection timed out)] 17:45:41 Nichibutsu [n=mightyfi@wikipedia/Track-n-Field] has joined #scheme 17:48:20 -!- reprore_ [n=reprore@ntkngw261071.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 60 (Operation timed out)] 17:52:08 -!- pierpa [n=user@host202-182-static.80-94-b.business.telecomitalia.it] has quit [Read error: 110 (Connection timed out)] 17:58:04 -!- rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has quit [Remote closed the connection] 18:01:06 mrsolo [n=mrsolo@nat/yahoo/x-ed04382c04f68996] has joined #scheme 18:01:28 -!- moghar` is now known as moghar 18:01:34 -!- Nichibutsu [n=mightyfi@wikipedia/Track-n-Field] has quit ["Fledermausland"] 18:08:36 Nichibutsu [n=mightyfi@wikipedia/Track-n-Field] has joined #scheme 18:08:48 BW^- [n=Miranda@151.81.149.118] has joined #scheme 18:10:20 -!- socialite [n=piespy@dynamic-62-87-248-135.ssp.dialog.net.pl] has quit [Read error: 110 (Connection timed out)] 18:11:21 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit [Read error: 110 (Connection timed out)] 18:14:35 rstandy [n=rastandy@net-93-144-181-244.t2.dsl.vodafone.it] has joined #scheme 18:14:38 aartist [n=REENA@ool-44c51b5c.dyn.optonline.net] has joined #scheme 18:32:22 -!- sepult [n=user@xdsl-87-78-25-166.netcologne.de] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 18:40:51 -!- rjack [n=rjack@adsl-ull-221-169.51-151.net24.it] has quit ["leaving"] 18:43:28 heya guys. 18:43:29 lol 18:43:35 I'm having little luck wiht my OO foolin' 18:43:40 little luck, but some fun. 18:43:41 lol 18:44:12 :) 18:44:18 ^_^ 18:44:21 Just had a brainfuck moment, 18:44:22 where I was like 18:44:33 ++<[++..]>- 18:44:41 AHHH what if I inherit functions from two hierarchies?!?!!? 18:44:42 then I realized 18:44:43 I cant 18:44:46 since I dont have multiple inheritance 18:44:49 and, it wouldnt eventuate anyway 18:44:49 lol 18:44:49 :P 18:44:56 hehe 18:44:59 little spear square 18:45:02 I dig it, soupdragon :) 18:56:09 pants1 [n=hkarau@69-196-137-211.dsl.teksavvy.com] has joined #scheme 18:56:19 saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has joined #scheme 18:58:39 pants3 [n=hkarau@75-119-228-133.dsl.teksavvy.com] has joined #scheme 19:02:14 -!- Nichibutsu [n=mightyfi@wikipedia/Track-n-Field] has quit ["Fledermausland"] 19:04:16 -!- pants1 [n=hkarau@69-196-137-211.dsl.teksavvy.com] has quit [Read error: 104 (Connection reset by peer)] 19:07:47 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 19:10:34 hotblack23 [n=jh@p5B0553D9.dip.t-dialin.net] has joined #scheme 19:11:54 -!- pants2 [n=hkarau@206-248-158-116.dsl.teksavvy.com] has quit [Read error: 113 (No route to host)] 19:11:56 hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has joined #scheme 19:13:50 socialite [n=piespy@dynamic-62-87-248-135.ssp.dialog.net.pl] has joined #scheme 19:14:08 hotblack231 [n=jh@p5B054CCC.dip.t-dialin.net] has joined #scheme 19:18:32 ejs [n=eugen@221-100-135-95.pool.ukrtel.net] has joined #scheme 19:20:55 -!- pants3 [n=hkarau@75-119-228-133.dsl.teksavvy.com] has quit [Read error: 110 (Connection timed out)] 19:25:23 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 19:29:01 Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has joined #scheme 19:30:53 lol, guile doesn't have vector-resize? 19:31:25 *writes it* 19:31:41 -!- [bjoern] [n=bjoern@dslb-094-223-191-046.pools.arcor-ip.net] has left #scheme 19:33:01 -!- ejs [n=eugen@221-100-135-95.pool.ukrtel.net] has quit ["This computer has gone to sleep"] 19:34:07 sepult [n=user@xdsl-87-78-25-166.netcologne.de] has joined #scheme 19:34:46 -!- hotblack23 [n=jh@p5B0553D9.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 19:34:48 -!- Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has quit [Remote closed the connection] 19:39:53 -!- Paraselene_ [n=Not@79-67-214-225.dynamic.dsl.as9105.com] has quit [""That's our secret... we kill you with kindness. What's your secret?""] 19:41:35 -!- kilimanjaro is now known as cobfig 19:42:55 -!- hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 19:51:22 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 19:51:48 Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has joined #scheme 19:52:23 hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has joined #scheme 19:58:12 -!- saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has quit ["This computer has gone to sleep"] 20:01:41 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 20:04:24 saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has joined #scheme 20:04:25 Slom [n=a@pD9EB6A13.dip.t-dialin.net] has joined #scheme 20:06:24 does anyone know of a good sexp lint? 20:06:31 google didn't seem to help 20:06:41 i guess i could just fire up one of the schemes and pretty-print 20:07:05 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit ["Leaving"] 20:09:05 -!- BW^- [n=Miranda@151.81.149.118] has quit [Read error: 110 (Connection timed out)] 20:10:10 I use common lisp pretty print.. even for scheme 20:10:18 actually.. chicken scheme has a pretty printer which works now 20:10:43 soupdragon: yeah, chicken's not bad; what's your CL du jour: CMUCL? 20:12:48 um I don't think I have any installed,, usually SBCL 20:12:48 -!- moghar [n=user@unaffiliated/moghar] has quit [Read error: 104 (Connection reset by peer)] 20:15:07 moghar [n=user@157.185.jawnet.pl] has joined #scheme 20:23:24 Fabse [n=mightyfi@wikipedia/Track-n-Field] has joined #scheme 20:27:57 -!- sepult [n=user@xdsl-87-78-25-166.netcologne.de] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 20:28:53 -!- Slom [n=a@pD9EB6A13.dip.t-dialin.net] has quit [] 20:30:02 -!- araujo [n=araujo@gentoo/developer/araujo] has quit ["Leaving"] 20:32:12 -!- mativeDefor is now known as Deformative 20:34:29 Adamant [n=Adamant@c-76-29-188-60.hsd1.ga.comcast.net] has joined #scheme 20:34:52 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 20:35:10 -!- ikaros [n=ikaros@f051152201.adsl.alicedsl.de] has quit ["Leave the magic to Houdini"] 20:42:54 -!- hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 20:45:08 -!- m811 [n=user@106.250.35.213.dyn.estpak.ee] has quit [Read error: 113 (No route to host)] 20:48:26 -!- cobfig is now known as kilimanjaro 20:48:57 hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has joined #scheme 20:53:02 -!- cky [n=cky@cpe-024-211-249-162.nc.res.rr.com] has quit ["leaving"] 21:02:52 mngbd [n=user@081-003-214-196.yesss.at] has joined #scheme 21:05:25 -!- fishey [n=fisheyss@ool-4573344b.dyn.optonline.net] has quit [Read error: 110 (Connection timed out)] 21:05:29 synthase [n=synthase@adsl-220-177-247.mob.bellsouth.net] has joined #scheme 21:06:15 weh ma nigga cobfig? 21:06:19 fishey [n=fisheyss@ool-4573344b.dyn.optonline.net] has joined #scheme 21:07:21 arcfide [n=arcfide@ppp-70-246-150-121.dsl.stlsmo.swbell.net] has joined #scheme 21:09:22 -!- Quadrescence [n=quad@unaffiliated/quadrescence] has left #scheme 21:10:04 m811 [n=user@106.250.35.213.dyn.estpak.ee] has joined #scheme 21:20:07 justjohnny [n=justjohn@rrcs-24-103-197-179.nys.biz.rr.com] has joined #scheme 21:22:26 -!- Fabse [n=mightyfi@wikipedia/Track-n-Field] has quit [] 21:25:27 -!- mngbd [n=user@081-003-214-196.yesss.at] has quit [Read error: 104 (Connection reset by peer)] 21:26:41 Hello everyone. 21:28:08 -!- Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has quit [Remote closed the connection] 21:28:41 -!- Nshag [i=user@Mix-Orleans-106-4-242.w193-248.abo.wanadoo.fr] has quit ["Quitte"] 21:32:05 -!- langmartin [n=user@exeuntcha.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 21:32:24 -!- Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has quit [Remote closed the connection] 21:35:36 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 21:42:54 -!- hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 21:43:56 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 113 (No route to host)] 21:49:20 Fufie [n=innocent@86.80-203-225.nextgentel.com] has joined #scheme 21:50:21 -!- joast [n=rick@76.178.184.231] has quit [Read error: 110 (Connection timed out)] 21:52:11 joast [n=rick@76.178.184.231] has joined #scheme 21:52:11 Deformative [n=joe@c-71-238-44-239.hsd1.mi.comcast.net] has joined #scheme 21:52:16 -!- moghar [n=user@unaffiliated/moghar] has quit [Remote closed the connection] 21:52:58 jao [n=jao@0.Red-83-43-34.dynamicIP.rima-tde.net] has joined #scheme 21:56:53 -!- hotblack231 [n=jh@p5B054CCC.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 22:02:30 Fabse [n=mightyfi@wikipedia/Track-n-Field] has joined #scheme 22:02:54 -!- saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has quit [Read error: 60 (Operation timed out)] 22:04:01 -!- Fufie [n=innocent@86.80-203-225.nextgentel.com] has quit [Read error: 104 (Connection reset by peer)] 22:04:34 -!- puchacz [n=puchacz@87-194-5-99.bethere.co.uk] has quit [Remote closed the connection] 22:08:51 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Leaving"] 22:09:04 -!- justjohnny [n=justjohn@rrcs-24-103-197-179.nys.biz.rr.com] has quit [Connection timed out] 22:11:47 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 22:19:24 hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has joined #scheme 22:23:41 lde [n=user@184-dzi-2.acn.waw.pl] has joined #scheme 22:27:30 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 60 (Operation timed out)] 22:40:37 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 22:41:58 -!- jewel_ [n=jewel@dsl-247-203-169.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 22:47:52 -!- hbbnj [n=irc@s83-191-238-2.cust.tele2.se] has quit [Remote closed the connection] 22:53:45 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 22:58:28 Hrm, so, in code like trc-testing where syntax expands into intermingled expressions and definitions, other than introducing a dummy definition for each expression one wishes to evaluate which is surrounded by other definitions, is there another way to go about this? 22:59:11 nope 22:59:23 leppie: Are you sure? 22:59:47 unless you change the way the macro expands 22:59:57 but that would be more hassle 23:00:03 :-/ 23:00:15 why is the dummy defs a problem? 23:00:22 you cant 'see' them 23:00:23 It's not, it just bothers me. 23:00:59 well maybe a REPL can expose them in some implementation-dependent way 23:01:20 What's a good name for a syntax that does just that? 23:01:44 does what? 23:02:08 (define ...) (begin/def-context ...) (define ...) doesn't cause an error. 23:02:57 begin/definition-context, maybe? 23:03:12 why? :p 23:03:37 Why? 23:03:39 Why what? 23:03:58 why bother? just write (define dummy expr) 23:04:11 It's better than 'run-expression-in-definition-context-without-preventing-future-definitions'. 23:04:58 Because I'd rather make it obvious, but...*shrug*. 23:05:34 :) 23:13:59 dysinger [n=tim@166.129.228.29] has joined #scheme 23:20:40 -!- joast [n=rick@76.178.184.231] has quit [Read error: 110 (Connection timed out)] 23:21:38 su 23:21:43 per! 23:22:29 -!- athos [n=philipp@92.250.250.68] has quit [Remote closed the connection] 23:22:44 joast [n=rick@76.178.184.231] has joined #scheme 23:25:20 Nice cover-up. 23:26:48 hm... 23:26:51 chicken doesnt accept 23:26:59 a synatx rule with (v1 v2) ... 23:27:11 'segment matching not implemented' 23:30:59 RageOfThou [n=RageOfTh@89.146.179.99] has joined #scheme 23:32:14 pants1 [n=hkarau@69-196-178-86.dsl.teksavvy.com] has joined #scheme 23:39:09 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has left #scheme 23:39:43 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 23:42:39 Wohoo! TRC Testing is back in action. :-) 23:45:15 saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has joined #scheme 23:47:35 elderK: :/ that is a shame 23:48:04 elderK: I think it's probably not THAT hard to implement... but mabye the way it's all put together resists it 23:48:05 Aye :( 23:48:47 -!- MrFahrenheit [n=RageOfTh@SE400.PPPoE-3087.sa.bih.net.ba] has quit [Read error: 110 (Connection timed out)] 23:49:00 -!- pants1 [n=hkarau@69-196-178-86.dsl.teksavvy.com] has quit [Read error: 113 (No route to host)] 23:50:36 arcfide: when was it out of action? 23:50:47 arcfide: are you porting it to chez, or something? 23:51:07 pants1 [n=hkarau@69-165-147-245.dsl.teksavvy.com] has joined #scheme 23:52:10 elderK: It most certainly does support (v1 v2) ... 23:52:24 segment matching refers to patterns like (v1 ... v2 ...) 23:52:35 Weird. 23:52:43 do I need to import anything? 23:53:13 and it's better *not* to support those, because they are O(n^k) where k is the number of ...'s 23:53:41 Whereas if you write the loop manually through continuation-passing syntax rules, they're O(n) 23:54:40 elderk: you don't need to import anything, (v1 v2) ... will work, it's something else in your pattern that's bad 23:54:58 cheers 23:57:36 Note that a more sophisticated implementation of syntax-rules could handle some, but not all, segment patterns in linear time, but I know of no such implementation. 23:59:44 If the sub-patterns are unambiguous, it's fairly straightforward to match them in linear time, isn't it?