00:00:01 kab3wm [~kab3wm@ip68-104-164-215.ph.ph.cox.net] has joined #scheme 00:00:45 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 276 seconds] 00:24:46 zmv [~daniel@c95334de.virtua.com.br] has joined #scheme 00:26:06 -!- rimmjob_ [~user@adsl-108-204-208-237.dsl.hstntx.sbcglobal.net] has quit [Ping timeout: 276 seconds] 00:28:03 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 276 seconds] 00:29:52 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 00:29:54 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Max SendQ exceeded] 00:30:38 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 00:34:59 -!- MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has quit [Ping timeout: 258 seconds] 00:35:22 rimmjob_ [~user@adsl-108-204-208-237.dsl.hstntx.sbcglobal.net] has joined #scheme 00:36:23 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 00:37:11 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 00:37:25 pnkfelix [~Adium@c-71-225-165-188.hsd1.pa.comcast.net] has joined #scheme 00:40:35 -!- kuribas [~user@d54C430C4.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 00:45:19 -!- peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has quit [Read error: Connection reset by peer] 00:45:25 -!- pnkfelix [~Adium@c-71-225-165-188.hsd1.pa.comcast.net] has quit [Quit: Leaving.] 00:45:38 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 250 seconds] 00:46:15 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 276 seconds] 00:46:21 peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has joined #scheme 00:49:35 -!- zmv [~daniel@c95334de.virtua.com.br] has quit [Ping timeout: 250 seconds] 01:03:37 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 01:03:42 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 01:04:44 hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 01:04:47 -!- replore_ [~replore@ntkngw133234.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 01:07:56 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 240 seconds] 01:08:07 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 252 seconds] 01:08:21 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 01:11:08 jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has joined #scheme 01:12:06 hoi 01:12:23 Ahoy, jcowan! 01:12:31 Ahoy hoy! 01:13:08 How goes it with you on this fine day of the Sun? 01:13:11 Well, the time has come, the Walrus said, for make or break. 01:13:25 We send the current R7RS draft to The Implementers. 01:13:59 Congratulations!! 01:14:07 Thanks. 01:14:28 How do you feel about the whole thing at the moment? 01:14:37 groovy2shoes [~cory@unaffiliated/groovebot] has joined #scheme 01:16:25 Quite positive. I think it will be easy for R6RS implementers to provide it. 01:16:32 And not too hard from R5RS. 01:16:55 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 252 seconds] 01:17:10 -!- hussaibi__ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 260 seconds] 01:18:39 There are still substantive issues to be voted on, but things are pretty clean now. 01:20:28 That's really excellent to hear. 01:26:43 Current substantive issues: LOAD takes an optional environment, allow syntax and normal definitions to permute, new nan/inf syntax, new boolean syntax, DIGIT-VALUE, READ/WRITE-BYTEVECTOR(!), UTF-8->STRING, STRING->UTF-8, DEFINE-VALUES, hash tables, EAGER, self-quoting bytevector constants, optional -0.0 support, start-end arguments for FILL-STRING/VECTOR, and converters to make current-input and current-output binary. 01:26:50 hussaibi [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 01:26:54 If anyone has comments on these, I'd be glad to hear them. 01:26:54 hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has joined #scheme 01:27:06 Expunge LOAD; it's a bug. 01:27:24 Noted. 01:27:44 Allow normal syntax and normal definitions to permute, if I understand correctly; it is the obvious behaviour of the only sensible approach to macro expansion as described in riaxpander. 01:28:30 That is, allow definitions to refer to syntax definitions that follow them (but not at the REPL). 01:28:32 New boolean syntax? What, and what for? 01:28:57 Yes, that's what I thought. 01:29:25 foof wants to allow #true and #false as alternatives, now that #t and #f must have following delimiters (i.e. "#true" does not read as "#t rue"). 01:30:45 He thinks #t and #f are too similar. 01:31:10 I don't think it really matters, but OK... 01:31:26 `Bytevector' is still a silly word. 01:31:36 If -0.0 is precluded, that's a bug. 01:31:50 DEFINE-VALUES is a no-brainer. 01:32:24 It's not precluded, but we need to say explicitly that it's allowed to be distinct from 0.0. Arguably this is an editorial oversight. 01:32:37 I pushed for blob and so did aag, but with no success. 01:33:59 Did you mean VECTOR-FILL! and STRING-FILL!? Who cares about them? 01:35:27 Ah, there is a real issue with booleans, but giving them longer names won't help: (frob grovel #f #t #t #t #f #t) is totally unreadable, even ignoring the nonsense names FROB and GROVEL. 01:36:31 Riastradh: so what do you think might help to make it more readable? 01:37:09 Give them meaningful names. 01:37:18 Either name the parameters, or name the values. 01:37:27 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: g'night] 01:37:29 hm 01:37:32 true 01:38:16 (frob grovel :enable-hack? #f :zob-veeblefitzer? #t :with-quaggas? #t :antediluvian? #t :parapneumatic? #f :dont-fail #t) 01:38:28 smtlaissezfaire_ [~smtlaisse@76.15.192.54] has joined #scheme 01:39:10 (frob grovel (enable-hack) (zob-veeblefitzer) (with-quaggas) (parapneumatic) (dont-fail)) 01:41:24 In C you can write `enum frob_options { ENABLE_HACK = 0x1, ZOB_FEEBLEFITZER = 0x2, WITH_QUAGGAS = 0x4, ... }' and simply say `frob(grovel, ZOB_VEEBLEFITZER | WITH_QUAGGAS | ANTEDILUVIAN | DONT_FAIL)', but that's much more of a mouthful in Scheme, which is a pity. 01:43:06 UTF-8->STRING and STRING->UTF-8 sounds likely to be a woefully inadequate API. 01:43:30 I suppose you could (frob grovel 'zob-veeblefitzer 'with-quaggas 'antediluvian 'dont-fail ) 01:43:47 I don't know what you mean by DIGIT-VALUE and `converters to make current-input and current-output binary', although the latter sounds likely to be thoroughly confused. 01:45:03 (frob grovel #:options-enabled '(zob-veeblefitzer with-quaggas ...)) 01:45:04 :| 01:46:20 Sure, but (a) catching typos in quoted symbols is a pain, and (b) aggregate data structures such as lists are more complicated to deal with than subsets of some prescribed finite universe. 01:46:57 well, then keywords is the best solution 01:47:17 In your C example you can't easily read options from a file, for example 01:47:20 I agree that boolean APIs are a bad idea in any circumstances. 01:47:53 DIGIT-VALUE returns the numeric value of a digit character. 01:49:35 -!- hakkum [~hakkum@c-67-181-176-186.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 01:49:50 The issue with the UTF-8 converters is whether to promote them from the full (and WG2) bytevector API or not. 01:50:36 As for the port converters, foof thinks it's bad that you can't write cat(1) in R7RS-small. I personally don't care, and am happy to say that the initial value of current-{input,output} is always a textual port. 01:51:06 On what real system is the notion of `standard input' or `standard output' ever limited to transmit text? 01:57:33 -!- blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has quit [Ping timeout: 276 seconds] 01:59:17 -!- smtlaissezfaire_ [~smtlaisse@76.15.192.54] has quit [Read error: Connection reset by peer] 02:00:53 I don't know. 02:05:41 -!- wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has quit [Quit: Leaving] 02:09:15 But of course R7RS is not about what real systems have, but about what all systems should have. 02:09:18 -!- jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has quit [Quit: Leaving] 02:13:50 bokr [~ed@109.110.46.177] has joined #scheme 02:26:57 Which is another way of saying "Baby Steps from R5RS." 02:27:59 Because if you take "one big leap for schemer-kind" then people freak out and worry that you'll land in dog poo. 02:32:56 People will freak out no matter what you do... 02:33:02 This is Scheme, after all. 02:36:34 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Read error: Operation timed out] 02:39:04 Yes, but if we minimize the freaking out we might conceivably get people to at least agree to support a common module syntax. 02:44:43 -!- littlebobby [~bob@unaffiliated/littlebobby] has quit [Read error: Connection reset by peer] 02:50:29 oldpier [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has joined #scheme 02:50:30 -!- DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has quit [Ping timeout: 260 seconds] 02:54:46 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Ping timeout: 260 seconds] 02:57:11 Brendan_T [~brendan@static.112.22.47.78.clients.your-server.de] has joined #scheme 03:03:05 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 03:07:39 -!- groovy2shoes [~cory@unaffiliated/groovebot] has quit [Quit: leaving] 03:09:19 -!- tupi [~david@189.60.160.15] has quit [Quit: Leaving] 03:13:17 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 03:18:16 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 252 seconds] 03:46:43 joast [~rick@76.178.178.72] has joined #scheme 03:55:51 nisstyre_ [~nisstyre@infocalypse-net.info] has joined #scheme 03:56:42 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Disconnected by services] 03:57:14 -!- nisstyre_ is now known as Nisstyre 04:35:05 teurastaja [~samuel@modemcable072.213-81-70.mc.videotron.ca] has joined #scheme 04:43:04 soveran [~soveran@186.19.214.247] has joined #scheme 05:01:13 gravicappa [~gravicapp@ppp91-77-178-122.pppoe.mtu-net.ru] has joined #scheme 05:07:52 -!- teurastaja [~samuel@modemcable072.213-81-70.mc.videotron.ca] has quit [Quit: teurastaja] 05:14:44 -!- dnolen [~davidnole@cpe-98-14-92-234.nyc.res.rr.com] has quit [Quit: dnolen] 05:34:49 __o [~ian@cpe-24-94-63-230.stny.res.rr.com] has joined #scheme 05:35:08 -!- __o [~ian@cpe-24-94-63-230.stny.res.rr.com] has left #scheme 05:37:59 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 255 seconds] 05:48:06 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Quit: Indian] 05:52:57 fbass [~fbass@71-222-133-20.albq.qwest.net] has joined #scheme 05:53:38 -!- fbass [~fbass@71-222-133-20.albq.qwest.net] has quit [Client Quit] 05:53:46 fbass [~fbass@71-222-133-20.albq.qwest.net] has joined #scheme 05:56:32 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 06:08:46 Adrinael [~adrinael@barrel.rolli.org] has joined #scheme 06:11:03 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 276 seconds] 06:20:30 blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has joined #scheme 06:26:18 -!- ASau [~user@176.14.33.178] has quit [Quit: off] 06:32:16 shaggy- [~shaggy-@76.73.16.26] has joined #scheme 06:32:19 hello 06:32:52 what is the name of the function that combines two functions into one? 06:33:24 compose 06:33:42 right, thanks 06:33:54 not a std function 06:34:45 I see, I always thought it was 06:43:17 -!- bokr [~ed@109.110.46.177] has quit [Quit: Leaving.] 07:03:01 -!- gravicappa [~gravicapp@ppp91-77-178-122.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 07:13:03 -!- realitygrill [~realitygr@c-24-5-7-139.hsd1.ca.comcast.net] has quit [Quit: realitygrill] 07:20:31 -!- X-Scale [email@89.180.143.4] has quit [Remote host closed the connection] 07:20:48 -!- jrapdx [~jra@c-98-246-157-58.hsd1.or.comcast.net] has quit [Remote host closed the connection] 07:21:51 twem2 [~tristan@puma-mxisp.mxtelecom.com] has joined #scheme 07:23:09 -!- twem2 [~tristan@puma-mxisp.mxtelecom.com] has quit [Client Quit] 07:23:16 twem2 [~tristan@puma-mxisp.mxtelecom.com] has joined #scheme 07:23:55 -!- gtoast [~gtoast@99-100-70-120.lightspeed.sntcca.sbcglobal.net] has quit [Quit: gtoast] 07:29:11 -!- twem2 [~tristan@puma-mxisp.mxtelecom.com] has quit [Quit: leaving] 07:29:18 twem2 [~tristan@puma-mxisp.mxtelecom.com] has joined #scheme 07:30:08 -!- shaggy- [~shaggy-@76.73.16.26] has quit [Ping timeout: 258 seconds] 07:30:11 -!- mmc [~michal@83-103-88-29.ip.fastwebnet.it] has left #scheme 07:34:53 pcavs [~paul@c-65-96-169-56.hsd1.ma.comcast.net] has joined #scheme 07:34:58 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 07:52:39 -!- pcavs [~paul@c-65-96-169-56.hsd1.ma.comcast.net] has quit [Quit: Leaving.] 07:54:59 -!- hussaibi_ [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 258 seconds] 07:55:22 -!- hussaibi [~hussaibi@wirewall.cs.toronto.edu] has quit [Ping timeout: 258 seconds] 07:59:42 -!- DGASAU [~user@91.218.144.129] has quit [Remote host closed the connection] 08:01:02 DGASAU [~user@91.218.144.129] has joined #scheme 08:01:21 gravicappa [~gravicapp@80.90.116.82] has joined #scheme 08:07:14 -!- doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has quit [Read error: Connection reset by peer] 08:11:53 jrapdx [~jra@c-98-246-157-58.hsd1.or.comcast.net] has joined #scheme 08:12:46 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 264 seconds] 08:30:37 -!- turbofail [~user@c-71-198-168-93.hsd1.ca.comcast.net] has quit [Ping timeout: 250 seconds] 08:59:53 -!- rimmjob_ [~user@adsl-108-204-208-237.dsl.hstntx.sbcglobal.net] has quit [Remote host closed the connection] 09:00:29 rimmjob_ [~user@adsl-108-204-208-237.dsl.hstntx.sbcglobal.net] has joined #scheme 09:03:38 mmc1 [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 09:15:32 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has left #scheme 09:25:07 -!- pygospa [~TheRealPy@kiel-5f7681fb.pool.mediaWays.net] has quit [Disconnected by services] 09:25:16 pygospa [~TheRealPy@kiel-4dbedfae.pool.mediaWays.net] has joined #scheme 09:40:00 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 09:56:30 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 10:12:29 -!- delian66 [~quassel@84.252.14.164] has quit [Ping timeout: 250 seconds] 10:16:30 delian66 [~quassel@84.252.14.164] has joined #scheme 10:21:13 -!- delian66 [~quassel@84.252.14.164] has quit [Read error: Connection reset by peer] 10:23:06 gtoast [~gtoast@99-100-70-120.lightspeed.sntcca.sbcglobal.net] has joined #scheme 10:43:44 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 11:24:05 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Remote host closed the connection] 11:29:24 pnkfelix [~Adium@c-71-225-165-188.hsd1.pa.comcast.net] has joined #scheme 11:32:11 -!- kab3wm [~kab3wm@ip68-104-164-215.ph.ph.cox.net] has quit [Quit: Leaving...] 11:35:30 -!- oldpier [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has quit [Ping timeout: 260 seconds] 11:49:23 -!- pnkfelix [~Adium@c-71-225-165-188.hsd1.pa.comcast.net] has quit [Quit: Leaving.] 11:50:08 zmv [~daniel@c95334de.virtua.com.br] has joined #scheme 12:01:08 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 252 seconds] 12:02:41 DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has joined #scheme 12:03:36 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 12:04:06 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 12:11:27 oldpier [~oldpier@nusnet-249-215.dynip.nus.edu.sg] has joined #scheme 12:13:02 genieliu [~genieliu@59.78.62.120] has joined #scheme 12:15:33 drdo [~drdo@91.205.108.93.rev.vodafone.pt] has joined #scheme 12:21:33 -!- zmv [~daniel@c95334de.virtua.com.br] has quit [Ping timeout: 276 seconds] 12:22:27 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Remote host closed the connection] 12:22:56 zmv [~daniel@c95334de.virtua.com.br] has joined #scheme 12:25:48 -!- blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has quit [Ping timeout: 240 seconds] 12:35:07 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 12:36:19 -!- DrDuck [~duck@adsl-98-81-127-117.hsv.bellsouth.net] has quit [Ping timeout: 258 seconds] 12:37:28 dnolen [~davidnole@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 12:58:06 -!- DT`` [~Feeock@net-93-149-45-200.cust.dsl.teletu.it] has quit [Ping timeout: 255 seconds] 13:03:48 -!- gtoast [~gtoast@99-100-70-120.lightspeed.sntcca.sbcglobal.net] has quit [Quit: gtoast] 13:04:27 soveran [~soveran@186.19.214.247] has joined #scheme 13:13:45 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 276 seconds] 13:15:12 -!- Brendan_T [~brendan@static.112.22.47.78.clients.your-server.de] has quit [Remote host closed the connection] 13:19:31 dlila [~dlila@CPE0014d1c9243c-CM001bd71cede2.cpe.net.cable.rogers.com] has joined #scheme 13:22:48 -!- oldpier [~oldpier@nusnet-249-215.dynip.nus.edu.sg] has quit [Ping timeout: 258 seconds] 13:25:25 oldpier [~oldpier@nusnet-249-215.dynip.nus.edu.sg] has joined #scheme 13:25:48 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 13:26:57 replore [~replore@ntkngw133234.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 13:28:48 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 13:31:57 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 276 seconds] 13:37:44 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 13:43:04 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 252 seconds] 13:45:12 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 13:46:04 MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has joined #scheme 13:51:27 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 276 seconds] 14:01:20 Indian [~Indian@unaffiliated/londonmet050] has joined #scheme 14:02:02 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Client Quit] 14:06:27 EbiDK [~ebi@3e6b7ac3.rev.stofanet.dk] has joined #scheme 14:08:26 tupi [~david@189.60.160.15] has joined #scheme 14:10:51 -!- EbiDK [~ebi@3e6b7ac3.rev.stofanet.dk] has left #scheme 14:12:48 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 14:20:22 -!- genieliu [~genieliu@59.78.62.120] has quit [Quit: Lost terminal] 14:20:51 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 14:23:58 -!- mmc1 [~michal@sams-office-nat.tomtomgroup.com] has quit [Read error: Connection reset by peer] 14:25:25 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 14:29:16 -!- dnolen [~davidnole@cpe-98-14-92-234.nyc.res.rr.com] has quit [Quit: dnolen] 14:35:00 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 276 seconds] 14:38:34 -!- ohwow` [~o@uh.wow.prettyru.de] has quit [Ping timeout: 264 seconds] 14:40:36 -!- tupi [~david@189.60.160.15] has quit [Quit: Leaving] 14:46:59 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 14:47:17 -!- fbass [~fbass@71-222-133-20.albq.qwest.net] has quit [Quit: leaving] 14:48:17 homie [~levgue@xdsl-78-35-171-242.netcologne.de] has joined #scheme 14:48:49 dsp_ [~tt@acidlab.technoanimal.net] has joined #scheme 14:51:17 -!- oldpier [~oldpier@nusnet-249-215.dynip.nus.edu.sg] has quit [Ping timeout: 252 seconds] 14:53:55 gtoast [~gtoast@99-100-70-120.lightspeed.sntcca.sbcglobal.net] has joined #scheme 14:53:55 -!- gtoast [~gtoast@99-100-70-120.lightspeed.sntcca.sbcglobal.net] has quit [Client Quit] 14:55:39 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 14:56:04 Indian [~Indian@unaffiliated/londonmet050] has joined #scheme 15:05:41 -!- ToxicFrog [~ToxicFrog@24-246-40-169.cable.teksavvy.com] has quit [Ping timeout: 260 seconds] 15:07:03 ToxicFrog [~ToxicFrog@24-246-40-169.cable.teksavvy.com] has joined #scheme 15:11:44 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 15:14:00 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 252 seconds] 15:17:48 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 15:18:12 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 15:18:56 zanes [~zane@mail.barackobama.com] has joined #scheme 15:20:10 EbiDK [~ebi@3e6b7ac3.rev.stofanet.dk] has joined #scheme 15:20:29 -!- EbiDK [~ebi@3e6b7ac3.rev.stofanet.dk] has left #scheme 15:21:26 -!- zmv [~daniel@c95334de.virtua.com.br] has quit [Ping timeout: 260 seconds] 15:22:04 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 252 seconds] 15:23:12 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 15:23:41 -!- kennyd [~kennyd@78-1-141-132.adsl.net.t-com.hr] has quit [Quit: bye] 15:24:53 weirdo: For types and `if', look at samth's ICFP10 paper: 15:24:53 http://www.ccs.neu.edu/scheme/pubs/icfp10-thf.pdf 15:25:29 As for segfaults during GC in Racket, we love bug reports :). 15:28:15 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Remote host closed the connection] 15:28:20 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 15:30:59 carbocalm [~user@38.99.165.166] has joined #scheme 15:33:21 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Remote host closed the connection] 15:33:27 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 15:34:19 oldpier [~oldpier@nusnet-185-65.dynip.nus.edu.sg] has joined #scheme 15:37:25 HG` [~HG@p579F79A1.dip.t-dialin.net] has joined #scheme 15:38:12 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Ping timeout: 252 seconds] 15:38:13 kennyd [~kennyd@78-1-141-132.adsl.net.t-com.hr] has joined #scheme 15:38:49 AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has joined #scheme 15:43:25 tupi [~david@139.82.89.24] has joined #scheme 15:52:05 -!- kennyd [~kennyd@78-1-141-132.adsl.net.t-com.hr] has quit [Read error: Connection reset by peer] 15:57:54 -!- AtnNn [~welcome@modemcable110.176-176-173.mc.videotron.ca] has quit [Quit: foobar] 16:03:40 delian66 [~quassel@84.252.14.164] has joined #scheme 16:06:42 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Quit: Indian] 16:13:16 f8l [~f8l@81.219.204.217] has joined #scheme 16:15:12 -!- sajith [~sajith@c-98-220-223-87.hsd1.in.comcast.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:17:27 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 252 seconds] 16:21:33 kennyd [~kennyd@93-138-86-11.adsl.net.t-com.hr] has joined #scheme 16:22:05 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Ping timeout: 250 seconds] 16:28:53 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 16:29:37 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 16:30:53 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 16:31:37 Transformer [~Transform@ool-4a59e397.dyn.optonline.net] has joined #scheme 16:32:10 ohwow [~o@uh.wow.prettyru.de] has joined #scheme 16:32:49 -!- Transformer [~Transform@ool-4a59e397.dyn.optonline.net] has left #scheme 16:32:57 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has quit [Ping timeout: 250 seconds] 16:35:58 -!- githogori [~githogori@c-24-7-1-43.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 16:36:10 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 16:45:55 blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has joined #scheme 16:49:19 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 16:49:25 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Read error: Connection reset by peer] 16:52:21 Indian [~Indian@unaffiliated/londonmet050] has joined #scheme 16:55:19 -!- gravicappa [~gravicapp@80.90.116.82] has quit [Remote host closed the connection] 17:24:15 stamourv, those GC bugs were random, happened 2-3 times and then stopped occuring 17:24:27 when evaluating expressions at the repl 17:24:35 stamourv, thank you for the paper 17:25:51 turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has joined #scheme 17:26:27 weirdo: Intermittent bugs are bugs nonetheless. If you still have the expression that triggered the problem, that's enough for a bug report. 17:26:41 Maybe not enough to fix the bug, but it's certainly better than nothing. 17:26:46 stamourv, i restarted it, re-evaluated the expression and got the correct result 17:27:05 As for papers, samth's web page has more. 17:28:18 zelak_ [~zelak@pdpc/supporter/student/zelak] has joined #scheme 17:29:34 i already wrote a large part of my inference engine already :| it's based on constraints placed upon variables 17:30:13 so far it knows that fib = real -> real only :-( 17:30:16 Indian: You asked about DrRacket keybindings for Interactions Window history: try Alt+p and Alt+n. 17:30:20 but i plan on adding some more polymorphic stuff into it 17:30:23 ok 17:30:25 let me try 17:30:52 stamourv: No luck 17:31:02 weirdo: Integer -> Integer sounds more precise. 17:31:04 stamourv, how much can you infer about fib? can you make polymorphic arith stuff propagate to lower levels? 17:31:22 Indian: Which version of Racket are you using? It works just fine on mine. 17:31:36 stamourv, yes, but also Flonum -> Flonum et alia 17:31:46 5.1.2 17:31:58 Indian, maybe you're pressing the wrong alt key? 17:32:20 I am on OSX 17:32:21 weirdo: No, that's currently a limitation, we can't get intersections as a result of inference (at least in cases like that), they have to be written down by the user if you want them. 17:32:30 and I tried alt+p and alt+n 17:32:45  and ~ 17:32:51 weirdo: fib on floats doesn't make much sense. What's `(fib 2.3)'? 17:32:56 these are printing in I try that key binding 17:33:05 stamourv, but fib 1.0 returns 1.0 17:33:07 Indian: Ah, seems OS X is intercepting these. 17:33:14 stamourv, it doesn't, but i can't infer it 17:33:30 stamourv: ok 17:33:38 stamourv, my cheapo algorithm infers intersections just fine though 17:33:40 weirdo: Sure, it depends on what you want your types to mean. 17:33:42 jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 17:34:01 stamourv, can you infer it in typed scheme? 17:34:17 Infer what? 17:34:27 stamourv, Integer -> Integer for fib 17:34:28 hey ho 17:34:36 Riastradh: Speak to me of riaxpander. 17:34:46 hi 17:35:05 What about it? (I'm a bit busy now to say much.) 17:35:37 i'm interested in riaxpander too, you know; would it be lots of work to add let-syntax to it? 17:35:39 gtoast [~gtoast@166.205.136.168] has joined #scheme 17:35:48 Okay. I'd like to use it to provide syntax extension for non-Scheme languages (with S-expression syntax). That means I need to teach it what the primitive forms are and which of them bind variables (and where the variables are). 17:36:00 Is this readily done? 17:36:05 s/forms/syntax forms 17:36:15 jcowan, how about (the horror) unhygienic macros? 17:36:24 weirdo, er, it already supports LET-SYNTAX. 17:36:26 "The horror" is right. 17:36:41 Riastradh, oh. sorry. i grepped wrongly, a typo or something 17:36:52 jcowan, OK, so you presumably want to parrot standard.scm. 17:36:55 I really only care about syntax-rules, because, well, I really *only* care about syntax-rules. 17:37:52 Thanks. 17:38:20 And what is a suitable place to start when constructing a top-level interface. Ideally I'd like a mutable store that I can feed an S-expr into and get a transformed S-expr out of. 17:38:37 sexp.scm 17:39:24 stamourv, what do you infer for (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) 17:40:22 Riastradh: Thanks. Alexpander is pretty much a mess, but it does have useful comments that answer questions like this. A word to the wise is efficient. 17:40:57 weirdo: You need to annotate the argument type. 17:41:18 Yeah, it needs a README. 17:41:20 The inferred type will depend on what type you provide. 17:41:55 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Remote host closed the connection] 17:44:59 -!- jrapdx [~jra@c-98-246-157-58.hsd1.or.comcast.net] has quit [Quit: Leaving] 17:48:38 zmv [c885c40e@gateway/web/freenode/ip.200.133.196.14] has joined #scheme 17:51:16 -!- jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 252 seconds] 17:51:49 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Ping timeout: 250 seconds] 17:53:53 gravicappa [~gravicapp@ppp91-77-166-45.pppoe.mtu-net.ru] has joined #scheme 17:55:00 stamourv, that's bad. i thought you could do it for standard scheme :( 17:55:11 -!- gtoast [~gtoast@166.205.136.168] has quit [Quit: gtoast] 17:55:46 Toplevel definitions and local functions need annotations. 17:56:17 We have a pretty sophisticated type system, inference is pretty hard. It may not even be decidable. 17:56:54 Currently, we have an approximation that's doubly-exponential in the worst case. (But much more reasonable in cases that actually happen.) 18:00:25 another thing is that DrRacket is very slow with large variable list. large, as in, long nested lists 18:02:27 What do you mean by variable lists? 18:03:27 > It may not even be decidable. 18:03:37 Have you researched this? 18:03:44 Maybe it can be formally proved? 18:04:35 -!- carbocalm [~user@38.99.165.166] has quit [Read error: Connection reset by peer] 18:05:35 ohwow: Could be, but we're programming language people, not algorithms people. 18:05:56 Some PL people like decidability proofs. ;) 18:06:11 Knowing that it's decidable may give us a warm fuzzy feeling, but it won't change much for users. 18:06:38 asumu: Sure. I'm not one of them. I got programs to write ;). 18:08:18 For full type inference on Scheme though, soft typing is closer work. 18:08:35 And decidability might not matter much there because you can time-out and then insert runtime checks. 18:09:43 Right. And since he's mostly (AFAICT) interested in types for performance reasons, that's probably a good fit. 18:10:18 jrapdx [~jra@74-95-41-205-Oregon.hfc.comcastbusiness.net] has joined #scheme 18:20:35 -!- blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has quit [Ping timeout: 246 seconds] 18:23:28 -!- Precious1etals [~Heart@pool-74-96-114-33.washdc.fios.verizon.net] has quit [Quit: Reconnecting] 18:23:43 Indian [~Indian@unaffiliated/londonmet050] has joined #scheme 18:23:48 PreciousMetals [~Heart@unaffiliated/colours] has joined #scheme 18:24:19 teurastaja [~Samuel@modemcable072.213-81-70.mc.videotron.ca] has joined #scheme 18:35:01 guys, what about recursion in type inference? how about this scheme: 18:35:28 whenever recursion occurs, return special value. later, check again just once 18:35:34 will it work that way and always give the correct result? 18:36:59 I'm not sure I understand. 18:37:14 when i walk around the sexp tree 18:37:24 there are recursive calls 18:37:36 i can't infer them because infinite recursion in type inference would occur 18:37:44 will the result be OK if i just make a second pass? 18:37:52 or do i need to make passes until the value is the same for two passes? 18:40:04 phao [~phao@pontenova.dpi.ufv.br] has joined #scheme 18:40:18 asynchrony [~asynchron@adsl-98-65-177-80.dab.bellsouth.net] has joined #scheme 18:41:39 I guess it may depend on your type system. 18:42:53 blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has joined #scheme 18:43:24 stamourv, it's dead simple. type arguments, no unification variables except for ftype arguments, limited single-inheritance 18:43:29 root type 18:43:47 is it cool or did i make some critical mistake in my idea for recursive functions? 18:44:54 I'd have to think about it, and I can't do it at the moment. 18:45:24 -!- zmv [c885c40e@gateway/web/freenode/ip.200.133.196.14] has quit [Quit: Page closed] 18:46:03 -!- HG` [~HG@p579F79A1.dip.t-dialin.net] has quit [Quit: HG`] 18:46:22 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 18:46:56 -!- Indian [~Indian@unaffiliated/londonmet050] has quit [Quit: Indian] 18:48:09 -!- teurastaja [~Samuel@modemcable072.213-81-70.mc.videotron.ca] has quit [Quit: --> Put something intelligent here when I'm more bored <--] 18:51:43 aoh [~aki@adsl-99-115.netplaza.fi] has joined #scheme 18:56:14 Recursive functions shouldn't be a problem for type inference. It's just another variable to unify. 18:58:02 (define (fib n) (if (< n 2) n (+ (fib (- n 1)) (fib (- n 2))))) 18:58:11 I don't quite grasp how would you type (define (t x) (if x "hello" 1)) 18:58:41 asumu, my algorithm can't unify the second fib occurence so far 18:59:13 ohwow, (or string fixnum) 19:00:08 -!- MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has quit [Ping timeout: 258 seconds] 19:01:14 Can you infere that type? 19:01:16 fib is an a->b. You can unify a to a number type because of the function calls. You can unify b to a number because of the use of +. 19:01:22 In haskell they have `Either' IIRC 19:01:37 Unless you mean you want a more specific type in the numeric tower. 19:01:45 also, what about macros? 19:01:54 (polymorphic macros? or that's the wrong word) 19:02:53 From the point of a type system though, fib: real -> real is perfectly fine. It will compute and not get stuck. 19:10:10 asumu, but i can't guarantee that + gets passed a correct type (funcall fib) so that i can add it to my or-list 19:10:18 and then unionize the or-list 19:10:34 ohwow, i didn't check, but it's pretty simple 19:10:47 ohwow, my inferator is WIP 19:12:11 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 19:13:34 Okay, I don't know much about type systems but my friend told me that TAPL is a good read 19:16:37 there you go: 19:16:37 {{foo function foo {x} {{{t} . string} {{t} . fixnum}}}} 19:16:45 ugh. 19:16:50 it gets inferrect incorrectly 19:16:51 :) 19:17:07 wow, what a freudian typo 19:18:08 it'll get inferred right in just a sec, wait 19:18:26 PS, code is available always at http://piec.itcrew.pl/seaking with one-hour delay 19:22:37 -!- yell0 [yello@unaffiliated/contempt] has quit [Read error: Operation timed out] 19:24:33 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Read error: Operation timed out] 19:24:51 -!- blb [~blb@c-24-11-236-117.hsd1.il.comcast.net] has quit [Ping timeout: 240 seconds] 19:27:59 jewel [~jewel@196-215-16-133.dynamic.isadsl.co.za] has joined #scheme 19:32:30 What are you exactly doing weirdo ? 19:42:23 ohwow, {foo function foo {x} {{{t} . {or fixnum string}}}} 19:42:28 -!- ohwow_ [~oh@www.nig.gs] has left #scheme 19:42:29 ohwow, a scheme impl 19:42:55 -!- rimmjob_ [~user@adsl-108-204-208-237.dsl.hstntx.sbcglobal.net] has quit [Remote host closed the connection] 19:45:26 githogori [~githogori@216.207.36.222] has joined #scheme 19:55:43 homie` [~levgue@xdsl-78-35-173-67.netcologne.de] has joined #scheme 19:57:11 -!- PreciousMetals [~Heart@unaffiliated/colours] has quit [Ping timeout: 240 seconds] 19:57:51 -!- homie [~levgue@xdsl-78-35-171-242.netcologne.de] has quit [Ping timeout: 276 seconds] 20:08:30 f8ld [~f8l@81.219.254.82] has joined #scheme 20:08:35 gtoast [~gtoast@c-67-169-2-192.hsd1.ca.comcast.net] has joined #scheme 20:09:30 -!- homie` [~levgue@xdsl-78-35-173-67.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:09:33 ASau [~user@95-28-79-252.broadband.corbina.ru] has joined #scheme 20:09:41 -!- f8l [~f8l@81.219.204.217] has quit [Ping timeout: 240 seconds] 20:15:42 -!- asynchrony [~asynchron@adsl-98-65-177-80.dab.bellsouth.net] has quit [Quit: Bye] 20:18:12 -!- jewel [~jewel@196-215-16-133.dynamic.isadsl.co.za] has quit [Ping timeout: 255 seconds] 20:24:12 -!- f8ld [~f8l@81.219.254.82] has quit [Quit: WeeChat 0.3.5] 20:24:26 blb [~blb@66.158.61.2] has joined #scheme 20:37:18 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 20:42:53 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 20:53:44 cbrannon [~cbrannon@gentoo/developer/cbrannon] has joined #scheme 20:56:32 -!- gtoast [~gtoast@c-67-169-2-192.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 20:58:13 gtoast [~gtoast@c-67-169-2-192.hsd1.ca.comcast.net] has joined #scheme 21:01:37 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 252 seconds] 21:01:57 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 21:13:10 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 21:18:48 wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has joined #scheme 21:20:30 pnkfelix [~Adium@c-71-225-165-188.hsd1.pa.comcast.net] has joined #scheme 21:22:25 -!- delian66 [~quassel@84.252.14.164] has quit [Read error: Connection reset by peer] 21:26:52 -!- gravicappa [~gravicapp@ppp91-77-166-45.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:31:05 -!- gtoast [~gtoast@c-67-169-2-192.hsd1.ca.comcast.net] has quit [Ping timeout: 260 seconds] 21:34:32 nisstyre_ [~nisstyre@infocalypse-net.info] has joined #scheme 21:34:35 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 260 seconds] 21:34:53 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Read error: Connection reset by peer] 21:36:47 -!- nisstyre_ is now known as Nisstyre 21:37:10 -!- pnkfelix [~Adium@c-71-225-165-188.hsd1.pa.comcast.net] has quit [Quit: Leaving.] 21:37:57 -!- wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has quit [Quit: Leaving] 21:38:00 -!- phao [~phao@pontenova.dpi.ufv.br] has quit [Quit: Leaving] 21:55:38 MrFahrenheit [~RageOfTho@users-146-176.vinet.ba] has joined #scheme 21:56:50 elliottc1ble [~me@ell.io] has joined #scheme 21:56:51 -!- elliottc1ble [~me@ell.io] has quit [Client Quit] 22:20:06 -!- kpal [eart0186@raven.linux.ox.ac.uk] has quit [Remote host closed the connection] 22:20:13 kpal [eart0186@raven.linux.ox.ac.uk] has joined #scheme 22:26:25 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Remote host closed the connection] 22:26:34 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 22:38:31 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 22:40:49 doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has joined #scheme 22:42:13 -!- penryu is now known as Ramirez 22:42:48 pandeiro [~pandeiro@bd21c33a.virtua.com.br] has joined #scheme 22:42:52 -!- Ramirez is now known as penryu 22:45:51 zmv [~daniel@201.83.52.222] has joined #scheme 22:49:46 so here's my unification progress 22:49:53 i mean 22:49:55 inference 22:49:59 always confusing the 2 words 22:50:02 for some reason 22:50:11 '(begin (define (foo x) (+ x 42) x) 22:50:11 (foo 42)) 22:50:25 {{foo function foo {x} {{{number} {unify x}}}} 22:50:25 {{foo 42} . fixnum}} 22:50:47 the "number" part is the constraint, the rest is the value 22:50:54 now: 22:51:03 replace (foo 42) with (foo "bla") 22:51:08 {foo "bla"} . error} 22:51:08 :) 22:51:38 time to sleep 22:52:02 DT`` [~Feeock@net-93-149-41-165.cust.dsl.teletu.it] has joined #scheme 22:57:13 -!- blb [~blb@66.158.61.2] has quit [Ping timeout: 240 seconds] 22:59:38 -!- doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has quit [Quit: Leaving] 23:04:08 -!- zmv [~daniel@201.83.52.222] has quit [Ping timeout: 240 seconds] 23:05:50 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 23:11:01 -!- turbofail [~user@c-107-3-149-149.hsd1.ca.comcast.net] has quit [Ping timeout: 260 seconds] 23:27:36 wisey [~Steven@host86-150-109-116.range86-150.btcentralplus.com] has joined #scheme 23:39:36 -!- snorble [~snorble@s83-179-14-167.cust.tele2.se] has left #scheme 23:43:15 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 250 seconds] 23:43:25 snorble [~snorble@s83-179-14-167.cust.tele2.se] has joined #scheme