00:00:38 ... or rather (different-bindings var ...) expands to #t or #f, and some (if-syntax sub-form then-expansion else-expansion) -- which will be "sort of strict" in the first sub-form, and will evaluate^Wexpand to one of the two latter forms. 00:01:05 And all of this is exactly my point re adding stuff to a language instead of just using scheme for the macros too. 00:01:24 ("a language" = "the limited `syntax-rules' language") 00:04:52 And yet. 00:06:30 chandler pasted "Put this in your pipe and smoke it, eli." at http://paste.lisp.org/display/88561 00:06:39 rudybot: init http://paste.lisp.org/display/88561 00:06:40 chandler: error: make-evaluator: expecting a single `module' program; got more than a single expression 00:06:50 rudybot: init http://paste.lisp.org/display/88561/raw 00:06:51 chandler: your "http://paste.lisp.org/display/88561/raw" sandbox is ready 00:06:56 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit ["leaving"] 00:06:59 I somehow doubt whether that will persuade eli of any merit of SYNTAX-RULES, chandler. 00:07:03 rudybot: eval (let ((x 1) (x 2)) x) 00:07:03 chandler: error: program:12:31: syntax-error: bad syntax in: (syntax-error (let ((x 1) (x 2)) x) "Bound identifiers are equal:" x x) 00:07:48 Also, what happens if you write (let ((3 x)) x)? 00:08:08 Nothing good, I'm sure. 00:08:14 rudybot: eval (let ((3 x)) x) 00:08:14 chandler: error: eval:1:7: lambda: not an identifier at: 3 in: (#%plain-lambda (3) (r5rs:body x)) 00:08:30 Curious. 00:08:35 I expected LET-SYNTAX to complain. 00:08:49 chandler: Yes, I'm aware of these hacks, and I know that you like that particular one, and Riastradh is correct that using `3' as an identifier would be my response. 00:09:09 MononcQc [n=parseido@modemcable062.225-20-96.mc.videotron.ca] has joined #scheme 00:09:12 rudybot: eval (let ((3 x) (4 y)) 3) 00:09:12 chandler: error: letrec-syntaxes+values: bad syntax (binding clause not an identifier sequence and expression) at: ((4) (values (make-rename-transformer (quote-syntax temp4)))) in: (letrec-syntaxes+values (((4) (values (make-rename-transformer (quote-syntax temp4))))) () (r5rs:body (let-syntax ((temp (syntax-rules () ((_) (let-syntax ((3 (syntax-rules () ((_) (syntax-error (let ((3 x) (4 y)) 3) "Bound identifiers are equal:" 3 4))... 00:09:23 Riastradh: One identifier is not checked for duplicateness. 00:09:32 OK. 00:09:37 eli: This isn't a "hack" any more than any other program is. 00:09:45 But now I'ma little perplexed! eli, I didn't see MAKE-RENAME-TRANSFORMER in chandler's code... 00:09:49 `I'm a' 00:10:30 Nor did I see LETREC-SYNTAXES+VALUES (and I'm actually rather surprised that such a form exists), or VALUES, or R5RS:BODY, or QUOTE-SYNTAX, &c. 00:10:46 Riastradh: It's the same as with the previous `map' -- it points at a missing check, but it is still possible to do the check. 00:10:50 So the implementation of LET-SYNTAX appears to be leaking just as much as chandler's implementation of LET. 00:10:51 chandler: Sure it's a hack. 00:11:22 chandler: It's a hack in the same sense that CPS macros are a hack that compensate about missing features in the language. 00:11:54 It's a hack in the sense that you really just want to check that two identifiers are different and your forced to write a page of nearly unreadable code instead. 00:12:34 Well, to be honest, most macros that I have stumbled across in PLT Scheme written with SYNTAX-CASE are each at least a page of unreadable code. 00:12:55 That's not my experience. 00:13:12 (At least not with what should be simple macros.) 00:13:13 Partially this is becase the macros I look at are the really hairy ones, such as FOR and UNIT. 00:13:47 Oh, well, those would definitely be outside of the scope of what I'd consider "what should be simple". 00:14:30 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 00:14:32 But generally, unless I have a particular reason to read a macro definition, my eyes glaze over at the sight of one -- however simple it be, usually, and whether it be defined with SYNTAX-RULES or SYNTAX-CASE. 00:14:42 *jcowan* agrees. 00:15:15 *jcowan* goes off to found the "We Love R4RS Society" 00:15:48 Note that the R4RS had a hairy macro system that nobody ever implemented or used seriously (to my knowledge). 00:15:50 *jcowan* would far rather know whether "bide" and "booth" are from a common source than all the macros ever written, just now. 00:15:55 BH already founded that one. 00:16:21 I think Aubrey Jaffer is the true founder. 00:17:29 eli: I think the entire exercise is indeed a bit of a hack in that I'm perfectly content just to throw my bindings at `lambda' and have it check that the bindings are indeed disjoint. If you want to check otherwise, it's perfectly possible to do so (and the same for binding of non-identifiers). I personally don't find the code to be "unreadable", particularly not the the recursive case of `check-bound-identifiers', which is about as simple as th 00:17:35 ... tail-recursive way of doing this in ordinary Scheme code using the `bound-identifier=?' procedure. 00:17:38 "as the ...", if that got cut off. 00:18:08 What the `bound-identifier=?' syntax I wrote itself does needs a word of explanation, but it only needs to be written once. 00:18:14 -!- ponzao__1 [n=vesam@xdsl-83-150-86-25.nebulazone.fi] has quit [Read error: 113 (No route to host)] 00:18:47 It also needs a slightly expanded definition, or to be augmented by a definition of SYNTACTIC-NAME? or something. 00:19:08 *jcowan* : stack error 00:19:31 Riastradh: Hm? I'm not sure what you mean by that. 00:19:55 Oh, the syntax that I wrote does need to check identifierness. That's easy, though. 00:20:11 It's not entirely obvious how to go about it. 00:20:28 *jcowan* gtfs home. 00:20:30 It isn't? I figured it out before someone pointed at where it's shown in the JRM guide to syntax-rules. 00:20:30 -!- jcowan [n=jcowan@72.14.228.129] has quit ["Leaving"] 00:20:38 His definition is inadequate. 00:20:55 -!- stepnem [n=stepnem@88.103.132.186] has quit [Remote closed the connection] 00:21:01 Oh? 00:21:27 has a definition that I think covers everything, barring extensions to SYNTAX-RULES. 00:21:48 stepnem [n=stepnem@88.103.132.186] has joined #scheme 00:22:08 Incidentally, although foof-loop goes to a lot of trouble to check syntax and report nice errors, it doesn't check for duplicate names in parallel bindings, and it doesn't check for validity of BVLs. 00:22:36 Checking for validity of BVLs is fairly straightforward, although a portable definition would rule out extensions to BVLs that some Scheme systems provide. 00:23:16 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 00:23:21 Checking for duplicate names and reporting them nicely is not so straightforward, because the names are within BVLs within LET-VALUES forms whose different clauses are produced at different times. 00:23:42 -!- stepnem [n=stepnem@88.103.132.186] has quit [Excess Flood] 00:23:43 (Such checks are hairy with SYNTAX-CASE, too.) 00:24:53 stepnem [n=stepnem@88.103.132.186] has joined #scheme 00:25:06 Also, I just noticed a bug in the error reporting. 00:25:25 (It is a pretty minor bug, having to do with backward compatibility with older versions of foof-loop, but a bug nevertheless.) 00:28:17 -!- mmc [n=mima@89.27.122.78] has quit [Read error: 145 (Connection timed out)] 00:28:21 Oh dear; I do have ellipsis problems throughout this macro. This is one of the worst parts of `syntax-rules'; the ellipsis identifier should always have been a mandatory parameter to `syntax-rules. 00:28:37 (No doubt eli will latch onto this as an issue!) 00:29:04 -!- stepnem [n=stepnem@88.103.132.186] has quit [Excess Flood] 00:30:11 stepnem [n=stepnem@88.103.132.186] has joined #scheme 00:30:12 chandler: Not at all. 00:31:06 chandler: But "perfectly content just to throw my bindings at `lambda' and have it check that the bindings are indeed disjoint" just shows that you didn't really deal with such macros as defining units, or an object system, or that you didn't deal with many people who are actually supposed to use a macro you wrote. 00:34:59 I suppose not to the former; for the latter, I think you're once again assuming that even basic `syntax-rules' macros are unreadable, which I don't think is true at all. 00:35:21 No, "not at all" for the latter. 00:37:42 I'm also not sure what a generic "object system" requires that is not in the realm of `syntax-rules'; perhaps an excessively static system would be more difficult to express in this fashion, but I think that has much to do with the nature of excessively static object systems. 00:39:05 chandler annotated #88561 "Just so there's a correct version of this recorded here." at http://paste.lisp.org/display/88561#1 00:40:16 Riastradh: The definition of `identifier?' there is a lot simpler than the corresponding macro in foof-loop; can you point at any obvious case that I'm missing? 00:40:29 Your definition assumes tail patterns work. 00:41:38 Too easy to forget those are not in the R5RS. Other than that? 00:43:29 I think it is otherwise OK. 00:44:10 Whether it is simpler...well, it is shorter, to be sure; it is also obscurer. 00:44:43 chandler: Nothing to do with static-ness. An object system is usually big enough that it becomes painfully obvious that you most definitely don't want all binding errors to be reported by `lambda'. 00:45:13 I want all these errors to be accompanied by a representation of the expansion history that I can interactively inspect. 00:46:21 A little more specifically, it presents a case where you are likely to have a need to throw errors on multiple names, without ever expanding into a `lambda' (for example, method names, and the usual trick of a message handler that implements method calls). 00:46:32 That's much more interesting to me than whether it is LET or LAMBDA (or whether it is HAIRY-CLASS-MACRO or LAMBDA) that reports the errors. 00:47:32 Riastradh: That's interesting to you as the implementor of a macro -- as a user, you only know about `let', and you need to be told concisely about the mistake you just did. 00:48:12 eli: Can you explain how that "usual trick" preserves hygiene for method names without ever expanding into a group of (ordinary or syntactic) bindings? 00:48:25 jcowan [n=jcowan@72.14.228.129] has joined #scheme 00:48:28 Nothing like having your code fail in class, and having to start mumbling to students about the details of the error they see -- and realize that you're really talking to yourself and that they couldn't care less -- beyond the simple requirements of the syntax. 00:49:23 chandler: I'm talking about an object system that implements method calling as (lambda (msg . args) (case msg ...blah...)) 00:50:45 In other words, an object system where method names are treated as datums, not identifiers. In which case, why not just defer the error until the definition of the object is evaluated? 00:51:23 *jcowan* reunvanishes. 00:51:53 jcowan, can you unvanish a more interesting argument? 00:52:00 We're still stuck with the one you left us with. 00:52:19 chandler: (If you're *advocating* detecting bugs later, then I suspect that it marks the end of this conversation.) 00:52:48 I tried to raise the "GCO" idea, but it got nowhere. 00:52:50 I'm suggesting that the example object system you've conjured up for this discussion *is* a bug. 00:52:59 GCO? 00:53:14 Global Cost of Ownership? 00:53:17 TR2N [i=email@89-180-200-220.net.novis.pt] has joined #scheme 00:53:28 "Garbage Collection Optimization", which is to proper garbage collection as "Tail Call Optimization" is to proper tail calls. 00:53:45 Oh dear. This sounds like a can of worms. 00:54:05 I don't think anyone here needs to be persuaded that proper tail recursion and proper garbage collection are desirable. 00:54:27 Anything else tasty? 00:54:35 Pumpernickel bagels, maybe? 00:55:06 Well, are there any users of the Boehm collector here? 00:55:32 Not any more since PLT Scheme switched to a precise GC! 00:55:40 Only Stalinists. 00:56:22 Riastradh: I do apologize for the bagel kerfuffle. Since I had to go back on the Boot, my mobility is again severely limited, and even going to buy bagels and take them to the shipping place is just too much extra walking. I shall eventually redeem my word. 00:56:35 I forget which implementations had issues with things like the procedure (let ((x 1) (y (cons 1 2))) (lambda () x)) incorrectly retaining the cons cell bound to `y'. 00:56:43 Most implementations, chandler. 00:56:47 No, the point is to use GCO as a straw man (in the original sense of that term) to convince people that TCO is inadequate. 00:57:09 "Most"? I thought most implementations had flat closures. 00:57:21 Not to my knowledge. 00:57:23 Some do; some don't. 00:57:40 This one is a Big Deal; `call/cc' is no excuse for making it impossible to write explicit CPS code that doesn't retain the world. 00:57:42 Scheme48 didn't (by default) until about eight years ago. 00:57:48 The fact is, people write programs *differently* in the presence of proper GC than when it is a mere implementation-specific optimization of limited scope. 00:58:21 What do you mean by "TCO is inadequate", and what is your proposal for beyond-TCO? 00:58:51 TCO is inadequate when seen as a mere optimization, chandler. gcc does TCO, but it's not properly tail recursive. 00:59:43 Both MIT Scheme's and T's interpreters will retain Y. For nested closures, their compilers sometimes also retain unreferenced variables, although MIT Scheme is a little better about it as of about four years ago when multiclosures were disabled by default (leading to some programs running more slowly as a consequence of increased pressure on the GC). 00:59:44 -!- mrsolo [n=mrsolo@nat/yahoo/x-ooxydatfruabwgmj] has quit ["Leaving"] 00:59:51 Oh. Since this is #scheme, I had assumed that TCO was more or less equal to proper tail recursion in this context. 01:01:25 Where is this TCO argument directed, then? To the JVM implementors? 01:01:27 full PTC has additional reqs on dropping dead bindings, treating dynamic bindings properly, etc. 01:01:59 `Full PTC'? Is `full proper' different from `proper'? 01:02:10 no, just proper -- but a full understanding of it 01:02:17 as opposed to superficial 01:02:51 chandler: To everyone outside the PTC community, which is to say almost everyone. 01:03:10 This is #scheme, though... 01:03:47 Even the people of #scheme may need to do advocacy from time to time. As indeed with the JVM implementers. 01:04:13 thy shall truly believe. 01:04:22 the scheme without ptc is not the true scheme 01:04:33 hunt the unbeliever, and hang him with his bigloo 01:04:53 unless he uses the option that enables ptc 01:04:59 I don't think any implementation of Scheme on the JVM would need proper tail calling throughout the language, would it? 01:05:10 Er, throughout the Java language. 01:05:25 yay for trampolines 01:05:27 surely. But I am concerned with how to deflate the argument "Mere optimization is good enough" in a way that outsiders can understand. 01:05:30 Mapping Scheme procedure calls to Java method invocations would be nice, chandler. 01:05:38 And vice versa. 01:06:04 Clojure doesn't do its own TC because Rich H is waiting for the JVM to do it for him. 01:06:13 It surely would, but the early-unwind semantics of Java exceptions would surely thwart a trampoline-free implementation, would it not? 01:06:18 which is probably wise 01:06:30 Clojure has a special form to introduce a trampolined context, I believe. 01:06:30 -!- Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has quit ["Leaving"] 01:06:31 Exceptions aren't the problem. Stack inspection is. 01:06:39 chandler: Yes, with severe limitations on its use. 01:08:18 JVM security depends on stack inspection, which requires having a stack to inspect. 01:12:11 Ah; perhaps I've got some of the issues involved in implementing condition-system semantics on the JVM bound up with this in my brain. For a second it seemed as if there was some subtle interaction between Java exceptions and proper tail calling, but I can't quite see it, so it's probably not there. 01:13:34 seanstickle [n=seanstic@c-68-33-221-168.hsd1.dc.comcast.net] has joined #scheme 01:13:37 -!- seanstickle [n=seanstic@c-68-33-221-168.hsd1.dc.comcast.net] has quit [Remote closed the connection] 01:13:48 As long as you don't insist that the signaller tail-calls the handler (although in a sense it does, since there is no way back). 01:14:29 I think you meant `as long as you don't insist that the signaller tail-call the handler'. One is a request; another is a claim. 01:14:39 s/another/the other/1 01:15:12 Ayther will do. 01:15:48 What you said didn't make sense until I thought about it for a minute and realized that it was intended to be a subjunctive. 01:16:35 I meant what I said, but had I said what you thought I said, I had been better served by it. 01:17:58 but what he said was just the same as what you said, but for an 's'. 01:18:21 There is a critical semantic difference, emma, between the indicative and the subjunctive here. 01:18:43 QinGW [n=wangqing@203.86.89.226] has joined #scheme 01:19:23 one means 'as long as you dont think it does' and the other means, 'as long as you don't hope that it does' 01:19:42 Another way to put what jcowan wrote is `As long as you don't go about making the claim that the signaller really does tail-call the handler.', as if he thought chandler had given an incorrect statement but then realized that not to be the case, yet still wanted to emphasize the incorrectness of the statement. 01:20:49 That is certainly not what was being communicated, however. On the other hand, I'm having trouble putting subjunctive version in another way, though, that doesn't involve the subjunctive. 01:20:57 I quickly evaluated that interpretation and decided that the subjunctive was most likely intended. 01:21:12 obviously we all need to learn lojban. 01:22:08 Usually the subjunctive in such subordinate clauses can be replaced by modal constructions with "would" or "should"; BrE normally does this, as this form of subjunctive is obsolete in that variety of ENglish. 01:24:59 Next up, conflation of the words `flaunt' and `flout', after which we'll have a brief episode on confusing `compose' and `comprise'. 01:25:30 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 104 (Connection reset by peer)] 01:25:54 Yeah it's interesting, actually American English is truer to the English spoken by Shakespere. 01:26:48 brweber2 [n=brweber2@ip68-100-65-167.dc.dc.cox.net] has joined #scheme 01:28:47 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 01:29:10 I would be very suprised if most implementations kept around that Y pair above after a proper collection! It can't be that hard to get rid of it, can it? 01:29:23 I mean, talk about the potential for wasted space, that could make some of my programs kind of messy. 01:29:58 Suppose that invoking a procedure allocates an environment frame in the familiar nested ribcage structure, arcfide. 01:30:05 Several do. I've forgotten which. 01:31:22 If evaluating a lambda allocates a closure with an environment containing that frame, then the value of Y will be referenced by the representation of that closure, even if it is not used by the procedure. 01:31:32 This is very straightforward to implement -- it's what most interpreters do. 01:31:53 -!- sepult [n=buggarag@87.78.74.91] has quit [Remote closed the connection] 01:32:16 This won't happen with most compilers, though; most compilers defer allocation of heap storage for environment frames until it is necessary. 01:32:38 Consider instead, say, (let ((x (cons 'a 'b)) (y (cons 'c 'd))) (lambda () (list x y (lambda () x)))). 01:32:44 Riastradh: Sorry, I'm not familiar with the term, "nested ribcage structure." 01:33:25 sepult [n=buggarag@xdsl-87-78-74-91.netcologne.de] has joined #scheme 01:33:26 arcfide, I mean the naive structure used in SICP's metacircular evaluator. An environment is represented by a list of lists of variables' values, corresponding with nested lambda expressions and their parameters. 01:33:54 Oh. 01:33:55 Okay. 01:34:08 -!- sepult [n=buggarag@xdsl-87-78-74-91.netcologne.de] has quit [Client Quit] 01:34:18 sepult [n=buggarag@87.78.74.91] has joined #scheme 01:34:56 I guess it just seems bad in some way to me. I suppose there is no guarantee that the storage of Y should be reclaimable. 01:35:05 It *is* seriously bad. 01:35:05 That's right. 01:35:27 I guess I would just expect my compiler/interpreter to make sure that it was, in fact, reclaimed. 01:35:47 Or at least, able to be reclaimed. 01:38:10 Flat closures are your friend. 01:39:29 jcowan: Well, Chez doesn't behave this way, so I never really thought to think about it. 01:39:40 At least not in my day to day programming. 01:40:22 We are mostly all spoiled rotten nowadays by too big a heap. Small storage leaks like that may not even get noticed. 01:40:40 -!- Axioplase_ is now known as Axioplase 01:43:31 rudybot: eval (let loop ((x #f) (y #f)) (loop (make-vector 1000000) (lambda () x))) 01:43:31 p1dzkl: your r5rs sandbox is ready 01:43:36 p1dzkl: error: with-limit: out of time 01:43:42 incubot: (let loop ((x #f) (y #f)) (loop (make-vector 1000000) (lambda () x))) 01:43:44 Eval 7356 timed out. 01:43:52 incubot: (let loop ((x #f) (y #f)) (loop (make-vector 100000000) (lambda () x))) 01:43:52 Error: out of range 01:44:17 anyway, on my local csi it runs out of memory 01:45:26 Of course that will run out of memory, unless the compiler concludes that Y is useless (in which case it will probably also conclude that X is useless, and turn it into (LET LOOP () (LOOP))). 01:46:43 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [No route to host] 01:51:17 incubot: (module rabbit () (import scheme chicken) (display "test\n")) 01:51:17 Error: (module) during expansion of (module ...) - modules are not supported 01:51:37 hm... 01:51:42 incubot: (import scheme chicken) (display "test\n") 01:51:42 Error: unbound variable: scheme 01:51:44 synx: try cockbot 01:51:55 cockbot: (import scheme chicken) (display "test\n") 01:52:00 I thought incubot was running chicken 01:52:17 hey there is no cockbot 01:52:26 That need not mean that incubut will read and evaluate text exactly as if you typed them at a csi prompt, synx. 01:53:25 Riastradh: Yes but I can't really call it chicken if import isn't a syntax. 01:53:37 *Riastradh* blinks. 01:54:01 What is it running on, then, if what it is running on is not Chicken? 01:54:11 I would think that Riastradh would know better than to have a conversation (if you can call it that) with synx. 01:54:18 It's some other language, probably hand made. 01:54:27 I mean chicken in the sense of (import chicken) 01:54:33 chandler has a point. 01:55:05 ha ha guys 01:57:01 synx: You sure have made a name for yourself. 01:58:23 -!- arcfide [n=arcfide@adsl-99-14-211-93.dsl.bltnin.sbcglobal.net] has left #scheme 02:21:57 jonrafkind [n=jon@98.202.86.149] has joined #scheme 02:39:00 -!- brweber2 [n=brweber2@ip68-100-65-167.dc.dc.cox.net] has quit [] 02:44:15 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 54 (Connection reset by peer)] 02:44:41 QinGW [n=wangqing@203.86.89.226] has joined #scheme 02:50:43 QinGW1 [n=wangqing@203.86.89.226] has joined #scheme 02:52:31 neilv2 [n=nvandyke@fpos-xp.csail.mit.edu] has joined #scheme 02:52:32 tjafk [n=timj@e176214132.adsl.alicedsl.de] has joined #scheme 02:54:09 -!- tjafk1 [n=timj@e176199068.adsl.alicedsl.de] has quit [Read error: 60 (Operation timed out)] 02:56:47 mabes [n=mabes@bmabey.fttp.xmission.com] has joined #scheme 03:09:25 -!- QinGW [n=wangqing@203.86.89.226] has quit [Connection timed out] 03:11:49 -!- SharkSpider [n=SharkSpi@rn--vw1-0-6-a44.uwaterloo.ca] has left #scheme 03:12:39 QinGW [n=wangqing@203.86.89.226] has joined #scheme 03:13:58 incubot: (chicken-version) 03:13:58 3.4.0 03:14:03 synx: ^^^^^^ 03:15:34 -!- QinGW1 [n=wangqing@203.86.89.226] has quit [Read error: 60 (Operation timed out)] 03:17:02 Thuryago. No modules. 03:24:00 I proposed to Felix that Chicken switch its numbers egg from name-based overloading to planting procedures on hooks known to the core. I haven't heard back yet. 03:24:57 Scheme [i=Tempest@unaffiliated/scheme] has joined #scheme 03:25:02 -!- Scheme [i=Tempest@unaffiliated/scheme] has left #scheme 03:28:41 -!- sepult [n=buggarag@87.78.74.91] has quit [Read error: 145 (Connection timed out)] 03:32:19 QinGW1 [n=wangqing@203.86.89.226] has joined #scheme 03:36:46 jcowan: did you submit a patch 03:38:14 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 145 (Connection timed out)] 03:39:20 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 03:40:15 Nope, just a proposal. 03:40:45 Not going to submit a patch this big for something Felix will revert, since it affects the number core quite pervasively. 03:40:55 -!- QinGW1 [n=wangqing@203.86.89.226] has quit [Read error: 104 (Connection reset by peer)] 03:41:45 I mean, if the set-file-position! patch didn't stick, what hope does this have? 03:41:59 *jcowan* 's enthusiasm for Chicken dies little by little. 03:42:26 QinGW [n=wangqing@203.86.89.226] has joined #scheme 03:42:37 The set-file-position! patch was bad, it broke code. 03:42:50 Well, I didn't see the patch itself. 03:42:58 What was wrong with it? 03:43:25 It always returned flonums, even for values that would fit in fixnums. 03:49:24 That's bad. 03:50:54 QinGW1 [n=wangqing@203.86.89.226] has joined #scheme 03:56:19 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 145 (Connection timed out)] 03:59:52 -!- schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has quit [] 04:03:00 pumpkin [n=pumpkin@pumpkinpro.cs.dartmouth.edu] has joined #scheme 04:06:11 QinGW [n=wangqing@203.86.89.226] has joined #scheme 04:09:03 -!- MononcQc [n=parseido@modemcable062.225-20-96.mc.videotron.ca] has quit ["DOWNLOADING LATEST VERSION OF THE INTERNET"] 04:09:55 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 04:20:15 attila_lendvai [n=ati@catv-89-134-66-153.catv.broadband.hu] has joined #scheme 04:22:34 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 04:23:11 Oh, I had forgotten about this part of the paper. 04:23:39 -!- QinGW1 [n=wangqing@203.86.89.226] has quit [Connection timed out] 04:23:42 Which paper? 04:24:29 chandler, you should reread Clinger, `Proper Tail Recursion and Space Efficiency'. There's a bit about free variables in closures. 04:25:32 -!- Nshag [i=user@Mix-Orleans-106-3-238.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 04:26:11 *jcowan* grows annoyed at the increasing amount of math-gibbering in papers when code would be every bit as perspicuous. 04:28:02 Just read page 4 as a big batch of syntax rules. 04:30:28 I do, but it still annoys me. 04:36:52 optimizer [n=x@unaffiliated/lowlycoder] has joined #scheme 04:45:04 schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 04:47:46 jonnay [n=user@d173-183-142-146.abhsia.telus.net] has joined #scheme 04:48:02 hihi 04:50:42 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit ["leaving"] 04:54:26 -!- jcowan [n=jcowan@72.14.228.129] has left #scheme 04:57:49 -!- mabes [n=mabes@bmabey.fttp.xmission.com] has quit [Remote closed the connection] 05:21:11 -!- fe[nl]ix [n=algidus@88-149-209-88.dynamic.ngi.it] has quit [Read error: 113 (No route to host)] 05:21:11 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 05:21:27 fe[nl]ix [n=algidus@88-149-210-235.dynamic.ngi.it] has joined #scheme 05:26:08 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 60 (Operation timed out)] 05:26:11 -!- dmoerner [n=dmr@134.173.91.168] has quit ["Leaving"] 05:38:33 dmoerner [n=dmr@134.173.91.168] has joined #scheme 05:39:24 peter_12 [n=peter_12@S01060024016bb36c.gv.shawcable.net] has joined #scheme 05:51:52 ponzao___ [n=vesam@xdsl-83-150-86-25.nebulazone.fi] has joined #scheme 06:14:53 thesnowdog_ [i=thesnowd@114.73.34.182] has joined #scheme 06:15:48 leppie|work [i=52d2e3c8@gateway/web/freenode/x-xwamkdsopdlwdipa] has joined #scheme 06:23:29 -!- neilv2 [n=nvandyke@fpos-xp.csail.mit.edu] has left #scheme 06:30:31 -!- thesnowdog [i=thesnowd@114.73.160.82] has quit [Read error: 110 (Connection timed out)] 06:39:15 -!- jonnay [n=user@d173-183-142-146.abhsia.telus.net] has quit [Remote closed the connection] 06:42:30 twb [n=twb@nat064.cyber.com.au] has joined #scheme 06:42:48 I'm using fluids in scsh 0.6. 06:43:32 So far I have used (define $x (make-fluid y)) and then later (set-fluid $x y2). 06:43:44 Is there a let-fluid? 06:43:45 QinGW1 [n=wangqing@203.86.89.226] has joined #scheme 06:43:57 *twb* goes looking through the HTML manual 06:44:16 *sstrickl* ¡ 06:45:56 Apparently there is. 06:47:04 -!- peter_12 [n=peter_12@S01060024016bb36c.gv.shawcable.net] has quit [] 06:49:04 ASau [n=user@77.246.231.88] has joined #scheme 06:49:26 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 145 (Connection timed out)] 06:56:57 mmc [n=mima@192.100.124.218] has joined #scheme 06:58:17 ski_ [n=md9slj@remote1.student.chalmers.se] has joined #scheme 07:22:27 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Remote closed the connection] 07:22:52 MichaelRaskin [n=MichaelR@213.171.48.239] has joined #scheme 07:31:13 -!- dmoerner [n=dmr@134.173.91.168] has quit ["Leaving"] 07:44:15 Edico [n=Edico@unaffiliated/edico] has joined #scheme 07:49:39 -!- xwl_ [n=user@147.243.236.60] has quit [Remote closed the connection] 07:50:09 xwl_ [n=user@147.243.236.60] has joined #scheme 08:07:19 -!- nasloc__ [i=tim@163.16.211.21] has quit [Read error: 145 (Connection timed out)] 08:08:20 timchen119 [i=tim@163.16.211.21] has joined #scheme 08:16:03 -!- patmaddox [n=patmaddo@ip68-111-70-47.oc.oc.cox.net] has quit ["Leaving..."] 08:19:14 -!- danlei [n=user@pD9E2F559.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 08:21:12 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-xwamkdsopdlwdipa] has quit ["Page closed"] 08:38:43 -!- tltstc [n=tltstc@cpe-76-90-95-39.socal.res.rr.com] has quit [Read error: 110 (Connection timed out)] 08:39:11 -!- xwl_ [n=user@147.243.236.60] has quit [Remote closed the connection] 08:43:26 xwl_ [n=user@147.243.236.60] has joined #scheme 08:47:40 schmir [n=schmir@mail.brainbot.com] has joined #scheme 08:56:21 schemer999iphone [n=schemeri@166.205.131.22] has joined #scheme 08:58:18 Any live bodies in here? 08:58:40 No. 08:58:40 -!- twb [n=twb@nat064.cyber.com.au] has left #scheme 08:59:04 Negative. 08:59:26 *eli* is looking for someone with a clue on hash-consing 09:01:47 eli: Seems a bit complicated for what likely amounts to minimal memory saving in the general case. 09:02:32 -!- schemer999iphone [n=schemeri@166.205.131.22] has quit ["Colloquy for iPhone - http://colloquy.mobi"] 09:03:19 Arelius: What I have is not too complicated (about 7 lines), and for the specific code that I'm dealing with, runtime drops from ~4.8s to ~1.8. 09:03:36 Really? 09:03:44 I'd be interested in that use case. 09:03:49 But I'm not sure whether I have the standard thing or not, and it's late enough that I can't find a proper reference. 09:03:57 schemer999iphone [n=schemeri@166.205.131.22] has joined #scheme 09:04:04 And I didn't mean a complicated implementation, so much as a complicated memory archetecture 09:04:06 -!- bweaver [n=user@75-148-111-133-Chattanooga.hfc.comcastbusiness.net] has quit [Read error: 113 (No route to host)] 09:04:18 which standard thing? 09:04:23 The use case is an LZW-like code, which does a lot of looking up of shared prefixes. 09:04:33 (standard hash-consing) 09:05:03 The memory layout is a little complicated -- with a global hash that keeps sub hashes. 09:05:13 (And that's why I'm worried.) 09:05:18 I'm not sure, I don't think there has been a standard implementation for hash-consing for like 20 years 09:05:37 The hash has to be runtime global 09:05:55 Yeah, that probably what contributes to being hard to find on the web. 09:06:00 or atleast scoped as far as you want to share memory 09:06:14 In my case, I have my intense piece of code, and it can be global for that piece only. 09:06:43 Sure 09:06:56 ...which makes things better, since this way I don't need to deal with weak pointers -- a plain hash table works, and when it's done the whole thing goes down the toilet. 09:07:21 That's always fun, specially if you don't have to invoke the gc to flush 09:07:42 optimizer [n=x@unaffiliated/lowlycoder] has joined #scheme 09:08:12 Ah, found one ML snip, that should do fine. (And clarifies how my version is different.) 09:08:53 Cool! 09:09:00 -!- a-s [n=user@nat-240.ro.66.com] has quit [Remote closed the connection] 09:09:39 a-s [n=user@nat-240.ro.66.com] has joined #scheme 09:11:31 QinGW [n=wangqing@203.86.89.226] has joined #scheme 09:14:24 -!- schemer999iphone [n=schemeri@166.205.131.22] has quit [Read error: 145 (Connection timed out)] 09:21:22 -!- schmir [n=schmir@mail.brainbot.com] has quit [Remote closed the connection] 09:23:24 Edico_ [n=Edico@unaffiliated/edico] has joined #scheme 09:23:30 -!- fe[nl]ix [n=algidus@88-149-210-235.dynamic.ngi.it] has quit ["Valete!"] 09:25:38 -!- Edico_ [n=Edico@unaffiliated/edico] has quit [Client Quit] 09:25:52 -!- Edico [n=Edico@unaffiliated/edico] has quit [Read error: 110 (Connection timed out)] 09:27:31 Edico [n=Edico@unaffiliated/edico] has joined #scheme 09:29:41 -!- QinGW1 [n=wangqing@203.86.89.226] has quit [Connection timed out] 09:29:58 hkBst [n=hkBst@gentoo/developer/hkbst] has joined #scheme 09:34:52 -!- synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has quit [Remote closed the connection] 09:35:30 -!- tjafk [n=timj@e176214132.adsl.alicedsl.de] has quit ["Client exiting"] 09:36:20 synx [i=synx@gateway/gpg-tor/key-0xA71B0C6A] has joined #scheme 09:36:55 schmir [n=schmir@mail.brainbot.com] has joined #scheme 09:39:42 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 54 (Connection reset by peer)] 09:40:08 -!- kilimanjaro [n=kilimanj@70.116.95.163] has quit ["Leaving"] 09:40:13 QinGW [n=wangqing@203.86.89.226] has joined #scheme 09:46:43 -!- QinGW [n=wangqing@203.86.89.226] has quit [Read error: 104 (Connection reset by peer)] 09:51:04 QinGW [n=wangqing@203.86.89.226] has joined #scheme 09:51:21 tltstc [n=tltstc@cpe-76-90-95-39.socal.res.rr.com] has joined #scheme 09:55:28 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit ["leaving"] 09:56:16 QinGW1 [n=wangqing@203.86.89.226] has joined #scheme 09:57:50 optimizer [n=x@unaffiliated/lowlycoder] has joined #scheme 10:01:40 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit [Client Quit] 10:08:34 itsgg [n=itsgg@59.92.44.225] has joined #scheme 10:10:29 Guest29302 [n=sean@adsl-67-112-204-194.dsl.sntc01.pacbell.net] has joined #scheme 10:11:11 -!- jao [n=jao@128.Red-83-43-32.dynamicIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 10:12:04 -!- thesnowdog_ is now known as thesnowdog 10:12:21 -!- itsgg [n=itsgg@59.92.44.225] has quit [] 10:12:59 -!- QinGW [n=wangqing@203.86.89.226] has quit [Connection timed out] 10:22:03 -!- QinGW1 [n=wangqing@203.86.89.226] has quit [Connection timed out] 10:28:10 leppie|work [i=52d2e3c8@gateway/web/freenode/x-epwnciukwtcyehqw] has joined #scheme 10:31:12 -!- dnm [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [Read error: 110 (Connection timed out)] 10:31:30 dnm [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has joined #scheme 10:44:12 jao [n=jao@74.Red-80-24-4.staticIP.rima-tde.net] has joined #scheme 10:48:23 -!- Axioplase is now known as Axioplase_ 11:03:28 -!- sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has quit [] 11:11:39 timj [n=timj@e176214132.adsl.alicedsl.de] has joined #scheme 11:18:26 -!- leppie|work [i=52d2e3c8@gateway/web/freenode/x-epwnciukwtcyehqw] has quit [Remote closed the connection] 11:19:13 leppie|work [i=52d2e3c8@gateway/web/freenode/x-bktglktasxnceulz] has joined #scheme 11:49:15 masm [n=masm@bl9-114-95.dsl.telepac.pt] has joined #scheme 11:52:17 -!- schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has quit [] 11:53:00 schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 12:01:13 -!- schmir [n=schmir@mail.brainbot.com] has quit [Remote closed the connection] 12:01:19 sstrickl [n=sstrickl@dublin.ccs.neu.edu] has joined #scheme 12:02:07 mario-goulart [n=user@67.205.85.241] has joined #scheme 12:03:39 -!- Guest29302 [n=sean@adsl-67-112-204-194.dsl.sntc01.pacbell.net] has quit ["leaving"] 12:04:23 Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has joined #scheme 12:18:26 -!- emma [n=em@unaffiliated/emma] has quit [Read error: 110 (Connection timed out)] 12:20:09 -!- schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has quit [] 12:30:13 sman [n=Simon@unaffiliated/sman] has joined #scheme 12:31:37 -!- sman [n=Simon@unaffiliated/sman] has left #scheme 12:33:04 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 12:40:03 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 12:44:26 foof` [n=user@FLH1Adk087.osk.mesh.ad.jp] has joined #scheme 12:44:27 -!- foof [n=user@FLH1Adk087.osk.mesh.ad.jp] has quit [Read error: 60 (Operation timed out)] 12:48:28 xwl [n=user@123.115.97.181] has joined #scheme 12:49:43 nothingHappens [n=nothingH@173-25-176-111.client.mchsi.com] has joined #scheme 12:52:36 -!- a-s [n=user@nat-240.ro.66.com] has quit [Remote closed the connection] 12:59:07 schmir [n=schmir@mail.brainbot.com] has joined #scheme 13:05:01 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 13:07:39 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 13:13:35 -!- masm [n=masm@bl9-114-95.dsl.telepac.pt] has quit ["Leaving."] 13:39:46 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 13:46:17 -!- schmir [n=schmir@mail.brainbot.com] has quit [Read error: 104 (Connection reset by peer)] 14:03:12 -!- Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has quit [Read error: 54 (Connection reset by peer)] 14:05:06 Vecklock [n=Vecklock@198.177.232.253] has joined #scheme 14:06:23 Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has joined #scheme 14:14:10 schmir [n=schmir@mail.brainbot.com] has joined #scheme 14:16:03 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 14:17:50 ejs [n=eugen@94.178.0.158] has joined #scheme 14:26:53 -!- samth_ is now known as samth 14:28:21 npe [n=npe@195.207.5.2] has joined #scheme 14:29:35 -!- npe [n=npe@195.207.5.2] has quit [Client Quit] 14:30:33 npe [n=npe@195.207.5.2] has joined #scheme 14:35:08 -!- foof` is now known as foof 14:36:56 -!- npe [n=npe@195.207.5.2] has quit [] 14:37:20 npe [n=npe@195.207.5.2] has joined #scheme 14:38:39 -!- rotty [n=rotty@nncmain.nicenamecrew.com] has left #scheme 14:39:22 jrtayloriv [n=jrt4@cpe-69-205-162-12.stny.res.rr.com] has joined #scheme 14:42:46 -!- roderic [n=user@bubbles.ccs.neu.edu] has quit [Read error: 104 (Connection reset by peer)] 14:42:54 roderic` [n=user@bubbles.ccs.neu.edu] has joined #scheme 14:43:33 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 14:55:08 mabes [n=mabes@66.236.74.194] has joined #scheme 14:56:36 -!- mabes [n=mabes@66.236.74.194] has quit [Client Quit] 15:02:52 -!- dnm [n=dnm@c-68-49-47-248.hsd1.va.comcast.net] has quit [Read error: 110 (Connection timed out)] 15:10:24 annodomini [n=lambda@130.189.179.215] has joined #scheme 15:12:57 midknightstar [n=chatzill@131.94.254.152] has joined #scheme 15:46:37 -!- pumpkin [n=pumpkin@pumpkinpro.cs.dartmouth.edu] has quit [] 15:46:40 schmir` [n=schmir@mail.brainbot.com] has joined #scheme 15:46:53 -!- schmir` [n=schmir@mail.brainbot.com] has quit [Remote closed the connection] 15:46:53 -!- schmir [n=schmir@mail.brainbot.com] has quit [Remote closed the connection] 15:50:09 borism [n=boris@195.50.205.198] has joined #scheme 15:53:05 schmir [n=schmir@217.86.167.205] has joined #scheme 16:02:36 -!- midknightstar [n=chatzill@131.94.254.152] has left #scheme 16:06:48 -!- ASau [n=user@77.246.231.88] has quit ["off"] 16:08:59 funkenblatt [n=user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has joined #scheme 16:15:00 -!- schmir [n=schmir@217.86.167.205] has quit [Remote closed the connection] 16:15:54 peddie [n=peddie@c-67-180-249-125.hsd1.ca.comcast.net] has joined #scheme 16:16:10 -!- xwl [n=user@123.115.97.181] has quit [Read error: 110 (Connection timed out)] 16:29:43 Nshag [i=user@Mix-Orleans-106-4-128.w193-248.abo.wanadoo.fr] has joined #scheme 16:30:29 jonrafkind [n=jon@crystalis.cs.utah.edu] has joined #scheme 16:30:37 -!- npe [n=npe@195.207.5.2] has quit [] 16:31:58 HG` [n=HG@xdsleq114.osnanet.de] has joined #scheme 16:37:14 -!- neilmock [n=neilmock@99-11-93-68.lightspeed.nsvltn.sbcglobal.net] has quit [] 16:39:51 -!- HG` [n=HG@xdsleq114.osnanet.de] has quit [Client Quit] 16:48:15 -!- mmc [n=mima@192.100.124.218] has quit [Remote closed the connection] 16:52:04 -!- ski_ [n=md9slj@remote1.student.chalmers.se] has quit ["Lost terminal"] 16:56:47 -!- jao [n=jao@74.Red-80-24-4.staticIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 16:58:31 -!- jrtayloriv [n=jrt4@cpe-69-205-162-12.stny.res.rr.com] has quit ["Leaving"] 17:01:13 is there any eggs for chicken for SASL? plain/md5-digest 17:01:28 -!- rmrfchik_ is now known as rmrfchik 17:01:48 Not to my knowledge, although implementing that is pretty straightforward. 17:02:02 (My knowledge of Chicken eggs is limited, however.) 17:02:50 indeed i'm interesting in plt also. nice if there some compatibile lib 17:03:02 Compatible? Doubtful. 17:04:04 sad... why we have standards and have no compatible libs? ;( 17:04:22 Because the people who write these libraries don't car.e 17:04:25 `care.', even. 17:04:49 r5rs isn't power and r6rs isn't implemented 17:06:37 peter_12 [n=peter_12@24.69.39.114] has joined #scheme 17:16:34 -!- peter_12 [n=peter_12@24.69.39.114] has quit [] 17:17:50 -!- MichaelRaskin [n=MichaelR@213.171.48.239] has quit [Remote closed the connection] 17:19:15 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 17:20:32 -!- ejs [n=eugen@94.178.0.158] has quit [Read error: 145 (Connection timed out)] 17:25:50 mrsolo [n=mrsolo@nat/yahoo/x-kcrlpkrsunuplztn] has joined #scheme 18:04:15 -!- eno [n=eno@nslu2-linux/eno] has quit [Read error: 104 (Connection reset by peer)] 18:07:08 r6rs is certainly implemented 18:09:00 eno [n=eno@nslu2-linux/eno] has joined #scheme 18:09:33 -!- borism [n=boris@195.50.205.198] has quit [Read error: 145 (Connection timed out)] 18:12:10 arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has joined #scheme 18:13:02 -!- ada2358__ is now known as ada2358 18:13:55 albacker [n=eni@unaffiliated/enyx] has joined #scheme 18:17:29 -!- arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has left #scheme 18:20:07 -!- sstrickl [n=sstrickl@dublin.ccs.neu.edu] has quit [] 18:23:27 arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has joined #scheme 18:26:55 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 18:28:51 alexshendi [n=chatzill@dslb-188-098-111-245.pools.arcor-ip.net] has joined #scheme 18:34:42 -!- mreggen [n=mreggen@cm-84.215.28.167.getinternet.no] has quit ["leaving"] 18:44:22 choas [n=lars@p5B0DC68B.dip.t-dialin.net] has joined #scheme 18:55:32 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:00:43 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:00:57 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:01:23 Narrenschiff [n=ritchie@80.229.216.34] has joined #scheme 19:05:27 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Read error: 54 (Connection reset by peer)] 19:05:27 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:06:15 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 19:06:41 -!- Summermute [n=scott@c-68-34-67-216.hsd1.dc.comcast.net] has quit [Read error: 60 (Operation timed out)] 19:08:00 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:09:34 emmy [n=a59bcafe@gateway/web/flash/eris.tuxhacker.org/x-qvxmsjvctuhjxwfv] has joined #scheme 19:11:17 emmmm [n=a59bcafe@gateway/web/flash/eris.tuxhacker.org/x-ttjcvjloxzitithx] has joined #scheme 19:13:42 -!- Narrenschiff [n=ritchie@80.229.216.34] has quit [] 19:14:43 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:15:10 ASau [n=user@85.141.215.63] has joined #scheme 19:15:42 -!- Arelius [n=user@64.174.9.113] has quit [Read error: 145 (Connection timed out)] 19:24:33 -!- ASau [n=user@85.141.215.63] has quit [Read error: 131 (Connection reset by peer)] 19:24:50 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:25:30 masm [n=masm@bl9-114-95.dsl.telepac.pt] has joined #scheme 19:27:33 -!- emmy [n=a59bcafe@gateway/web/flash/eris.tuxhacker.org/x-qvxmsjvctuhjxwfv] has quit [Remote closed the connection] 19:28:24 -!- arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has left #scheme 19:28:25 pfo [n=pfo@chello084114049188.14.vie.surfer.at] has joined #scheme 19:28:35 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 19:29:09 jcowan [n=jcowan@72.14.228.129] has joined #scheme 19:29:09 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:29:27 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:29:35 -!- emmmm is now known as emmy 19:31:06 I'm thinking about writing a small Scheme->C compiler just for the purpose of compiling numerical routines. 19:31:11 -!- Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has quit [Remote closed the connection] 19:31:12 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:31:35 It will handle only a small subset of Scheme's procedure library, and will not have upward closures or call/cc. 19:31:50 A small not-Scheme to C compiler like Hobbit? 19:31:56 or the crunch egg 19:31:58 Or like Scheme->C? 19:32:00 The only types are numbers (always doubles), vectors (of doubles), procedures, and strings. 19:32:08 Not quite like any of those. 19:32:39 But in the same family, yes. The main purpose is to DTRT with unboxed inexacts. 19:32:57 I'm wondering whether it's worthwhile having I/O, and if so, what I/O. 19:33:33 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:33:57 Double arrays can be on the stack or the heap, but there is no GC, so you have to free them explicitly. 19:34:00 mmc [n=mima@89.27.122.78] has joined #scheme 19:34:30 -!- masm [n=masm@bl9-114-95.dsl.telepac.pt] has quit ["Leaving."] 19:34:34 Presumably the output would be in most cases linked with a real Scheme, although stand-alone execution is possible. 19:36:00 The compiler uses simple (non-Hindley-Milner) type inference to type C local variables and parameters. 19:37:01 I guess technically there are booleans, too. 19:39:01 jcowan, stalin? 19:39:29 -!- FareWell is now known as Fare 19:39:49 mejja [n=user@c-49b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 19:40:41 Stalin does the job, but at very high development cost. Flopsy (the name I just thought up) will be quick to compile and specialized to a single purpose. 19:40:58 Maybe I'll have an integer-only version called Mopsy. 19:41:01 danger: stalin 19:41:07 stalin ate my system when I tried to build it 19:42:16 This code will look like Scheme and will run on any R4RS or higher Scheme with that has SRFI-43, but when compiled will look like hand-written C code to the same effect: static variable types, etc. 19:42:28 s/with that/that 19:42:33 sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has joined #scheme 19:43:51 that would be neat 19:43:51 -!- sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has quit [Read error: 104 (Connection reset by peer)] 19:43:53 There have been complaints (correct ones) that Chicken isn't suitable for FP work because it boxes and unboxes floats all the time. 19:44:28 Rather than trying to fix that in the Chicken framework, I'm creating a tiny framework that produces code that can be plugged into any Scheme with a C FFI. 19:44:42 Nanny tagging is the way to go jcowan. 19:45:16 You can't count on it in a C framework. 19:45:36 And it still involves you in RTTI, which I wish to avoid. 19:46:58 Elly, it ate your system? 19:47:02 I think I'll do write and display to standard output and read (a double) from standard input and leave it at that. That will allow easy debugging of Flopsy code directly. 19:47:08 Fare: it did! I ran out of memory. 19:47:15 oh. 19:47:24 it consumed 2GB of RAM and began swapping like crazy 19:47:37 jcowan, are you going to work on a portable/ported/SRFIed C FFI for Scheme? 19:48:15 jcowan: If you don't need Real Scheme, and you want to work with untagged doubles, why not just use a Sufficiently Smart CL with specialized double arrays & type declarations? 19:48:18 I don't think so. I have enough things on my plate right now. I'd like WG2 to spawn a new WG for the purpose. 19:48:37 chandler: Pluggability. Using CL imports CL's world. 19:48:58 is there anyone active on WG2 right now? 19:49:06 sstrickl [n=sstrickl@129.44.182.54] has joined #scheme 19:49:11 There's nobody active on any WG right now, at least not officially. 19:49:15 -!- sstrickl [n=sstrickl@129.44.182.54] has quit [Read error: 131 (Connection reset by peer)] 19:52:06 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:52:18 ASau [n=user@85.141.215.63] has joined #scheme 19:52:52 There are no WGs right now. 19:52:58 arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has joined #scheme 19:54:25 construct additional working groups! 19:55:16 -!- ASau [n=user@85.141.215.63] has quit [Read error: 131 (Connection reset by peer)] 19:55:28 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 19:56:54 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Ex-Chat"] 19:58:52 jao [n=jao@128.Red-83-43-32.dynamicIP.rima-tde.net] has joined #scheme 19:58:52 incubot: Users of the new Apple operating system Snow Leopard are experiencing massive data losses when logging into their machines under a guest account. 19:58:56 I'm experiencing the main difference between those two keyboards. 19:59:16 -!- jcowan [n=jcowan@72.14.228.129] has left #scheme 20:00:54 Narrenschiff [n=ritchie@80.229.216.34] has joined #scheme 20:01:06 -!- mejja [n=user@c-49b6e555.023-82-73746f38.cust.bredbandsbolaget.se] has quit ["ChatZilla 0.9.85 [Firefox 3.5.3/20090824101458]"] 20:01:37 sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has joined #scheme 20:02:33 hotblack23 [n=jh@p5B055988.dip.t-dialin.net] has joined #scheme 20:02:33 -!- sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has quit [Read error: 104 (Connection reset by peer)] 20:06:16 -!- emmy [n=a59bcafe@gateway/web/flash/eris.tuxhacker.org/x-ttjcvjloxzitithx] has quit [Read error: 131 (Connection reset by peer)] 20:07:41 peter_12 [n=peter_12@S01060024016bb36c.gv.shawcable.net] has joined #scheme 20:12:14 sstrickl [n=sstrickl@129.44.182.54] has joined #scheme 20:12:36 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:14:59 -!- sstrickl [n=sstrickl@129.44.182.54] has quit [Read error: 131 (Connection reset by peer)] 20:15:04 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 20:17:22 sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has joined #scheme 20:19:02 -!- sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has quit [Read error: 104 (Connection reset by peer)] 20:21:17 sladegen [n=nemo@unaffiliated/sladegen] has joined #scheme 20:22:35 -!- Narrenschiff [n=ritchie@80.229.216.34] has quit [Remote closed the connection] 20:22:49 Narrenschiff [n=ritchie@vpn158.its.manchester.ac.uk] has joined #scheme 20:23:55 -!- ve [n=a@94-193-95-252.zone7.bethere.co.uk] has quit [Read error: 110 (Connection timed out)] 20:23:55 sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has joined #scheme 20:25:45 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:28:13 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 20:31:11 Narrenschiff_ [n=ritchie@xolotl.plus.com] has joined #scheme 20:31:29 mreggen_ [n=mreggen@84.215.28.167] has joined #scheme 20:32:49 incubot: how the hell have ya been, buddy? 20:32:52 lemme ask my buddy nickserv 20:36:40 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:36:48 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 20:40:00 -!- langmartin [n=user@exeuntcha.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 20:44:23 ada2358_ [n=ada2358@login-linux.ccs.neu.edu] has joined #scheme 20:45:13 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:45:32 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 20:46:04 incubot: start a religious war 20:46:07 I assume that many religious conversions are prompted by marriage. 20:46:40 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 20:46:49 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 20:47:36 -!- Narrenschiff [n=ritchie@vpn158.its.manchester.ac.uk] has quit [Read error: 113 (No route to host)] 20:47:36 -!- Narrenschiff_ is now known as Narrenschiff 20:52:09 -!- peter_12 [n=peter_12@S01060024016bb36c.gv.shawcable.net] has quit [] 20:54:42 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:54:55 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 20:55:09 -!- ada2358 [n=ada2358@unaffiliated/ada2358] has quit [Connection timed out] 20:58:51 karme [n=user@io.karme.de] has joined #scheme 20:59:25 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 20:59:33 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:06:56 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:07:13 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:11:06 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:11:15 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:13:40 -!- karme [n=user@io.karme.de] has left #scheme 21:14:43 ada2358 [n=ada2358@login-linux.ccs.neu.edu] has joined #scheme 21:17:43 -!- npe [n=npe@94-224-251-223.access.telenet.be] has quit [] 21:21:23 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 21:21:53 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:22:19 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 21:24:01 Summermute [n=scott@c-68-34-67-216.hsd1.dc.comcast.net] has joined #scheme 21:24:30 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:24:35 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 21:25:57 -!- ada2358_ [n=ada2358@login-linux.ccs.neu.edu] has quit [Connection timed out] 21:27:01 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:28:46 did anyone change his opinion on big endian vs little endian because of marriage? 21:29:40 ... 21:31:20 -!- choas [n=lars@p5B0DC68B.dip.t-dialin.net] has quit ["leaving"] 21:33:16 Fare: Yes, Apple did. 21:34:30 :) 21:36:23 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:36:45 ASau [n=user@85.141.215.63] has joined #scheme 21:39:14 -!- ponzao___ [n=vesam@xdsl-83-150-86-25.nebulazone.fi] has quit [Read error: 60 (Operation timed out)] 21:43:29 ponzao___ [n=vesam@xdsl-83-150-86-25.nebulazone.fi] has joined #scheme 21:46:02 -!- ASau [n=user@85.141.215.63] has quit [Read error: 131 (Connection reset by peer)] 21:46:25 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:48:25 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 21:49:01 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 21:49:05 ada2358_ [n=ada2358@login-linux.ccs.neu.edu] has joined #scheme 21:49:48 -!- arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has left #scheme 21:50:11 I did, much wife's got such a big-endian she'd kill me if I were to say I prefer little-endian. 21:50:41 lol 21:53:35 -!- hotblack23 [n=jh@p5B055988.dip.t-dialin.net] has quit ["Leaving."] 21:54:37 -!- hkBst [n=hkBst@gentoo/developer/hkbst] has quit [Remote closed the connection] 21:55:14 I'm a little-endian, for eggs as for bytes. 21:59:01 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 21:59:12 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:00:02 -!- ada2358 [n=ada2358@login-linux.ccs.neu.edu] has quit [Connection timed out] 22:00:59 Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has joined #scheme 22:07:46 ve [n=a@94-193-95-252.zone7.bethere.co.uk] has joined #scheme 22:07:54 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:10:45 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:11:20 -!- albacker [n=eni@unaffiliated/enyx] has quit ["Leaving"] 22:11:35 -!- Narrenschiff [n=ritchie@xolotl.plus.com] has quit [] 22:13:37 Narrenschiff [n=ritchie@80.229.216.34] has joined #scheme 22:14:20 -!- Narrenschiff [n=ritchie@80.229.216.34] has quit [Client Quit] 22:14:20 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:14:31 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:15:21 arcfide [i=1000@140-182-224-237.dhcp-bl.indiana.edu] has joined #scheme 22:15:51 -!- ve [n=a@94-193-95-252.zone7.bethere.co.uk] has quit ["leaving"] 22:16:31 -!- Nshag [i=user@Mix-Orleans-106-4-128.w193-248.abo.wanadoo.fr] has quit [Read error: 110 (Connection timed out)] 22:16:31 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:16:41 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:19:10 -!- mmc [n=mima@89.27.122.78] has quit [Read error: 145 (Connection timed out)] 22:26:31 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:26:44 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:30:29 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:32:46 -!- sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has quit [] 22:32:50 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:33:40 sstrickl [n=sstrickl@pool-129-44-182-54.bos.east.verizon.net] has joined #scheme 22:35:35 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:36:29 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 22:37:56 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:41:54 -!- gribozavr [n=grib@2001:470:d4b6:1:215:f2ff:fe65:2d39] has quit [Read error: 110 (Connection timed out)] 22:49:15 gribozavr [n=grib@2001:470:d4b6:1:215:f2ff:fe65:2d39] has joined #scheme 22:49:37 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:50:02 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:50:03 schemer999 [n=schemer9@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 22:52:18 -!- Fare [n=Fare@ita4fw1.itasoftware.com] has quit ["Leaving"] 22:52:37 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 113 (No route to host)] 22:52:37 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:53:10 -!- Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has quit [Remote closed the connection] 22:54:29 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 22:55:16 -!- funkenblatt [n=user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has quit [Remote closed the connection] 22:56:09 funkenblatt [n=user@adsl-69-238-246-201.dsl.pltn13.pacbell.net] has joined #scheme 22:58:24 pumpkin [n=pumpkin@pumpkinpro.cs.dartmouth.edu] has joined #scheme 23:10:41 Dawgmatix [n=user@c-68-32-44-191.hsd1.nj.comcast.net] has joined #scheme 23:13:06 -!- Vecklock [n=Vecklock@198.177.232.253] has quit [] 23:14:45 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 23:15:05 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 23:16:38 dmoerner [n=dmr@134.173.91.168] has joined #scheme 23:17:06 -!- pumpkin is now known as anapumpkin 23:21:39 -!- samth is now known as samth_away 23:35:45 untouchable [i=untoucha@dhcp-129-64-166-32.dorm.brandeis.edu] has joined #scheme 23:37:05 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 23:37:14 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme 23:37:29 i like big bytes and I cannot lie 23:37:48 you other schemers can't deny 23:39:37 .. that when a word walks by with an itty-bitty waist and MSB in your face 23:39:45 you get sprung. 23:43:24 -!- peddie [n=peddie@c-67-180-249-125.hsd1.ca.comcast.net] has quit ["leaving"] 23:43:42 peddie [n=peddie@c-67-180-249-125.hsd1.ca.comcast.net] has joined #scheme 23:46:40 neilmock [n=neilmock@99-11-93-68.lightspeed.nsvltn.sbcglobal.net] has joined #scheme 23:52:38 -!- anapumpkin is now known as pumpkin 23:53:08 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 23:56:54 -!- ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 23:59:14 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 23:59:24 ASau [n=user@ppp85-141-215-63.pppoe.mtu-net.ru] has joined #scheme