00:04:52 -!- jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Ping timeout: 248 seconds] 00:10:25 -!- icrazyhack [~horieyui@183.60.100.164] has quit [Quit: http://www.cnblogs.com/crazyhack] 00:10:30 -!- ijp [~user@host31-53-168-130.range31-53.btcentralplus.com] has quit [Quit: The garbage collector got me] 00:15:49 leo2007 [~leo@123.123.255.114] has joined #scheme 00:19:39 -!- dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has quit [Read error: Connection reset by peer] 00:21:13 -!- choas [~lars@p4FDC5C62.dip.t-dialin.net] has quit [Ping timeout: 252 seconds] 00:22:39 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 00:26:53 dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has joined #scheme 00:35:51 ve [~a@vortis.xen.tardis.ed.ac.uk] has joined #scheme 00:55:54 djcb`` [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 00:56:21 Would I be right in thinking that a symbol name can't contain a null byte? \0 ? I.e. could I use null bytes as Evil Hackery in my interpreter innards? 00:57:38 -!- djcb` [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Ping timeout: 240 seconds] 00:58:01 do you have a real lexer and parser? 00:58:32 Yes 00:59:14 confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 00:59:19 I'm just considering macros currently; mine aren't hygenic. Am thinking of appending \0 and a nonce to symbol names inserted by macros if they collide with ones already defined.. Then symbol->string can just chop that part off 01:00:09 gensym is a bit cleverer 01:00:21 check how that works -- Paul Graham discusses it in "On Lisp" 01:03:22 -!- confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 01:06:35 SeanTAllen_ [u4855@gateway/web/irccloud.com/x-ypvpcjuofehffhsz] has joined #scheme 01:07:32 confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 01:10:04 -!- SeanTAllen_ is now known as SeanTAllen 01:11:08 adu [~ajr@pool-173-66-11-4.washdc.fios.verizon.net] has joined #scheme 01:12:00 -!- pygospa [~Pygosceli@kiel-4d066efa.pool.mediaWays.net] has quit [Disconnected by services] 01:12:10 pygospa [~Pygosceli@kiel-5f768f20.pool.mediaWays.net] has joined #scheme 01:15:08 -!- Nisstyre [~yours@c-208-90-102-250.netflash.net] has quit [Ping timeout: 252 seconds] 01:15:08 Ya.. I'm aware of gensym 01:15:33 But how does that relate to Scheme's define-syntax/syntax-rules ? 01:17:07 eh probably doesn't. but your nonce idea should work. no idea about NUL without poring over the standard for an hour but you probably don't need it anyway. 01:17:20 on the other hand, i'm not an implementor, so i should shut up. 01:17:56 I guess I'm just afraid of what the variables ought to look like in the output 01:18:07 Imean, is it allowed to be #:{some random number} 01:18:48 I wanted them to "appear" to symbol->string or friends, like their real name, but be nonced internally for the purposes of env. lookups 01:19:37 So e.g. in my above example I'd end up with an environment of { "var" => _mkstr("clean"), "var\0001" => _mkstr("dirty") } and the code suitably modified to match 01:24:46 Hrmmmm 01:25:16 Appears this is nontrivial to do if I try to expand macroes lazily; because I can't distinguish what is a new symbol the macro is introducing, from one that is already bound in the program (like a global like +) that it's trying to use 01:25:32 Whereas if I expand eagerly, the only thing that introduces new symbols is (define ) 01:33:24 LeoNerd: that is so bizarre 01:34:04 LeoNerd: would you say scheme macros are the most amazing things on the planet? 01:34:25 LeoNerd: strange. I thought string->symbol was what introduced new symbols... 01:35:16 adu: They're quite nice, yes. Not sure I'd go -that- far 01:35:25 pjb: symbol->string 01:36:16 I like m4 01:36:24 rudybot: (string->symbol "Hello!?") 01:36:25 pjb: your r5rs sandbox is ready 01:36:25 pjb: ; Value: Hello!? 01:37:34 Nisstyre [~yours@c-208-90-102-250.netflash.net] has joined #scheme 01:38:27 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Read error: Operation timed out] 01:44:52 -!- leo2007 [~leo@123.123.255.114] has quit [Quit: rcirc on GNU Emacs 23.3.50.1] 01:54:40 jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 01:56:32 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 01:57:48 \o/ I believe I have a hygenic macro transformer 01:57:58 Atleast, I have one example of it working 01:58:21 -!- masm [~masm@bl19-170-245.dsl.telepac.pt] has quit [Quit: Leaving.] 02:05:23 -!- acarrico1 [~acarrico@pppoe-68-142-39-140.gmavt.net] has quit [Quit: Leaving.] 02:09:12 acarrico [~acarrico@pppoe-68-142-39-140.gmavt.net] has joined #scheme 02:13:10 -!- jeapostrophe [~jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [Ping timeout: 248 seconds] 02:21:24 -!- ToxicFrog` is now known as ToxicFrog 02:23:23 -!- bigfg [~b_fin_g@r186-52-166-12.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 02:25:54 bfig [~b_fin_g@r186-52-166-12.dialup.adsl.anteldata.net.uy] has joined #scheme 02:32:37 -!- homie [~levgue@xdsl-87-79-249-252.netcologne.de] has quit [Read error: Connection reset by peer] 02:33:59 homie [~levgue@xdsl-87-79-249-252.netcologne.de] has joined #scheme 02:35:10 -!- bytbox [~s@96.26.105.154] has quit [Quit: Lost terminal] 02:39:31 bytbox [~s@96.26.105.154] has joined #scheme 02:45:47 -!- bytbox [~s@96.26.105.154] has quit [Quit: Lost terminal] 02:50:36 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Ping timeout: 244 seconds] 02:52:36 jcowan [~John@cpe-98-14-172-212.nyc.res.rr.com] has joined #scheme 02:54:09 -!- dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has quit [Quit: Leaving] 02:54:26 dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has joined #scheme 02:54:48 -!- dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has quit [Read error: Connection reset by peer] 02:55:01 dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has joined #scheme 02:55:50 -!- dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has quit [Client Quit] 02:56:04 -!- ToxicFrog [~ToxicFrog@24-246-40-169.cable.teksavvy.com] has quit [Ping timeout: 240 seconds] 02:56:07 dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has joined #scheme 03:04:04 -!- mmc1 [~michal@178-85-131-65.dynamic.upc.nl] has quit [Ping timeout: 240 seconds] 03:07:45 -!- homie [~levgue@xdsl-87-79-249-252.netcologne.de] has quit [Read error: Operation timed out] 03:08:23 homie` [~levgue@xdsl-78-35-180-48.netcologne.de] has joined #scheme 03:13:33 hoi 03:15:43 -!- panterax [~panterax@31.176.148.25] has quit [Ping timeout: 276 seconds] 03:19:07 hi 03:33:25 zzach1 [~zzach@dslb-178-001-227-057.pools.arcor-ip.net] has joined #scheme 03:34:00 -!- zzach [~zzach@dslb-088-076-026-131.pools.arcor-ip.net] has quit [Ping timeout: 260 seconds] 03:37:12 *offby1* sniffs 03:39:14 *jcowan* coughs 03:43:42 *offby1* picks his teeth with a matchbook cover 03:48:34 *qu1j0t3* 's head starts to droop towards kbd, eyes closing 03:49:55 *jcowan* pulls qu1j0t3's nose out from between the g and h keys 03:53:10 -!- jcowan [~John@cpe-98-14-172-212.nyc.res.rr.com] has quit [Read error: Connection reset by peer] 03:53:31 jcowan [~John@cpe-98-14-172-212.nyc.res.rr.com] has joined #scheme 03:54:39 jcowan: a risky move. seems in doing those acrobatics you managed to kick the phone line out. 03:55:03 Nope, it was XChat that crashed, though I don't know why. The Internet stayed up. 03:55:43 It went *queep*, folded up, and died. 03:56:16 RageOfThou [~RageOfTho@users-38-111.vinet.ba] has joined #scheme 03:57:01 -!- MrFahrenheit [~RageOfTho@users-38-111.vinet.ba] has quit [Read error: Connection reset by peer] 03:58:13 -!- _schulte_ [~eschulte@c-174-56-1-147.hsd1.nm.comcast.net] has quit [Ping timeout: 248 seconds] 03:58:36 \o/ My Scheme now has (let ...) 04:04:20 nice 04:04:26 i want to write a scheme 04:05:39 *offby1* wants to write the Great American Dust Jacket 04:06:24 -!- RageOfThou [~RageOfTho@users-38-111.vinet.ba] has quit [Ping timeout: 245 seconds] 04:10:54 *jcowan* needs to sweep up the Great American Dust. 04:12:43 adu: why is that? 04:14:53 qu1j0t3: many reasons 04:15:06 what are the most pressing ones? 04:15:18 just curious 04:15:49 * to learn * to unify * to modernize * to simplify 04:16:04 well, that's certainly terse. 04:16:22 any specifics? 04:16:50 I think to have a specific reason to write a general purpose programming language is insane 04:16:57 specific purposes. 04:16:59 in mind. 04:17:10 yes 04:17:12 e.g. specific things to learn, or what "unify" means, or "modernise" means 04:17:17 a MathML compiler 04:17:52 yeah, but why build a scheme for it. wht sort of scheme would it be? 04:18:13 i understand the learning part, i guess. that's always appealing. 04:18:24 it would be a scheme where symbols can either be 1,2,3-tuples 04:19:00 pairs? 04:19:15 like Naggum's idea for representing xml? 04:19:22 corresponding to local definitions (1) or MathML @definitionURL attr (2) or OpenMath (group, base, name) symbols 04:20:05 hm, ok. maybe you'd be interested in that generalisation of pairs too. i can probably find a link... 04:21:35 wait, (cdgroup, cd, name) 04:21:37 sorry 04:22:05 pairs? 04:23:11 yes, instead of being two parts, i think the proposal was four. to deal with xml specifically. 04:23:47 four-part symbols? 04:24:00 pairs. 04:24:03 called "quads". 04:24:14 i actually have had it open in my browser for months: http://smuglispweeny.blogspot.com/2009/06/i-feel-naggum-rip-coming-on-quads.html 04:24:15 http://tinyurl.com/69fkwgl 04:25:09 -!- GoKhlayeh [~GoKhlayeh@33.31.80.79.rev.sfr.net] has quit [Ping timeout: 245 seconds] 04:25:28 you might also be interested in my attempts to make some of my ideas more concrete: 04:25:29 http://drosoft.org/drosera-specs/dro.html#id35834266 04:26:46 ToxicFrog [~ToxicFrog@24-246-40-169.cable.teksavvy.com] has joined #scheme 04:26:56 *qu1j0t3* reads 04:29:02 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 04:45:04 qu1j0t3: BTW, i need to revise that, I'm using dl now 04:45:19 dl? 04:45:53 html has dl, dt, dd elements (and xhtml2 adds di) 04:46:06 ah. 04:49:26 I'm so sad that xhtml2 kind of died. 04:49:36 I mean, sounds like it's awesome. 04:50:03 heh 04:50:14 well, most browsers don't complain if you use it 04:50:17 cky: lowercase is ghey though. ftw 04:50:23 Lolz. 04:54:39 -!- dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has quit [Read error: Connection reset by peer] 04:58:07 so quads are a tree 04:59:26 dan64 [~dan64@c-71-206-193-42.hsd1.pa.comcast.net] has joined #scheme 05:02:05 potentially, i guess. it seems to be just sugar for this common *ML representation. 05:02:10 or in DOM Core terminology, (nodeType, parentNode, firstChild, nextSibling) 05:03:28 hmm, my node system is more like (nodeType, attributes, childNodes) 05:03:32 adu: yes it looks like that is the case 05:05:58 -!- realitygrill [~realitygr@c-76-112-35-247.hsd1.mi.comcast.net] has quit [Read error: Connection reset by peer] 05:06:53 realitygrill [~realitygr@c-76-112-35-247.hsd1.mi.comcast.net] has joined #scheme 05:09:42 sounds like VTD 05:10:32 *You*'re sad? I spent many hours preparing a presentation on it, and even gave the presentation -- and now it's rotting on the vine. 05:12:10 djcb``` [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 05:13:29 jcowan: :-((((( 05:13:44 jcowan: I think we should make a guerilla effort to revive XHTML2. :-D 05:13:53 -!- djcb`` [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Ping timeout: 252 seconds] 05:14:02 Screw HTML5. 05:14:03 :-P 05:14:15 cky: yeah 05:14:41 who needs