00:03:30 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Remote closed the connection] 00:03:52 -!- xmonader [n=ahmed@82.201.228.190] has quit ["Leaving."] 00:03:52 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:07:24 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Remote closed the connection] 00:07:45 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:09:23 RageOfThou [n=RageOfTh@users-38-211.vinet.ba] has joined #scheme 00:15:16 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Remote closed the connection] 00:16:05 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:16:56 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Client Quit] 00:19:05 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:27:19 -!- MrFahrenheit [n=RageOfTh@users-120-87.vinet.ba] has quit [Read error: 110 (Connection timed out)] 00:40:49 -!- emmy is now known as emma 00:44:28 -!- masm [n=masm@bl9-115-236.dsl.telepac.pt] has quit ["Leaving."] 00:44:35 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit ["Leaving"] 00:48:23 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:49:20 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Client Quit] 00:50:35 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:51:33 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Client Quit] 00:53:43 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 00:56:26 If I am using drscheme to work through SICP which language should it be set to? 00:56:32 I just took a guess of 'advanced student' 01:00:21 shine@tuxray-1 ~ $ drscheme 01:00:21 Seg fault (internal error) at 0x20 01:00:25 that's exciting. 01:01:26 just try it again 01:02:23 I'm not sure why it does that. mred works fine. 01:03:25 -!- Daemmerung [n=goetter@64.146.161.228] has quit [Read error: 104 (Connection reset by peer)] 01:03:35 never mind. :) 01:07:36 what did you find out? 01:07:39 mjonsson [n=mjonsson@cpe-74-68-112-229.nyc.res.rr.com] has joined #scheme 01:09:03 simon, what did you find out? 01:15:13 blackened`_ [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 01:16:30 emma, I found out that drscheme was a shellscript that launches mred. 01:16:30 -!- blackened`_ [n=blackene@ip-89-102-28-224.karneval.cz] has quit [Client Quit] 01:17:04 do you know what language in DrScheme one should use to work through SICP ? 01:18:13 no, I never ran drscheme, and the MrEd window I've got doesn't mention any different dialects. 01:24:52 mflatt_ [n=mflatt@98.202.83.160] has joined #scheme 01:24:58 -!- danlei [n=user@pD9E2F279.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 01:28:58 rstandy [n=rastandy@net-93-144-95-37.t2.dsl.vodafone.it] has joined #scheme 01:31:31 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [Read error: 110 (Connection timed out)] 01:36:42 eli do you know what language in DrScheme is best to use if you are using it to work through SICP ? 01:38:07 -!- eli [n=eli@winooski.ccs.neu.edu] has left #scheme 01:38:16 eli [n=eli@winooski.ccs.neu.edu] has joined #scheme 01:38:55 emma: This is probably the best thing for you: http://neilvandyke.org/sicp-plt/ 01:42:22 -!- mflatt_ [n=mflatt@98.202.83.160] has quit [Read error: 110 (Connection timed out)] 01:44:15 -!- tabe`` [n=user@adel.fixedpoint.jp] has quit ["rebooting"] 01:45:58 uninverted [n=njs@ip98-184-78-46.ri.ri.cox.net] has joined #scheme 01:46:47 Does anyone know of a function to tell whether a list is cyclic? eg. (1 2 3 1 2 3 1 2 3) 01:48:52 I think it would use append in some clever way. 01:49:19 that sounds like a tough problem.. 01:49:41 lists and cycles makes me think of the 'tortoise and the hair' algorithm 01:49:47 but im not sure exactly how it would apply in this situation 01:50:07 I'm doing sequence extrapolation, lots of crazy things like this. It's a lot of fun. 01:50:22 tabe` [n=user@adel.fixedpoint.jp] has joined #scheme 01:50:43 maybe you could cut up the array into 2 parts, then do longest subsequence on it. and keep doing that 01:57:27 eli, thanks that works great 02:00:23 .oO("hair"?) 02:01:07 uninverted, you could write a naive algorithm that tests if the first element repeats throughout the list. if not, see if the two first elements repeat throughout the rest of the list, etc. up to half the length of the list. 02:01:09 It's a known algorithm: you take a tortoise, cut all of its hair, then watch it run in horror. 02:01:28 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 02:01:41 Tortoises are running around in horror constantly, I guess. 02:02:48 What implementation of scheme was being used in the SICP videos? 02:02:54 were they using MIT scheme? 02:03:56 I'm afraid I haven't watched the videos. 02:06:35 rakzom [n=rakzom@2a01:e35:8a22:7560:203:dff:fe34:c4b6] has joined #scheme 02:09:44 Daemmerung [n=goetter@64.146.161.228] has joined #scheme 02:14:06 Darki [i=Darkstar@p57B56055.dip.t-dialin.net] has joined #scheme 02:17:32 -!- RageOfThou [n=RageOfTh@users-38-211.vinet.ba] has quit [Read error: 110 (Connection timed out)] 02:17:59 emma: I think so. 02:18:24 emma: It must've been a pretty old version, though... 02:20:00 c0c0b0ng0 [i=hk@190.75.214.89] has joined #scheme 02:24:34 -!- Dark-Star [i=Darkstar@p57B57140.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 02:35:42 optimizer [n=x@unaffiliated/lowlycoder] has joined #scheme 02:38:53 -!- jao [n=jao@72.Red-83-33-77.dynamicIP.rima-tde.net] has quit [Read error: 113 (No route to host)] 02:50:33 lisp paste is not working. 02:52:12 Could anyone look at this and tell me why drscheme is saying 'and: bad syntax in: and' 02:52:18 http://paste.lisp.org/display/88137 02:52:34 tjafk [n=timj@e176211156.adsl.alicedsl.de] has joined #scheme 02:56:15 emma: You're missing a grouping parentheses around each test-result in the `cond' clauses. 02:57:14 ebzzry_ [n=ebzzry@124.217.93.31] has joined #scheme 02:58:48 oh i see there is a ( ) for every predicate consequence pair 02:58:52 thanks 03:05:19 emma: You *could* ignore the flames and use [] around cond clauses -- that would make the error stick out. 03:09:02 -!- tjafk1 [n=timj@e176198073.adsl.alicedsl.de] has quit [Read error: 110 (Connection timed out)] 03:12:14 it's considered bad form to do that? 03:13:31 -!- ebzzry [n=ebzzry@124.217.64.76] has quit [Read error: 110 (Connection timed out)] 03:20:51 emma: No, it's perfectly fine. (But some people here will tell you that you'll burn in hell for doing so.) 03:21:29 oh hehe 03:26:07 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 03:31:24 -!- uninverted [n=njs@ip98-184-78-46.ri.ri.cox.net] has quit ["Ambushed"] 03:38:32 ebzzry__ [n=ebzzry@124.217.89.30] has joined #scheme 03:40:54 leppie [n=lolcow@196-210-146-156-tvwt-esr-2.dynamic.isadsl.co.za] has joined #scheme 03:44:51 -!- arcfide [n=arcfide@99.14.211.93] has left #scheme 03:47:24 -!- ebzzry_ [n=ebzzry@124.217.93.31] has quit [Read error: 145 (Connection timed out)] 03:48:17 -!- rakzom [n=rakzom@2a01:e35:8a22:7560:203:dff:fe34:c4b6] has quit ["leaving"] 03:50:50 -!- specbot [n=specbot@common-lisp.net] has quit [Remote closed the connection] 03:58:05 lisppaste [n=lisppast@common-lisp.net] has joined #scheme 03:59:40 minion [n=minion@common-lisp.net] has joined #scheme 03:59:48 specbot [n=specbot@common-lisp.net] has joined #scheme 04:03:39 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit [Read error: 105 (No buffer space available)] 04:15:21 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 04:15:47 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 04:18:27 emma: it turns out, though, that it's inauspicious to mastectomize your parentheses; regardless of eli's honey-dripping assurance to the contrary 04:25:58 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit ["Lost terminal"] 04:29:01 emma: Yeah, that's the kind of drivel I was talking about. 04:29:17 -!- luz [n=davids@189.122.90.116] has quit ["Client exiting"] 04:29:36 hehe 04:43:11 -!- jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has quit [] 05:09:48 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Remote closed the connection] 05:09:59 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 05:25:06 Dark-Star [i=Darkstar@p57B57EAE.dip.t-dialin.net] has joined #scheme 05:30:25 optimizer [n=x@unaffiliated/lowlycoder] has joined #scheme 05:30:38 is there any thing in r6rs for multiline comments? 05:30:46 suppose i have this sexp that goes over 10 lines 05:30:55 -!- nothingHappens [n=nothingH@173-25-176-111.client.mchsi.com] has quit [Read error: 110 (Connection timed out)] 05:30:56 instead of insterintg ; infront of eachn line, is there a way to comment out the entire sexp? 05:34:24 rudybot: init r6rs 05:34:24 TimMc: error: r6rs: must contain a `library' form (for a library) or start with `import' (for a top-level program) in: (#%module-begin) 05:35:14 rudybot: eval 1 #;2 3 05:35:14 TimMc: error: r6rs: must contain a `library' form (for a library) or start with `import' (for a top-level program) in: (#%module-begin) 05:35:54 Bleh, it is time for sleep, not bashing my head against a bot. 05:36:11 so what's the command? 05:37:36 optimizer: Try #; in front of a sexp to comment out just that expression. 05:37:46 -!- Darki [i=Darkstar@p57B56055.dip.t-dialin.net] has quit [Read error: 110 (Connection timed out)] 05:38:01 I've also seen #| block comments like this. |# 05:38:10 Don't know what's implementation-specific, though. 05:38:24 #| |# works for me; thanks 05:40:02 optimizer: And I *think* that style of comment is also nestable. 05:41:55 eli: nonsense: your metaphor is religious; mine, corporal. the drivels are therefore orthogonal. 05:42:04 julian37 [n=user@122.58.116.151] has joined #scheme 05:43:03 optimizer: #| ... |# is very common block comment, #; is slightly newer and is an expression comment, both are not part of r5rs and are part of r6rs. 05:43:18 klutometis: I don't metaphor. 05:47:11 hi there. are there any best practices for code reloading? any recommended reading? 05:51:21 in particular I'm wondering how juggling environments/frames might help, any documents that would explain storing/restoration of frames in more depth? 05:55:33 Summermute [n=scott@c-68-34-67-216.hsd1.dc.comcast.net] has joined #scheme 05:56:37 julian37: when you find this; please let me know; i'd love to know more about this 06:00:24 optimizer, sure thing... 06:00:50 -!- TR2N [i=email@89.180.177.41] has left #scheme 06:10:45 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Remote closed the connection] 06:13:08 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 06:15:12 does r6rs provide no way to overwrite format/display? 06:15:22 i have my own record type, and I would really really really like to control how it is printed 06:15:35 (the record has a giant byte array inside of it) 06:16:48 schemer999 [n=tmilford@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 06:26:35 -!- foof [n=user@FLH1Ahf049.osk.mesh.ad.jp] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 06:54:22 -!- mjonsson [n=mjonsson@cpe-74-68-112-229.nyc.res.rr.com] has quit [Read error: 110 (Connection timed out)] 07:01:55 optimizer: dynamic-wind might be one answer. http://www.gnu.org/software/mit-scheme/documentation/mit-scheme-ref/Continuations.html has a good example 07:01:56 -rudybot:#scheme- http://tinyurl.com/yezd9px 07:05:13 foof [n=user@FLH1Ahf049.osk.mesh.ad.jp] has joined #scheme 07:06:06 -!- julian37 [n=user@122.58.116.151] has left #scheme 07:14:06 -!- jonrafkind [n=jon@98.202.86.149] has quit [Read error: 110 (Connection timed out)] 07:17:17 -!- zanes [n=zane@c-76-24-24-236.hsd1.ma.comcast.net] has quit [] 07:27:03 -!- yosafbridge [n=yosafbri@li14-39.members.linode.com] has quit ["Coyote finally caught me"] 07:27:12 yosafbridge [n=yosafbri@li14-39.members.linode.com] has joined #scheme 07:29:47 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has quit [Remote closed the connection] 07:30:13 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 07:31:25 -!- 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:38:49 xwl [n=user@61.149.81.101] has joined #scheme 07:42:09 -!- Makoryu [n=vt920@pool-74-104-123-150.bstnma.fios.verizon.net] has quit [Read error: 113 (No route to host)] 07:45:58 choas [n=lars@p5B0DB0FD.dip.t-dialin.net] has joined #scheme 08:04:11 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 08:06:56 albacker [n=eni@unaffiliated/enyx] has joined #scheme 08:34:09 -!- Kusanagi [n=Lernaean@unaffiliated/kusanagi] has quit [Read error: 110 (Connection timed out)] 08:34:57 -!- antoszka [n=antoszka@unaffiliated/antoszka] has quit ["+++ killed by SIGSEGV +++"] 08:57:27 -!- araujo [n=araujo@gentoo/developer/araujo] has quit [Read error: 60 (Operation timed out)] 09:03:35 Jafet [n=Jafet@unaffiliated/jafet] has joined #scheme 09:07:11 c0c0b0ng0w [i=hk@190.75.214.89] has joined #scheme 09:08:14 araujo [n=araujo@gentoo/developer/araujo] has joined #scheme 09:13:15 macdice [n=user@78-86-162-220.zone2.bethere.co.uk] has joined #scheme 09:14:24 -!- c0c0b0ng0 [i=hk@190.75.214.89] has quit [Read error: 110 (Connection timed out)] 09:31:01 -!- choas [n=lars@p5B0DB0FD.dip.t-dialin.net] has quit ["leaving"] 09:41:18 danlei [n=user@pD9E2D986.dip.t-dialin.net] has joined #scheme 09:59:15 Narrenschiff [n=ritchie@xolotl.plus.com] has joined #scheme 09:59:54 masm [n=masm@bl9-112-158.dsl.telepac.pt] has joined #scheme 10:00:43 -!- Khisanth [n=Khisanth@pool-141-157-230-238.ny325.east.verizon.net] has quit [holmes.freenode.net irc.freenode.net] 10:00:43 -!- rudybot [n=luser@q-static-138-125.avvanta.com] has quit [holmes.freenode.net irc.freenode.net] 10:00:43 -!- ecraven [n=nex@140.78.42.103] has quit [holmes.freenode.net irc.freenode.net] 10:00:43 -!- michaelw [i=michaelw@lambda.foldr.org] has quit [holmes.freenode.net irc.freenode.net] 10:01:06 Khisanth [n=Khisanth@pool-141-157-230-238.ny325.east.verizon.net] has joined #scheme 10:01:06 rudybot [n=luser@q-static-138-125.avvanta.com] has joined #scheme 10:01:06 ecraven [n=nex@140.78.42.103] has joined #scheme 10:01:06 michaelw [i=michaelw@lambda.foldr.org] has joined #scheme 10:03:40 sepult` [n=levgue@xdsl-87-78-121-100.netcologne.de] has joined #scheme 10:18:43 -!- xwl [n=user@61.149.81.101] has quit [Remote closed the connection] 10:19:35 -!- sepult [n=levgue@xdsl-87-78-128-225.netcologne.de] has quit [Connection timed out] 10:29:11 MrFahrenheit [n=RageOfTh@users-38-118.vinet.ba] has joined #scheme 10:41:32 Edico [n=Edico@unaffiliated/edico] has joined #scheme 10:55:00 hotblack23 [n=jh@p5B055DF4.dip.t-dialin.net] has joined #scheme 11:11:43 -!- Narrenschiff [n=ritchie@xolotl.plus.com] has quit [] 11:21:50 -!- Edico [n=Edico@unaffiliated/edico] has quit [Read error: 104 (Connection reset by peer)] 11:26:15 Edico [n=Edico@unaffiliated/edico] has joined #scheme 11:27:11 -!- Jafet is now known as tefaJ 11:33:54 Sveklo1 [n=sveklo@cs181131.pp.htv.fi] has joined #scheme 11:47:40 -!- tefaJ is now known as Jafet 11:48:57 Nshag [i=user@Mix-Orleans-106-2-46.w193-248.abo.wanadoo.fr] has joined #scheme 12:02:15 Sveklo [n=sveklo@cs181131.pp.htv.fi] has joined #scheme 12:07:51 -!- Sveklo1 [n=sveklo@cs181131.pp.htv.fi] has quit [] 12:12:15 hollunder [n=hollunde@eris.mozart.uni-klu.ac.at] has joined #scheme 12:13:54 -!- Jafet [n=Jafet@unaffiliated/jafet] has quit [Read error: 60 (Operation timed out)] 12:14:14 Jafet [n=Jafet@unaffiliated/jafet] has joined #scheme 12:20:55 Hi there. Are there gui options for scheme that aren't totally outdated and ugly? 12:24:40 far more obscure languages seem to have bindings for say qt and gtk 12:31:13 -!- sepult` [n=levgue@xdsl-87-78-121-100.netcologne.de] has quit [Client Quit] 12:32:44 there is guile-gtk 12:33:35 also you can use gtk-server from almost any language 12:34:59 I found a bunch of outdated gtk bindings for different scheme dialects as well 12:35:43 seems like guile-gtk is pretty much deprecated in favor of guile-gnome 12:38:53 sepult [n=levgue@xdsl-87-78-121-100.netcologne.de] has joined #scheme 12:41:13 i looked a while back and found that bigloo, chicken, guile and others have their own bindings, all different. it would be nice if there were something like common lisp's cffi that could let simple binding libraries be shared between implementations (or is there?) 12:41:14 Narrenschiff [n=ritchie@xolotl.plus.com] has joined #scheme 12:42:33 Is there a text editor written in scheme? 12:42:54 edwin 12:43:08 is an emacs written in scheme 12:43:27 built on top of mit/gnu scheme 12:43:37 and also of course dr scheme 12:45:53 So, no (DrScheme is much more than a text editor) and no (emacs is not a text editor) 12:45:57 Thanks 12:46:05 :-) 12:46:34 jeapostrophe [n=jay@69.169.141.110.provo.static.broadweavenetworks.net] has joined #scheme 12:49:32 ejs [n=eugen@209-60-135-95.pool.ukrtel.net] has joined #scheme 12:50:59 drscheme/pltscheme/mzscheme seems to be only able to use something called mred or opengl for graphics, from what I found. Is there anything else? 12:53:03 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 12:55:45 -!- danlei [n=user@pD9E2D986.dip.t-dialin.net] has quit [Remote closed the connection] 13:10:10 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Remote closed the connection] 13:10:43 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:20:13 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:20:31 hollunder: there's also sbank, which includes GTK+ bindings: http://rotty.yi.org/software/sbank/ 13:21:01 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:32:48 nothingHappens [n=nothingH@173-25-176-111.client.mchsi.com] has joined #scheme 13:33:17 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:34:19 macdice: I have an FFI in my spells library collection which works across Ikarus, Ypsilon and PLT Scheme. 13:34:26 -!- Sveklo [n=sveklo@cs181131.pp.htv.fi] has quit [Read error: 145 (Connection timed out)] 13:35:08 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 13:35:40 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:38:22 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:38:49 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:39:35 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 13:40:26 rotty: looks interesting. out of curiosity, did you pick those implementtaions because they support r6, and if/when others do, (spells foreign) could be extended to cover them too? 13:45:19 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:45:28 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:46:51 danlei [n=user@pD9E2D986.dip.t-dialin.net] has joined #scheme 13:46:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:47:03 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:49:21 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:49:40 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:50:59 rotty: i notice that (spells foreign) needs to use GCC. how is it that the CL FFI systems require nothing but pure CL code? 13:54:57 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:55:20 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 13:58:13 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 13:58:29 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:04:48 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:05:07 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:07:36 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:07:45 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:11:25 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:13:54 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:16:00 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:16:34 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:16:56 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 14:19:03 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 105 (No buffer space available)] 14:19:48 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:21:44 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 14:21:58 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:25:06 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:25:36 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:27:14 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 14:27:44 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:30:58 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:31:21 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:33:32 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:35:48 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 145 (Connection timed out)] 14:36:30 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 14:37:19 luz [n=davids@189.122.90.116] has joined #scheme 14:37:56 macdice: yes, I picked them because of R6RS support 14:38:15 (and a reasonable FFI) 14:38:45 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:38:46 macdice: I must admit I haven't looked very closely at CL's CFFI 14:39:03 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 14:39:17 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 14:39:42 macdice: and FWIW, GCC is only required at build time. 14:41:03 I intend to prepare patches for Ypsilon and Ikarus to provide size and alignment information, then there would be no need to invoke GCC to figure those out 14:42:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 14:47:18 -!- danlei [n=user@pD9E2D986.dip.t-dialin.net] has quit [Remote closed the connection] 15:03:49 -!- schemer999 [n=tmilford@cpe-76-90-137-46.socal.res.rr.com] has quit [] 15:09:27 -!- sepult [n=levgue@xdsl-87-78-121-100.netcologne.de] has quit [Read error: 54 (Connection reset by peer)] 15:11:41 sepult [n=levgue@xdsl-87-78-121-100.netcologne.de] has joined #scheme 15:12:58 -!- Jafet [n=Jafet@unaffiliated/jafet] has quit ["Leaving."] 15:23:23 ada2358 [n=ada2358@login-linux.ccs.neu.edu] has joined #scheme 15:32:14 kenpp [n=kenpp@188-221-10-184.zone12.bethere.co.uk] has joined #scheme 15:34:08 -!- ada2358_ [n=ada2358@login-linux.ccs.neu.edu] has quit [Read error: 110 (Connection timed out)] 15:35:07 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 145 (Connection timed out)] 15:35:22 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:36:48 -!- Narrenschiff [n=ritchie@xolotl.plus.com] has quit [] 15:37:53 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 15:38:51 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 15:38:54 thesnowdog_ [i=thesnowd@114.73.30.33] has joined #scheme 15:38:58 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:41:27 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 15:41:50 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:43:39 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 15:43:57 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:46:52 Makoryu [n=vt920@pool-74-104-123-150.bstnma.fios.verizon.net] has joined #scheme 15:47:51 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 15:48:05 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:49:46 rotty pasted "unwind-protect for PLT (defunct)" at http://paste.lisp.org/display/88160 15:49:58 Riastradh: I'm trying to adapt your `unwind-protect.scm' for PLT, but seem to be unable to make it work; the "twonkie" is apparently never decllared garbage 15:51:08 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 15:51:45 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:52:20 Curious. 15:53:32 Is the procedure you pass to WILL-REGISTER supposed to return a procedure? 15:54:43 In retrospect, by the way, it is probably better to have the user preserve the dynamic context himself; that way, UNWIND-PROTECT can be used inside REWIND-PROTECT. 15:54:44 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 15:54:57 Riastradh: no, it is supposed to do some cleanup action to its argument. but I can't invoke the protector in there, since the will procedure is executed inside a continuation barrier 15:55:42 I see. Well, you could use a different implementaiton of PRESERVING-DYNAMIC-CONTEXT. 15:56:03 alaricsp [n=alaricsp@relief.warhead.org.uk] has joined #scheme 15:56:09 I'll try without preserving dynamic context 15:56:48 Also, note that UNWIND-PROTECT is not actually very useful: in most cases, it is better to associate a finalization action with an object, such as a file descriptor, not with a continuation. 15:56:57 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 15:57:05 ebzzry_ [n=ebzzry@124.217.76.10] has joined #scheme 15:57:58 -!- hollunder [n=hollunde@eris.mozart.uni-klu.ac.at] has left #scheme 16:00:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:01:03 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:01:08 so, if I want to ensure that the resource is released ASAP in the normal case, and eventually in /all/ cases, I'd do this: 16:01:49 If you want that, then you'll need to be able to know whether the current continuation had been reified. 16:01:51 (let ((resource (make-resource))) (register-finalizer resource cleanup) DO-SOMETHING (cleanup resource)) 16:01:55 s/had been/has been/1 16:02:09 No, that's not correct, unless you are willing to assume that control will never re-enter DO-SOMETHING (in which case, use REWIND-PROTECT). 16:03:07 -!- thesnowdog [i=thesnowd@114.73.30.33] has quit [Read error: 110 (Connection timed out)] 16:04:37 -!- ebzzry__ [n=ebzzry@124.217.89.30] has quit [Read error: 145 (Connection timed out)] 16:04:54 Sorry, to clarify: unless you are willing to assume that control will never re-enter DO-SOMETHING after it has returned normally. 16:04:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 16:05:15 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:05:16 because CLEANUP shouldn't be called if the continuation has been reified, right? 16:05:29 hmm. 16:05:48 I misread: you did say that you wanted it to be closed in the `normal' case, which I presume means `when control has returned normally'. 16:06:09 In that case, your idiom is correct. (See the 2009-03-28 entry in .) 16:06:58 Oops! There's a bug in ITERATION-PROCEDURE->STREAM in the appendix of that entry. 16:07:49 danlei [n=user@pD9E2D986.dip.t-dialin.net] has joined #scheme 16:08:30 -!- thesnowdog_ [i=thesnowd@114.73.30.33] has quit [Read error: 110 (Connection timed out)] 16:08:30 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:08:52 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:09:41 However, I'd amend your idiom to put the REGISTER-FINALIZER inside MAKE-RESOURCE. 16:12:04 Riastradh: yes, I've seen that now in your entry 16:12:27 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:12:37 -!- danlei [n=user@pD9E2D986.dip.t-dialin.net] has quit [Remote closed the connection] 16:13:04 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:14:20 danlei [n=user@pD9E2D986.dip.t-dialin.net] has joined #scheme 16:17:09 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:17:37 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:21:22 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:21:32 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:23:30 -!- ejs [n=eugen@209-60-135-95.pool.ukrtel.net] has quit [Read error: 145 (Connection timed out)] 16:28:58 -!- MrFahrenheit [n=RageOfTh@users-38-118.vinet.ba] has quit [Read error: 104 (Connection reset by peer)] 16:29:07 MrFahrenheit [n=RageOfTh@users-38-118.vinet.ba] has joined #scheme 16:38:12 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:38:37 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:40:44 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:41:21 Narrenschiff [n=ritchie@xolotl.plus.com] has joined #scheme 16:41:56 Narrenschiff_ [n=ritchie@xolotl.plus.com] has joined #scheme 16:42:08 -!- Narrenschiff_ [n=ritchie@xolotl.plus.com] has quit [Remote closed the connection] 16:43:13 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:47:33 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:47:53 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 16:50:23 -!- Narrenschiff [n=ritchie@xolotl.plus.com] has quit [Read error: 145 (Connection timed out)] 16:55:48 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 16:56:01 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:00:29 -!- danlei [n=user@pD9E2D986.dip.t-dialin.net] has quit [Remote closed the connection] 17:01:13 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 17:03:38 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:10:21 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 17:10:41 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:13:07 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 17:13:17 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:17:20 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 17:17:28 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:28:51 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 17:29:04 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:36:06 TR2N [i=email@89-180-163-127.net.novis.pt] has joined #scheme 17:38:58 SvekloB_ [n=sveklo@unaffiliated/sveklo] has joined #scheme 17:42:04 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 17:42:21 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:45:15 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 110 (Connection timed out)] 17:46:34 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 17:46:54 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 17:51:08 bzzbzz [n=franco@modemcable240.34-83-70.mc.videotron.ca] has joined #scheme 17:55:28 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 17:56:02 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:03:51 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:04:11 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:04:51 danlei [n=user@pD9E2D986.dip.t-dialin.net] has joined #scheme 18:15:39 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:16:19 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:18:53 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:19:47 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:24:55 jonrafkind [n=jon@98.202.86.149] has joined #scheme 18:26:04 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:27:50 -!- mreggen [n=mreggen@cm-84.215.28.167.getinternet.no] has quit ["leaving"] 18:28:25 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:30:05 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:30:33 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:31:09 schemer999 [n=tmilford@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 18:33:11 attila_lendvai [n=ati@catv-89-134-66-153.catv.broadband.hu] has joined #scheme 18:38:21 rcy [n=rcy@d154-20-175-81.bchsia.telus.net] has joined #scheme 18:39:13 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Read error: 104 (Connection reset by peer)] 18:42:38 antoszka [n=antoszka@unaffiliated/antoszka] has joined #scheme 18:42:38 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:43:10 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:48:46 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:49:00 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:49:09 -!- kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has quit [Remote closed the connection] 18:49:31 kniu [n=kniu@ELMUNDO.RES.CMU.EDU] has joined #scheme 18:49:53 -!- Makoryu [n=vt920@pool-74-104-123-150.bstnma.fios.verizon.net] has quit [Read error: 104 (Connection reset by peer)] 18:50:00 Makoryu [n=vt920@pool-74-104-123-150.bstnma.fios.verizon.net] has joined #scheme 18:51:59 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:52:17 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 18:55:50 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 18:56:11 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 19:00:15 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 19:00:22 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 19:05:41 rotty, any verdict about UNWIND-PROTECT sans dynamic context preservation? 19:05:42 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:07:05 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 19:12:26 -!- albacker [n=eni@unaffiliated/enyx] has quit ["Leaving"] 19:19:58 kilimanjaro [n=kilimanj@70.116.95.163] has joined #scheme 19:21:12 peter_12 [n=peter_12@S01060023699d4809.vn.shawcable.net] has joined #scheme 19:27:16 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit [Read error: 104 (Connection reset by peer)] 19:28:20 Riastradh: not yet; still have to think about it 19:30:22 optimizer [n=x@unaffiliated/lowlycoder] has joined #scheme 19:36:05 QuickCheck was thoroughly hyped a few years ago. Surely somebody must have rendered it into Scheme by now. 19:36:06 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:36:37 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 19:36:48 Riastradh: I thought it would only make sense with static typing 19:37:03 from the r6rs spec, it appears that i can write my own printers bvia inspectors, but I don't see any examples ... so how can i define my define-record-type s.t. I can override how it's printed via display/format? 19:37:16 Of course not, C-Keen. 19:37:29 I don't think there is a standard way to do that, optimizer. 19:38:55 SvekloB [n=sveklo@unaffiliated/sveklo] has joined #scheme 19:39:03 Riastradh: http://web.archive.org/web/20050212183945sh_re_/www.inf.ufrgs.br/~carlossch/scheme-check/ 19:39:05 -rudybot:#scheme- http://tinyurl.com/y8gwbtf 19:39:35 I don't want a web page, Daemmerung; I want Scheme code! 19:40:06 http://www.inf.ufrgs.br/~carlossch/scheme-check/scheme-check.tar.bz2 19:40:09 wtf 19:40:47 C-Keen: looks like archive.org archived that archive. 19:41:56 Riastradh: section 6.4 of r6rs-lib.pdf st4ates: The (rnrs records inspection (6)) library provides procedures for inspecting records and their record-type descriptors. These procedures are designed to allow the writing of portable printers and insepctr9ors. 19:42:18 it did 19:42:19 what's a 'rtd' in the context of define-record-type ? 19:42:33 optimizer, that means that you can write your own OPTIMIZER-DISPLAY procedure that displays the contents of any record you throw at it. 19:42:43 That does not mean that you can alter the behaviour of the built-in DISPLAY and WRITE procedures. 19:42:53 An rtd is a record type descriptor; that is, an object that describes a record type. 19:43:10 Riastradh: ah; thanks; this is a useful negative result ... i.e. don't waste time pursuing this route 19:46:46 -!- SvekloB_ [n=sveklo@unaffiliated/sveklo] has quit [Read error: 145 (Connection timed out)] 19:47:22 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 19:47:44 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 19:49:31 -!- Daemmerung [n=goetter@64.146.161.228] has quit ["Smoove out."] 19:57:53 rcy` [n=rcy@d154-20-175-81.bchsia.telus.net] has joined #scheme 19:59:27 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:00:07 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:02:06 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:02:21 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:02:56 -!- schemer999 [n=tmilford@cpe-76-90-137-46.socal.res.rr.com] has quit [] 20:04:01 mreggen [n=mreggen@cm-84.215.28.167.getinternet.no] has joined #scheme 20:05:14 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:05:30 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:11:21 -!- rcy [n=rcy@d154-20-175-81.bchsia.telus.net] has quit [Read error: 110 (Connection timed out)] 20:13:19 -!- rcy` is now known as rcy 20:17:47 -!- c0c0b0ng0w [i=hk@190.75.214.89] has quit [Read error: 110 (Connection timed out)] 20:18:56 -!- Nshag [i=user@Mix-Orleans-106-2-46.w193-248.abo.wanadoo.fr] has quit [Remote closed the connection] 20:19:24 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:19:40 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:21:10 -!- attila_lendvai [n=ati@catv-89-134-66-153.catv.broadband.hu] has quit [Read error: 110 (Connection timed out)] 20:23:00 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:23:08 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:23:34 bgs100 [n=ian@unaffiliated/bgs100] has joined #scheme 20:23:46 Narrenschiff [n=ritchie@xolotl.plus.com] has joined #scheme 20:24:33 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:24:50 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:27:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 20:28:24 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:28:54 Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has joined #scheme 20:32:29 -!- nothingHappens [n=nothingH@173-25-176-111.client.mchsi.com] has quit [Remote closed the connection] 20:32:40 -!- Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has quit [Remote closed the connection] 20:36:38 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 20:39:03 jcowan [n=jcowan@cpe-74-68-154-139.nyc.res.rr.com] has joined #scheme 20:39:18 OMG, ypsilon is so slow for me; is there any decent r6rs implementation that also happens to be readable? 20:40:00 What do you mean by readable? Source code readable? 20:40:05 yeah 20:41:02 So which ones have you looked at? Larceny? Ikarus? Mosh? IronScheme? 20:41:14 ikarus is only 32bit 20:41:21 mosh and ironscheme i haven't looked at 20:41:39 I assume IronScheme is written in C#. 20:41:41 mmc [n=mima@cs27122078.pp.htv.fi] has joined #scheme 20:41:43 Why the restriction to the R6RS, optimizer? 20:41:51 i kinda like it's module system 20:42:13 actually, a r5rs scheme with a good module system and a decent ffi (i also like the bytearrays vectors in r6rs) will do too 20:42:20 optimizer, ikarus from the bzr repository works on 64-bit systems 20:42:35 Riastradh: what r5rs shceme do you have in mind? 20:44:02 I use Scheme48 and MIT Scheme mostly. I don't have any recommendations, though -- it just struck me as curious that you would restrict yourself to the R6RS, whose implementations are very immature and mutually incompatible in many respects that people are trying to clean up (e.g., on library naming and versioning). 20:44:02 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:44:26 Mutually incompatible in their interpretation of the R6RS, that is. 20:44:30 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:44:45 Alas. 20:44:48 err? what is the point of a spec of the interpretation of it is incompatible 20:45:02 One might well ask. 20:45:16 Riastradh: doesn't MIT scheme have a crappy crappy C ffi? 20:45:34 But in fact, most specs have more than one interpretation, which is why serious spec writers don't put anything into the spec until there are two compatible but separately developed implementations. At least. 20:45:36 That's a good question, optimizer. Perhaps you should direct it to jcowan, who is the resident standardization somethingorother. 20:45:55 (who is presently the resident, &c.) 20:46:02 Yes, optimizer. 20:46:54 The trouble with evaluating FFIs is that there are at least two kinds with different perspectives, and judged by one perspective, instances of the other are indeed broken. 20:47:07 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 20:47:09 That's not the problem with evaluating how MIT Scheme talks with C, jcowan. 20:47:14 someone is claiming that Scheme is unhygenic with its 'else' 20:47:18 They may be roughly characterized as "put the crap in C" and "put the crap in Scheme". 20:47:22 Someone is wrong, emma. 20:47:34 What precisely is someone claiming, emma? 20:47:42 schemer999 [n=tmilford@cpe-76-90-137-46.socal.res.rr.com] has joined #scheme 20:47:43 yeah try this 20:47:43 (let ((else #f)) (cond (else 3))) 20:47:43 it's unhygienic 20:47:43 :( 20:47:56 What did he expect, emma? 20:48:17 If he expected an unspecified value, then that is exactly what hygiene gives: the name ELSE means a variable in this use of COND, not whatever it meant when COND was defined. 20:48:31 There is no possible way for me to ever bind a variable to a 'primitive syntax' object in a scheme program, correct? I understand that, for instance, I *can* do (define call/cc call-with-current-continuation), since CALL-WITH-CURRENT-CONTINUATION is just a builtin *procedure*, but since the name DEFINE is bound to a 'primitive syntax' object, there is essentially no way to make it so that a symbol FOO is an alias for DEFINE. Is this 20:48:31 correct? That is, there is nothing analogous to (define foo lambda), that would make it where (foo () 1) returns a procedure that eval's to 1, correct? 20:49:12 Approximately so, jrtayloriv. However, you can do this: (define-syntax foo (syntax-rules () ((foo . cruft) (lambda . cruft)))) 20:49:38 However, that will only work if you do not then redefine lambda. 20:49:51 (Or will it?) 20:50:17 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 20:50:22 In some Scheme systems this can be abbreviated to (define-syntax foo lambda), and under a slight alteration of the semantics of DEFINE, one can even do (define foo lambda), but such semantics of DEFINE is slightly confusing. (Such a DEFINE does not introduce only variables -- it introduces bindings of any variety, be they variables or syntactic keywords or still other beasts.) 20:53:46 well it doesn't overwrite my binding 20:53:46 I guess that IS hygienic, as Riastradh said 20:53:46 (let ((else #f)) (cond (else 3))) doesn't return 3, and (cond (else else)) throws an error. puzzling 20:54:15 I cannot find any Scheme in which, given foo defined as above, the sequence (define lambda 32) (foo (x) (x + 1)) does not report an error. 20:54:45 Try putting the definition of FOO in a different module, jcowan. 20:55:10 Where is tomoj saying these things, emma? 20:55:12 jcowan, OK, so it doesn't actually bind it to the underlying primitive syntax procedure, just to the name? 20:55:26 So it seems. 20:55:30 jcowan, in ##club-classroom where about a dozen of us have convened for an SICP study group 20:55:39 emma, in an isolated (COND (ELSE ELSE)), in both cases ELSE means what it meant when COND was defined. Usually, however, when COND was defined, ELSE had no binding! Hence using it as an expression is an error, and is likely to be reported as an undefined variable error. 20:55:51 Anyone is welcome to lurk there or be as involved as they want to be. I would love to have some scheme experts to settle worries like these. 20:57:52 Riastradh: I'm puzzled about this too. 20:57:55 Quoth tomoj: 20:58:05 tomoj> the strange thing to me is that it only throws an error on the second else, not the first 20:58:05 YET still evaluates the first else to whatever you bind it to with let 20:58:58 In (COND (ELSE ELSE)), the COND macro compares the name ELSE in the user's input to its own name ELSE. If the user has not shadowed that name, the comparison matches, and the expression expands just to ELSE (or, perhaps, to (BEGIN ELSE), or (IF #T (BEGIN ELSE)), &c.). 20:59:26 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 21:00:12 Of course; I see now. 21:00:16 *jcowan* explains. 21:02:56 Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has joined #scheme 21:05:01 -!- Narrenschiff [n=ritchie@xolotl.plus.com] has quit [] 21:08:42 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Ex-Chat"] 21:11:50 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:12:05 arcfide [n=arcfide@adsl-99-14-211-93.dsl.bltnin.sbcglobal.net] has joined #scheme 21:12:20 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 21:15:28 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:15:57 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 21:17:06 rudybot: join ##club-classroom 21:17:07 *offby1: OK 21:21:16 rudybot: eval (version) 21:21:18 eli: your typed-scheme sandbox is ready 21:21:18 eli: error: typecheck: untyped identifier version imported from module 21:21:26 rudybot: init scheme 21:21:26 eli: your scheme sandbox is ready 21:21:27 rudybot: eval (version) 21:21:27 eli: ; Value: "4.2" 21:21:34 rudybot: You're old news. 21:21:35 eli: eh? Try "rudybot: help". 21:21:59 offby1: FWIW, I'm running it with no problems on 4.2.2 now. 21:25:38 I wouldn't expect problems! 21:25:52 I'll probably upgrade sometime soon. Although that'll ruin the beautiful uptime ... 21:25:54 rudybot: uptime 21:25:54 *offby1: I've been up for seven weeks, five days; this tcp/ip connection has been up for one day, four hours 21:25:57 *sigh* 21:29:03 -!- Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has quit [Read error: 113 (No route to host)] 21:29:33 offby1: Well, you've reached a point where your uptimes are longer than the normal release cycle... 21:29:51 Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has joined #scheme 21:35:29 Why can I not do this? --> (define ((lambda () 'foo)) 5) 21:35:42 ERROR: define: not an identifier, identifier with default, or keyword for procedure argument in: () 21:35:54 The first argument to `define' is not evaluated. 21:38:28 chandler, Is that in R5RS somewhere? I can't seem to find it anything regarding that in the sections on DEFINE. Or is that just something that is some sort of unofficial standard? 21:40:29 The syntax of DEFINE admits either a name, or a proper or dotted list of names (in the dotted case, terminated by a name), in its first operand. 21:40:33 The whole point of DEFINE is to give meaning to an identifier. 21:40:42 ((LAMBDA () 'FOO)) is neither a name nor a list of names. 21:42:06 Riastradh, But it returns FOO. I don't understand why FOO is valid if I use it explicitly, but not when it is the value of a lambda expression. 21:42:23 No, jrtayloriv. None of this has anything to do with evaluation. 21:43:25 Scheme does not evaluate the first operand of a DEFINE form. The first operand of a DEFINE form is not treated as an expression. It is just part of the syntax of the DEFINE form -- DEFINE, recall, is a syntactic keyword, so (DEFINE ...) in the usual environment has special meaning, not the meaning of a procedure call. 21:43:37 zanes [n=zane@c-76-24-24-236.hsd1.ma.comcast.net] has joined #scheme 21:44:47 (DEFINE ...) in the usual environment is not an expression either; it is rather a definition. 21:45:52 Oh, I think I see now. I understood that DEFINE was not a procedure, but I guess I was still looking at it's arguments as being evaluated as usual. But basically, DEFINE can evaluate its arguments however it wishes, so FOO does not mean the same thing in a define as it does when I just say FOO as an expression in the interpreter. 21:46:01 Exactly. 21:46:54 Better to say `DEFINE can *treat* its operands however it wishes'. It may not evaluate them at all, and what it evaluates may not be its operands at all -- it may rearrange them before evaluating anything. 21:47:07 (`Treat' is not a technical term; `evaluate' is.) 21:47:27 Indeed, it need not evaluate anything at all. 21:47:58 SvekloB_ [n=sveklo@unaffiliated/sveklo] has joined #scheme 21:48:01 OK, good point. I meant it in the sense of "doing whatever it wants with them", but I see how "evaluate" is unclear. 21:49:27 -!- macdice [n=user@78-86-162-220.zone2.bethere.co.uk] has quit ["(quit)"] 21:50:19 -!- jcowan [n=jcowan@cpe-74-68-154-139.nyc.res.rr.com] has left #scheme 21:53:37 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 21:54:19 -!- danlei [n=user@pD9E2D986.dip.t-dialin.net] has quit [Remote closed the connection] 21:56:01 -!- SvekloB [n=sveklo@unaffiliated/sveklo] has quit [Read error: 110 (Connection timed out)] 21:56:03 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 21:56:59 danlei [n=user@pD9E2D986.dip.t-dialin.net] has joined #scheme 21:57:36 Adamant [n=Adamant@unaffiliated/adamant] has joined #scheme 22:01:14 -!- kenpp [n=kenpp@188-221-10-184.zone12.bethere.co.uk] has quit [Read error: 54 (Connection reset by peer)] 22:01:58 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:02:09 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:02:23 -!- peter_12 [n=peter_12@S01060023699d4809.vn.shawcable.net] has quit [] 22:02:25 -!- schemer999 [n=tmilford@cpe-76-90-137-46.socal.res.rr.com] has quit [] 22:05:02 Ergh! Don't look at Annex A of IEEE 1178. It's distressingly badly typeset. 22:05:50 *Riastradh* twitches. 22:07:43 Riastradh: Thanks for the warning. 22:10:18 (The rest of the document is only irritatingly badly typeset.) 22:13:46 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:14:16 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:25:21 -!- SvekloB_ [n=sveklo@unaffiliated/sveklo] has quit ["Leaving..."] 22:26:28 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 22:27:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:28:23 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:29:19 RageOfThou [n=RageOfTh@users-38-115.vinet.ba] has joined #scheme 22:30:11 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 22:31:50 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:32:00 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:35:15 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:35:33 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:39:54 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 131 (Connection reset by peer)] 22:40:09 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:46:02 Mr_Awesome [n=eric@c-98-212-143-245.hsd1.il.comcast.net] has joined #scheme 22:46:33 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 22:46:46 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 22:46:48 -!- hotblack23 [n=jh@p5B055DF4.dip.t-dialin.net] has quit ["Leaving."] 22:47:44 -!- MrFahrenheit [n=RageOfTh@users-38-118.vinet.ba] has quit [Read error: 110 (Connection timed out)] 22:50:22 sepult` [n=levgue@xdsl-87-78-31-118.netcologne.de] has joined #scheme 22:50:34 -!- sepult [n=levgue@xdsl-87-78-121-100.netcologne.de] has quit [Read error: 60 (Operation timed out)] 22:57:01 mjonsson [n=mjonsson@cpe-74-68-112-229.nyc.res.rr.com] has joined #scheme 23:01:30 neilmock [n=neilmock@99-11-93-68.lightspeed.nsvltn.sbcglobal.net] has joined #scheme 23:01:31 -!- Fare [n=Fare@c-24-218-127-11.hsd1.ma.comcast.net] has quit [Remote closed the connection] 23:02:40 -!- optimizer [n=x@unaffiliated/lowlycoder] has quit ["Lost terminal"] 23:03:15 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 23:03:25 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 23:18:26 FunkyDrummer [n=RageOfTh@users-38-115.vinet.ba] has joined #scheme 23:22:27 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 23:23:01 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 23:36:16 -!- RageOfThou [n=RageOfTh@users-38-115.vinet.ba] has quit [Read error: 110 (Connection timed out)] 23:47:29 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 54 (Connection reset by peer)] 23:47:46 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme 23:51:55 -!- ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has quit [Read error: 104 (Connection reset by peer)] 23:54:23 ASau [n=user@ppp85-141-215-28.pppoe.mtu-net.ru] has joined #scheme