00:00:13 -!- eholk [~eholk@63-235-13-3.dia.static.qwest.net] has quit [Quit: eholk] 00:03:47 -!- pnkfelix [~Adium@c-68-80-192-44.hsd1.pa.comcast.net] has quit [Quit: Leaving.] 00:04:15 zmv [~Telefonic@187.57.30.27] has joined #scheme 00:07:06 -!- zmv_ [~Telefonic@187.57.30.27] has quit [Ping timeout: 240 seconds] 00:07:30 aidalgol [~user@114-134-7-23.rurallink.co.nz] has joined #scheme 00:09:43 -!- zmv [~Telefonic@187.57.30.27] has quit [Ping timeout: 258 seconds] 00:10:34 zmv [~Telefonic@187.57.30.27] has joined #scheme 00:20:12 probably depends on the scheme. 00:20:17 racket uses Unicode 00:21:48 hmm 00:21:51 yeah 00:21:55 the standard doesn't define that 00:22:03 offby1, but in racket 00:22:19 even if my source file is in iso- 00:22:19 the string will be in Unicode? 00:24:45 zmv_ [~Telefonic@187.57.30.27] has joined #scheme 00:27:15 yea, i think racket uses ucs-2 or something 00:27:37 isnt unicode a superset of iso- anyway? 00:27:55 -!- zmv [~Telefonic@187.57.30.27] has quit [Ping timeout: 240 seconds] 00:28:39 pnkfelix [~Adium@c-68-80-192-44.hsd1.pa.comcast.net] has joined #scheme 00:30:51 -!- pnkfelix [~Adium@c-68-80-192-44.hsd1.pa.comcast.net] has quit [Client Quit] 00:34:47 -!- zmv_ is now known as zmv 00:51:06 zmv_ [~Telefonic@187.57.30.27] has joined #scheme 00:51:09 -!- zmv [~Telefonic@187.57.30.27] has quit [Ping timeout: 264 seconds] 00:53:33 -!- X-Scale [email@2001:470:1f14:135b::2] has quit [Ping timeout: 264 seconds] 01:06:20 zmv [~Telefonic@187.57.30.27] has joined #scheme 01:09:15 -!- zmv_ [~Telefonic@187.57.30.27] has quit [Ping timeout: 246 seconds] 01:11:22 zmv_ [~Telefonic@187.57.30.27] has joined #scheme 01:11:41 -!- zmv [~Telefonic@187.57.30.27] has quit [Ping timeout: 240 seconds] 01:20:47 -!- jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has quit [Quit: jeapostrophe] 01:22:41 jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has joined #scheme 01:34:00 tupi_ [~david@189.60.162.202] has joined #scheme 01:35:44 -!- jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has quit [Quit: jeapostrophe] 01:42:47 phao: that, I don't know. Try It And See. 01:46:56 doesn't seem to work. 01:47:22 That is, I made a file that had some Chinese characters, saved it in iso-2022-cjk, and ran racket; it displayed garbage. 01:47:50 But the same characters saved in UTF-8 worked OK 01:49:09 offby1: Source code is assumed to always be in utf-8. 01:54:07 MasterOfDicks [~2cf7772db@41.34.41.169] has joined #scheme 01:54:13 Command line scheme compiler 01:54:21 And chiken-iup isn't working 01:54:26 Or I don't know how to use it 01:54:39 Could someone provide? 02:01:01 pdponze [~androirc@144.85.121.191] has joined #scheme 02:02:25 genieliu [~genieliu@59.78.62.120] has joined #scheme 02:03:46 jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has joined #scheme 02:04:06 -!- MrFahrenheit [~RageOfTho@users-151-140.vinet.ba] has quit [Ping timeout: 258 seconds] 02:04:08 -!- jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has quit [Client Quit] 02:05:38 -!- pdponze [~androirc@144.85.121.191] has quit [Ping timeout: 258 seconds] 02:06:45 -!- zmv_ [~Telefonic@187.57.30.27] has quit [Ping timeout: 264 seconds] 02:12:55 is it true that '(1 2 3) may be an imutable list? 02:13:53 eli: thought so 02:14:10 phao: yes. 02:14:12 phao: it typically is 02:14:25 rudybot: init r5rs 02:14:25 *offby1: your r5rs sandbox is ready 02:14:31 rudybot: (define l ' (1 2 3)) 02:14:32 *offby1: Done. 02:14:37 rudybot: (set-car! l 999) 02:14:37 *offby1: Done. 02:14:40 rudybot: l 02:14:40 *offby1: ; Value: {999 2 3} 02:14:41 oh well 02:14:43 :) 02:14:47 rudybot: init racket 02:14:47 *offby1: your sandbox is ready 02:14:51 rudybot: (define l ' (1 2 3)) 02:14:51 *offby1: Done. 02:14:52 offby1: no, but right! 02:14:55 rudybot: (set-car! l 999) 02:14:55 *offby1: error: reference to an identifier before its definition: set-car! in module: 'program 02:14:57 well 02:14:57 offby1, if I do 02:15:06 (define a '(1 2 3)) 02:15:14 is a bound to the location of an imutable list? 02:15:22 rudybot: (define f (lambda () (let ((list '(1 2 3))) (set-car! list (+ 1 (car list))) (car list)))) 02:15:22 yes, tipically, right? 02:15:23 pjb: your sandbox is ready 02:15:23 pjb: Done. 02:15:24 phao: this may be another thing that varies with the implementation. 02:15:27 rudybot: (f) 02:15:27 pjb: error: reference to an identifier before its definition: set-car! in module: 'program 02:15:37 rudybot: init r5rs 02:15:37 pjb: your r5rs sandbox is ready 02:15:39 rudybot: (define f (lambda () (let ((list '(1 2 3))) (set-car! list (+ 1 (car list))) (car list)))) 02:15:40 pjb: Done. 02:15:44 rudybot: (f) 02:15:44 pjb: ; Value: 2 02:15:45 rudybot: (f) 02:15:46 pjb: ; Value: 3 02:15:47 rudybot: (f) 02:15:47 pjb: ; Value: 4 02:15:51 this is wrong. 02:15:51 offby1, ok 02:15:52 I'm reading the standard 02:15:55 We'd expect 2 always. 02:15:59 and I seen this 02:15:59 it's really strange 02:16:07 worse is to think that "oi" may be imutable 02:16:13 That's why you MUST CONSIDER '(1 2 3) as immutable, and you SHOULD NOT modify it. 02:16:14 Oi! 02:16:35 A more helpful implementation would store '(1 2 3) in read only memory, and set-car! it would signal an error. 02:17:04 So the correct form is: 02:17:10 rudybot: (define f (lambda () (let ((list (list 1 2 3))) (set-car! list (+ 1 (car list))) (car list)))) 02:17:10 pjb: Done. 02:17:18 rudybot: (list (f) (f) (f)) 02:17:18 pjb: ; Value: {2 2 2} 02:17:22 I'd like to extend make-string to handle string arguments and return a mutable string 02:17:31 I did it , but I'm not sure if it's a good idea to extend make-string 02:17:37 make-string returns a mutable string. "abc" is not a mutable string. 02:17:56 sure 02:18:06 but I was saying this 02:18:06 (make-string "abc") 02:18:15 returning the mutable string containing "abc" 02:18:19 (copy-string "abc") ---> mutable "abc" 02:18:24 extending it to do that 02:18:33 It should be called copy-string. 02:18:45 copy-string 02:18:54 ah ok 02:19:04 yeah... better name 02:19:04 I have that done already 02:19:04 I have a copy 02:19:04 Racket has string-copy. 02:19:13 function that copies all types (base types) 02:19:31 recursively for vectors, list, strings, etc 02:23:05 btw 02:23:14 string-copy is r5rs 02:23:30 Ok, I forgot. 02:25:50 what is your take on extending base functions? 02:26:00 like extending equal? to work on a type I defined, for example. 02:27:05 gienah [~mwright@ppp121-44-225-50.lns20.syd7.internode.on.net] has joined #scheme 02:27:06 Daemmerung [~goetter@63.142.200.228] has joined #scheme 03:07:31 -!- zanea [~zanea@125-237-51-83.jetstream.xtra.co.nz] has quit [Quit: leaving] 03:16:58 phao: write your own version. 03:17:08 make-or-copy-string 03:25:55 zanea [~zanea@125-237-51-83.jetstream.xtra.co.nz] has joined #scheme 03:26:36 -!- yosafbridge [~yosafbrid@li125-242.members.linode.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:26:51 yosafbridge [~yosafbrid@li125-242.members.linode.com] has joined #scheme 03:34:01 bokr [~ed@213.87.128.229] has joined #scheme 03:43:11 -!- phao [phao@187.91.142.236] has quit [Quit: Fui embora] 03:45:57 eholk [~eholk@63-235-13-3.dia.static.qwest.net] has joined #scheme 03:50:38 annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has joined #scheme 03:50:38 -!- annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has quit [Changing host] 03:50:38 annodomini [~lambda@wikipedia/lambda] has joined #scheme 03:51:45 -!- littlebobby [~bob@unaffiliated/littlebobby] has quit [Ping timeout: 264 seconds] 03:54:39 littlebobby [~bob@i5E8799B.versanet.de] has joined #scheme 03:54:39 -!- littlebobby [~bob@i5E8799B.versanet.de] has quit [Changing host] 03:54:39 littlebobby [~bob@unaffiliated/littlebobby] has joined #scheme 03:55:55 anzime [~defkurtz@ip70-176-48-167.ph.ph.cox.net] has joined #scheme 04:02:58 doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has joined #scheme 04:21:23 -!- tupi_ [~david@189.60.162.202] has quit [Quit: Leaving] 04:23:57 -!- gienah [~mwright@ppp121-44-225-50.lns20.syd7.internode.on.net] has quit [Ping timeout: 250 seconds] 04:25:49 gienah [~mwright@ppp121-44-155-30.lns20.syd7.internode.on.net] has joined #scheme 04:39:28 -!- anzime [~defkurtz@ip70-176-48-167.ph.ph.cox.net] has left #scheme 04:39:47 -!- phax [~phax@unaffiliated/phax] has quit [Remote host closed the connection] 05:04:53 -!- realitygrill [~realitygr@c-24-5-7-139.hsd1.ca.comcast.net] has quit [Quit: realitygrill] 05:09:24 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: ...] 05:12:00 -!- kennyd [~kennyd@93-138-146-234.adsl.net.t-com.hr] has quit [Read error: Connection reset by peer] 05:20:56 kennyd [~kennyd@93-138-146-234.adsl.net.t-com.hr] has joined #scheme 05:24:03 -!- bokr [~ed@213.87.128.229] has quit [Quit: Leaving.] 05:24:06 -!- eholk [~eholk@63-235-13-3.dia.static.qwest.net] has quit [Quit: eholk] 05:33:30 sublimepua [~sublimepu@cpe-72-224-203-207.maine.res.rr.com] has joined #scheme 05:52:52 -!- littlebobby [~bob@unaffiliated/littlebobby] has quit [Quit: Ex-Chat] 05:54:26 -!- ohwow- [mao@uh.wow.prettyru.de] has quit [Read error: Operation timed out] 06:01:04 pdponze [~androirc@144.85.121.191] has joined #scheme 06:05:14 -!- mithridates [~mithridat@142.167.241.93] has quit [Quit: leaving] 06:05:21 -!- dleslie [~dleslie@S010600259c4d3771.vs.shawcable.net] has quit [Ping timeout: 250 seconds] 06:05:36 -!- pdponze [~androirc@144.85.121.191] has quit [Ping timeout: 258 seconds] 06:05:45 dleslie [~dleslie@S010600259c4d3771.vs.shawcable.net] has joined #scheme 06:11:57 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 06:12:40 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 260 seconds] 06:17:08 -!- dnolen_ [~davidnole@184.152.69.75] has quit [Quit: dnolen_] 06:19:05 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 260 seconds] 06:19:25 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 06:20:29 homie` [~user@xdsl-78-35-183-245.netcologne.de] has joined #scheme 06:22:43 -!- homie [~user@xdsl-78-35-173-236.netcologne.de] has quit [Ping timeout: 252 seconds] 06:36:46 -!- ampersandbox [~chatzilla@adsl-99-55-172-34.dsl.pltn13.sbcglobal.net] has quit [Ping timeout: 260 seconds] 06:39:50 gravicappa [~gravicapp@ppp91-77-185-208.pppoe.mtu-net.ru] has joined #scheme 06:42:36 -!- DrDuck [~duck@adsl-98-81-105-105.hsv.bellsouth.net] has quit [Ping timeout: 260 seconds] 06:52:47 -!- MasterOfDicks is now known as Dickmaster 07:11:50 eholk [~eholk@63-235-13-3.dia.static.qwest.net] has joined #scheme 07:15:09 -!- gienah [~mwright@ppp121-44-155-30.lns20.syd7.internode.on.net] has quit [Ping timeout: 264 seconds] 07:16:56 gienah [~mwright@ppp121-44-36-70.lns20.syd6.internode.on.net] has joined #scheme 07:32:39 -!- sublimepua [~sublimepu@cpe-72-224-203-207.maine.res.rr.com] has quit [Remote host closed the connection] 07:52:10 -!- eholk [~eholk@63-235-13-3.dia.static.qwest.net] has quit [Quit: eholk] 07:55:57 -!- Dickmaster is now known as Masturbates 08:00:14 http://img403.imageshack.us/img403/9236/i4jwqw.gif 08:03:08 csdwifi [~carl@76.177.215.56] has joined #scheme 08:16:31 -!- genieliu [~genieliu@59.78.62.120] has quit [Quit: leaving] 08:34:13 -!- Masturbates is now known as Dickmaster 08:45:36 -!- kennyd [~kennyd@93-138-146-234.adsl.net.t-com.hr] has quit [Ping timeout: 276 seconds] 08:47:56 kennyd [~kennyd@93-141-39-76.adsl.net.t-com.hr] has joined #scheme 08:50:09 -!- mmc [~michal@82-148-210-75.fiber.unet.nl] has quit [Quit: Leaving.] 08:54:53 mmc [~michal@82-148-210-75.fiber.unet.nl] has joined #scheme 09:26:09 -!- aidalgol [~user@114-134-7-23.rurallink.co.nz] has quit [Ping timeout: 255 seconds] 09:29:22 -!- elly [~elly@atheme/member/elly] has quit [Remote host closed the connection] 09:44:48 elly [~elly@atheme/member/elly] has joined #scheme 09:52:11 MrFahrenheit [~RageOfTho@users-151-140.vinet.ba] has joined #scheme 10:01:01 pdponze [~androirc@144.85.121.191] has joined #scheme 10:03:38 Roth [~2cf7772db@41.34.39.134] has joined #scheme 10:04:03 -!- Dickmaster [~2cf7772db@41.34.41.169] has quit [Ping timeout: 276 seconds] 10:04:03 -!- Roth is now known as Dickmaster 10:04:24 -!- pdponze [~androirc@144.85.121.191] has quit [Read error: Connection reset by peer] 10:07:03 Roth [~2cf7772db@41.235.41.179] has joined #scheme 10:07:59 -!- Dickmaster [~2cf7772db@41.34.39.134] has quit [Disconnected by services] 10:08:05 -!- Roth is now known as Dickmaster 10:10:42 keenbug [~daniel@p4FE3B238.dip.t-dialin.net] has joined #scheme 10:13:13 Roth [~2cf7772db@41.235.41.179] has joined #scheme 10:16:41 -!- Dickmaster [~2cf7772db@41.235.41.179] has quit [Ping timeout: 260 seconds] 10:16:41 -!- Roth is now known as Dickmaster 10:27:27 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 10:27:27 -!- DT`` [~Feeock@net-93-149-65-184.cust.dsl.teletu.it] has quit [Read error: Connection reset by peer] 10:28:31 DT`` [~Feeock@net-93-149-65-184.cust.dsl.teletu.it] has joined #scheme 10:32:20 -!- preflex_ is now known as preflex 10:49:21 Roth [~2cf7772db@41.236.158.78] has joined #scheme 10:51:34 -!- Dickmaster [~2cf7772db@41.235.41.179] has quit [Ping timeout: 258 seconds] 10:51:34 -!- Roth is now known as Dickmaster 10:57:00 Roth [~2cf7772db@41.235.40.211] has joined #scheme 10:58:30 -!- Dickmaster [~2cf7772db@41.236.158.78] has quit [Ping timeout: 240 seconds] 10:58:30 -!- Roth is now known as Dickmaster 11:00:33 genieliu [~genieliu@59.78.62.120] has joined #scheme 11:42:17 -!- ffs [~garland@unaffiliated/ffs] has quit [Quit: Blessed are you, Blessed am I, We children of the #night] 11:55:28 jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has joined #scheme 11:56:30 d2biG [p@bofh.edu.pl] has joined #scheme 11:56:42 -!- dRbiG [p@bofh.edu.pl] has quit [Ping timeout: 276 seconds] 12:02:06 -!- Dickmaster [~2cf7772db@41.235.40.211] has quit [Ping timeout: 240 seconds] 12:11:26 araujo [~araujo@190.73.44.29] has joined #scheme 12:11:26 -!- araujo [~araujo@190.73.44.29] has quit [Changing host] 12:11:26 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 12:49:34 -!- jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has quit [Quit: jeapostrophe] 12:50:03 phax [~phax@unaffiliated/phax] has joined #scheme 12:51:04 -!- elliottcable is now known as ec|fkn_away_nick 12:51:14 -!- ec|fkn_away_nick is now known as elliottcable 13:02:37 nowhereman [~pierre@AStrasbourg-551-1-24-71.w86-213.abo.wanadoo.fr] has joined #scheme 13:05:41 -!- nowhere_man [~pierre@AStrasbourg-551-1-132-160.w90-26.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 13:37:40 bokr [~ed@213.87.137.63] has joined #scheme 13:37:57 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 14:03:49 -!- cbrannon [~cbrannon@gentoo/developer/cbrannon] has quit [Quit: Bye] 14:05:44 tzhuang [~tzhuang@72.53.83.36] has joined #scheme 14:06:38 -!- homie` [~user@xdsl-78-35-183-245.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:07:35 masm [~masm@bl15-130-201.dsl.telepac.pt] has joined #scheme 14:08:32 homie [~user@xdsl-78-35-183-245.netcologne.de] has joined #scheme 14:10:32 kephas [~pierre@AStrasbourg-551-1-3-197.w92-141.abo.wanadoo.fr] has joined #scheme 14:13:00 -!- Euthydemus [~euthydemu@unaffiliated/euthydemus] has quit [Ping timeout: 276 seconds] 14:13:51 -!- nowhereman [~pierre@AStrasbourg-551-1-24-71.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 276 seconds] 14:14:08 annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has joined #scheme 14:14:08 -!- annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has quit [Changing host] 14:14:08 annodomini [~lambda@wikipedia/lambda] has joined #scheme 14:15:16 Euthydemus [~euthydemu@unaffiliated/euthydemus] has joined #scheme 14:17:31 bSON [~denis@dslb-188-102-018-136.pools.arcor-ip.net] has joined #scheme 14:17:56 hi 14:19:02 is there a way for a r6rs program to portably find out which implementation it is running on? 14:19:34 Daemmeru` [~goetter@63.142.200.228] has joined #scheme 14:21:22 -!- Euthydemus [~euthydemu@unaffiliated/euthydemus] has quit [Quit: leaving] 14:22:41 -!- tzhuang [~tzhuang@72.53.83.36] has quit [Ping timeout: 252 seconds] 14:22:51 replore_ [~replore@ntkngw256114.kngw.nt.ftth.ppp.infoweb.ne.jp] has joined #scheme 14:22:57 -!- Daemmerung [~goetter@63.142.200.228] has quit [Ping timeout: 258 seconds] 14:24:31 tzhuang [~tzhuang@72.53.83.36] has joined #scheme 14:26:37 Euthydemus [~euthydemu@unaffiliated/euthydemus] has joined #scheme 14:30:32 srfi-0 is the closest ive found, http://srfi.schemers.org/srfi-0/srfi-0.html 14:37:51 Hey, how are the efforts at transplanting emacs to run atop guile going these days? Are they still progressing, or have they slowed down somewhat? I haven't seen news about that recently. 14:41:01 I'm not sure on the specifics, butt here is a GSoC student working on it at the moment, as far as I know. 14:41:10 s/butt here/but there/ 14:41:41 I think that it's closer to happening than ever before, whatever that's worth. 14:42:48 That's pretty excellent news. 14:42:52 Thanks, fds. 14:43:07 *gnomon* reads up about Guile's JIT stage 14:43:55 Feel free to bother people in #guile too. :-) 14:49:19 nowhere_man [~pierre@AStrasbourg-551-1-5-236.w92-141.abo.wanadoo.fr] has joined #scheme 14:52:06 jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has joined #scheme 14:52:11 -!- kephas [~pierre@AStrasbourg-551-1-3-197.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 14:52:35 -!- jeapostrophe [~jay@pool-173-76-209-217.bstnma.fios.verizon.net] has quit [Client Quit] 15:06:03 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 15:15:53 -!- blueadept [~blueadept@unaffiliated/blueadept] has quit [Quit: Leaving] 15:16:40 -!- genieliu [~genieliu@59.78.62.120] has quit [Quit: leaving] 15:17:02 -!- replore_ [~replore@ntkngw256114.kngw.nt.ftth.ppp.infoweb.ne.jp] has quit [Remote host closed the connection] 15:18:49 blueadept [~blueadept@unaffiliated/blueadept] has joined #scheme 15:33:43 pnkfelix [~Adium@c-68-80-192-44.hsd1.pa.comcast.net] has joined #scheme 15:37:30 tupi_ [~david@189.60.162.202] has joined #scheme 15:45:03 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 255 seconds] 15:48:25 -!- nowhere_man [~pierre@AStrasbourg-551-1-5-236.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds] 15:49:34 nowhereman [~pierre@AStrasbourg-551-1-90-111.w81-49.abo.wanadoo.fr] has joined #scheme 15:55:28 X-Scale [email@2001:470:1f14:135b::2] has joined #scheme 16:06:40 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 16:08:54 -!- dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has quit [Ping timeout: 276 seconds] 16:18:48 ampersandbox [~chatzilla@adsl-99-55-172-34.dsl.pltn13.sbcglobal.net] has joined #scheme 16:20:54 kuribas [~user@d54C436FD.access.telenet.be] has joined #scheme 16:21:59 cbrannon [~cbrannon@gentoo/developer/cbrannon] has joined #scheme 16:29:10 DrDuck [~duck@adsl-98-81-105-105.hsv.bellsouth.net] has joined #scheme 16:29:48 -!- Daemmeru` is now known as Daemmerung 16:29:50 dnolen_ [~davidnole@184.152.69.75] has joined #scheme 16:34:46 -!- bSON [~denis@dslb-188-102-018-136.pools.arcor-ip.net] has quit [Quit: Ex-Chat] 16:36:46 -!- snorble [~none@s83-179-14-167.cust.tele2.se] has quit [Ping timeout: 240 seconds] 16:38:20 -!- gienah [~mwright@ppp121-44-36-70.lns20.syd6.internode.on.net] has quit [Quit: leaving] 16:42:20 snorble [~none@s83-179-14-167.cust.tele2.se] has joined #scheme 16:44:57 kephas [~pierre@AStrasbourg-551-1-97-46.w90-13.abo.wanadoo.fr] has joined #scheme 16:48:13 -!- nowhereman [~pierre@AStrasbourg-551-1-90-111.w81-49.abo.wanadoo.fr] has quit [Ping timeout: 258 seconds] 16:49:21 -!- elliottcable is now known as d57bfa72c2e4b4a4 16:49:54 -!- d57bfa72c2e4b4a4 is now known as LZ05qOyiJ0CXpo00 16:52:03 -!- LZ05qOyiJ0CXpo00 is now known as twtsqZOWqHlDutmM 17:04:43 dsmith [~dsmith@cpe-184-56-129-232.neo.res.rr.com] has joined #scheme 17:16:49 -!- pnkfelix [~Adium@c-68-80-192-44.hsd1.pa.comcast.net] has quit [Quit: Leaving.] 17:21:07 kuribas` [~user@d54C436FD.access.telenet.be] has joined #scheme 17:25:06 Astrobe [~opera@197.127.123.78.rev.sfr.net] has joined #scheme 17:36:17 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 17:40:58 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 258 seconds] 17:41:28 -!- kuribas` [~user@d54C436FD.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:42:09 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 17:50:33 -!- Astrobe [~opera@197.127.123.78.rev.sfr.net] has left #scheme 17:50:53 Astrobe [~opera@197.127.123.78.rev.sfr.net] has joined #scheme 17:57:32 -!- masm [~masm@bl15-130-201.dsl.telepac.pt] has quit [Ping timeout: 252 seconds] 18:01:49 mithridates [~mithridat@156.34.179.246] has joined #scheme 18:05:33 -!- bokr [~ed@213.87.137.63] has quit [Ping timeout: 264 seconds] 18:09:48 -!- twtsqZOWqHlDutmM is now known as Du07okDjKfe0X4qF 18:09:50 Does a statically typed dialect of scheme exists aside from Racket/typed; or can it be implemented on top of R5RS? 18:12:28 -!- doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has quit [Quit: Leaving] 18:22:01 -!- tzhuang [~tzhuang@72.53.83.36] has quit [Read error: Connection reset by peer] 18:27:41 -!- kniu [~kniu@pool-96-250-3-60.nycmny.fios.verizon.net] has quit [Remote host closed the connection] 18:31:15 doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has joined #scheme 18:33:48 -!- dnolen_ [~davidnole@184.152.69.75] has quit [Quit: dnolen_] 18:36:03 isohead [~isohead@82-128-198-170.bb.dnainternet.fi] has joined #scheme 18:40:50 -!- isohead [~isohead@82-128-198-170.bb.dnainternet.fi] has quit [Client Quit] 18:41:52 pre-scheme 18:43:35 -!- doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has quit [Quit: Leaving] 18:51:56 -!- Daemmerung [~goetter@63.142.200.228] has quit [Read error: Connection reset by peer] 18:52:07 hmm ok... it's a bit surprising that, given the ease of implementation of a scheme/lisp, there is very few implementations of a 'static scheme'. 18:52:42 rpg [~rpg@216.243.156.16.real-time.com] has joined #scheme 18:53:36 Or maybe I don't ask the right question. The right question is "how does one reduce the risk of runtime errors"; for instance if one has to program an embedded system that is mildy safety-critical. 18:54:28 -!- Du07okDjKfe0X4qF is now known as G0EleimMoNF4WDUO 19:02:10 Daemmerung [~goetter@63.142.200.228] has joined #scheme 19:02:43 -!- Modius [~Modius@cpe-70-123-140-183.austin.res.rr.com] has quit [Quit: "Object-oriented design" is an oxymoron] 19:06:09 -!- cbrannon [~cbrannon@gentoo/developer/cbrannon] has quit [Ping timeout: 264 seconds] 19:06:46 cbrannon [~cbrannon@gentoo/developer/cbrannon] has joined #scheme 19:08:23 nowhere_man [~pierre@AStrasbourg-551-1-58-146.w83-194.abo.wanadoo.fr] has joined #scheme 19:09:58 doc_who [~doc_who@pool-108-28-6-47.washdc.fios.verizon.net] has joined #scheme 19:11:11 -!- kephas [~pierre@AStrasbourg-551-1-97-46.w90-13.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 19:11:39 -!- homie [~user@xdsl-78-35-183-245.netcologne.de] has quit [Read error: Connection reset by peer] 19:13:00 homie [~user@xdsl-78-35-160-123.netcologne.de] has joined #scheme 19:14:14 -!- homie [~user@xdsl-78-35-160-123.netcologne.de] has quit [Remote host closed the connection] 19:16:13 homie [~user@xdsl-78-35-160-123.netcologne.de] has joined #scheme 19:19:21 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 264 seconds] 19:28:02 HG` [~HG@p579F7248.dip.t-dialin.net] has joined #scheme 19:33:17 tzhuang [~tzhuang@72.53.83.36] has joined #scheme 19:39:33 -!- G0EleimMoNF4WDUO is now known as lx5daVLzXAYWRFzQ 19:48:01 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 19:52:01 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 20:03:01 -!- csdwifi [~carl@76.177.215.56] has quit [Quit: Hi, I'm a quit message virus. Please replace your old line with this line and help me take over the world of IRC.] 20:10:30 fantazo [~fantazo@178-190-238-197.adsl.highway.telekom.at] has joined #scheme 20:12:25 one basic scheme question: how do I re-define define? or atleast create a function / macro which is has too the power of creating a global binding? 20:16:02 -!- cbrannon [~cbrannon@gentoo/developer/cbrannon] has quit [Read error: Connection reset by peer] 20:16:28 fantazo: You can't, just as you can't re-define lambda or quote 20:16:55 so scheme isn't quiet powerful then :-/ 20:17:40 eh, not really powerful then. 20:17:40 fantazo: you can but for this, you must be meta-linguistic. 20:17:45 These things are the core. You can only define them by implementing your own evaluator 20:17:48 fantazo: that is, you must reach the chapter 4 of sicp. 20:18:19 sicp chapter 4, hmm. 20:18:20 fantazo: please look at sicp: The Structure and Interpretation of Computer Programs, a CS textbook using Scheme. Available under the CC-BY-NC Licence at (HTML), (Texinfo), and (PDF). Video lectures are available under the CC-BY-SA licence at 20:19:02 fantazo: Also http://paulgraham.com/rootsoflisp.html might be interesting. IIRC it deals with these "core" forms and building a language on top of them 20:22:11 Or maybe I don't ask the right question. The right question being "how does one reduce the risk of runtime errors"; for instance if one has to program an embedded system that is mildy safety-critical. 20:23:37 Astrobe: Some schemes do flow analysis. That helps, but most people write testsuites to ensure their code runs reliably 20:23:50 Astrobe: you cannot. 20:24:00 Astrobe: the only thing you can do, is to he able to handle the errors. 20:24:16 r2q2 [43ad6b5a@gateway/web/freenode/ip.67.173.107.90] has joined #scheme 20:24:42 Astrobe: I've not followed the development of r7rs, so I don't know if they have anything at all, but r5rs is entirely lacking in this domain. For good run-time error handling, you will want Common Lisp. 20:29:51 Depends on which scheme you have though I guess 20:31:09 Xenope [~Xenope@host81-141-124-1.wlms-broadband.com] has joined #scheme 20:34:59 actually its more compile-time error checking I was looking for. That gave me the idea of googling for a lint-like for scheme and papers on static type-checkers for scheme. 20:35:24 there is typed scheme 20:37:07 It doesn't matter. RAX was extensively statically checked. They still had a bug at run-time, and without error handlers and a REPL, they'd would have an expensive piece of technology dead hundreds of millions of kilometers away. 20:38:11 agreed, agreed. 20:38:44 But OTOH it is better to have that automated checks, because testsuites are made by the same humans that make the bug. 20:38:47 -!- lx5daVLzXAYWRFzQ is now known as r3wPYEWNrKkAPAVO 20:39:17 You can have static check, if you like them. But the problems occur at run-time. 20:39:56 -!- r2q2 [43ad6b5a@gateway/web/freenode/ip.67.173.107.90] has quit [Ping timeout: 252 seconds] 20:41:59 kniu [~kniu@pool-96-250-3-60.nycmny.fios.verizon.net] has joined #scheme 20:47:28 But some problems occur at run-time because they were not spotted at compile-time. Both approaches are complementary. Using both means that there were less chances that RAX (a space probe, I assume?) would fail. 20:48:02 -!- r3wPYEWNrKkAPAVO is now known as elliottcable 20:48:21 eholk [~eholk@63-235-13-3.dia.static.qwest.net] has joined #scheme 20:48:28 Using static checks indeed reduces the chances of failures. But since that cannot reduce them to zero, you still need run-time error handling. 20:49:43 yes, indeed; I don't disagree with that. 20:52:56 -!- Xenope [~Xenope@host81-141-124-1.wlms-broadband.com] has quit [] 20:59:52 -!- homie [~user@xdsl-78-35-160-123.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:07:40 rachekhan [~Rachekhan@188.19.151.30] has joined #scheme 21:08:13 -!- rachekhan [~Rachekhan@188.19.151.30] has left #scheme 21:12:58 aidalgol [~user@202.36.179.68] has joined #scheme 21:20:07 fantazo: If you simply want to _extend_ how define works, rather than replace it entirely, some Schemes let you do that. You simply create, in your module, a new "define" macro that delegates to the system one. 21:20:44 fantazo: Example: as of Guile 2.0.2, there is no support for the (define-syntax (foo stx) ...) form; you always have to write (define-syntax foo (lambda (stx) ...)). 21:21:24 fantazo: Notwithstanding that I posted to the Guile mailing list a patch that adds support for it "out of the box", it's also possible to apply this technique to extend define-syntax to support the (define-syntax (foo stx) ...) form. 21:22:23 fantazo: See https://raw.github.com/cky/guile2-modules/master/src/guile/compat.scm for example. 21:23:09 fantazo: In this particular case, all the core Guile stuff is in the (guile) module; so all I did was import define-syntax from (guile) under the name guile-define-syntax, and have my module define a define-syntax that eventually delegates to guile-define-syntax. 21:23:33 fantazo: Then I export my new define-syntax, so that anybody who imports my module can then have this added functionality. 21:23:36 It's pretty simple. :-D 21:30:26 -!- aidalgol [~user@202.36.179.68] has quit [Read error: Connection reset by peer] 21:36:56 -!- keenbug [~daniel@p4FE3B238.dip.t-dialin.net] has left #scheme 21:37:44 -!- eholk [~eholk@63-235-13-3.dia.static.qwest.net] has quit [Quit: eholk] 21:39:27 pothos_ [~pothos@111-240-173-60.dynamic.hinet.net] has joined #scheme 21:40:28 -!- pothos [~pothos@111-240-170-107.dynamic.hinet.net] has quit [Read error: Operation timed out] 21:40:56 -!- pothos_ is now known as pothos 21:48:06 -!- peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has quit [Quit: Must not waste too much time here...] 21:48:15 peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has joined #scheme 21:48:45 -!- copumpkin is now known as bob_loblaw 21:50:17 -!- peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has quit [Remote host closed the connection] 21:50:24 peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has joined #scheme 21:50:24 -!- bob_loblaw is now known as copumpkin 21:50:57 -!- Astrobe [~opera@197.127.123.78.rev.sfr.net] has left #scheme 21:52:28 -!- peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has quit [Remote host closed the connection] 21:52:34 peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has joined #scheme 21:53:05 -!- peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has quit [Client Quit] 21:53:11 peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has joined #scheme 21:54:31 -!- peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has quit [Remote host closed the connection] 21:54:31 writing portable scheme code which isn't braindead isn't that easy. 21:54:36 peterhil [~peterhil@hoasnet-ff04dd00-56.dhcp.inet.fi] has joined #scheme 21:55:07 Honestly, I don't think many people bother. 21:55:22 fantazo: Talk to foof ;) 22:01:46 -!- HG` [~HG@p579F7248.dip.t-dialin.net] has quit [Quit: Leaving.] 22:02:07 fantazo_ [~fantazo@91-115-171-164.adsl.highway.telekom.at] has joined #scheme 22:05:15 -!- DrDuck [~duck@adsl-98-81-105-105.hsv.bellsouth.net] has quit [Quit: Leaving] 22:05:23 -!- fantazo [~fantazo@178-190-238-197.adsl.highway.telekom.at] has quit [Ping timeout: 246 seconds] 22:12:42 kuribas` [~user@d54C436FD.access.telenet.be] has joined #scheme 22:16:52 -!- gravicappa [~gravicapp@ppp91-77-185-208.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 22:24:40 aidalgol [~user@132.181.15.143] has joined #scheme 22:28:00 sublimepua [~sublimepu@cpe-72-224-203-207.maine.res.rr.com] has joined #scheme 22:28:11 -!- sublimepua [~sublimepu@cpe-72-224-203-207.maine.res.rr.com] has left #scheme 23:01:29 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 23:08:00 dralston [~dralston@S0106687f74a12729.va.shawcable.net] has joined #scheme 23:24:51 -!- tzhuang [~tzhuang@72.53.83.36] has quit [Ping timeout: 276 seconds] 23:39:12 eholk [~eholk@63-235-13-3.dia.static.qwest.net] has joined #scheme 23:47:40 realitygrill [~realitygr@c-24-5-7-139.hsd1.ca.comcast.net] has joined #scheme 23:53:44 -!- kuribas` [~user@d54C436FD.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:59:29 -!- kuribas [~user@d54C436FD.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)]