00:03:24 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 00:08:58 acarrico [~acarrico@pppoe-68-142-49-233.gmavt.net] has joined #scheme 00:09:20 -!- rudybot [~luser@2001:470:1:41:a800:ff:fe3e:cde7] has quit [Remote host closed the connection] 00:11:22 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 00:15:40 -!- _Pb [~pb@75.131.194.186] has quit [Quit: Leaving] 00:36:49 Zot! 00:37:56 -!- alaricsp [~alaric@relief.warhead.org.uk] has quit [Ping timeout: 252 seconds] 00:40:41 bipt [~bpt@cl-851.chi-02.us.sixxs.net] has joined #scheme 00:41:04 ow. 00:42:14 -!- Thomas_H [~Thomas_H@66.183.224.178] has quit [Ping timeout: 260 seconds] 00:45:32 phax [~phax@unaffiliated/phax] has joined #scheme 00:46:24 -!- borism [~boris@130.77.191.90.dyn.estpak.ee] has quit [K-Lined] 00:48:45 -!- chiiph [~chiiph@gentoo/developer/chiiph] has quit [Quit: No Ping reply in 180 seconds.] 00:48:58 chiiph [~chiiph@dumbledore.com.ar] has joined #scheme 00:49:09 -!- chiiph [~chiiph@dumbledore.com.ar] has quit [Changing host] 00:49:09 chiiph [~chiiph@gentoo/developer/chiiph] has joined #scheme 00:54:49 -!- dfkjjkfd [~paulh@7-13-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 00:58:41 foof [~user@lain.inunome.com] has joined #scheme 01:01:50 samth [~samth@174-21-77-47.tukw.qwest.net] has joined #scheme 01:05:18 rudybot [~luser@offby1.xen.prgmr.com] has joined #scheme 01:08:01 saccade_ [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 01:09:00 jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has joined #scheme 01:10:18 lusory [~bart@bb219-74-111-85.singnet.com.sg] has joined #scheme 01:20:44 kephas [~pierre@AStrasbourg-551-1-8-52.w92-141.abo.wanadoo.fr] has joined #scheme 01:21:19 -!- nowhereman [~pierre@AStrasbourg-551-1-50-237.w83-194.abo.wanadoo.fr] has quit [Ping timeout: 276 seconds] 01:31:08 jcowan [~John@cpe-98-14-172-204.nyc.res.rr.com] has joined #scheme 01:32:04 *jcowan* unvanishes bearing the Big List 01:34:50 brought down from the mountaintop in Cambridge? 01:34:50 The Big List? 01:39:40 No, concocted on the island off the eastern coast of North America. No mountains here. 01:39:48 -!- mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has quit [Ping timeout: 240 seconds] 01:47:04 Foo! foldl is still broken in Haskell's standard prelude, in Haskell 2010, of whose existence I just learned. 01:48:17 broken how? 01:49:02 It blows the stack if used on a sufficiently long list and its result is ever forced. I don't know of any situation in which one would want foldl and not foldl'. 01:49:47 ah, yeah. I don't know either why the default isn't strict. 01:50:01 Probably hysterical raisins. 01:50:42 or worse, a matter of principle. 01:50:53 Principle? 01:51:58 oh, that the default should be non-strict 01:52:09 -!- wbooze [~user@xdsl-78-34-103-9.netcologne.de] has quit [Ping timeout: 245 seconds] 01:52:12 What is the principle involved? 01:52:24 least surprise to haskell programmers? 01:52:32 What is the surprise? 01:52:39 strictness 01:52:39 -!- homie [~user@xdsl-78-34-103-9.netcologne.de] has quit [Ping timeout: 265 seconds] 01:53:43 I guess it is pretty close to hysterical raisins as an argument. 01:53:52 The only difference between foldl and foldl' is whether in some situations the stack explodes or you get a result. I don't think there are any other possibilities for the observable behaviour. 01:55:09 mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has joined #scheme 01:59:34 No, I suppose that foldl and foldl' do lead to slightly different behaviour concerning space usage so that there exist programs in which the choice of foldl will lead to better space usage than foldl'. However, that is mathematical existence: I don't know whether such programs practically exist. 02:00:26 Thomas_H [~Thomas_H@66.183.224.178] has joined #scheme 02:01:44 _Pb [~pb@75.131.194.186] has joined #scheme 02:02:10 -!- _Pb [~pb@75.131.194.186] has quit [Remote host closed the connection] 02:05:21 _Pb [~pb@75.131.194.186] has joined #scheme 02:05:25 -!- proq [~user@unaffiliated/proqesi] has quit [Ping timeout: 276 seconds] 02:06:34 now you start to get to "matter of principle" :) 02:08:30 -!- _Pb [~pb@75.131.194.186] has quit [Client Quit] 02:09:03 _Pb [~pb@75.131.194.186] has joined #scheme 02:11:01 I guess it never makes sense to fold an infinite list. 02:11:22 To foldr, yes; to foldl('), no. 02:12:08 As for the theoretically existing programs that work with foldl but not with foldl', they would work with foldr and reverse, too. 02:14:59 -!- samth [~samth@174-21-77-47.tukw.qwest.net] has quit [Ping timeout: 260 seconds] 02:27:26 -!- _Pb [~pb@75.131.194.186] has quit [Quit: Leaving] 02:27:49 -!- moell [~user@150.181.35.213.dyn.estpak.ee] has quit [Quit: "If you put a million monkeys at a million keyboards, one of them will eventually write a Java program. The rest of them will write Perl programs."] 02:52:33 timj_ [~timj@e176195054.adsl.alicedsl.de] has joined #scheme 02:56:15 -!- timj__ [~timj@e176193207.adsl.alicedsl.de] has quit [Ping timeout: 248 seconds] 03:01:46 -!- foof [~user@lain.inunome.com] has quit [Ping timeout: 260 seconds] 03:06:02 -!- Thomas_H [~Thomas_H@66.183.224.178] has quit [Ping timeout: 265 seconds] 03:15:24 bigwavejake [~bigwaveja@24.136.234.158] has joined #scheme 03:15:44 is there a way to do the equivalent of ungetc in scheme? specifically, scheme48? 03:18:59 No. You can use PEEK-CHAR, though, instead of READ-CHAR. 03:19:08 ah 03:19:17 nice... that'll work 03:19:19 thanks! 03:25:21 waltermai [~user@c-68-54-64-79.hsd1.fl.comcast.net] has joined #scheme 03:35:22 -!- eno [~eno@nslu2-linux/eno] has quit [Read error: Operation timed out] 03:39:54 eno [~eno@nslu2-linux/eno] has joined #scheme 03:46:32 -!- snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has quit [Quit: snarkyboojum] 03:50:16 foof [~user@lain.inunome.com] has joined #scheme 03:58:56 -!- phear is now known as phear_ 03:59:23 phear [~user@unaffiliated/phear] has joined #scheme 03:59:24 -!- bigwavejake [~bigwaveja@24.136.234.158] has quit [Quit: Leaving] 04:22:47 -!- Spewns [~jake@97-92-222-240.dhcp.stls.mo.charter.com] has quit [Quit: Leaving.] 04:27:34 -!- bgs100 is now known as bgs000 04:29:02 Thomas_H [~Thomas_H@66.183.224.178] has joined #scheme 04:41:44 mario-go` [~user@67.205.85.241] has joined #scheme 04:41:55 -!- mario-goulart [~user@67.205.85.241] has quit [*.net *.split] 04:41:55 -!- dlouhy_ [~jdlouhy@zerowing.ccs.neu.edu] has quit [*.net *.split] 04:41:55 -!- mhoye [~mhoye@shell.off.net] has quit [*.net *.split] 04:41:55 -!- sjamaan [~sjamaan@netbsd/developer/sjamaan] has quit [*.net *.split] 04:41:55 -!- ineiros [~itniemin@james.ics.hut.fi] has quit [*.net *.split] 04:41:55 -!- futilius [~otheruser@2001:470:d:128:216:3eff:fe86:c70e] has quit [*.net *.split] 04:44:34 sjamaan [~sjamaan@frohike.xs4all.nl] has joined #scheme 04:44:34 -!- sjamaan [~sjamaan@frohike.xs4all.nl] has quit [Changing host] 04:44:34 sjamaan [~sjamaan@netbsd/developer/sjamaan] has joined #scheme 04:44:38 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 04:45:08 mhoye [~mhoye@shell.off.net] has joined #scheme 04:45:15 dlouhy [~jdlouhy@zerowing.ccs.neu.edu] has joined #scheme 04:45:26 ineiros [~itniemin@james.ics.hut.fi] has joined #scheme 04:47:38 futilius [~otheruser@2001:470:d:128:216:3eff:fe86:c70e] has joined #scheme 04:48:15 -!- kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 248 seconds] 04:50:55 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 265 seconds] 04:57:15 -!- kephas [~pierre@AStrasbourg-551-1-8-52.w92-141.abo.wanadoo.fr] has quit [Remote host closed the connection] 04:58:48 nowhere_man [~pierre@AStrasbourg-551-1-8-52.w92-141.abo.wanadoo.fr] has joined #scheme 04:59:55 jcowan: what is the continuation of the handler when called in with-condition-handler? 05:01:29 i.e. in (with-condition-handler (lambda (exn) 4) (lambda () (+ 1 (* 2 "three")))) 05:01:40 does it return 4 or 5? 05:03:03 alaricsp provided both variations 05:04:48 jay-mccarthy [~jay@lallab.cs.byu.edu] has joined #scheme 05:05:26 ah, I see, returning normally means to pass the condition to the next handler 05:07:17 i think that's too low-level - we can provide it, but for everyday use people will want a simpler form like guard or condition-case which calls an enclosing continuation for you 05:17:10 -!- MrFahrenheit [~RageOfTho@users-55-178.vinet.ba] has quit [Read error: No route to host] 05:17:22 MrFahrenheit [~RageOfTho@users-55-178.vinet.ba] has joined #scheme 05:19:57 hadronzoo [~user@ppp-70-251-113-72.dsl.rcsntx.swbell.net] has joined #scheme 05:20:18 proq [~user@unaffiliated/proqesi] has joined #scheme 05:22:26 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 05:27:08 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 05:29:32 foof` [~user@lain.inunome.com] has joined #scheme 05:29:50 -!- foof [~user@lain.inunome.com] has quit [Read error: Connection reset by peer] 05:30:28 -!- proq [~user@unaffiliated/proqesi] has quit [Ping timeout: 260 seconds] 05:31:11 -!- Thomas_H [~Thomas_H@66.183.224.178] has quit [Ping timeout: 240 seconds] 05:33:27 foof`` [~user@lain.inunome.com] has joined #scheme 05:33:41 -!- foof` [~user@lain.inunome.com] has quit [Read error: Connection reset by peer] 05:34:14 -!- jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has quit [Ping timeout: 246 seconds] 05:38:06 -!- foof`` [~user@lain.inunome.com] has quit [Ping timeout: 260 seconds] 05:38:38 proq [~user@unaffiliated/proqesi] has joined #scheme 05:53:39 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 05:54:18 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 05:54:42 masm [~masm@bl19-149-222.dsl.telepac.pt] has joined #scheme 05:59:58 -!- fod [~fod@92.251.255.5.threembb.ie] has quit [Remote host closed the connection] 06:01:34 kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has joined #scheme 06:02:02 -!- hadronzoo [~user@ppp-70-251-113-72.dsl.rcsntx.swbell.net] has quit [Remote host closed the connection] 06:06:38 -!- kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 260 seconds] 06:11:35 justicefries_ [~thefry@c-98-245-71-126.hsd1.co.comcast.net] has joined #scheme 06:18:32 foof [~user@lain.inunome.com] has joined #scheme 06:27:34 -!- foof [~user@lain.inunome.com] has quit [Ping timeout: 260 seconds] 06:30:05 Thomas_H [~Thomas_H@66.183.224.178] has joined #scheme 06:35:40 dfkjjkfd [~paulh@7-13-ftth.onsnetstudenten.nl] has joined #scheme 07:00:41 hmm 07:03:03 -!- Thomas_H [~Thomas_H@66.183.224.178] has quit [Ping timeout: 264 seconds] 07:07:09 jcowan_ [~John@cpe-98-14-172-204.nyc.res.rr.com] has joined #scheme 07:08:33 -!- jcowan_ [~John@cpe-98-14-172-204.nyc.res.rr.com] has quit [Client Quit] 07:09:18 -!- jcowan [~John@cpe-98-14-172-204.nyc.res.rr.com] has quit [Quit: Leaving] 07:11:45 snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has joined #scheme 07:12:36 HG` [~HG@xdsl-92-252-125-214.dip.osnanet.de] has joined #scheme 07:16:37 nowhereman [~pierre@AStrasbourg-551-1-60-206.w83-194.abo.wanadoo.fr] has joined #scheme 07:16:53 -!- nowhere_man [~pierre@AStrasbourg-551-1-8-52.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 265 seconds] 07:21:47 phear` [~phear@unaffiliated/phear] has joined #scheme 07:25:54 -!- phear [~user@unaffiliated/phear] has quit [Remote host closed the connection] 07:26:58 viller [~chatzilla@20.217.190.90.dyn.estpak.ee] has joined #scheme 07:27:10 -!- phear` is now known as phear 07:29:39 -!- mastertogo [~togo@ip70-171-249-111.tc.ph.cox.net] has quit [Quit: and /part are on an island. /part dies, which is left?] 07:53:47 somnium [~user@adsl-243-25-127.dab.bellsouth.net] has joined #scheme 07:56:07 -!- proq [~user@unaffiliated/proqesi] has quit [Remote host closed the connection] 08:10:29 alaricsp [~alaric@relief.warhead.org.uk] has joined #scheme 08:12:19 proq [~user@unaffiliated/proqesi] has joined #scheme 08:18:43 foof [~user@li126-140.members.linode.com] has joined #scheme 08:24:59 pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has joined #scheme 08:44:35 -!- snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has quit [Quit: snarkyboojum] 08:51:08 -!- proq [~user@unaffiliated/proqesi] has quit [Ping timeout: 265 seconds] 09:04:28 fradgers- [~fradgers-@5adafe9d.bb.sky.com] has joined #scheme 09:05:12 -!- alaricsp [~alaric@relief.warhead.org.uk] has quit [Remote host closed the connection] 09:07:10 -!- pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has quit [Ping timeout: 260 seconds] 09:08:03 -!- viller [~chatzilla@20.217.190.90.dyn.estpak.ee] has quit [Quit: ChatZilla 0.9.86 [Firefox 3.6.8/20100722155716]] 09:10:53 pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has joined #scheme 09:11:54 gravicappa [~gravicapp@ppp85-141-165-47.pppoe.mtu-net.ru] has joined #scheme 09:31:58 -!- phear_ [~user@unaffiliated/phear] has quit [Remote host closed the connection] 09:35:41 leppie [~lolcow@196-210-177-53.dynamic.isadsl.co.za] has joined #scheme 09:38:09 snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has joined #scheme 09:53:14 -!- IJP [~Ian@host81-151-84-83.range81-151.btcentralplus.com] has quit [Quit: leaving] 09:56:12 -!- justicefries_ [~thefry@c-98-245-71-126.hsd1.co.comcast.net] has quit [Quit: justicefries_] 10:10:03 -!- jmcphers [~jmcphers@218.185.108.156] has quit [Remote host closed the connection] 10:10:48 jmcphers [~jmcphers@218.185.108.156] has joined #scheme 10:11:35 -!- foof [~user@li126-140.members.linode.com] has quit [Remote host closed the connection] 10:20:04 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 10:36:07 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 10:50:32 lvillani [~lvillani@fedora/lvillani] has joined #scheme 10:56:58 foof [~user@li126-140.members.linode.com] has joined #scheme 11:03:10 -!- pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has quit [Ping timeout: 240 seconds] 11:05:27 TDDPirate [~Omer_Zak@87.68.247.178.adsl.012.net.il] has joined #scheme 11:07:12 -!- HG` [~HG@xdsl-92-252-125-214.dip.osnanet.de] has quit [Quit: Leaving.] 11:07:40 kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has joined #scheme 11:10:40 wqqqqqqqqqqqqqqqqqqqqqqqqqs5C 11:10:49 -!- copumpkin [~copumpkin@94.164.51.150] has quit [Ping timeout: 265 seconds] 11:11:38 foofcat you're not allowed on IRC 11:13:27 that's what i keep telling her 11:14:46 /me shuffles feet 11:16:04 copumpkin [~copumpkin@94.164.127.203] has joined #scheme 11:18:26 RageOfThou [~RageOfTho@users-33-127.vinet.ba] has joined #scheme 11:18:58 alvatar [~alvatar@75.233.218.87.dynamic.jazztel.es] has joined #scheme 11:21:19 -!- MrFahrenheit [~RageOfTho@users-55-178.vinet.ba] has quit [Ping timeout: 245 seconds] 11:29:26 -!- kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 258 seconds] 11:30:29 alaricsp [~alaric@relief.warhead.org.uk] has joined #scheme 11:32:31 -!- RageOfThou [~RageOfTho@users-33-127.vinet.ba] has quit [Ping timeout: 240 seconds] 11:32:39 -!- mario-go` [~user@67.205.85.241] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 11:32:42 MrFahrenheit [~RageOfTho@users-33-127.vinet.ba] has joined #scheme 11:33:01 -!- lvillani [~lvillani@fedora/lvillani] has quit [Quit: Leaving] 11:33:04 mario-goulart [~user@67.205.85.241] has joined #scheme 11:35:09 lvillani [~lvillani@fedora/lvillani] has joined #scheme 11:44:56 pdelgallego [~pdelgalle@1503031474.dhcp.dbnet.dk] has joined #scheme 11:48:04 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 11:49:47 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [Ping timeout: 246 seconds] 11:51:16 Quadrescence [~Quad@unaffiliated/quadrescence] has joined #scheme 11:51:48 -!- alvatar [~alvatar@75.233.218.87.dynamic.jazztel.es] has quit [Quit: leaving] 11:55:28 -!- TDDPirate [~Omer_Zak@87.68.247.178.adsl.012.net.il] has quit [Ping timeout: 260 seconds] 12:09:30 TDDPirate [~Omer_Zak@87.68.247.178.adsl.012.net.il] has joined #scheme 12:17:48 -!- snarkyboojum [~snarkyboo@110-174-43-105.static.tpgi.com.au] has quit [Quit: snarkyboojum] 12:25:45 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 12:25:49 Quadresce` [~Quad@unaffiliated/quadrescence] has joined #scheme 12:28:16 -!- Quadresce` is now known as Quadrescence 12:41:08 homie [~user@xdsl-87-79-48-150.netcologne.de] has joined #scheme 12:41:16 wbooze [~user@xdsl-87-79-48-150.netcologne.de] has joined #scheme 12:50:18 HG` [~HG@xdsl-92-252-125-214.dip.osnanet.de] has joined #scheme 12:53:50 kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has joined #scheme 12:54:15 khisanth_ [~Khisanth@pool-96-250-28-106.nycmny.east.verizon.net] has joined #scheme 12:56:15 -!- Khisanth [~Khisanth@pool-96-250-26-26.nycmny.east.verizon.net] has quit [Ping timeout: 265 seconds] 12:58:58 -!- kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 276 seconds] 13:00:48 -!- lvillani [~lvillani@fedora/lvillani] has quit [Remote host closed the connection] 13:01:54 lvillani [~lvillani@fedora/lvillani] has joined #scheme 13:02:09 -!- TDDPirate [~Omer_Zak@87.68.247.178.adsl.012.net.il] has quit [Quit: Chatzilla 0.9.67+ [Iceape 1.0.9/2007050500]] 13:10:54 -!- somnium [~user@adsl-243-25-127.dab.bellsouth.net] has left #scheme 13:14:10 _Pb [~pb@75.131.194.186] has joined #scheme 13:14:12 -!- lvillani [~lvillani@fedora/lvillani] has quit [Remote host closed the connection] 13:15:11 kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has joined #scheme 13:16:28 lvillani [~lvillani@fedora/lvillani] has joined #scheme 13:20:32 alvatar [~alvatar@151.127.222.87.dynamic.jazztel.es] has joined #scheme 13:20:56 -!- alvatar [~alvatar@151.127.222.87.dynamic.jazztel.es] has quit [Client Quit] 13:21:31 alvatar [~alvatar@151.127.222.87.dynamic.jazztel.es] has joined #scheme 13:21:59 Spewns [~jake@97-92-222-240.dhcp.stls.mo.charter.com] has joined #scheme 13:33:44 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 246 seconds] 13:35:45 -!- HG` [~HG@xdsl-92-252-125-214.dip.osnanet.de] has quit [Quit: Leaving.] 13:42:22 -!- lvillani [~lvillani@fedora/lvillani] has quit [Quit: Leaving] 13:42:28 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 13:43:40 -!- saccade_ [~saccade@209-6-54-113.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: This computer has gone to sleep] 13:50:27 SinDoc [~SinDoc@213.49.145.54] has joined #scheme 13:51:20 -!- bgs000 is now known as bgs100 14:10:02 MononcQc [~Ferd@modemcable062.225-20-96.mc.videotron.ca] has joined #scheme 14:11:28 -!- kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 276 seconds] 14:16:05 -!- homie [~user@xdsl-87-79-48-150.netcologne.de] has quit [Ping timeout: 246 seconds] 14:16:15 -!- wbooze [~user@xdsl-87-79-48-150.netcologne.de] has quit [Ping timeout: 248 seconds] 14:17:50 homie [~user@xdsl-87-79-163-129.netcologne.de] has joined #scheme 14:19:52 wbooze [~user@xdsl-87-79-163-129.netcologne.de] has joined #scheme 14:21:52 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [Ping timeout: 252 seconds] 14:26:19 -!- sladegen [~nemo@unaffiliated/sladegen] has quit [Ping timeout: 245 seconds] 14:26:56 sladegen [~nemo@unaffiliated/sladegen] has joined #scheme 14:32:01 bigwavejake [~user@24.136.234.158] has joined #scheme 14:32:33 what's the procedure for gracefully exiting a program? I'm using scheme48 and I can't find a (quit) or an (exit). 14:35:26 fod [~fod@92.251.255.5.threembb.ie] has joined #scheme 14:35:37 You can either return an exit number from the start routine, or call the SCHEME-EXIT-NOW procedure from the ROOT-SCHEDULER structure with an exit number as its only argument. 14:37:08 Oh, there is also an EXIT procedure in the POSIX-PROCESSES structure, which is probably better than using SCHEME-EXIT-NOW. 14:37:39 Riastradh: I saw the posix structure, but how do I import it? 14:37:48 ...just like you use any other stru 14:37:53 I'm pretty new to scheme and scheme48 14:37:55 Stupid ^J being too close to ^U. 14:38:01 Just like you use any other structure. 14:38:16 When you write your program in a structure, use (open posix-processes) in the DEFINE-STRUCTURE form. 14:40:18 awesome. i'll try that, thanks! 14:42:52 Belaf [~campedel@194.209.131.192] has joined #scheme 14:48:02 -!- bigwavejake [~user@24.136.234.158] has left #scheme 14:54:33 -!- SinDoc [~SinDoc@213.49.145.54] has left #scheme 14:58:53 saccade_ [~saccade@BRAIN-AND-COG-THREE-TEN.MIT.EDU] has joined #scheme 15:00:31 -!- sjamaan [~sjamaan@netbsd/developer/sjamaan] has quit [Ping timeout: 248 seconds] 15:00:47 peter__ [~sjamaan@frohike.xs4all.nl] has joined #scheme 15:00:59 -!- peter__ is now known as sjamaan 15:01:07 -!- sjamaan [~sjamaan@frohike.xs4all.nl] has quit [Changing host] 15:01:07 sjamaan [~sjamaan@netbsd/developer/sjamaan] has joined #scheme 15:02:57 <_Pb> how can i make sure that (display) prints to stdout? 15:04:41 _Pb, you need to give more information about the context. Standard Scheme has no standard notion of standard output. There is a current output port, but that's all. 15:05:49 ra_ [~dex@ip5454625b.speed.planet.nl] has joined #scheme 15:05:50 <_Pb> Riastradh: alright. how do i know what i can pass as display's second argument? 15:06:28 <_Pb> in tspl display is documented as "(display obj output-port)" 15:06:48 <_Pb> what does it take? a string? a symbol? 15:10:12 An output port. There are three standard procedures that give you an output port: (CURRENT-OUTPUT-PORT), (OPEN-OUTPUT-FILE ), and (CALL-WITH-OUTPUT-FILE ). 15:10:41 <_Pb> that makes sense! thank you! 15:10:50 If the current output port is connected to your local notion of `standard output', then passing the value of (CURRENT-OUTPUT-PORT) to DISPLAY will send output to standard output. The second argument to DISPLAY is actually optional -- its default value is the current output port. 15:11:13 <_Pb> ah 15:11:46 The current output port can be changed, however, with WITH-OUTPUT-TO-FILE, and other implementation-specific procedures, so it may not always be connected to your local notion of standard output. 15:11:55 -!- Belaf [~campedel@194.209.131.192] has left #scheme 15:12:34 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 15:16:16 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 240 seconds] 15:20:49 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 15:23:18 <_Pb> nothing was printing, i had to use (current-error-port), thanks for clearing it up 15:25:29 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 15:26:44 lvillani [~lvillani@fedora/lvillani] has joined #scheme 15:29:52 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 240 seconds] 15:32:19 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 15:32:46 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 15:39:39 -!- Nshag [user@lns-bzn-26-82-254-115-113.adsl.proxad.net] has quit [Ping timeout: 240 seconds] 15:49:55 -!- ra_ [~dex@ip5454625b.speed.planet.nl] has quit [Quit: Ex-Chat] 15:51:56 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 15:52:17 Nshag [user@lns-bzn-20-82-64-55-127.adsl.proxad.net] has joined #scheme 15:59:28 <_Pb> does anyone here have an example of exiting a recursive function using call/cc? 16:00:18 (call/cc (lambda (ret) (let loop ((n 0)) (if (= 10 n) (ret 'done) (loop (add1 n)))))) 16:00:36 Well, that's iterative, but you get the idea :) 16:00:39 kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has joined #scheme 16:00:47 (define (search-tree tree predicate) (cwcc (lambda (exit) (let recur ((tree tree)) (if (predicate tree) (exit tree)) (recur (car tree)) (recur (cdr tree] 16:02:03 You could omit the text `(call/cc (lambda (ret) ', `(ret ', `)', and `))', sjamaan. 16:02:09 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 245 seconds] 16:02:20 The program would require no further transformation to eliminate CWCC preserving its semantics. 16:03:57 <_Pb> yeah 16:03:59 Riastradh: I know, but he wanted an example. This procedure doesn't do anything useful anyway, but as an example I think it is very clear 16:05:11 <_Pb> sjamaan: in your example, what exactly does (ret 'done) do? 16:06:03 It passes 'done to the continuation RET 16:06:24 So that would be the result of the entire expression 16:06:57 <_Pb> 'done has no special value or anything, right? 16:07:02 No 16:07:09 It's just a silly example 16:07:16 (ret 'medium-rare) 16:07:21 <_Pb> heh 16:07:22 :) 16:08:11 <_Pb> Riastradh, i'm still trying to understand your example 16:10:44 -!- ASau` [~user@83.69.227.32] has quit [Remote host closed the connection] 16:11:04 ASau` [~user@83.69.227.32] has joined #scheme 16:12:11 -!- MononcQc [~Ferd@modemcable062.225-20-96.mc.videotron.ca] has quit [Quit: Leaving] 16:12:58 <_Pb> sjamaan: your example worked with my code, awesome 16:13:10 yw 16:13:29 (Actually, the only sensible value for PREDICATE is PAIR?. The example should test for pairs itself, and have an argument for some sort of default value.) 16:14:33 <_Pb> i see 16:15:14 (...rather, not PAIR?, but the complement of PAIR?.) 16:19:35 ATOM?? 16:22:48 Jafet [~Jafet@unaffiliated/jafet] has joined #scheme 16:33:28 -!- _Pb [~pb@75.131.194.186] has quit [Ping timeout: 276 seconds] 16:33:28 -!- nowhereman [~pierre@AStrasbourg-551-1-60-206.w83-194.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 16:33:32 nowhereman [~pierre@AStrasbourg-551-1-33-19.w92-148.abo.wanadoo.fr] has joined #scheme 16:40:48 kephas [~pierre@AStrasbourg-551-1-33-19.w92-148.abo.wanadoo.fr] has joined #scheme 16:41:18 -!- nowhereman [~pierre@AStrasbourg-551-1-33-19.w92-148.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds] 16:44:31 -!- chandler [~n@opendarwin/developer/chandler] has quit [Ping timeout: 248 seconds] 16:44:52 -!- kephas [~pierre@AStrasbourg-551-1-33-19.w92-148.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 16:46:30 kephas [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has joined #scheme 16:50:40 -!- kephas [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 16:50:46 kephas [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has joined #scheme 17:00:45 justicefries_ [~thefry@c-98-245-71-126.hsd1.co.comcast.net] has joined #scheme 17:06:25 -!- lusory [~bart@bb219-74-111-85.singnet.com.sg] has quit [Ping timeout: 276 seconds] 17:06:57 chandler [~n@new.unmutual.info] has joined #scheme 17:07:01 -!- klutometis [klutometis@klutometis.wikitex.org] has quit [Read error: Operation timed out] 17:07:25 -!- chandler is now known as Guest58841 17:07:37 klutometis [klutometis@klutometis.wikitex.org] has joined #scheme 17:07:54 lusory [~bart@bb121-6-25-66.singnet.com.sg] has joined #scheme 17:08:05 -!- klutometis is now known as Guest62936 17:09:51 flaviosouza [~user@201-92-32-89.dsl.telesp.net.br] has joined #scheme 17:10:01 -!- Guest58841 [~n@new.unmutual.info] has quit [Changing host] 17:10:02 Guest58841 [~n@opendarwin/developer/chandler] has joined #scheme 17:10:13 -!- Guest58841 is now known as chandler 17:11:46 _Pb [~pb@75.131.194.186] has joined #scheme 17:19:29 RageOfThou [~RageOfTho@users-55-139.vinet.ba] has joined #scheme 17:22:09 -!- MrFahrenheit [~RageOfTho@users-33-127.vinet.ba] has quit [Ping timeout: 245 seconds] 17:22:17 -!- flaviosouza [~user@201-92-32-89.dsl.telesp.net.br] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:23:00 flaviosouza [~user@201-92-32-89.dsl.telesp.net.br] has joined #scheme 17:24:21 faure [~moe@CPE001217e40caa-CM0018c0c09832.cpe.net.cable.rogers.com] has joined #scheme 17:26:12 -!- justicefries_ [~thefry@c-98-245-71-126.hsd1.co.comcast.net] has quit [Quit: justicefries_] 17:27:28 -!- flaviosouza [~user@201-92-32-89.dsl.telesp.net.br] has quit [Client Quit] 17:28:30 flaviosouza [~user@201-92-32-89.dsl.telesp.net.br] has joined #scheme 17:29:20 -!- flaviosouza [~user@201-92-32-89.dsl.telesp.net.br] has quit [Client Quit] 17:31:55 justicefries_ [~thefry@c-98-245-71-126.hsd1.co.comcast.net] has joined #scheme 17:35:01 -!- kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has quit [Ping timeout: 276 seconds] 17:37:34 mejja [~user@c-14bee555.023-82-73746f38.cust.bredbandsbolaget.se] has joined #scheme 17:41:54 -!- bipt [~bpt@cl-851.chi-02.us.sixxs.net] has quit [Ping timeout: 260 seconds] 17:42:06 -!- justicefries_ [~thefry@c-98-245-71-126.hsd1.co.comcast.net] has quit [Quit: justicefries_] 17:44:31 -!- kephas [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has quit [Remote host closed the connection] 17:44:55 nowhere_man [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has joined #scheme 17:53:34 phax [~phax@unaffiliated/phax] has joined #scheme 18:03:45 -!- _Pb [~pb@75.131.194.186] has quit [Quit: Leaving] 18:17:04 -!- khisanth_ is now known as Khisanth 18:22:03 -!- fod [~fod@92.251.255.5.threembb.ie] has quit [Remote host closed the connection] 18:23:18 Thomas_H [~Thomas_H@66.183.224.178] has joined #scheme 18:24:54 -!- lvillani [~lvillani@fedora/lvillani] has quit [Quit: Leaving] 18:28:49 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 18:29:11 justicefries_ [~thefry@2002:43ad:ef61:0:fa1e:dfff:fee3:a618] has joined #scheme 18:29:57 -!- justicefries_ [~thefry@2002:43ad:ef61:0:fa1e:dfff:fee3:a618] has quit [Remote host closed the connection] 18:30:07 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 18:32:01 justicefries_ [~thefry@2002:43ad:ef61:0:fa1e:dfff:fee3:a618] has joined #scheme 18:32:31 -!- justicefries_ [~thefry@2002:43ad:ef61:0:fa1e:dfff:fee3:a618] has quit [Remote host closed the connection] 18:33:05 justicefries_ [~thefry@c-67-173-239-97.hsd1.co.comcast.net] has joined #scheme 18:33:13 -!- justicefries_ [~thefry@c-67-173-239-97.hsd1.co.comcast.net] has quit [Client Quit] 18:36:31 -!- nowhere_man [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has quit [Ping timeout: 248 seconds] 18:36:57 samth [~samth@c-71-197-245-8.hsd1.wa.comcast.net] has joined #scheme 18:45:13 nowhere_man [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has joined #scheme 18:49:29 nowhereman [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has joined #scheme 18:49:32 -!- nowhere_man [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 18:53:11 -!- Thomas_H [~Thomas_H@66.183.224.178] has quit [Read error: Connection reset by peer] 18:53:22 -!- samth [~samth@c-71-197-245-8.hsd1.wa.comcast.net] has quit [Ping timeout: 265 seconds] 18:53:40 -!- nowhereman [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has quit [Remote host closed the connection] 18:53:58 nowhere_man [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has joined #scheme 18:54:20 -!- Jafet [~Jafet@unaffiliated/jafet] has quit [Ping timeout: 246 seconds] 18:55:01 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Quit: +++ killed by SIGSEGV +++] 19:03:57 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 19:50:37 bmarkmann [~bmarkmann@wsip-98-172-20-243.dc.dc.cox.net] has joined #scheme 19:52:15 -!- phax [~phax@unaffiliated/phax] has quit [Remote host closed the connection] 19:52:24 -!- bmarkmann [~bmarkmann@wsip-98-172-20-243.dc.dc.cox.net] has quit [Quit: leaving] 20:05:29 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Ping timeout: 245 seconds] 20:12:42 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 20:16:00 -!- fradgers- [~fradgers-@5adafe9d.bb.sky.com] has left #scheme 20:20:26 -!- saccade_ [~saccade@BRAIN-AND-COG-THREE-TEN.MIT.EDU] has quit [Ping timeout: 246 seconds] 20:22:55 saccade_ [~saccade@BRAIN-AND-COG-THREE-TEN.MIT.EDU] has joined #scheme 20:32:24 -!- alvatar [~alvatar@151.127.222.87.dynamic.jazztel.es] has quit [Quit: leaving] 20:34:36 -!- ASau` [~user@83.69.227.32] has quit [Read error: Connection reset by peer] 20:41:06 kniu [~kniu@pool-71-106-0-142.lsanca.dsl-w.verizon.net] has joined #scheme 20:43:28 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Remote host closed the connection] 20:44:14 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 20:54:42 -!- Riastradh [debian-tor@fsf/member/riastradh] has quit [Remote host closed the connection] 21:05:16 ASau` [~user@83.69.227.32] has joined #scheme 21:30:48 -!- mejja [~user@c-14bee555.023-82-73746f38.cust.bredbandsbolaget.se] has quit [Quit: ChatZilla 0.9.86 [Firefox 3.5.11/2010071400]] 21:44:46 -!- Spewns [~jake@97-92-222-240.dhcp.stls.mo.charter.com] has quit [Quit: Leaving.] 21:45:54 -!- RageOfThou [~RageOfTho@users-55-139.vinet.ba] has quit [Ping timeout: 245 seconds] 21:47:22 -!- gravicappa [~gravicapp@ppp85-141-165-47.pppoe.mtu-net.ru] has quit [Ping timeout: 258 seconds] 22:15:28 -!- ASau` [~user@83.69.227.32] has quit [Ping timeout: 265 seconds] 22:16:44 -!- masm [~masm@bl19-149-222.dsl.telepac.pt] has quit [Quit: Leaving.] 22:34:37 ASau` [~user@83.69.227.32] has joined #scheme 22:34:45 -!- Quadrescence [~Quad@unaffiliated/quadrescence] has quit [Read error: Connection reset by peer] 22:35:41 Quadrescence [~Quad@unaffiliated/quadrescence] has joined #scheme 22:38:19 jonrafkind [~jon@c-67-172-254-235.hsd1.ut.comcast.net] has joined #scheme 22:42:52 -!- nowhere_man [~pierre@AStrasbourg-551-1-31-205.w83-196.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 22:44:07 schmir [~schmir@p54A93978.dip0.t-ipconnect.de] has joined #scheme 22:45:01 nowhere_man [~pierre@AStrasbourg-551-1-8-182.w92-141.abo.wanadoo.fr] has joined #scheme 22:58:55 -!- schmir [~schmir@p54A93978.dip0.t-ipconnect.de] has quit [Ping timeout: 276 seconds] 23:17:08 IJP [~user@host81-151-84-83.range81-151.btcentralplus.com] has joined #scheme 23:45:56 justicefries_ [~thefry@2002:43ad:ef61:0:fa1e:dfff:fee3:a618] has joined #scheme 23:49:40 Riastradh [debian-tor@fsf/member/riastradh] has joined #scheme 23:49:48 Modius [~Modius@cpe-24-28-30-165.austin.res.rr.com] has joined #scheme 23:50:16 -!- justicefries_ [~thefry@2002:43ad:ef61:0:fa1e:dfff:fee3:a618] has quit [Remote host closed the connection] 23:50:38 -!- Modius [~Modius@cpe-24-28-30-165.austin.res.rr.com] has quit [Max SendQ exceeded] 23:50:49 justicefries_ [~thefry@c-67-173-239-97.hsd1.co.comcast.net] has joined #scheme 23:51:14 Modius [~Modius@cpe-24-28-30-165.austin.res.rr.com] has joined #scheme