00:04:30 -!- dzhus [n=sphinx@95-24-188-80.broadband.corbina.ru] has quit [Read error: 110 (Connection timed out)] 00:09:51 -!- kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has left #scheme 00:10:26 Adamant [n=Adamant@c-76-29-188-60.hsd1.ga.comcast.net] has joined #scheme 00:13:27 george_ [n=george@189.107.197.57] has joined #scheme 00:13:47 how to create a GUI in scheme ? 00:14:43 with a gui library 00:16:55 jonrafkind: what's the name of the library ? 00:17:05 well in PLT you can use mred 00:17:08 what scheme system are you using? 00:17:39 jonrafkind: ptl 00:18:07 there is a gui builder in drscheme you can try 00:18:20 in one of the menu lists at the top there is a "show gui builder" or something 00:18:20 jonrafkind: is there any lib that runs in gtk and in windows ? 00:18:38 there was a gtk binding for plt at one point 00:19:08 george_: guis that you make with PLT work on *nix, Windows, and OS X; but as far as I know they don't use gtk 00:19:17 bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has joined #scheme 00:19:47 but there is a rewrite for the plt gui system (dont know when it will be completed) to use native windowing operations 00:24:26 -!- Fare [n=Fare@ita4fw1.itasoftware.com] has quit ["Leaving"] 00:28:00 There is guile-gnome. I haven't used it yet though, but you'll have to use guile of course. 00:30:39 -!- yinw [n=wy@66.194.68.209] has quit ["Leaving"] 00:35:49 mrsolo [n=mrsolo@nat/yahoo/x-755b0fc1a731e8cc] has joined #scheme 00:37:51 -!- jonrafkind [n=jon@crystalis.cs.utah.edu] has quit [Read error: 113 (No route to host)] 00:40:18 drwho [n=drwho@c-98-225-211-78.hsd1.pa.comcast.net] has joined #scheme 00:40:18 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 00:41:06 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 00:49:02 mrsolo_ [n=mrsolo@adsl-68-126-215-139.dsl.pltn13.pacbell.net] has joined #scheme 00:49:45 -!- mrsolo [n=mrsolo@nat/yahoo/x-755b0fc1a731e8cc] has quit [Read error: 104 (Connection reset by peer)] 00:49:57 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 00:50:42 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 00:51:19 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 01:01:58 cky [n=cky@166.165.206.28] has joined #scheme 01:13:20 -!- glogic [n=glogic@97.76.48.98] has quit ["Leaving."] 01:14:19 glogic [n=glogic@97.76.48.98] has joined #scheme 01:16:28 awfaw [n=eagaw@host250.190-224-109.telecom.net.ar] has joined #scheme 01:21:57 -!- rushi [n=rushi@rushispowerbook.dynamic.ucsd.edu] has quit [] 01:23:26 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 01:34:40 -!- Pegazus [n=eagaw@host250.190-224-109.telecom.net.ar] has quit [Read error: 110 (Connection timed out)] 01:40:01 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 01:51:16 -!- blackened` [n=blackene@89.102.28.224] has quit [] 01:54:43 -!- saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has quit ["This computer has gone to sleep"] 01:59:23 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has left #scheme 01:59:59 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 02:04:48 Adamant [n=Adamant@c-76-29-188-60.hsd1.ga.comcast.net] has joined #scheme 02:40:16 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 02:41:43 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 02:49:38 -!- bohanlon [n=bohanlon@TUBERIUM.CLUB.CC.CMU.EDU] has quit [Read error: 60 (Operation timed out)] 02:49:42 bohanlon [n=bohanlon@TUBERIUM.CLUB.CC.CMU.EDU] has joined #scheme 02:53:26 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 03:03:41 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has left #scheme 03:04:15 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 03:11:09 -!- joast [n=rick@76.178.178.72] has quit [Read error: 110 (Connection timed out)] 03:13:27 joast [n=rick@76.178.178.72] has joined #scheme 03:16:22 -!- Nshag [i=user@Mix-Orleans-106-2-30.w193-248.abo.wanadoo.fr] has quit ["Quitte"] 03:17:15 chylli [n=lchangyi@60.211.218.227] has joined #scheme 03:17:52 is scwm still alive ? 03:23:49 gnomon_ [n=gnomon@CPE001d60dffa5c-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 03:23:51 chylli, Barely. 03:24:31 chylli, Not really alive, but being revived. 03:27:06 -!- gnomon [n=gnomon@CPE001d60dffa5c-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: 104 (Connection reset by peer)] 03:33:59 camt [n=camt@24.244.242.229] has joined #scheme 03:40:28 -!- athos [n=philipp@92.250.250.68] has quit ["leaving"] 03:48:15 -!- Adamant [n=Adamant@unaffiliated/adamant] has quit [] 03:49:45 arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has joined #scheme 03:53:18 -!- arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has left #scheme 03:53:42 arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has joined #scheme 03:55:39 -!- arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has left #scheme 04:06:37 revived? 04:16:07 Give life to that which never died! 04:17:50 who is reviving scwm? The last change I see was March 2000 04:18:07 (...and *that* was my question.) 04:23:34 -!- bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has quit [Read error: 104 (Connection reset by peer)] 04:24:12 bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has joined #scheme 04:25:19 I gave him LIFE!! 04:25:43 offby1: Remember that which was never forgotten! 04:26:51 -!- bombshelter13_ [n=bombshel@76-10-149-209.dsl.teksavvy.com] has quit [Client Quit] 04:28:43 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [Remote closed the connection] 04:32:37 -!- mrsolo_ [n=mrsolo@adsl-68-126-215-139.dsl.pltn13.pacbell.net] has quit [Read error: 110 (Connection timed out)] 04:36:00 -!- camt [n=camt@24.244.242.229] has quit ["Leaving"] 04:40:58 that's easy. 04:41:07 It's the stuff I've forgotten that's hard to remember. 04:43:45 "The behemoth roared, and the world was blasted free of empires and tyrants." 04:54:39 eli: sorry if i came off as trollish the other day; i was suffering from a proust-like neurasthenia 04:55:28 klutometis: No problems; I'm used to (re-)expressing my opinions about SICP & HtDP... 04:56:30 klutometis: And your line came in the second I looked at this screen, which is good karma for you according to middle-eastern superstitions, so I guess that the cosmic balance is still doing fine. 04:58:04 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 05:01:10 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has quit [Client Quit] 05:02:19 eli: oh, interesting; timeliness is a blessing? 05:05:17 Well, I've modified it a little. The original version (which I think I mentioned a couple of times) is if you talk about someone and he enters the room. 05:05:41 Actually, since you were talking about me, and I'm the one who "entered", then it's probably reversed. 05:05:58 s/it's probably reversed/I probably got things reversed/ 05:18:54 -!- abbe [n=abbe@abbe.is.a.member.of.pirateparty.in] has quit [Read error: 60 (Operation timed out)] 05:28:55 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 05:29:00 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has quit [Remote closed the connection] 05:32:48 -!- Mr_Awesome [n=eric@pool-98-115-42-247.chi01.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 05:33:28 Mr_Awesome [n=eric@pool-98-108-3-57.chi01.dsl-w.verizon.net] has joined #scheme 05:34:19 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 05:34:47 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has quit [Client Quit] 05:40:16 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 05:41:22 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 05:49:08 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has left #scheme 05:50:25 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 06:01:25 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 06:01:56 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has quit [Remote closed the connection] 06:07:17 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 06:11:19 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 06:14:17 -!- chylli [n=lchangyi@60.211.218.227] has quit [Remote closed the connection] 06:23:10 masm [n=masm@213.22.191.93] has joined #scheme 06:24:26 -!- masm [n=masm@213.22.191.93] has quit [Client Quit] 06:40:12 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Read error: 104 (Connection reset by peer)] 06:41:00 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 06:50:23 GreyLensman [n=ray@c-76-109-2-157.hsd1.fl.comcast.net] has joined #scheme 06:50:28 -!- GreyLensman [n=ray@c-76-109-2-157.hsd1.fl.comcast.net] has quit [Client Quit] 06:55:35 hotblack23 [n=jh@p5B05435A.dip.t-dialin.net] has joined #scheme 06:58:43 -!- sladegen [n=nemo@unaffiliated/sladegen] has quit ["Anarchy saves!"] 07:06:53 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- bohanlon [n=bohanlon@TUBERIUM.CLUB.CC.CMU.EDU] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- ioizzgd [n=ioizzgd@206.251.250.219] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- synthase [n=synthase@adsl-220-176-61.mob.bellsouth.net] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- danking [n=danking@pinball.ccs.neu.edu] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- pantsd_ [n=hkarau@nat/uwaterloo/x-0364d82c1d5b14f7] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- m811 [n=user@106.250.35.213.dyn.estpak.ee] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- pbusser2 [n=peter@82.174.238.138] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- mornfall [n=mornfall@kde/developer/mornfall] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- z0d [n=z0d@unaffiliated/z0d] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- tabe [n=tabe@adel.fixedpoint.jp] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- poucet [n=vincenz@li23-146.members.linode.com] has quit [zelazny.freenode.net irc.freenode.net] 07:06:53 -!- klutometis [i=klutomet@klutometis.wikitex.org] has quit [zelazny.freenode.net irc.freenode.net] 07:07:26 mornfall [n=mornfall@anna.fi.muni.cz] has joined #scheme 07:07:53 m811 [n=user@106.250.35.213.dyn.estpak.ee] has joined #scheme 07:08:27 synthase [n=synthase@adsl-220-176-61.mob.bellsouth.net] has joined #scheme 07:08:48 bohanlon [n=bohanlon@TUBERIUM.CLUB.CC.CMU.EDU] has joined #scheme 07:08:52 danking [n=danking@pinball.ccs.neu.edu] has joined #scheme 07:09:02 z0d [n=z0d@unaffiliated/z0d] has joined #scheme 07:09:17 klutometis [n=klutomet@klutometis.wikitex.org] has joined #scheme 07:09:22 npe [n=npe@94.224.251.223] has joined #scheme 07:09:22 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 07:09:22 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 07:09:22 ioizzgd [n=ioizzgd@206.251.250.219] has joined #scheme 07:09:22 pantsd_ [n=hkarau@nat/uwaterloo/x-0364d82c1d5b14f7] has joined #scheme 07:09:22 pbusser2 [n=peter@82.174.238.138] has joined #scheme 07:09:22 tabe [n=tabe@adel.fixedpoint.jp] has joined #scheme 07:09:22 poucet [n=vincenz@li23-146.members.linode.com] has joined #scheme 07:09:23 -!- poucet [n=vincenz@li23-146.members.linode.com] has quit [Connection reset by peer] 07:09:23 -!- tabe [n=tabe@adel.fixedpoint.jp] has quit [Connection reset by peer] 07:09:24 poucet [n=vincenz@li23-146.members.linode.com] has joined #scheme 07:10:18 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 07:10:58 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [Connection reset by peer] 07:11:27 jonrafkind [n=jon@98.202.86.149] has joined #scheme 07:11:37 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 07:17:51 reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 07:19:39 -!- cky [n=cky@166.165.206.28] has quit [Nick collision from services.] 07:19:54 cky [n=cky@h1.176.133.98.ip.windstream.net] has joined #scheme 07:21:16 -!- tc-rucho [n=tc-rucho@unaffiliated/tc-rucho] has quit [Read error: 110 (Connection timed out)] 07:34:22 -!- socialite [n=piespy@78.8.143.18] has quit [Read error: 110 (Connection timed out)] 07:42:59 -!- CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has quit [Read error: 110 (Connection timed out)] 08:03:23 Lemonator [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 08:03:37 -!- kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 08:04:55 -!- leppie [n=lolcow@196-210-170-25-wblv-esr-3.dynamic.isadsl.co.za] has quit [] 08:08:22 leppie [n=lolcow@196-210-170-25-wblv-esr-3.dynamic.isadsl.co.za] has joined #scheme 08:12:49 jewel_ [n=jewel@dsl-247-203-169.telkomadsl.co.za] has joined #scheme 08:16:37 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has left #scheme 08:21:15 -!- ambient [n=ambi@julma.lnet.fi] has quit [] 08:23:58 ejs [n=eugen@78-23-178-94.pool.ukrtel.net] has joined #scheme 08:26:16 tc-rucho [n=tc-rucho@190.191.172.16] has joined #scheme 08:32:15 -!- q[mrw] [n=russd@willers.employees.org] has quit [Remote closed the connection] 08:33:05 -!- 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"] 08:50:14 reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 08:50:26 -!- reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 54 (Connection reset by peer)] 08:55:41 elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 09:14:39 athos [n=philipp@92.250.250.68] has joined #scheme 09:23:49 -!- jao [n=jao@52.Red-83-43-32.dynamicIP.rima-tde.net] has quit [Read error: 110 (Connection timed out)] 09:25:16 repror___ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 09:26:39 -!- reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 113 (No route to host)] 09:34:12 ambient [n=tommi@julma.lnet.fi] has joined #scheme 09:42:11 timchen1` [i=tim@kalug.ks.edu.tw] has joined #scheme 09:42:30 -!- nasloc__ [i=tim@kalug.ks.edu.tw] has quit [Read error: 104 (Connection reset by peer)] 09:46:15 Edico [n=Edico@unaffiliated/edico] has joined #scheme 09:53:59 -!- ejs [n=eugen@78-23-178-94.pool.ukrtel.net] has quit ["This computer has gone to sleep"] 09:54:26 -!- ambient [n=tommi@julma.lnet.fi] has quit ["leaving"] 09:54:32 -!- glogic [n=glogic@97.76.48.98] has quit ["Leaving."] 10:07:39 chturne [n=Charles@host86-143-95-41.range86-143.btcentralplus.com] has joined #scheme 10:08:16 -!- elderK [n=elderK@222-152-15-122.jetstream.xtra.co.nz] has quit [] 10:08:41 Is this possible? Define a function that takes an average of a list of numbers. No auxiliaries! Use just +, / and recursion. 10:11:11 -!- MichaelRaskin [n=MichaelR@195.91.224.225] has left #scheme 10:11:41 MichaelRaskin [n=MichaelR@195.91.224.225] has joined #scheme 10:12:02 Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has joined #scheme 10:18:29 chturne, looks like a vague task.. 10:18:35 Is "if" allowed? 10:18:46 -!- repror___ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 10:18:57 It must be - or you cannot check for the end of list 10:19:08 reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 10:19:10 car and cdr are allowed, too 10:19:44 So you can define a function with variable argument count 10:20:42 The function always gets the list to process, and, optionally, sum and count so far. 10:22:30 MichaelRaskin: Yeah, conditionals and predicates are allowed 10:23:26 chturne, you can do without variable argument count, if you can use pair? 10:23:30 you dont need any of that 10:24:11 Is there a method to "isolate" a recursion, so could I have say in an AND expression, a clause that recurses to find the length.. and then use it later, without altering the rest of the execution. Maybe that makes no sense :P 10:24:34 *leppie* is not grasping this exercise 10:25:15 leppie: It's something I (as a beginner) made up. So it probably has no use.. Other than the fact I could not solve my question 10:25:17 i guess the following wont be accepable: (/ (apply + nums) (length nums)) 10:25:43 leppie, I guess he considers that cheating 10:25:44 leppie: No, that uses an axillary 10:25:53 several I guess 10:25:56 what do you mean by that? 10:25:57 (sorry, two) 10:26:02 chturne, technically speaking apply and length are built-in 10:26:09 well, apply and length are functions defined else where 10:26:15 so your using more than one function 10:26:19 They are part of Scheme language 10:26:20 which is not what i asked 10:26:40 ok 10:26:48 MichaelRaskin: I know.. :P But without them, just the basic arithmetic operations and some recursion 10:26:50 leppie, I felt he would consider them cheating, so I didn't go that way 10:26:54 then write apply and length :) 10:27:07 chturne, do you allow "pair?" ? 10:27:24 MichaelRaskin: Nope :P 10:27:34 Oh, thats a predicate right? 10:27:36 so yes 10:27:49 hmm, and car and cdr? 10:27:51 yes 10:27:55 It is a O(1) predicate 10:28:00 -!- reprore [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 54 (Connection reset by peer)] 10:28:03 chturne, then it is easy 10:28:03 heh, im contradicting myself a bit here :/ 10:28:10 I would just use a named let 10:28:22 nah chturne, i think I know what you mean 10:28:37 You want (1 2 3) -> 2 10:28:43 leppie: well, I would prefer a solution that does not use local variables.. 10:28:50 reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 10:29:00 MichaelRaskin: Yes, the average of a list of numbers 10:29:21 Call stack: (1 2 3) .. ((1 1) 2 3) .. ((2 3) 3) .. ((3 6)) -> 2 10:29:25 chturne: you are asking for bad stuff! 10:29:30 leppie: if possible, remember, I just was thinking about it, whether is possible I don't know 10:29:52 You check whether the first element of the list is a pair. If yes - it is (count-so-far sum-so-far) 10:30:07 You add the next element to the tally - if any 10:30:07 good idea MichaelRaskin :) 10:30:24 it will require a helper function though 10:30:24 -!- hotblack23 [n=jh@p5B05435A.dip.t-dialin.net] has quit ["Leaving."] 10:30:34 Oh that is clever MichaelRaskin :D 10:30:48 I might go and play with that now 10:31:08 leppie, No 10:31:13 It is the same function 10:31:23 It checks the first element in the list 10:31:27 right :) 10:31:37 If it is a number - it re-calls it with (0 0) prepended 10:31:45 I would make that a dotted pair though :p 10:32:07 leppie, never forget the feature creep 10:32:27 Tomorrow you will have to pass 3 numbers - and what then? Improper list? 10:32:37 no, still cdr :p 10:33:13 Actually, chturne, I have a better idea 10:33:21 This breaks down for me too 10:33:34 Because, the first element of my cons chain is always a number 10:33:34 Which requires only things that are provably needed 10:34:14 (1 2 3) .. (() (0 0) 1 2 3) .. (() (1 1) 2 3) .. you know the rest 10:34:15 *chturne* is excited 10:34:40 You cannot forbid both "null?" and condition handling 10:35:32 Gah, I'm a little out my depth now :P 10:36:00 I only have first, rest and cons for lists at the moment 10:36:24 chturne, it is enough for implementing what I proposed 10:36:40 MichaelRaskin: Ok, I need to think about it more then. 10:36:45 Thank you for helping :) 10:46:47 Hm, I can get the numbers to add up in a weird way using pair.. But the length counting is proving a bit tricky :/ 10:49:26 chturne: how come? 10:50:07 Well, if I try to put a / in my expression, each time is recurses, I get that many "/" in my expression.. 10:50:32 I don't get how you do this without assigned some values in the body 10:50:39 *assigning 10:50:41 chturne, do you use '() 10:50:42 ? 10:50:50 MichaelRaskin: No, just CONS 10:50:59 I'm really new 10:51:37 / should occur as the last step 10:52:03 Sveklo1 [n=sveklo@cs181131.pp.htv.fi] has joined #scheme 10:52:55 (self (cons (cons (+ 1 (car (car arg))) (+ (car (cdr arg)) (cdr (car arg)))) (cdr (cdr arg)))) in general case 10:53:07 (/ (cdr arg) (car arg)) in the end 10:54:06 err, I think I should learn a little more first :/ 10:54:08 http://pastebin.com/m1d31eb6c 10:54:14 ^ is how confused i am :P 11:05:52 -!- Lemonator [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 11:06:54 Lemonator [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 11:08:32 dzhus [n=sphinx@93-81-184-122.broadband.corbina.ru] has joined #scheme 11:13:20 -!- rdd [n=user@c83-250-157-93.bredband.comhem.se] has quit [Remote closed the connection] 11:21:00 -!- dzhus [n=sphinx@93-81-184-122.broadband.corbina.ru] has quit [Remote closed the connection] 11:25:51 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 11:34:27 dzhus [n=sphinx@93-81-184-122.broadband.corbina.ru] has joined #scheme 11:34:59 rushi [i=thinknot@cpe-66-75-245-63.san.res.rr.com] has joined #scheme 11:35:25 -!- ray [i=ray@ipv6.the.ug] has quit [Read error: 60 (Operation timed out)] 11:35:53 ray [i=ray@ipv6.the.ug] has joined #scheme 11:41:39 -!- Lemonator [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has quit [Read error: 110 (Connection timed out)] 11:43:39 -!- ray [i=ray@ipv6.the.ug] has quit [Read error: 60 (Operation timed out)] 11:47:15 ray [i=ray@ipv6.the.ug] has joined #scheme 11:51:41 sepult [n=user@xdsl-87-78-31-131.netcologne.de] has joined #scheme 11:53:52 borism [n=boris@195-50-199-19-dsl.krw.estpak.ee] has joined #scheme 11:54:26 rdd [n=user@c83-250-157-93.bredband.comhem.se] has joined #scheme 11:58:01 -!- Sveklo1 [n=sveklo@cs181131.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 11:58:33 -!- reprore_ [n=reprore@ntkngw598092.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Read error: 104 (Connection reset by peer)] 12:08:09 annodomini [n=lambda@c-75-69-96-104.hsd1.nh.comcast.net] has joined #scheme 12:22:15 -!- annodomini [n=lambda@wikipedia/lambda] has quit [] 12:28:22 -!- dzhus [n=sphinx@93-81-184-122.broadband.corbina.ru] has quit [Read error: 101 (Network is unreachable)] 12:33:07 *offby1* is guessing chturne wants http://pastebin.com/m1d4a4a41 12:33:09 soupdragon [n=f@amcant.demon.co.uk] has joined #scheme 12:34:55 offby1, read backlog. It is not a practical task, it is a puzzle, and \Omega(N) operations are forbidden. 12:35:58 ah 12:36:19 Good Lord, there's a lotta backlog 12:41:48 *offby1* humbly submits http://pastebin.com/m69a2adc9 12:48:49 -!- chturne [n=Charles@host86-143-95-41.range86-143.btcentralplus.com] has quit ["Leaving."] 12:49:54 Erm. chturne left http://pastebin.com/f71dbebe8 12:50:09 Wrong 12:50:26 offby1, named let was declared cheating in the backlog 12:50:51 -!- awfaw is now known as Pegazus 12:50:53 MichaelRaskin: that's dumb 12:51:06 kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has joined #scheme 12:51:19 soupdragon, That's a pointless puzzle. It is not dumb if it is recognized as such 12:51:25 MichaelRaskin: you can automatically unfold named let into lambda 12:51:36 MichaelRaskin: it's dumb ... 12:52:01 soupdragon, lambdas would also be banned if anyone mentioned them 12:52:14 Because they are creating helper functions 12:52:58 soupdragon, no, chturne wants to impose strange limitations to be helped to understand scheme 12:55:15 Let the cosmic energy flow through you and you will understand Scheme and reach enlightenment. 12:59:35 MichaelRaskin: so did chturne ever get a solution that satisfied him? 12:59:46 Yes 13:00:04 dzhus [n=sphinx@93-81-178-174.broadband.corbina.ru] has joined #scheme 13:00:06 pbusser2, I already have understood Scheme 13:00:14 the f71dbebe8 one? 13:01:01 He hasn't gotten to see that yet, but he agreed that something like that sould be implementable and satisfies his requirements 13:01:47 He tried to implement it, but seemingly failed 13:01:56 mike [n=m@p54A1B94C.dip.t-dialin.net] has joined #scheme 13:02:24 -!- mike is now known as Guest76046 13:02:27 not surprising, given all the constraints 13:02:47 offby1, he failed after being shown the outline of the solution 13:03:01 It is not hard to implement given the explanation 13:03:20 But the failure is not surprising given that he is only beginning to learn scheme 13:06:34 I've been using scheme for ages, and I gotta say, f71dbebe8 made my eyes cross 13:07:31 All those pastebin.com links made *my* eyes cross. 13:08:33 *offby1* thwaps chandler on the forehead 13:08:41 ha! now they're permanently crossed. 13:18:06 MichaelRaskin: It was just a general statement. Why do you take it personally? 13:18:20 Nshag [i=user@Mix-Orleans-106-3-22.w193-248.abo.wanadoo.fr] has joined #scheme 13:23:17 parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 13:25:06 attila_lendvai [n=ati@89.132.189.132] has joined #scheme 13:29:45 elderK [n=zk@222-152-15-122.jetstream.xtra.co.nz] has joined #scheme 13:40:44 parolang` [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has joined #scheme 13:42:12 artagnon [n=artagnon@unaffiliated/artagnon] has joined #scheme 13:44:01 I'm using mzscheme in Emacs. Is there some package I can get that can display eldoc-like/ slime-like documentation in the minibuffer? 13:46:42 artagnon: ha, welcome back ... I think there are a couple, but none are distributed with emacs ... 13:46:54 :) 13:46:57 that's alright 13:47:08 could you point me to one of the external ones? 13:49:51 not really. http://www.google.com/search?q=%22plt+scheme%22+emacs should be a start 13:50:00 -!- npe [n=npe@94.224.251.223] has quit [Read error: 104 (Connection reset by peer)] 13:50:07 mmc [n=mima@cs162149.pp.htv.fi] has joined #scheme 13:51:17 offby1: haha, I was going through one of them and got Quack set up anyway. 13:51:37 if PLT + Emacs is such a pain, I'll try a different implementation 13:52:02 I gave up on Quack too 13:52:11 although I heard the author is working on a new version 13:52:28 also look at Riastradh's paredit mode -- I never warmed to it, either, but a lot of people seem to like it 13:52:59 I love Paredit. I use it for all Lisp modes and Scheme mode 13:53:11 I'm only using Quack for the pretty lamda character now :p 13:53:14 npe [n=npe@94-224-251-223.access.telenet.be] has joined #scheme 13:55:10 -!- parolang [n=user@keholmes.oregonrd-wifi-1261.amplex.net] has quit [Success] 13:57:47 artagnon, if you use paredit, and if you are a daring and adventurous user who would like to help with its next version, there is a directory of patches at that may be included in its next version, about which any feedback is welcome. 13:58:31 Riastradh: Er, is there a GitHub repository somewhere? 13:59:00 No. I don't use Git (paredit is developed in a Darcs repository), but this format of `patch' is very easy: it's just an elisp file that you load after paredit. 14:00:11 So you need not even use any external tools such as patch, git, or darcs. 14:01:10 Riastradh: Ok, I'll have a look. Thanks for the information. 14:10:12 -!- ray [i=ray@ipv6.the.ug] has quit [Read error: 60 (Operation timed out)] 14:15:34 Arrrggghhh. Firefox very helpfully has in its help menu `Report Web Forgery' and `Report Broken Web Site', but not `Report Firefox Bug' or anything like it. Naturally, if anything's broken, it's the web site, not Firefox itself. 14:16:02 naturally 14:16:38 -!- sepult [n=user@xdsl-87-78-31-131.netcologne.de] has quit [Read error: 104 (Connection reset by peer)] 14:17:40 sepult [n=user@87.78.102.51] has joined #scheme 14:38:15 CaptainMorgan [n=CaptainM@c-24-62-183-102.hsd1.ma.comcast.net] has joined #scheme 14:40:41 -!- rdd [n=user@c83-250-157-93.bredband.comhem.se] has quit [Read error: 104 (Connection reset by peer)] 14:50:29 frizzy [n=Veligion@cpe-24-92-71-240.wi.res.rr.com] has joined #scheme 14:51:27 tjafk [n=timj@e176193105.adsl.alicedsl.de] has joined #scheme 14:52:38 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- z0d [n=z0d@unaffiliated/z0d] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- a-s`` [n=user@92.81.147.107] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- rcassidy [n=rcassidy@pinball.ccs.neu.edu] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- dlouhy [n=jdlouhy@pinball.ccs.neu.edu] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- Leonidas [n=Leonidas@unaffiliated/leonidas] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 -!- chandler [n=n@opendarwin/developer/chandler] has quit [zelazny.freenode.net irc.freenode.net] 14:52:38 hi, is going over SICP a realistic goal for those who haven't haven't taken lambda calculus before? what would be its 'pre-req' readings? I've only covered calc 1 formally in school 14:52:44 -!- artagnon [n=artagnon@unaffiliated/artagnon] has left #scheme 14:54:29 snurble [n=snurble@s83-191-238-2.cust.tele2.se] has joined #scheme 14:54:29 z0d [n=z0d@unaffiliated/z0d] has joined #scheme 14:54:29 a-s`` [n=user@92.81.147.107] has joined #scheme 14:54:29 rcassidy [n=rcassidy@pinball.ccs.neu.edu] has joined #scheme 14:54:29 tltstc [n=tltstc@cpe-76-90-92-154.socal.res.rr.com] has joined #scheme 14:54:29 dlouhy [n=jdlouhy@pinball.ccs.neu.edu] has joined #scheme 14:54:29 chandler [n=n@opendarwin/developer/chandler] has joined #scheme 14:54:29 Leonidas [n=Leonidas@unaffiliated/leonidas] has joined #scheme 14:55:15 frizzy: totally realistic; no prereqs, just dive in and come here for help 14:55:30 frizzy: also, ignore the htdp trolls ;) 14:55:34 moghar [n=user@unaffiliated/moghar] has joined #scheme 14:55:46 sorry, htdp? 14:56:02 a competing (but, imo, not as good) text 14:56:11 Oh, oh alright 14:56:16 ebzzry [n=ebzzry@115.147.107.24] has joined #scheme 14:56:36 Why am I getting this: svn: OPTIONS of 'http://svn.plt-scheme.org/plt/trunk': could not connect to server (http://svn.plt-scheme.org) 14:56:53 frizzy: you should take a look at it, though, for comparison's sake 14:57:23 is it available for free like SICP? 15:01:17 -!- sepult [n=user@87.78.102.51] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 15:02:29 ray [i=ray@ipv6.the.ug] has joined #scheme 15:02:33 sepult [n=user@xdsl-87-78-102-51.netcologne.de] has joined #scheme 15:02:52 -!- elderK [n=zk@222-152-15-122.jetstream.xtra.co.nz] has quit ["Lost terminal"] 15:05:49 -!- sepult [n=user@xdsl-87-78-102-51.netcologne.de] has quit [Client Quit] 15:10:41 sepult [n=user@xdsl-87-78-102-51.netcologne.de] has joined #scheme 15:11:14 -!- sepult [n=user@xdsl-87-78-102-51.netcologne.de] has quit [Remote closed the connection] 15:12:02 -!- ebzzry [n=ebzzry@115.147.107.24] has quit ["Leaving"] 15:14:47 -!- kib2 [n=kib@bd137-1-82-228-159-28.fbx.proxad.net] has left #scheme 15:14:57 sepult [n=user@xdsl-87-78-102-51.netcologne.de] has joined #scheme 15:15:37 -!- sepult [n=user@xdsl-87-78-102-51.netcologne.de] has quit [Remote closed the connection] 15:16:43 sepult [n=user@xdsl-87-78-102-51.netcologne.de] has joined #scheme 15:19:32 -!- sepult [n=user@xdsl-87-78-102-51.netcologne.de] has quit [Client Quit] 15:21:42 sepult [n=user@xdsl-87-78-102-51.netcologne.de] has joined #scheme 15:22:48 davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has joined #scheme 15:39:31 I wonder what's wrong with the web server at www.cs.brown.edu. 15:53:24 -!- attila_lendvai [n=ati@89.132.189.132] has quit [Read error: 113 (No route to host)] 16:00:52 -!- yosafbridge [n=yosafbri@ludios.net] has quit [Read error: 104 (Connection reset by peer)] 16:01:54 -!- gnomon_ is now known as gnomon 16:03:37 yosafbridge [n=yosafbri@ludios.net] has joined #scheme 16:06:18 bpalmer [n=user@unaffiliated/bpalmer] has joined #scheme 16:09:21 -!- Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has quit [Read error: 104 (Connection reset by peer)] 16:09:43 Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has joined #scheme 16:17:47 -!- Elly [n=elly@198-144-37-142.static.vdsl.nidhog.net] has quit [Remote closed the connection] 16:17:58 Elly [n=elly@198-144-37-142.static.vdsl.nidhog.net] has joined #scheme 16:20:01 -!- cky [n=cky@h1.176.133.98.ip.windstream.net] has quit ["Gone for a long while, probably...big long trip ahead"] 16:27:38 -!- Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has quit [Remote closed the connection] 16:31:29 rdd [n=user@c83-250-157-93.bredband.comhem.se] has joined #scheme 16:35:41 reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has joined #scheme 16:42:23 tabe [n=tabe@adel.fixedpoint.jp] has joined #scheme 16:49:02 -!- tabe [n=tabe@adel.fixedpoint.jp] has quit ["Riece/6.0.0 Emacs/22.3 (berkeley-unix)"] 16:49:17 tabe [n=tabe@adel.fixedpoint.jp] has joined #scheme 16:55:40 -!- reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has quit [Remote closed the connection] 16:58:30 -!- tabe [n=tabe@adel.fixedpoint.jp] has quit ["Riece/6.0.0 Emacs/22.3 (berkeley-unix)"] 16:59:22 -!- davazp [n=user@56.Red-79-153-148.dynamicIP.rima-tde.net] has quit [Remote closed the connection] 17:00:30 tabe [n=tabe@adel.fixedpoint.jp] has joined #scheme 17:03:35 -!- tabe [n=tabe@adel.fixedpoint.jp] has quit [Client Quit] 17:04:02 -!- REPLeffect [n=REPLeffe@69.54.115.254] has quit ["bye"] 17:04:06 Does scheme standardize the name of chars? 17:04:27 Or is just printable characters plus #\space and #\newline? 17:04:35 tabe [n=user@adel.fixedpoint.jp] has joined #scheme 17:05:43 in r5rs, only space and newline 17:06:04 Okay thanks. 17:06:17 -!- rushi [i=thinknot@cpe-66-75-245-63.san.res.rr.com] has quit [] 17:06:30 Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has joined #scheme 17:07:08 #\dingbat-negative-circled-sans-serif-digit-five 17:09:01 rudybot: eval (display #\u278e) 17:09:02 zbigniew: ; stdout: "" 17:09:38 reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has joined #scheme 17:09:42 ... somehow, that is totally readable in my terminal 17:09:52 I can't read it :) 17:09:59 ERC/Emacs 17:10:19 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [Client Quit] 17:11:01 copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has joined #scheme 17:12:15 glogic [n=glogic@97.76.48.98] has joined #scheme 17:15:00 terminal.app through 3 nested screen sessions ;) 17:16:12 saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has joined #scheme 17:16:54 I guess what's really happened is it's not not not working 17:17:13 like me :| 17:17:41 cheer up, the world economy will recover someday 17:18:45 zbigniew, given us our stolen money 17:19:21 Madoff will recovery you! 17:21:40 rudybot: give etoxam '$$ 17:21:40 etoxam: zbigniew has given you a value, say "rudybot: eval (GRAB)" to get it (case sensitive) 17:23:37 will be Madoff among us? 17:24:22 No, but Bernie Mac stopped by earlier, muttering something about multiple values. 17:33:26 -!- Guest76046 [n=m@p54A1B94C.dip.t-dialin.net] has quit ["This computer has gone to sleep"] 17:37:52 homovitruvius [n=maurizio@96.236.252.60] has joined #scheme 17:42:50 -!- dzhus [n=sphinx@93-81-178-174.broadband.corbina.ru] has quit [Remote closed the connection] 17:45:35 mike [n=m@p54A1B94C.dip.t-dialin.net] has joined #scheme 17:46:04 -!- mike is now known as Guest36487 17:56:29 kniu [n=kniu@pool-71-107-56-85.lsanca.dsl-w.verizon.net] has joined #scheme 18:04:32 -!- reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has quit [Remote closed the connection] 18:07:14 -!- Pegazus [n=eagaw@host250.190-224-109.telecom.net.ar] has left #scheme 18:08:27 reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has joined #scheme 18:09:48 -!- saccade_ [n=saccade@dhcp-18-188-74-28.dyn.mit.edu] has quit ["This computer has gone to sleep"] 18:11:47 -!- frizzy [n=Veligion@cpe-24-92-71-240.wi.res.rr.com] has quit [Read error: 104 (Connection reset by peer)] 18:11:53 frizzy [n=Veligion@cpe-24-92-71-240.wi.res.rr.com] has joined #scheme 18:12:37 -!- Nuke86 [n=talron@bzq-84-108-250-146.cablep.bezeqint.net] has quit [Read error: 113 (No route to host)] 18:54:30 -!- Judofyr is now known as Magnus__ 18:55:21 -!- Magnus__ is now known as Judofyr 19:05:14 langmartin [n=user@exeuntcha.tva.gov] has joined #scheme 19:05:32 jao [n=jao@93.Red-83-53-22.dynamicIP.rima-tde.net] has joined #scheme 19:17:30 -!- frizzy [n=Veligion@cpe-24-92-71-240.wi.res.rr.com] has left #scheme 19:28:13 -!- moghar [n=user@unaffiliated/moghar] has quit [Remote closed the connection] 19:28:52 moghar [n=user@unaffiliated/moghar] has joined #scheme 19:29:55 HG` [n=wells@xdslhj206.osnanet.de] has joined #scheme 19:39:29 -!- offby1 is now known as offby2 19:39:37 -!- offby2 is now known as offby1 19:40:40 rushi [i=thinknot@cpe-66-75-245-63.san.res.rr.com] has joined #scheme 19:46:47 -!- rushi [i=thinknot@cpe-66-75-245-63.san.res.rr.com] has quit [] 19:49:01 Hagaer [n=user@27.62.broadband3.iol.cz] has joined #scheme 20:03:57 Riastradh: i made up with eli for my trollish indiscretion 20:05:13 camt [n=camt@24.244.242.74] has joined #scheme 20:09:15 -!- copumpkin [n=pumpkin@c-24-63-67-154.hsd1.nh.comcast.net] has quit [Client Quit] 20:12:36 elias`_ [n=c@host86-145-40-174.range86-145.btcentralplus.com] has joined #scheme 20:14:57 -!- elias` [n=c@unaffiliated/elias/x-342423] has quit [Nick collision from services.] 20:15:04 -!- elias`_ is now known as elias` 20:17:18 you slept with a troll? Eww 20:17:27 eli got jealous, eh 20:22:50 -!- homovitruvius [n=maurizio@96.236.252.60] has quit [Remote closed the connection] 20:30:05 -!- reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has quit [Remote closed the connection] 20:37:36 Nuke86 [n=talron@bzq-84-111-47-240.red.bezeqint.net] has joined #scheme 20:48:52 offby1: heh; the worst part about it was the gross superfluity of libido 20:54:01 reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has joined #scheme 20:57:19 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [Read error: 110 (Connection timed out)] 20:59:59 arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has joined #scheme 21:00:02 -!- langmartin [n=user@exeuntcha.tva.gov] has quit ["ERC Version 5.3 (IRC client for Emacs)"] 21:05:53 -!- jewel_ [n=jewel@dsl-247-203-169.telkomadsl.co.za] has quit [Read error: 113 (No route to host)] 21:09:00 so um... I would like to read a PID from a file, then kill its process. Is that possible in PLT? 21:09:23 PLT is not advanced enough to read from files :( 21:10:34 ha ha 21:10:53 if you already knew, why'd you ask? :P 21:11:15 I'm serious though. 21:11:27 you can certainly read from files 21:11:32 I read the PID from the file, and... then I'm stuck with an integer. 21:11:51 synx: Normally one might use something like the system command for that. 21:12:08 karlw [n=karl@adsl-99-157-202-142.dsl.pltn13.sbcglobal.net] has joined #scheme 21:12:26 synx: In Chez: (with-input-from-file "pid" (lambda () (system (string-append "kill -9 " (number->string (read)))))). 21:12:48 synx: or, in PLT and on Unix, use the ffi to call kill(2) 21:12:52 Yeah that would work... I'd rather just you know, kill it. 21:12:55 synx: if PLT doesn't have a specific, built in Kill, then you can dosomething like that. 21:12:59 (define kill (get-ffi-obj "kill" #f (_fun _int _int -> _int))) 21:13:01 So I do have to use the FFI? 21:13:05 then: (kill pid num) 21:13:13 yes; kill would be a ridiculous language builtin 21:13:14 Elly: That would work too. 21:13:23 synx: Is there something wrong with that? 21:13:27 PLT has subprocess-kill, but not process-kill. 21:13:31 synx: That's how it would be defined anyways. 21:13:36 They make it impossible to create a subprocess from a numerical PID. 21:13:46 ? 21:13:52 it probably just also uses the ffi 21:14:18 Anyway I'll just use the FFI. 21:15:15 X-Scale2 [n=email@89-180-166-232.net.novis.pt] has joined #scheme 21:15:33 Incidentally, I'm looking for good examples for the FFI. 21:16:01 karlw: Good FFI examples in PLT? 21:16:10 yes. 21:17:31 You could check out planet, karlw. Plenty of FFI stuff there. 21:17:38 As in: suppose I've hacked together a C program and I want to use MzScheme as my user interface. 21:17:54 I'd use a socket protocol, karlw 21:18:06 14:17 I'd use a socket protocol, karlw 21:18:30 That way when your C program crashes, you can just restart it instead of your user interface dying. 21:18:37 -!- reprore [n=reprore@p1026-ipbf3002hodogaya.kanagawa.ocn.ne.jp] has quit [Remote closed the connection] 21:19:27 er, if you have a C program you want to use mzscheme as the UI for, you want the "embedding PLT scheme in a C program" example 21:19:34 ...except PLT doesn't have any way to kill PIDs, so you can only use the FFI for that. A lot simpler than interfacing with a library though. 21:19:49 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 21:20:40 karlw: if you want to know how to call C functions from PLT, take a look at os.ss 21:20:46 (in mzlib in the default distribution) 21:21:50 So embedding will give me a REPL? 21:22:13 not like that, no 21:22:47 do you want to invoke your C program from Scheme, or embed a Scheme interpreter in your C program? 21:23:53 Sorry, I'll be less abstract :-). 21:24:28 Dammit, I can't wait on subprocesses either, since they might not be sub-processes. But I can't install a zombie handler in plt either... 21:24:48 -!- TR2N [i=email@89.180.145.28] has quit [Nick collision from services.] 21:24:51 -!- X-Scale2 is now known as TR2N 21:25:05 synx: What's wrong with starting subprocesses? 21:26:21 arcfide: I'm launching a server, so it might not always be a subprocess. 21:27:26 I start the server, the parent process dies, I start the parent process again, it picks up on the running server process from the PID file, which cannot create a subprocess object. 21:29:43 Suppose I'm writing a turtle graphics program for use in schools. I have C code with high-level turtle procedures like `forward' and `rotate'. I want a powerful interface language that's friendlier than C, but I don't want some command-based pseudo-language and I'm too lazy to write a Logo interpreter. 21:30:22 synx: Okay, so just standard server client stuff. 21:30:51 synx: Where do Zombie handlers come in? 21:31:46 -!- Hagaer [n=user@27.62.broadband3.iol.cz] has quit [Read error: 110 (Connection timed out)] 21:32:03 Hence, I use the Scheme FFI. (I know that PLT has a turtle library already; this is just an example). 21:32:23 -!- Guest36487 [n=m@p54A1B94C.dip.t-dialin.net] has quit ["This computer has gone to sleep"] 21:33:52 In other words, I hate UI design and I prefer using the Scheme REPL to talk to my computer :-) 21:37:28 So that would mean I'm embedding the application into PLT Scheme? 21:42:06 reprore [n=reprore@mail.trn.dis.titech.ac.jp] has joined #scheme 21:44:27 synx: use the ffi for wait 21:44:36 synx: I think plt has builtin stuff for signal handling 21:46:10 *karlw* shuts up and reads the fabulous manual. 21:47:00 Adamant [n=Adamant@c-76-29-188-60.hsd1.ga.comcast.net] has joined #scheme 21:53:35 I don't think plt has any exposed signal handling stuff, Elly. Just have to use signal(2) :/ 21:55:42 -!- sepult [n=user@xdsl-87-78-102-51.netcologne.de] has quit ["ERC Version 5.2 (IRC client for Emacs)"] 21:57:56 -!- HG` [n=wells@xdslhj206.osnanet.de] has quit [Client Quit] 21:57:58 -!- parolang` is now known as parolang 21:59:23 -!- snurble [n=snurble@s83-191-238-2.cust.tele2.se] has quit [" HydraIRC -> http://www.hydrairc.com <- Now with extra fish!"] 21:59:28 err 21:59:33 doing that is likely to lead to surprises 21:59:59 I strongly suspect that if PLT has no exposed signal-handling stuff, then it is not signal-safe 22:01:32 -!- moghar [n=user@unaffiliated/moghar] has quit [Remote closed the connection] 22:01:41 in which case using signal(2) is a very bad idea :P 22:01:50 *arcfide* flashes the Eli/Lambda Sign into the clouds. 22:02:02 eli has a sign? 22:03:47 When I search the PLT documentation for signals, I get FrTime. 22:03:58 ahh 22:04:18 It would surprise me if PLT Scheme didn't at least install its own signal handlers. 22:05:46 PLT must have existing interfaces to basic UNIX concepts such as processes and signals 22:05:55 well here's what I'll do: kill says if it's a subprocess, kill and then wait, otherwise use the ffi kill and don't wait (because you can't wait on a non-sub process). 22:06:18 that way the only potential zombies, the sub-processes, get waited for so can't become zombies. 22:06:28 Riastradh: right, but if it does, calling signal(2) is ill-advised 22:06:56 Well, using signal(2) is ill-advised to begin with! 22:07:49 I like to live dangerously 22:08:14 well, yes :P 22:08:34 but I mean it's nearly guaranteed to be fatal, rather than just being probably fatal 22:08:40 -!- blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has quit [] 22:09:00 blackened` [n=blackene@ip-89-102-28-224.karneval.cz] has joined #scheme 22:09:20 signal(2) returns the existing signal handler. You just call the handler it returns inside your signal handler, if you want whatever plt's signal handling behavior is. 22:11:29 -!- mmc [n=mima@cs162149.pp.htv.fi] has quit [Read error: 110 (Connection timed out)] 22:12:44 only if your signal handler a) is written in C and b) does not call any PLT functions 22:13:20 -!- Edico [n=Edico@unaffiliated/edico] has quit ["Leaving"] 22:13:47 synx: What are you doing? 22:14:33 -!- arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has left #scheme 22:15:09 I'm arguing for the potential use of signal(2) even in a context where your framework also uses it... for no reason really. 22:15:37 arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has joined #scheme 22:15:42 -!- arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has left #scheme 22:20:35 arcfide [n=arcfide@ppp-70-246-142-245.dsl.stlsmo.swbell.net] has joined #scheme 22:22:50 -!- synthase [n=synthase@adsl-220-176-61.mob.bellsouth.net] has quit [Read error: 54 (Connection reset by peer)] 22:25:02 -!- rouslan [n=Rouslan@unaffiliated/rouslan] has quit [Read error: 54 (Connection reset by peer)] 22:28:58 Elly: of course -- http://tmp.barzilay.org/ 22:29:53 karlw: In the case that you're describing you can go either way -- and as usual with most "high level" languages (ones that come with a VM or something similar to a VM) embedding some C code into PLT is significantly easier than embedding MzScheme into C. 22:30:52 synx: PLT is cross platform. It's unlikely to have a `kill' primitive. (Especially given the very easy definition if you do need one.) 22:31:47 Riastradh: According to my watchdog, the Brown mailing list server (which is probably what you tried) has been down all of today. 22:32:03 Yes, eli. 22:32:07 khisanth__ [n=Khisanth@pool-141-157-233-162.ny325.east.verizon.net] has joined #scheme 22:32:19 good doggy 22:32:23 They've been having some issues there lately. 22:33:02 eli: hah, nice symbol 22:33:25 http://www.schemers.org/ has also been down for the same time according to it. (It's also hosted at brown.) 22:33:27 that logo'll steal your face right off your head. 22:33:43 -!- Khisanth [n=Khisanth@pool-141-157-237-196.ny325.east.verizon.net] has quit [Nick collision from services.] 22:34:05 -!- khisanth__ is now known as Khisanth 22:34:34 Elly: I have a few variations on it, http://old.barzilay.org/images/Y/Y06.jpg is cornier, but I like it. 22:35:28 And the middle-eastern version: http://old.barzilay.org/images/hamsa/Y-hamsa.jpg 22:36:38 eww, gross 22:37:51 Amerikans. Feh. 22:39:38 Hrm, question about style and idioms. I have some code that I want to run at compile time to get some specific values that I want to embed in runtime code. 22:39:48 My question is the best way to do this. 22:42:37 I think all "runtime code" has to be some form of 'syntax' arcfide, so... create a syntax that will quickly produce the values you want? #'1234567 for instance instead of #'(calculate-value 1 2 3 4 5 6 7) 22:43:00 synx: Yes yes, that's the easy part. 22:43:03 saccade_ [n=saccade@65-78-24-131.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 22:43:27 What I'm trying to write is something along the lines of a simple 'define-foreign-constants' macro. 22:43:38 -!- drwho [n=drwho@c-98-225-211-78.hsd1.pa.comcast.net] has quit [] 22:44:07 It will evaluate the constants or other values and data at expand time from a stub file, eliminating the need for a stub file at run time. 22:44:55 Why eliminate the stub file? Seems feasible I guess... 22:45:18 arcfide: FWIW, in PLT -- and I can assume many other compilers that use a bytecode that is based on expanded code -- this means that your bytecode file is platform specific. 22:45:39 (This is an issue in PLT, since the bytecode format is portable.) 22:45:57 synthase [n=synthase@adsl-220-176-61.mob.bellsouth.net] has joined #scheme 22:48:00 -!- karlw [n=karl@adsl-99-157-202-142.dsl.pltn13.sbcglobal.net] has quit [Read error: 104 (Connection reset by peer)] 22:48:43 eli: Oh, yes, if people are used to movig the bytecode, this will break. 22:48:59 I'm okay with that. 22:49:18 This is fairly implementation specific code anyways. 22:50:01 I really would like to get rid of the compiled stub file, because it makes life easier. 22:50:04 synx: ^^^ 22:53:48 *arcfide* grabs dinner. 22:54:20 arcfide: In this case, just create the stub in the macro, run it, grab the results, and get rid of the file. 22:54:47 Some people call this "groveling", which for some reason sounds to me similar to "vomiting". 22:55:10 *eli* looks at Fare, and sees nothing 23:03:52 -!- Judofyr [n=Judofyr@c8F99BF51.dhcp.bluecom.no] has quit [Remote closed the connection] 23:06:30 hmm 23:06:32 I should make dinner 23:10:14 I need someone to make food appear next to me. Closer => better, since I barely have energy to lift stuff. 23:10:52 *offby1* thinks real hard 23:11:45 *eli* tries to have a bite of offby1's hard thoughts 23:14:26 -!- reprore [n=reprore@mail.trn.dis.titech.ac.jp] has quit [Remote closed the connection] 23:24:28 -!- camt [n=camt@24.244.242.74] has quit [Connection timed out] 23:33:42 didn't a bowl of oatmeal materialize next to you? I've been sending very strong ESP 23:40:08 -!- gnomon [n=gnomon@CPE001d60dffa5c-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: 60 (Operation timed out)] 23:40:19 gnomon [n=gnomon@CPE001d60dffa5c-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 23:49:47 -!- soupdragon [n=f@amcant.demon.co.uk] has quit ["Leaving"] 23:54:45 karlw [n=karl@adsl-99-157-202-134.dsl.pltn13.sbcglobal.net] has joined #scheme 23:54:57 Hmm 23:55:28 I'm looking at the source for xfig now.