00:01:56 ASau [~user@p5797EB14.dip0.t-ipconnect.de] has joined #scheme 00:07:15 peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has joined #scheme 00:19:44 -!- phao [phao@177.77.183.73] has quit [Read error: Connection reset by peer] 00:19:46 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 00:20:03 phao [phao@177.77.183.73] has joined #scheme 00:22:23 -!- sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 255 seconds] 00:28:56 -!- teiresias [~teiresias@archlinux/trusteduser/teiresias] has quit [Remote host closed the connection] 00:34:54 -!- phao [phao@177.77.183.73] has quit [Ping timeout: 264 seconds] 00:43:24 teiresias [~teiresias@archlinux/trusteduser/teiresias] has joined #scheme 00:45:00 -!- adu [~ajr@pool-173-66-11-197.washdc.fios.verizon.net] has quit [Quit: adu] 00:59:12 -!- deveux [~deveux@74.Red-83-45-150.dynamicIP.rima-tde.net] has quit [Quit: Leaving] 01:03:20 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 01:03:20 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Client Quit] 01:08:10 sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 01:17:25 -!- sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 246 seconds] 01:19:22 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 01:21:50 sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 01:34:24 -!- MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has quit [Ping timeout: 264 seconds] 01:37:59 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 01:45:55 jcowan [~jcowan@mail.digitalkingdom.org] has joined #scheme 01:49:09 Tanami [~carnage@9ch.in] has joined #scheme 01:51:37 -!- Nisstyre-laptop is now known as Nisstyre 02:10:26 -!- alexei [~amgarchin@p4FD605EB.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 02:14:33 -!- ijp [~user@host81-155-24-242.range81-155.btcentralplus.com] has quit [Read error: Connection reset by peer] 02:16:30 ijp [~user@host81-155-24-242.range81-155.btcentralplus.com] has joined #scheme 02:17:08 -!- ijp [~user@host81-155-24-242.range81-155.btcentralplus.com] has quit [Client Quit] 02:27:21 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Ping timeout: 276 seconds] 02:37:17 tupi [~user@186.205.69.180] has joined #scheme 02:37:32 -!- sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has quit [Ping timeout: 272 seconds] 02:38:33 -!- jcowan [~jcowan@mail.digitalkingdom.org] has quit [Quit: Leaving] 02:39:11 tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 02:41:43 -!- tupi [~user@186.205.69.180] has quit [Ping timeout: 252 seconds] 02:41:59 tupi [~user@186.205.69.180] has joined #scheme 02:47:56 przl_ [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 02:48:48 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 02:49:35 -!- ASau [~user@p5797EB14.dip0.t-ipconnect.de] has quit [Quit: fsdb.] 02:51:18 -!- przl [~przlrkt@p5B29834A.dip0.t-ipconnect.de] has quit [Ping timeout: 268 seconds] 02:55:57 tacey [~tacey@202.201.13.54] has joined #scheme 03:00:05 -!- dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has quit [Remote host closed the connection] 03:04:18 ASau [~user@p5797EB14.dip0.t-ipconnect.de] has joined #scheme 03:07:50 -!- czm [~user@unaffiliated/czm] has left #scheme 03:10:18 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Ping timeout: 264 seconds] 03:14:38 sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 03:37:07 -!- tupi [~user@186.205.69.180] has quit [Ping timeout: 256 seconds] 03:46:20 dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has joined #scheme 04:00:17 -!- Triclops256|away is now known as Triclops256 04:00:21 -!- jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 256 seconds] 04:06:23 -!- ASau [~user@p5797EB14.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 04:10:19 jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 04:15:02 -!- yacks [~py@180.151.36.168] has quit [Read error: Connection reset by peer] 04:20:32 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Quit: Leaving] 04:23:11 tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 04:23:41 yacks [~py@180.151.36.168] has joined #scheme 04:26:24 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 04:29:30 -!- trusktr [~trusktr@c-71-193-54-200.hsd1.ca.comcast.net] has quit [Ping timeout: 264 seconds] 04:30:50 -!- yacks [~py@180.151.36.168] has quit [Quit: Leaving] 04:33:44 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 04:33:59 jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 04:37:15 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 256 seconds] 04:37:32 -!- noam__ [~noam@213.57.201.130] has quit [Read error: Connection reset by peer] 04:37:54 noam__ [~noam@213.57.201.130] has joined #scheme 04:46:03 trusktr [~trusktr@c-71-193-54-200.hsd1.ca.comcast.net] has joined #scheme 04:52:20 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 04:54:59 -!- pyro-_ [~pyro@chopstick.dcollins.info] has quit [Changing host] 04:55:00 pyro-_ [~pyro@unaffiliated/purplepanda] has joined #scheme 04:55:23 -!- pyro-_ is now known as pyro- 04:59:20 yacks [~py@180.151.36.168] has joined #scheme 05:02:39 -!- dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has quit [Ping timeout: 268 seconds] 05:12:05 -!- noam__ [~noam@213.57.201.130] has quit [Ping timeout: 248 seconds] 05:15:36 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Ping timeout: 268 seconds] 05:18:45 noam [~noam@213.57.201.130] has joined #scheme 05:20:39 Euthy [~euthy@unaffiliated/euthydemus] has joined #scheme 05:25:44 -!- Triclops256 is now known as Triclops256|away 05:26:16 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 05:27:34 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 05:29:02 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 05:40:48 -!- LAMMJohnson [~ja@user-5af43ca5.broadband.tesco.net] has quit [Quit: leaving] 06:11:23 -!- groovy2shoes [~guv@unaffiliated/groovebot] has quit [Quit: groovy2shoes] 06:19:02 jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 06:21:29 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 255 seconds] 06:28:24 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 264 seconds] 06:36:05 -!- tacey [~tacey@202.201.13.54] has quit [Ping timeout: 252 seconds] 06:38:26 jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 06:39:12 adu [~ajr@pool-173-66-11-197.washdc.fios.verizon.net] has joined #scheme 06:41:13 -!- jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 240 seconds] 06:50:55 -!- wbooze [~wbooze@xdsl-78-35-187-173.netcologne.de] has quit [Quit: none] 06:52:42 tacey [~tacey@202.201.13.54] has joined #scheme 07:00:53 cdidd [~cdidd@95-27-10-135.broadband.corbina.ru] has joined #scheme 07:10:54 -!- Nisstyre [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 264 seconds] 07:18:27 gravicappa [~gravicapp@ppp91-77-189-136.pppoe.mtu-net.ru] has joined #scheme 07:20:33 jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 07:23:23 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 252 seconds] 07:25:57 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 07:34:04 wbooze [~wbooze@xdsl-78-35-187-173.netcologne.de] has joined #scheme 07:52:15 -!- jrapdx1 is now known as jrapdx 08:04:17 -!- lusory [~lusory@42.60.25.228] has quit [Quit: leaving] 08:09:54 lusory [~lusory@42.60.25.228] has joined #scheme 08:13:59 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 252 seconds] 08:16:37 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Ping timeout: 248 seconds] 08:17:06 -!- adiii [~adityavit@2601:9:3d00:4e:140c:dc5b:dfd8:a858] has quit [Ping timeout: 258 seconds] 08:18:29 -!- wbooze [~wbooze@xdsl-78-35-187-173.netcologne.de] has quit [Ping timeout: 255 seconds] 08:24:07 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 08:24:44 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 08:27:23 -!- gravicappa [~gravicapp@ppp91-77-189-136.pppoe.mtu-net.ru] has quit [Ping timeout: 268 seconds] 08:28:37 -!- trusktr [~trusktr@c-71-193-54-200.hsd1.ca.comcast.net] has quit [Ping timeout: 268 seconds] 08:45:43 gravicappa [~gravicapp@ppp91-77-165-213.pppoe.mtu-net.ru] has joined #scheme 08:46:53 -!- adu [~ajr@pool-173-66-11-197.washdc.fios.verizon.net] has quit [Quit: adu] 08:53:06 weie_ [~eie@softbank221078042071.bbtec.net] has joined #scheme 08:53:22 jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 08:53:35 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 252 seconds] 08:54:44 -!- weie [~eie@softbank221078042071.bbtec.net] has quit [Ping timeout: 256 seconds] 08:56:22 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 268 seconds] 09:02:29 -!- tacey [~tacey@202.201.13.54] has quit [Quit: ...] 09:05:27 -!- przl_ [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 09:27:44 jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 09:30:48 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 264 seconds] 09:31:16 -!- gravicappa [~gravicapp@ppp91-77-165-213.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 10:07:45 -!- hiroakip [~hiroaki@77-20-192-229-dynip.superkabel.de] has quit [Read error: Operation timed out] 10:09:16 Killereevee [~Killereev@app5.chatmosphere.org] has joined #scheme 10:09:27 -!- Killereevee [~Killereev@app5.chatmosphere.org] has quit [Remote host closed the connection] 10:09:44 -!- jrapdx1 is now known as jrapdx 10:11:41 Killereevee [~Killereev@69.41.182.141] has joined #scheme 10:11:41 -!- Killereevee [~Killereev@69.41.182.141] has quit [Client Quit] 10:17:36 -!- astertronistic [~astertron@ip70-181-235-122.sd.sd.cox.net] has quit [Quit: Leaving] 10:17:44 wbooze [~wbooze@xdsl-84-44-177-63.netcologne.de] has joined #scheme 10:22:57 hiroakip [~hiroaki@pD9F9915B.dip0.t-ipconnect.de] has joined #scheme 10:30:21 jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 10:31:17 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 10:33:13 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 257 seconds] 10:44:39 ASau [~user@p5797EB14.dip0.t-ipconnect.de] has joined #scheme 10:56:34 kuribas [~user@94-227-88-230.access.telenet.be] has joined #scheme 11:09:12 rszeno [~rszeno@79.114.104.119] has joined #scheme 11:09:53 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 256 seconds] 11:10:22 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 11:11:54 alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has joined #scheme 11:29:27 jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 11:31:59 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 252 seconds] 11:37:15 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 276 seconds] 11:42:20 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 11:48:44 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 260 seconds] 11:50:10 MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 11:50:41 tacey [~tacey@202.201.13.54] has joined #scheme 11:52:12 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Ping timeout: 276 seconds] 11:52:19 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 11:56:48 -!- Triclops256|away is now known as Triclops256 12:03:52 tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 12:15:08 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Quit: Lost terminal] 12:18:31 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 12:19:37 -!- _1126 [~1126@saturn.lileth.net] has quit [Ping timeout: 246 seconds] 12:20:31 _1126 [~1126@saturn.lileth.net] has joined #scheme 12:41:36 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Ping timeout: 276 seconds] 12:43:30 -!- peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 12:44:53 peterhil [~peterhil@91-157-48-77.elisa-laajakaista.fi] has joined #scheme 12:49:37 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 12:50:13 -!- Triclops256 is now known as Triclops256|away 12:53:37 tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has joined #scheme 13:07:55 -!- alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 13:08:03 kobain [~kobian@unaffiliated/kobain] has joined #scheme 13:08:06 alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has joined #scheme 13:11:28 zoey0 [~Zoey0@61.49.109.141] has joined #scheme 13:17:31 jao [~jao@16.Red-88-17-129.dynamicIP.rima-tde.net] has joined #scheme 13:17:34 -!- jao [~jao@16.Red-88-17-129.dynamicIP.rima-tde.net] has quit [Changing host] 13:17:35 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 13:24:12 -!- tali713 [~tali713@2001:0:53aa:64c:1896:64db:b3ee:137e] has quit [Ping timeout: 245 seconds] 13:25:33 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 256 seconds] 13:25:56 dsmith [~dsmith@66.178.229.162] has joined #scheme 13:29:08 ijp [~user@host81-155-24-242.range81-155.btcentralplus.com] has joined #scheme 13:29:14 tali713 [~tali713@2001:0:53aa:64c:1896:64db:b3ee:137e] has joined #scheme 13:30:32 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 13:56:13 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 14:02:20 -!- tacey [~tacey@202.201.13.54] has quit [Quit: ...] 14:03:25 jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 14:07:10 -!- jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 268 seconds] 14:15:27 groovy2shoes [~guv@unaffiliated/groovebot] has joined #scheme 14:23:02 -!- alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 14:25:57 -!- rszeno [~rszeno@79.114.104.119] has left #scheme 14:29:06 alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has joined #scheme 14:42:55 -!- hopfrog [~quassel@pool-96-236-222-96.pitbpa.fios.verizon.net] has quit [Remote host closed the connection] 14:45:57 ventonegro [~alex@166-230.104-92.cust.bluewin.ch] has joined #scheme 14:55:45 -!- groovy2shoes [~guv@unaffiliated/groovebot] has quit [Quit: groovy2shoes] 14:59:10 -!- kuribas [~user@94-227-88-230.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 15:06:56 LAMMJohnson [~ja@user-5af43445.broadband.tesco.net] has joined #scheme 15:09:43 -!- ventonegro [~alex@166-230.104-92.cust.bluewin.ch] has quit [Quit: ventonegro] 15:18:28 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 245 seconds] 15:23:44 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 255 seconds] 15:25:58 adiii [~adityavit@2601:9:3d00:4e:89d6:b315:b8cd:bd44] has joined #scheme 15:26:30 Aiwass [~user@unaffiliated/aiwass] has joined #scheme 15:28:56 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 272 seconds] 15:29:45 -!- teiresias [~teiresias@archlinux/trusteduser/teiresias] has quit [Remote host closed the connection] 15:30:44 -!- zoey0 [~Zoey0@61.49.109.141] has quit [Quit: Leaving] 15:43:12 rszeno [~rszeno@79.118.12.89] has joined #scheme 15:44:14 teiresias [~teiresias@archlinux/trusteduser/teiresias] has joined #scheme 15:46:12 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Quit: Nettalk6 - www.ntalk.de] 15:47:47 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 15:52:57 -!- tenq [~tenq@ip68-100-228-234.dc.dc.cox.net] has quit [Quit: Leaving] 15:56:02 -!- teiresias [~teiresias@archlinux/trusteduser/teiresias] has quit [Read error: Operation timed out] 15:57:18 teiresias [~teiresias@archlinux/trusteduser/teiresias] has joined #scheme 15:59:11 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 245 seconds] 16:03:01 jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 16:05:00 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 264 seconds] 16:05:19 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 16:11:17 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 16:15:12 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 16:18:06 gravicappa [~gravicapp@ppp91-77-165-213.pppoe.mtu-net.ru] has joined #scheme 16:21:02 grettke [~gcr@198.61.172.121] has joined #scheme 16:21:48 -!- grettke [~gcr@198.61.172.121] has quit [Client Quit] 16:22:25 grettke [~gcr@198.61.172.121] has joined #scheme 16:26:27 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 16:29:20 dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has joined #scheme 16:33:56 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 268 seconds] 16:38:19 walter [~walter@ip-64-134-101-130.public.wayport.net] has joined #scheme 16:41:19 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Quit: Lost terminal] 16:43:43 jcowan [~jcowan@mail.digitalkingdom.org] has joined #scheme 16:47:50 hey ho 16:48:19 I have just implemented (for low values of "implemented") a new sets package, eventually to become a SRFI 16:48:59 If I can keep up the implementation schedule, I am going to try to send out one SRFI every week or two for a while 16:50:49 ooh ooh. /me likes sets 16:52:22 Goody! Care to review the interface? (Code's not ready for review yet.) http://trac.sacrideo.us/wg/wiki/SetsCowan 16:52:38 Sets, bags, integer sets, and enum sets (with symbols as the enums) 16:54:55 euch, mutable 16:55:07 This is #scheme, not #haskell. 16:55:23 so? 16:55:26 Nobody says you *have* to mutate them; as the Racket experience shows, the bulk of all pairs are treated as immutable. 16:55:56 Okay, try again: This is #scheme, not #fascism. 16:56:18 godwin already? 16:56:38 I didn't use the n-word. 16:56:45 or rather the N-word 16:57:57 ooh, bags. I like bags too. 16:59:08 Take three: This is #scheme, not #clojure. 16:59:28 Persistent data types are a Good Thing, but mutable data types are more fundamental to Scheme. 17:00:54 it's just that we are forever claiming that "we should encourage immutability" 17:00:56 jcowan: when you say "It is an error to operate on sets with different equality procedures", I assume you mean something like "For any procedure that takes more than one set as an argument, it is an error to pass it sets with different equality procedures". Am I right? 17:01:05 eventually you need to put you money where your mouth is 17:02:05 I favor immutable strings (I think the conceptualization of strings as collections is a mistake), but other than that, I like the mutable-mostly-not-mutated data structures we have. 17:04:27 anyway, your opinion that immutability is fascist is noted for future 17:06:55 More precisely, I think that *universal* immutability is fascist, self-chosen immutability is not. 17:07:13 offby1: Yes. 17:07:49 you can recover mutablity through a box type 17:09:27 -!- taylanub [tub@p4FD94B9B.dip0.t-ipconnect.de] has quit [Disconnected by services] 17:09:57 taylanub [tub@p4FD9397D.dip0.t-ipconnect.de] has joined #scheme 17:10:37 then mutability is confined, and stated up front 17:13:10 -!- jcowan [~jcowan@mail.digitalkingdom.org] has quit [Remote host closed the connection] 17:13:30 jcowan [~jcowan@mail.digitalkingdom.org] has joined #scheme 17:27:03 ijp: Fair enough, and in fact I have just written SRFI 111 for boxes. 17:27:26 Still, boxes only work in this way if you are systematic from the beginning in requiring them to be the only point of mutability, as in ML or Pure. 17:37:15 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 17:39:38 ijp: The thing that some people who cry freedom forget is that with mutability the freedom is lost on all people who write any code that relies on objects that might be mutated. 17:39:53 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 17:39:53 And that's how the racket thing was motivated. 17:42:37 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Remote host closed the connection] 17:42:45 that is my usual reason for lamenting it 17:43:56 There's a tradeoff between flexibility and safety. 17:44:00 for every freedom there is an equal and opposite freedom 17:44:28 -!- walter [~walter@ip-64-134-101-130.public.wayport.net] has quit [Quit: This computer has gone to sleep] 17:44:31 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 17:46:46 jcowan: There's no real tradeoff, only a ridiculous status-quo with practically all medium-sized piece of code being buggy, and authors that at best justify these bugs with "everything I write assumes no mutation". 17:47:00 s/piece/pieces/ 17:47:00 Overall, it's yet another bag that keeps Scheme in the 80s. 17:47:20 the only reason no-one mutates arbitrary lists in practice, is because it would break everyone elses code 17:48:40 anyway, there should probably be only one of me or eli in this conversation, because I think we agree on far too many things for it to be anything other than redundant 17:48:56 if people would just stick to mutating there own stuff... 17:49:11 s/there/their/ 17:50:04 eli: If there were really no tradeoff, there would be no need for vectors, as immutable lists can be vectorized behind the scenes. 17:50:29 leppie: I prefer to have both of you, actually. 17:50:48 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Ping timeout: 256 seconds] 17:51:34 Indeed, I proposed to Shutt that Kernel provide lists that are mutable in the car, immutable in the cdr, and implement them as vectors. It means the gc has to handle object-internal pointers, however. 17:52:09 I have no problem with calling reverse! on a local accumalator 17:52:24 *jcowan* nods. 17:54:49 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 17:56:51 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 276 seconds] 17:59:27 deveux [~deveux@74.Red-83-45-150.dynamicIP.rima-tde.net] has joined #scheme 18:02:09 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 18:02:12 billybober [~billybobe@176.61.60.134] has joined #scheme 18:02:45 -!- billybober [~billybobe@176.61.60.134] has left #scheme 18:06:23 -!- jcowan [~jcowan@mail.digitalkingdom.org] has left #scheme 18:08:32 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 18:08:46 jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 18:08:55 -!- hiroakip [~hiroaki@pD9F9915B.dip0.t-ipconnect.de] has quit [Ping timeout: 246 seconds] 18:11:46 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 256 seconds] 18:11:52 rndnick042 [~user@stgt-5f71a040.pool.mediaWays.net] has joined #scheme 18:13:19 przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has joined #scheme 18:14:02 Nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 18:16:07 leppie: have you ever written a fold or a map? 18:16:30 If so, then "people mutating their own stuff" is not something that saves you in any way. 18:17:04 How does that follow? 18:19:12 FireFly: Show me an implementation of a map or a fold, and I'll show you how your code is buggy. 18:20:32 (define (map f l) (if (null? l) l (cons (f (car l)) (map f (cdr l))))) 18:25:42 -!- dsmith [~dsmith@66.178.229.162] has quit [Read error: Operation timed out] 18:25:44 pjb: fails on infinite lists 18:27:25 also if f mutates l 18:30:40 rage [~rage@unaffiliated/ffs] has joined #scheme 18:31:08 basically any traversal is going to be fucked up if your traversee can mutate the structure 18:31:24 -!- acedia [~rage@unaffiliated/ffs] has quit [Ping timeout: 264 seconds] 18:32:52 -!- rndnick042 [~user@stgt-5f71a040.pool.mediaWays.net] has quit [Remote host closed the connection] 18:33:26 -!- dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has quit [Remote host closed the connection] 18:40:17 dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has joined #scheme 18:40:57 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 18:41:18 ijp: I don't remember about r5rs, but clhs rejects infinite lists and mutation after the current cell. 18:47:07 The bottom line is "rejects" == "asks politely", IOW "bugs? what bugs?" 18:48:55 even if you assume a sufficiently hairy compiler that can reject those, it also needs to be aware of continuations. 18:48:55 store your traversal, mutated the list, resume traversal. *bork* 18:49:30 ...and of course all of this still fails if there are threads. 18:49:54 But of course, "Threads? What's that?" 18:50:14 The technical term is "non conforming". 18:50:36 But the point was about a mutating implementation of map, mine is functional. 18:51:07 -!- copec [copec@schrodbox.unaen.org] has quit [Quit: checkity check out.] 18:51:28 No, the point is your code calling out to foreign code that might be mutating things and break your code. You cannot save yourself by making your code functional. 18:52:03 Is it even possible to write a bullet-proof map that doesn't break on corner cases? 18:52:20 In the case of map or fold, you can only copy the input and work on the copy. 18:52:34 eg. (define (map2 f l) (if (null? l) l (let ((r (list 'head))) (let loop ((t r) (c l)) (setcdr! r (cons (f (car c)) '())) (loop (cdr r) (cdr l)))))) 18:52:37 With `map', this means that a good version would actually be mutating the copy. 18:52:48 With `fold', it will be a waste of an allocation. 18:53:00 And with something like `mapl', that still doesn't help. 18:53:18 (And of course threads kill the safety in all cases, since there's no way to safely copy the input list.) 18:54:01 deveux: See above -- you can, if you assume that there's no threads, and if you're careful to copy the inputs, and if you make sure not to hand off any of your copy's structure to the foreign code. 18:54:04 Yes, r5rs doesn't say anything about f mutating l. 18:54:24 There's also the issue of call/cc interference and tail recursion. 18:54:42 But oh well, things are tricky. 18:55:37 agumonkey [~agu@97.217.72.86.rev.sfr.net] has joined #scheme 18:55:57 Here's a version of maplist that is actually safe (modulo threads): (define (maplist l) (let loop ([l (copy-list l)]) (if (null? l) '() (cons (f (copy-list l)) (loop (cdr l)))))) 18:56:10 Obviously, nobody in their right mind write such code. 18:57:56 In any case, it's pretty fun to explore all the tricky cases where the standard functions would break. 18:59:08 e.g. I'm yet to see a scheme implementation where equal? works on sequences of both arbitrary depth and length. 18:59:27 Other than Racket, that is (whether or not it's scheme that's another thing). 19:00:17 deveux: If you're talking about comparing an arbitrary structure with cycles, then Racket fails that too. 19:00:40 An easy way to do it is: (equal? (format "~s" x) (format "~s" y)) 19:01:58 astertronistic [~astertron@ip70-181-235-122.sd.sd.cox.net] has joined #scheme 19:04:06 walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 19:04:28 -!- walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Ping timeout: 256 seconds] 19:04:36 Heh, that's pretty smart. 19:04:48 Nice tip. :) 19:05:45 *rszeno* but asume same order, :) 19:06:48 eli: why does that fail? 19:07:15 ~s not handle cycles? 19:07:39 this format would fail comparing (a . #2=(b . #2#)) with (a b b b . #2=(b . #2#)) 19:07:48 but both structures contain the same elements. 19:08:12 ah, I see 19:08:54 The point is not that it "fails", but that it depends on what you mean by "compare". That's why equal? should not deal with that. 19:09:10 Obviously -- it only returns true for things with the same structure. 19:09:16 deveux: equal? as specified in the r6rs is supposed to work on cyclic data 19:09:18 equal? does what equal? does. That's it. Nothing more, nothing less. If you don't what what equal? does, then implement your own. 19:09:34 Simpler counter example is #1=(1 . #1#) and (cons 1 #1=(1 . #1#)) 19:09:37 s/what what/want what/ 19:09:44 "The equal? predicate returns #t if and only if the (possibly infinite) unfoldings of its arguments into regular trees are equal as ordered trees." 19:09:44 19:09:53 See also http://www.nhplace.com/kent/PS/EQUAL.html 19:11:44 on a related note, I don't understand why we keep around both eq? and eqv?, since my (unscientific) experience is that most people don't know the difference, and use eq? where they want eqv? 19:16:02 ijp, what you do with people who know the difference? 19:16:33 the people who know the difference should have a chance to make their case as to why the difference is desirable in practice 19:16:44 jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 19:16:52 rszeno: do _you_ know the difference? 19:17:05 (no peeking at the rnrs) 19:17:12 accidentaly yes, :) 19:18:12 sorry but i don't see syntax of a language as a popularity contest, it must be usefull in first place 19:18:26 so, my advice to everyone is if your first thought upon reading my sentence was, "what's the difference?", you should probably change all uses of eq? in your code with eqv? 19:20:14 rszeno: a poorly understood feature is bugs waiting to happen 19:20:26 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 268 seconds] 19:27:06 ijp, is poor coding is not a bug, is just luck of knowledge, you can't prevent this in any way 19:27:51 lack of knowledge isn't really an excuse for something that is used all over the place 19:27:58 trusktr [~trusktr@32.153.210.23] has joined #scheme 19:28:15 it's like not understanding the behaviour of + or cons 19:28:16 Sure you can... You cab maker it easier to acute the requisite knowledge 19:28:25 Gaah 19:28:28 mjonsson [~mjonsson@38.109.95.133] has joined #scheme 19:28:44 civodul [~user@reverse-83.fdn.fr] has joined #scheme 19:29:31 -!- mjonsson [~mjonsson@38.109.95.133] has left #scheme 19:30:41 it's not something obscure that no-one uses like transcript-on 19:30:43 yes but every restriction is a frustration for the one who know what is doing 19:31:36 so, 99% of people should be writing buggy code for the 1% that needs it? (stats made up) 19:32:17 yes, the user will use the 1% because the rest is buggy, isn't it? 19:32:27 s/user/users/ 19:32:34 -!- przl [~przlrkt@p5B298B36.dip0.t-ipconnect.de] has quit [Ping timeout: 246 seconds] 19:32:48 how many people today are unhappy with software? 19:33:23 przl [~przlrkt@p5b298b36.dip0.t-ipconnect.de] has joined #scheme 19:33:37 is natural selection, imo 19:33:38 rszeno: let's put it a different way. Should joe php programmer be doing manual memory management? 19:33:42 lol 19:34:08 maybe, if he need, but if will need will learn 19:35:24 if "they will learn" was enough, then I wouldn't have brought this up 19:35:25 i have 40 years of programming and i'm still lerarning, this is how we live finaly 19:35:52 it's that scheme, at nearly 40 years old, a lot of people still don't understand the fundamental equality primitives 19:36:51 is math, math is not popular, yet, but seems popularity grow last years on the net, :) 19:36:55 at some point, if people won't learn, you fix it under them 19:37:10 anything less is irresponsible 19:41:43 -!- wbooze [~wbooze@xdsl-84-44-177-63.netcologne.de] has quit [Read error: Connection reset by peer] 19:42:21 rszeno: not enough people are unhappy with software unfortunately. 19:42:51 czm [~user@unaffiliated/czm] has joined #scheme 19:42:54 -!- trusktr [~trusktr@32.153.210.23] has quit [Ping timeout: 272 seconds] 19:44:03 for games or facebook is not a problem if fail, :) they don't trust software enough for something else 19:46:05 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 19:46:22 yes, indeed, most don't realise how deep is software involved in their life 20:00:17 -!- przl [~przlrkt@p5b298b36.dip0.t-ipconnect.de] has quit [Quit: leaving] 20:05:48 They don't expect much of software, whether it's bugwise, or featurewise. 20:08:03 pjb: I too believe that is the single most important reason why software sucks: we users put up with it. 20:08:25 And I think Apple -- no matter how much you might dislike them -- is helping, there, by showing how good software can be. 20:08:36 Raising the standards. 20:10:55 true, the problem is the software utility, not the users 20:11:30 wbooze [~wbooze@xdsl-84-44-177-63.netcologne.de] has joined #scheme 20:11:32 by utility i mean anything including games, etc., is part of life 20:11:59 groovy2shoes [~guv@unaffiliated/groovebot] has joined #scheme 20:28:18 hopfrog [~quassel@pool-96-236-222-96.pitbpa.fios.verizon.net] has joined #scheme 20:28:39 -!- wbooze [~wbooze@xdsl-84-44-177-63.netcologne.de] has quit [Read error: Connection reset by peer] 20:30:23 wbooze [~wbooze@xdsl-78-35-152-231.netcologne.de] has joined #scheme 20:31:41 -!- rotty [rotty@yade.xx.vu] has quit [Ping timeout: 245 seconds] 20:32:36 -!- eMBee [~eMBee@foresight/developer/pike/programmer] has quit [Ping timeout: 264 seconds] 20:33:02 rotty [rotty@yade.xx.vu] has joined #scheme 20:34:11 -!- samrat___ [uid2534@gateway/web/irccloud.com/x-hyehusqwrtaydxuq] has quit [Ping timeout: 260 seconds] 20:34:52 -!- offby1 [uid11391@pdpc/supporter/monthlybyte/offby1] has quit [Ping timeout: 246 seconds] 20:36:04 eMBee [~eMBee@foresight/developer/pike/programmer] has joined #scheme 20:39:03 adu [~ajr@pool-173-66-11-197.washdc.fios.verizon.net] has joined #scheme 20:53:39 -!- Aiwass [~user@unaffiliated/aiwass] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:59:56 hiroakip [~hiroaki@77-20-192-229-dynip.superkabel.de] has joined #scheme 21:13:10 ijp` [~user@host109-151-48-52.range109-151.btcentralplus.com] has joined #scheme 21:16:00 -!- ijp [~user@host81-155-24-242.range81-155.btcentralplus.com] has quit [Ping timeout: 272 seconds] 21:16:36 -!- samth_away is now known as samth 21:24:04 offby1 [uid11391@gateway/web/irccloud.com/x-lxucjnygkonggvsm] has joined #scheme 21:47:04 jao [~jao@16.Red-88-17-129.dynamicIP.rima-tde.net] has joined #scheme 21:47:07 -!- jao [~jao@16.Red-88-17-129.dynamicIP.rima-tde.net] has quit [Changing host] 21:47:07 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 21:52:58 -!- civodul [~user@reverse-83.fdn.fr] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:53:09 -!- hiroakip [~hiroaki@77-20-192-229-dynip.superkabel.de] has quit [Ping timeout: 248 seconds] 21:58:49 -!- ijp` is now known as ijp 22:02:58 BW^- [~Miranda@5-15-173-39.residential.rdsnet.ro] has joined #scheme 22:03:02 guys, in R7RS, can inner defines be mixed with expressions? 22:03:12 e.g. (define (x) 1 (define a 2) 3 (define a 4) 5) ? 22:03:37 what is the reason in the first place for why this not was supported from the beginning? 22:04:41 while in very 'logical' code, indeed it appears justified that defines need to be in the beginning, I do see several usecases when it would be of great use to have it mixed, in like UI code that kind of thing 22:13:34 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Remote host closed the connection] 22:19:27 -!- DerGuteMoritz [~syn@saturn.lileth.net] has quit [Ping timeout: 276 seconds] 22:19:39 -!- walter|r [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 22:25:09 DerGuteMoritz [~syn@saturn.lileth.net] has joined #scheme 22:29:42 -!- dnolen [~user@cpe-72-225-195-108.nyc.res.rr.com] has quit [Ping timeout: 256 seconds] 22:31:48 samrat___ [uid2534@gateway/web/irccloud.com/x-suknpzsdfkewnvtw] has joined #scheme 22:33:24 walter [~walter@ip-64-134-101-130.public.wayport.net] has joined #scheme 22:36:38 jao [~jao@16.red-88-17-129.dynamicip.rima-tde.net] has joined #scheme 22:36:41 -!- jao [~jao@16.red-88-17-129.dynamicip.rima-tde.net] has quit [Changing host] 22:36:42 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 22:37:36 cinolt [4247579e@gateway/web/freenode/ip.66.71.87.158] has joined #scheme 22:38:06 Hi. How can I make it so setting mycar effects mypair accordingly: http://paste.lisp.org/display/136942 22:39:14 ijp` [~user@host109-151-48-103.range109-151.btcentralplus.com] has joined #scheme 22:42:04 -!- ijp [~user@host109-151-48-52.range109-151.btcentralplus.com] has quit [Ping timeout: 256 seconds] 22:43:49 -!- InvalidCo [~invalidco@dsl-lhtbrasgw2-54f826-232.dhcp.inet.fi] has quit [Read error: Operation timed out] 22:43:58 InvalidCo [~invalidco@dsl-lhtbrasgw2-54f826-232.dhcp.inet.fi] has joined #scheme 22:51:39 permagreen [~donovan@204-195-27-175.wavecable.com] has joined #scheme 22:57:51 ijp`` [~user@host81-155-27-181.range81-155.btcentralplus.com] has joined #scheme 22:57:58 cinolt: use closures. 22:59:16 cinolt: (define mypair (lambda (mesg . args) (let ((k (cons 1 2))) (cond ((eqv? mesg 'car) (car k)) ((eqv? msg 'setcar!) (setcar! k (car args))))))) 23:00:11 cinolt: (define mycar (lambda (mesg . args) (cond ((eqv? mesg 'get) (mypair 'car)) ((eqv? mesg 'set) (mypair 'setcar! (car args)))))) 23:00:28 cinolt: (mycar 'set 5) (mypair 'car) 23:00:46 -!- ijp` [~user@host109-151-48-103.range109-151.btcentralplus.com] has quit [Ping timeout: 256 seconds] 23:00:51 -!- ijp`` is now known as ijp 23:02:17 pjb: I'm gonna need some time to digest that. ;x 23:02:58 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 23:03:46 -!- gravicappa [~gravicapp@ppp91-77-165-213.pppoe.mtu-net.ru] has quit [Ping timeout: 245 seconds] 23:04:00 -!- cdidd [~cdidd@95-27-10-135.broadband.corbina.ru] has quit [Remote host closed the connection] 23:04:10 BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has joined #scheme 23:04:16 Without typoes: 23:04:35 (define mypair (let ((k (cons 1 2))) (lambda (mesg . args) (cond ((eqv? mesg 'car) (car k)) ((eqv? mesg 'set-car!) (set-car! k (car args))))))) 23:04:35 (define mycar (lambda (mesg . args) (cond ((eqv? mesg 'get) (mypair 'car)) ((eqv? mesg 'set) (mypair 'set-car! (car args)))))) 23:04:35 (list (mypair 'car) (mycar 'get)) 23:04:35 (mycar 'set 5) 23:04:35 (list (mypair 'car) (mycar 'get)) 23:04:35 23:19:39 -!- alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 23:19:50 alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has joined #scheme 23:23:46 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 23:24:09 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 23:30:48 -!- alexei [~amgarchin@p4FD618FD.dip0.t-ipconnect.de] has quit [Ping timeout: 256 seconds] 23:36:53 -!- agumonkey [~agu@97.217.72.86.rev.sfr.net] has quit [Ping timeout: 252 seconds] 23:37:30 BossKonaSegwaY1 [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has joined #scheme 23:37:35 -!- BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has quit [Read error: Connection reset by peer] 23:44:32 -!- samth is now known as samth_away 23:48:17 paddymahoney [~paddymaho@198-84-186-52.cpe.teksavvy.com] has joined #scheme 23:48:34 ASau` [~user@p5797F422.dip0.t-ipconnect.de] has joined #scheme 23:51:43 -!- ASau [~user@p5797EB14.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 23:57:19 -!- walter [~walter@ip-64-134-101-130.public.wayport.net] has quit [Quit: This computer has gone to sleep]