00:07:10 -!- adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has quit [Quit: adu] 00:27:52 tomodo [~tomodo@gateway/tor-sasl/tomodo] has joined #scheme 00:40:50 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 00:41:40 adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has joined #scheme 00:53:40 drrckln [~drrckln@ool-18ba55c0.dyn.optonline.net] has joined #scheme 01:01:44 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 256 seconds] 01:02:14 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 01:17:17 -!- dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has quit [Ping timeout: 252 seconds] 01:21:14 -!- amgarchIn9 [~amgarchin@p4FD60F81.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 01:30:53 -!- peeeep [~potato@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Quit: Konversation terminated!] 01:31:52 peeeep [~potato@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 01:45:30 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 260 seconds] 01:56:38 -!- tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 02:10:31 jcowan [~John@mail.digitalkingdom.org] has joined #scheme 02:22:12 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 02:27:13 This is the final month to review the R7RS-small draft and submit formal or informal comments. 02:28:26 Draft at http://trac.sacrideo.us/wg/raw-attachment/wiki/WikiStart/r7rs-draft-6.pdf ; send comments to scheme-reports@scheme-reports.org 02:37:40 aidalgol [~user@114-134-7-181.rurallink.co.nz] has joined #scheme 02:53:26 -!- jonathansizz [~ian@70.138.242.181] has quit [Ping timeout: 246 seconds] 02:53:38 -!- hash_table [~quassel@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 240 seconds] 02:53:38 -!- getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has quit [Ping timeout: 240 seconds] 02:55:17 woonie [~woonie@124.109.163.3] has joined #scheme 02:57:19 chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has joined #scheme 03:13:28 levi_ [~levi@c-174-52-219-147.hsd1.ut.comcast.net] has joined #scheme 03:26:26 -!- arbn [~arbn@pool-108-39-146-112.pitbpa.fios.verizon.net] has quit [Quit: leaving] 03:29:21 -!- levi_ [~levi@c-174-52-219-147.hsd1.ut.comcast.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 03:39:42 -!- aidalgol [~user@114-134-7-181.rurallink.co.nz] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:40:57 npx [~alex@75.81.222.106] has joined #scheme 03:41:47 Are there any Scheme compilers using LLVM that compile to native binaries? 03:44:33 racket might use llvm. I know they do JIT compilation to native code. 03:46:49 -!- chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:49:18 chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has joined #scheme 03:51:46 lcc [~user@unaffiliated/lcc] has joined #scheme 03:54:04 arbn [~arbn@pool-108-39-146-112.pitbpa.fios.verizon.net] has joined #scheme 03:58:44 jeapostrophe [~jay@mo-65-40-187-44.sta.embarqhsd.net] has joined #scheme 03:58:47 -!- jeapostrophe [~jay@mo-65-40-187-44.sta.embarqhsd.net] has quit [Changing host] 03:58:48 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 04:20:05 -!- MrFahrenheit [~RageOfTho@cable-77-221-22-211.dynamic.vinet.ba] has quit [Ping timeout: 260 seconds] 04:20:26 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 04:23:10 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 04:24:31 -!- woonie [~woonie@124.109.163.3] has quit [Ping timeout: 244 seconds] 04:28:56 -!- npx [~alex@75.81.222.106] has left #scheme 04:34:00 drumond19 [~drumond19@186.214.88.233] has joined #scheme 04:36:08 -!- lcc [~user@unaffiliated/lcc] has quit [Ping timeout: 240 seconds] 04:39:59 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 04:40:30 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 05:21:49 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 246 seconds] 05:26:32 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has left #scheme 05:27:13 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 05:37:52 drumond1_ [~drumond19@177.133.176.92] has joined #scheme 05:39:25 -!- drumond19 [~drumond19@186.214.88.233] has quit [Ping timeout: 260 seconds] 05:41:33 -!- arbn [~arbn@pool-108-39-146-112.pitbpa.fios.verizon.net] has quit [Quit: leaving] 05:54:29 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 06:10:41 rbarraud_ [~rbarraud@125-239-196-121.jetstream.xtra.co.nz] has joined #scheme 06:15:29 phao [phao@189.98.141.225] has joined #scheme 06:29:42 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 06:30:46 ADnDrulES [ad3ccabc@gateway/web/freenode/ip.173.60.202.188] has joined #scheme 06:30:48 well 06:30:54 anyone alive? 06:31:33 i r alivez 06:31:35 :) 06:31:38 I suppose there are 7 billion people alive. 06:32:02 (alive me) 06:32:04 #t 06:32:13 oops 06:32:17 (alivep me) 06:32:19 #t 06:32:48 what does the 'well' refer to? 06:32:49 we are yusing scheme so (alive? me) => #t 06:32:55 i just came into the room :) 06:33:00 ADnDrulES: ? 06:34:01 so how goes the web business powered by scheme? 06:34:17 racket anc chicken seem to have servers as well as scsh 06:35:31 gambit also has a websolution (I think) 06:35:53 there is a lot of choice 06:36:17 and guile ships with a http server library 06:37:20 ironscheme also has some http server-side stuff (running on top of ASP.NET) 06:38:09 are any of them fast enough for commercial/scale use? 06:38:10 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 276 seconds] 06:43:12 gambit eh? I haven't investigated 06:43:30 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 244 seconds] 06:44:09 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 06:45:16 http://dynamo.iro.umontreal.ca/~gambit/wiki/index.php/Main_Page 06:48:19 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 06:48:44 I see the http snowball, but is that the web server? 06:48:45 hmmm 06:49:50 ijp [~user@host86-135-223-189.range86-135.btcentralplus.com] has joined #scheme 06:51:20 -!- pygospa [~Pygosceli@kiel-5f77b13c.pool.mediaWays.net] has quit [Disconnected by services] 06:51:27 TheRealPygo [~Pygosceli@kiel-5f77b626.pool.mediaWays.net] has joined #scheme 06:52:09 https://github.com/pereckerdal/sack ? 06:53:56 I have to appologize, I was mistaken, there is no standard http server for Gambit. But you can use Apache. 06:54:39 ## Sack web server and HTTP client. 06:55:23 hmm 06:55:48 scheme is more powerful than perl yet perl seems to be used for the web more 06:56:04 that's because perl hackers actually understand the concept of code reuse 06:56:16 is there a prevalence layer implementation in scheme? www.prevayler.org 06:56:24 hmm 06:56:31 it's gavino, right? 06:56:36 yes 06:56:50 every time you mention prevalence you give yourself away 06:56:50 I got a project at a ruby rails shop 06:57:01 it is still intruiging 06:57:07 to me at least 06:57:13 maybe im pboring 06:58:07 boring 06:58:18 pboring wow that could be petaboring? 07:00:01 -!- adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has quit [Quit: adu] 07:02:16 zxc12 [~clifton@71.45.124.229] has joined #scheme 07:05:19 -!- hiyosi [~hiyosi@59.91.30.125.dy.iij4u.or.jp] has quit [Ping timeout: 244 seconds] 07:10:59 hiyosi [~hiyosi@59.91.30.125.dy.iij4u.or.jp] has joined #scheme 07:11:18 -!- homie [~levgue@xdsl-78-35-153-68.netcologne.de] has quit [Ping timeout: 245 seconds] 07:16:50 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 260 seconds] 07:17:45 tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 07:33:45 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 260 seconds] 07:34:32 -!- ijp [~user@host86-135-223-189.range86-135.btcentralplus.com] has quit [Quit: dud network connection] 07:37:55 gravicappa [~gravicapp@ppp91-77-175-117.pppoe.mtu-net.ru] has joined #scheme 07:42:48 aidalgol [~user@114-134-7-181.rurallink.co.nz] has joined #scheme 07:43:44 -!- aidalgol [~user@114-134-7-181.rurallink.co.nz] has left #scheme 07:49:56 -!- phao [phao@189.98.141.225] has quit [Quit: Not Here] 07:52:41 drumond19 [~drumond19@186.214.75.76] has joined #scheme 07:54:10 -!- drumond1_ [~drumond19@177.133.176.92] has quit [Ping timeout: 260 seconds] 07:56:11 ijp [~user@host86-143-193-90.range86-143.btcentralplus.com] has joined #scheme 08:01:13 :) 08:03:19 -!- ADnDrulES is now known as chaotic_good 08:06:21 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 08:06:38 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 246 seconds] 08:07:08 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 08:13:02 guess scheme no good for web progarmming? 08:13:13 if scheme betetr lang than ruby perl python then why not better at wb? 08:13:17 no code re use? 08:13:52 fuck off gavino 08:13:59 hey 08:14:02 why rude? 08:14:06 Im not dissing scheme 08:14:13 Im trying to get a conversation going 08:14:29 I am firm believer that scheme and lisp ARE beter 08:14:29 yes, the same one you've failed to continue for more than five minutes on a hundred other occasions 08:14:32 now fuck off 08:14:45 why do you say fuck off? 08:15:20 Probably because he's tired of the same repetitive crap. 08:15:38 cmon lets discuss web programming 08:15:49 doesnt anyone like it? 08:19:56 so uncalled for gosh 08:21:17 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 08:23:04 phao [phao@189.98.141.225] has joined #scheme 08:24:31 stop reading into my words that I am insulting scheme 08:24:37 I wish only to leverage scheme 08:24:41 and see it shine 08:29:11 -!- chaotic_good [ad3ccabc@gateway/web/freenode/ip.173.60.202.188] has quit [Ping timeout: 245 seconds] 08:29:49 chaotic_good_ [ad3ccabc@gateway/web/freenode/ip.173.60.202.188] has joined #scheme 08:33:37 http://www.scheme.com/tspl4.html topic link wrong 08:38:14 or webcaht free node adds %22) to the link hmm 08:38:18 doh! 08:44:56 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 08:48:56 -!- chaotic_good_ [ad3ccabc@gateway/web/freenode/ip.173.60.202.188] has left #scheme 08:52:21 -!- jcowan [~John@mail.digitalkingdom.org] has left #scheme 08:55:43 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 245 seconds] 08:56:04 -!- nowhereman [~pierre@AStrasbourg-551-1-11-59.w86-213.abo.wanadoo.fr] has quit [Remote host closed the connection] 08:56:29 nowhereman [~pierre@AStrasbourg-551-1-11-59.w86-213.abo.wanadoo.fr] has joined #scheme 09:09:14 -!- tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 09:15:19 -!- fantazo [~fantazo@91.119.75.149] has quit [Remote host closed the connection] 09:23:32 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: antithesis] 09:30:30 -!- drrckln [~drrckln@ool-18ba55c0.dyn.optonline.net] has quit [Read error: Connection reset by peer] 09:32:41 levi_ [~levi@c-174-52-219-147.hsd1.ut.comcast.net] has joined #scheme 09:35:16 drrckln [~drrckln@ool-18ba55c0.dyn.optonline.net] has joined #scheme 09:35:22 -!- Myk267 [~myk@71.149.255.106] has quit [Quit: Myk267] 09:37:27 choas [~lars@p5795C51C.dip.t-dialin.net] has joined #scheme 09:39:15 Myk267 [~myk@71.149.255.106] has joined #scheme 09:51:39 amgarchIn9 [~amgarchin@p4FD60CDC.dip0.t-ipconnect.de] has joined #scheme 09:58:08 palach [~palach@93.175.8.83] has joined #scheme 10:00:03 ijp` [~user@host86-182-152-218.range86-182.btcentralplus.com] has joined #scheme 10:02:30 -!- ijp [~user@host86-143-193-90.range86-143.btcentralplus.com] has quit [Ping timeout: 260 seconds] 10:03:03 homie [~levgue@xdsl-78-35-161-167.netcologne.de] has joined #scheme 10:04:03 -!- acedia [~garland@unaffiliated/ffs] has quit [Remote host closed the connection] 10:04:23 acedia [~garland@unaffiliated/ffs] has joined #scheme 10:05:18 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 10:05:19 -!- ijp` is now known as ijp 10:12:44 -!- levi_ [~levi@c-174-52-219-147.hsd1.ut.comcast.net] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 10:21:19 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 10:32:49 ijp` [~user@host109-151-49-84.range109-151.btcentralplus.com] has joined #scheme 10:35:45 -!- ijp [~user@host86-182-152-218.range86-182.btcentralplus.com] has quit [Ping timeout: 260 seconds] 10:41:59 Heya... 10:42:12 is there any text out there pointing out connections between continuations and exceptions? 10:46:33 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 10:48:33 -!- gravicappa [~gravicapp@ppp91-77-175-117.pppoe.mtu-net.ru] has quit [Ping timeout: 252 seconds] 10:48:46 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 10:48:47 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 10:48:48 phax [~phax@unaffiliated/phax] has joined #scheme 10:57:52 jeapostrophe [~jay@mo-65-40-187-44.sta.embarqhsd.net] has joined #scheme 10:57:52 -!- jeapostrophe [~jay@mo-65-40-187-44.sta.embarqhsd.net] has quit [Changing host] 10:57:52 jeapostrophe [~jay@racket/jeapostrophe] has joined #scheme 11:10:56 -!- SeanTAllen [u4855@gateway/web/irccloud.com/x-zrczufogfbaoxlkc] has quit [Max SendQ exceeded] 11:13:52 -!- rbarraud_ [~rbarraud@125-239-196-121.jetstream.xtra.co.nz] has quit [Read error: Connection reset by peer] 11:18:35 pygospa [~Pygosceli@kiel-d9bfd6b1.pool.mediaWays.net] has joined #scheme 11:20:33 -!- TheRealPygo [~Pygosceli@kiel-5f77b626.pool.mediaWays.net] has quit [Ping timeout: 244 seconds] 11:21:51 mvuets [~mvuets@dhcp-077-248-147-148.chello.nl] has joined #scheme 11:24:08 r_r_r [~chatzilla@77.126.178.140] has joined #scheme 11:35:06 SeanTAllen [u4855@gateway/web/irccloud.com/x-mvzhzllsweitttmm] has joined #scheme 11:41:04 madmuppet006 [~madmuppet@122-62-124-247.jetstream.xtra.co.nz] has joined #scheme 11:42:30 Im trying to write my own and procedure .. I can do it with two inputs but I want to generalise it so I can use more .. I know in common lisp I can use &rest .. how would I do that with scheme? 11:44:12 (define (f a b . c) ...) maybe 11:49:57 masm [~masm@bl17-197-41.dsl.telepac.pt] has joined #scheme 11:57:32 -!- jeapostrophe [~jay@racket/jeapostrophe] has quit [Ping timeout: 245 seconds] 11:58:29 MrFahrenheit [~RageOfTho@cable-77-221-22-211.dynamic.vinet.ba] has joined #scheme 12:04:25 -!- ijp` [~user@host109-151-49-84.range109-151.btcentralplus.com] has quit [Ping timeout: 260 seconds] 12:13:33 madmuppet006: and is not a procedure. 12:19:34 pjb: but it can be, if we try really hard :) 12:31:06 -!- drrckln [~drrckln@ool-18ba55c0.dyn.optonline.net] has quit [Read error: Connection reset by peer] 12:31:13 drrckln [~drrckln@ool-18ba55c0.dyn.optonline.net] has joined #scheme 12:40:36 getpwnam [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 12:40:36 jonathansizz [~ian@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 12:41:30 hash_table [~quassel@70-138-242-181.lightspeed.hstntx.sbcglobal.net] has joined #scheme 13:00:06 ijp [~user@host86-177-157-145.range86-177.btcentralplus.com] has joined #scheme 13:00:22 pjb: this is what I have so far .. in common lisp .. I want to try write something like this in scheme http://pastebin.com/xuaYH5da 13:03:56 tomobrien [~tomobrien@host-92-2-68-225.as43234.net] has joined #scheme 13:05:17 -!- r_r_r [~chatzilla@77.126.178.140] has quit [Quit: ChatZilla 0.9.88.2 [Firefox 13.0/20120601045813]] 13:06:27 madmuppet006: in CL, (defun and- (&rest args) (every 'identity args)) 13:07:32 -!- chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has quit [Read error: Connection reset by peer] 13:08:36 (define (and- . args) (cond ((null? args) #t) ((null? (cdr args)) (car args)) (else (if (car args) (apply and- (cdr args)) #f)))) 13:09:45 pjb: thanks for that .. Ill have to see if I can work out whats going on 13:10:59 chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has joined #scheme 13:14:32 -!- Natch| [~Natch|@178.73.212.230] has quit [Read error: Connection reset by peer] 13:15:10 Natch| [~Natch|@178.73.212.230] has joined #scheme 13:15:42 You can also write it as: (define (and- . args) (cond ((null? args) #t) ((null? (cdr args)) (car args)) ((car args) (apply and- (cdr args))) (else #f))) 13:19:26 ijp` [~user@host81-159-29-13.range81-159.btcentralplus.com] has joined #scheme 13:21:50 ijp`` [~user@host81-159-28-69.range81-159.btcentralplus.com] has joined #scheme 13:22:00 -!- ijp [~user@host86-177-157-145.range86-177.btcentralplus.com] has quit [Ping timeout: 260 seconds] 13:22:07 -!- ijp`` is now known as ijp 13:23:10 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 13:23:23 -!- ijp` [~user@host81-159-29-13.range81-159.btcentralplus.com] has quit [Read error: Operation timed out] 13:26:20 -!- phao [phao@189.98.141.225] has quit [Quit: Not Here] 13:27:13 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 13:28:57 pjb : not #'identity then ? 13:32:06 -!- masm [~masm@bl17-197-41.dsl.telepac.pt] has quit [Quit: Leaving.] 13:41:53 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 13:42:43 ski: not necessarily. 13:43:29 If identity is cl:identity, then both #'identity and 'identity designate the same function. 13:45:22 ok 13:45:49 *ski* is unconfortable with passing around symbols referencing functions 13:50:56 -!- chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 13:52:32 chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has joined #scheme 13:54:25 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 13:56:41 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 14:09:07 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 14:09:15 -!- Natch| [~Natch|@178.73.212.230] has quit [Ping timeout: 260 seconds] 14:11:47 -!- pchrist_ [~spirit@gentoo/developer/pchrist] has quit [Quit: leaving] 14:12:18 pchrist [~spirit@gentoo/developer/pchrist] has joined #scheme 14:13:01 Natch| [~Natch|@178.73.212.235] has joined #scheme 14:18:42 -!- madmuppet006 [~madmuppet@122-62-124-247.jetstream.xtra.co.nz] has quit [Quit: Leaving] 14:19:01 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Ping timeout: 276 seconds] 14:25:53 kephas [~pierre@AStrasbourg-551-1-101-116.w90-13.abo.wanadoo.fr] has joined #scheme 14:28:32 answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has joined #scheme 14:29:03 -!- nowhereman [~pierre@AStrasbourg-551-1-11-59.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 245 seconds] 14:31:01 -!- joast [~rick@98.145.85.206] has quit [Quit: Leaving.] 14:35:44 -!- chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 14:36:42 nowhere_man [~pierre@AStrasbourg-551-1-111-55.w90-13.abo.wanadoo.fr] has joined #scheme 14:39:38 -!- kephas [~pierre@AStrasbourg-551-1-101-116.w90-13.abo.wanadoo.fr] has quit [Ping timeout: 245 seconds] 14:39:56 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 14:42:50 rudybot: (require srfi/1) 14:42:51 cky: your sandbox is ready 14:42:51 cky: Done. 14:43:32 rudybot: (define (and- . args) (every values args)) 14:43:33 cky: Done. 14:43:36 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 14:43:49 pjb: ^^--- Scheme version of your CL implementation. ;-) 14:43:59 *cky* agrees with ski. 14:46:39 ijp++ for "fuck off gavino". :-) 14:49:39 nowhereman [~pierre@AStrasbourg-551-1-8-189.w92-141.abo.wanadoo.fr] has joined #scheme 14:50:11 -!- nowhere_man [~pierre@AStrasbourg-551-1-111-55.w90-13.abo.wanadoo.fr] has quit [Ping timeout: 265 seconds] 14:51:29 phao [phao@177.146.138.109] has joined #scheme 14:51:30 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 14:54:40 ijp++ 14:57:58 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 14:59:19 rgc [~user@75.Red-88-16-65.dynamicIP.rima-tde.net] has joined #scheme 15:00:45 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 15:06:04 phao: yes, you might want to read "A generalization of exceptions and control in ML-like languages" 15:11:24 4 15:11:27 Oops. 15:11:48 -!- hiyosi [~hiyosi@59.91.30.125.dy.iij4u.or.jp] has quit [] 15:12:13 thx 15:16:15 hm, the "strong soundness" counter-example in the paper is interesting 15:17:09 adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has joined #scheme 15:18:31 (a) since the computation calling `g', and thus `c', is aborted, i don't see any problem with claiming that `g' returns a boolean, *if* it returns (which it doesn't) 15:19:59 (and in case we call `g' as part of a larger computation, the static typing regime would rightfully insist that we use the result of `g' as a boolean, not as an integer) 15:22:42 (b) i suppose i would expect that when the function `c' is called (for the first time), it would first abort the current computation, resurrecting the one defining `c' (binding it this time to a certain constant function) .. 15:22:48 but *then* i'd also expect it to reelaborate the binding for `g' (wrt this new binding for `c'), instead of either leaving `g' unbound (as suggested in the paper) or leaving `g' bound to its old value 15:24:08 -!- nowhereman [~pierre@AStrasbourg-551-1-8-189.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 240 seconds] 15:25:59 iow i'd expect the same behaviour for the interactor here as one'd get if all the declarations and expressions were written in a file 15:29:43 The example gets more problematic if it randomly decides to throw or not. 15:29:59 Because then you can't be sure whether it returns bool or the other thing. 15:30:13 if it returns, it returns a boolean 15:30:21 i don't see a problem 15:30:29 How do you type-check if it returns? 15:30:34 you don't 15:31:08 if `c 2' returns, it returns an integer, by the type-checking of `c' 15:31:21 therefore `5 > (c 2)' returns a boolean, if it returns 15:32:05 the point is that (initially) `c' does *not* return (directly) 15:32:11 nowhereman [~pierre@AStrasbourg-551-1-8-189.w92-141.abo.wanadoo.fr] has joined #scheme 15:32:25 it jumps back, and binds `c' to something else 15:33:04 if it then just stopped after that, that would be ok (but conceptually strange, as i attempted to hint at above) 15:34:05 drumond1_ [~drumond19@177.99.130.83] has joined #scheme 15:34:16 otoh, if it then reelaborates/reevaluates all the declarations/expressions from that point on which the user has entered into the interactor, then it would bind `g' (again) to a function, and finally (again) evaluate the expression which called `g' 15:34:25 -!- drumond19 [~drumond19@186.214.75.76] has quit [Ping timeout: 260 seconds] 15:35:13 and this time, `c' would return `2+4', so that we evaluate `5 > 6' which is `false' 15:35:57 in either way, `g' returns a boolean and `c' an integer (if they return) 15:36:40 then there's the third approach, which is what actually happens in SML/NJ (and i think Racket), that you get an exception when you attempt the throw 15:36:53 -!- nowhereman [~pierre@AStrasbourg-551-1-8-189.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 248 seconds] 15:43:01 -!- TDJACR [~TDJACR@lilug/member/tdjacr] has quit [Ping timeout: 244 seconds] 15:49:09 X-Scale [name@2001:470:1f14:135b::2] has joined #scheme 15:51:02 TDJACR [~TDJACR@lilug/member/tdjacr] has joined #scheme 15:55:32 rins [~aaron@c-66-31-29-144.hsd1.ma.comcast.net] has joined #scheme 15:57:57 lcc [~user@unaffiliated/lcc] has joined #scheme 15:58:40 woonie [~woonie@124.109.163.3] has joined #scheme 16:00:09 -!- choas [~lars@p5795C51C.dip.t-dialin.net] has quit [Ping timeout: 245 seconds] 16:10:06 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 16:10:33 noam [~noam@37.142.141.69] has joined #scheme 16:12:18 -!- adu [~ajr@pool-173-66-16-10.washdc.fios.verizon.net] has quit [Quit: adu] 16:32:49 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 16:34:08 nowhereman [~pierre@AStrasbourg-551-1-8-189.w92-141.abo.wanadoo.fr] has joined #scheme 16:35:37 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:42:02 lcc [~user@unaffiliated/lcc] has joined #scheme 16:46:34 arbn [~arbn@pool-108-39-146-112.pitbpa.fios.verizon.net] has joined #scheme 16:50:51 kuribas [~user@94-227-36-245.access.telenet.be] has joined #scheme 16:52:11 danly [~yaaic@207.245.236.59] has joined #scheme 16:53:10 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 260 seconds] 16:53:39 copumpkin [~copumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #scheme 16:53:47 -!- copumpkin [~copumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Changing host] 16:53:47 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 16:53:48 -!- sporous [~sporous@antispammeta/bot/irssi/sporous] has quit [Ping timeout: 245 seconds] 16:54:56 sporous [~sporous@antispammeta/bot/irssi/sporous] has joined #scheme 17:00:41 gravicappa [~gravicapp@ppp91-77-172-202.pppoe.mtu-net.ru] has joined #scheme 17:01:56 -!- kuribas [~user@94-227-36-245.access.telenet.be] has quit [Read error: No route to host] 17:06:18 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:06:56 kuribas [~user@94-227-36-245.access.telenet.be] has joined #scheme 17:09:36 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 17:12:03 -!- peterhil` [~peterhil@91-157-48-51.elisa-laajakaista.fi] has quit [Remote host closed the connection] 17:13:35 peterhil` [~peterhil@91-157-48-51.elisa-laajakaista.fi] has joined #scheme 17:17:05 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 260 seconds] 17:17:33 -!- mvuets [~mvuets@dhcp-077-248-147-148.chello.nl] has quit [Ping timeout: 245 seconds] 17:28:54 tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 17:30:31 -!- Myk267 [~myk@71.149.255.106] has quit [Quit: Myk267] 17:35:08 -!- gravicappa [~gravicapp@ppp91-77-172-202.pppoe.mtu-net.ru] has quit [Ping timeout: 244 seconds] 17:37:39 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 17:44:34 Myk267 [~myk@adsl-71-149-255-106.dsl.mtry01.sbcglobal.net] has joined #scheme 17:47:24 mvuets [~mvuets@dhcp-077-248-147-148.chello.nl] has joined #scheme 17:48:04 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 245 seconds] 17:53:38 -!- Natch| [~Natch|@178.73.212.235] has quit [Ping timeout: 245 seconds] 17:54:07 Natch| [~Natch|@178.73.212.235] has joined #scheme 17:54:46 -!- woonie [~woonie@124.109.163.3] has quit [Ping timeout: 244 seconds] 18:03:57 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 244 seconds] 18:05:14 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 18:05:18 -!- sporous [~sporous@antispammeta/bot/irssi/sporous] has quit [Ping timeout: 245 seconds] 18:06:08 -!- Natch| [~Natch|@178.73.212.235] has quit [Ping timeout: 240 seconds] 18:06:50 sporous [~sporous@antispammeta/bot/irssi/sporous] has joined #scheme 18:08:10 Natch| [~Natch|@178.73.212.235] has joined #scheme 18:10:01 -!- rins [~aaron@c-66-31-29-144.hsd1.ma.comcast.net] has quit [Ping timeout: 252 seconds] 18:10:25 -!- wtetzner [~wtetzner@c-24-218-217-69.hsd1.ma.comcast.net] has quit [Quit: Leaving] 18:10:32 -!- snorble [~snorble@c193-14-18-68.cust.tele2.se] has quit [Read error: Connection reset by peer] 18:11:49 rins [~aaron@c-66-31-29-144.hsd1.ma.comcast.net] has joined #scheme 18:16:37 adu [~ajr@ip-64-134-100-182.public.wayport.net] has joined #scheme 18:25:54 dnolen [~user@cpe-98-14-92-234.nyc.res.rr.com] has joined #scheme 18:28:26 joast [~rick@98.145.85.206] has joined #scheme 18:43:09 eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 18:45:57 bfig [~b_fin_g@r190-135-31-48.dialup.adsl.anteldata.net.uy] has joined #scheme 18:50:31 -!- rgc [~user@75.Red-88-16-65.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 18:54:45 -!- adu [~ajr@ip-64-134-100-182.public.wayport.net] has quit [Ping timeout: 248 seconds] 18:55:57 adu [~ajr@ip-64-134-100-182.public.wayport.net] has joined #scheme 18:56:31 phax [~phax@unaffiliated/phax] has joined #scheme 19:07:35 add^_ [~add^_^@m90-141-61-234.cust.tele2.se] has joined #scheme 19:08:45 chu [~mathew.ba@CPE-58-169-13-80.lns2.civ.bigpond.net.au] has joined #scheme 19:08:58 -!- tomodo [~tomodo@gateway/tor-sasl/tomodo] has quit [Remote host closed the connection] 19:16:55 fantazo [~fantazo@91.119.75.149] has joined #scheme 19:17:54 -!- adu [~ajr@ip-64-134-100-182.public.wayport.net] has quit [Quit: adu] 19:25:57 -!- answer_42 [~answer_42@gateway/tor-sasl/answer42/x-66983568] has quit [Remote host closed the connection] 19:29:51 lusory [~lusory@bb115-66-194-180.singnet.com.sg] has joined #scheme 19:33:17 wingo [~wingo@90.164.198.39] has joined #scheme 19:36:14 -!- phao [phao@177.146.138.109] has quit [Quit: Not Here] 19:38:54 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: antithesis] 19:39:19 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 19:46:27 -!- mvuets [~mvuets@dhcp-077-248-147-148.chello.nl] has quit [Quit: 73!] 19:53:15 -!- jschuster [~schuster@solarquest.ccs.neu.edu] has left #scheme 19:56:57 lcc [~user@unaffiliated/lcc] has joined #scheme 19:57:40 -!- arbn [~arbn@pool-108-39-146-112.pitbpa.fios.verizon.net] has quit [Quit: leaving] 20:06:47 homie` [~levgue@xdsl-87-79-192-123.netcologne.de] has joined #scheme 20:08:23 masm [~masm@bl17-197-41.dsl.telepac.pt] has joined #scheme 20:08:27 -!- homie [~levgue@xdsl-78-35-161-167.netcologne.de] has quit [Ping timeout: 252 seconds] 20:11:11 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Remote host closed the connection] 20:13:41 -!- EvanR [~erinehart@unaffiliated/evanr] has quit [Ping timeout: 248 seconds] 20:15:31 kephas [~pierre@AStrasbourg-551-1-22-40.w86-213.abo.wanadoo.fr] has joined #scheme 20:17:55 -!- nowhereman [~pierre@AStrasbourg-551-1-8-189.w92-141.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds] 20:19:37 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: antithesis] 20:23:37 -!- homie` [~levgue@xdsl-87-79-192-123.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:25:03 -!- cyphase [~cyphase@unaffiliated/cyphase] has quit [Ping timeout: 246 seconds] 20:26:26 homie [~levgue@xdsl-87-79-192-123.netcologne.de] has joined #scheme 20:28:13 -!- kephas [~pierre@AStrasbourg-551-1-22-40.w86-213.abo.wanadoo.fr] has quit [Ping timeout: 244 seconds] 20:28:22 kephas [~pierre@AStrasbourg-551-1-82-118.w81-51.abo.wanadoo.fr] has joined #scheme 20:43:49 -!- noam [~noam@37.142.141.69] has quit [Ping timeout: 256 seconds] 20:50:34 jao [~user@236.Red-83-58-202.dynamicIP.rima-tde.net] has joined #scheme 20:50:48 -!- jao [~user@236.Red-83-58-202.dynamicIP.rima-tde.net] has quit [Changing host] 20:50:48 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 20:53:20 noam [~noam@37.142.141.69] has joined #scheme 20:53:55 drumond19 [~drumond19@177.133.176.247] has joined #scheme 20:54:11 nowhere_man [~pierre@AStrasbourg-551-1-39-80.w92-148.abo.wanadoo.fr] has joined #scheme 20:54:40 -!- drumond1_ [~drumond19@177.99.130.83] has quit [Ping timeout: 260 seconds] 20:55:09 -!- rins [~aaron@c-66-31-29-144.hsd1.ma.comcast.net] has quit [Quit: leaving] 20:56:14 -!- lcc [~user@unaffiliated/lcc] has quit [Read error: Operation timed out] 20:57:35 -!- kephas [~pierre@AStrasbourg-551-1-82-118.w81-51.abo.wanadoo.fr] has quit [Ping timeout: 260 seconds] 21:18:18 -!- eni [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Ping timeout: 265 seconds] 21:23:18 r_r_r [~chatzilla@77.126.178.140] has joined #scheme 21:24:21 lcc [~user@unaffiliated/lcc] has joined #scheme 21:24:38 cyphase [~cyphase@unaffiliated/cyphase] has joined #scheme 21:25:26 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 21:26:46 -!- pothos [~pothos@114-36-237-89.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 21:30:06 pothos [~pothos@114-36-231-164.dynamic.hinet.net] has joined #scheme 21:31:21 danishman [~kvirc@62.243.156.218] has joined #scheme 21:31:35 -!- tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 21:36:14 tuubow_ [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 21:37:05 -!- leppie [~lolcow@196-210-191-31.dynamic.isadsl.co.za] has quit [Ping timeout: 256 seconds] 21:41:23 leppie [~lolcow@196-210-148-28.dynamic.isadsl.co.za] has joined #scheme 21:42:56 nowhereman [~pierre@AStrasbourg-551-1-45-144.w92-148.abo.wanadoo.fr] has joined #scheme 21:43:53 -!- add^_ [~add^_^@m90-141-61-234.cust.tele2.se] has quit [Quit: add^_] 21:45:32 -!- nowhere_man [~pierre@AStrasbourg-551-1-39-80.w92-148.abo.wanadoo.fr] has quit [Ping timeout: 246 seconds] 21:54:59 -!- wingo [~wingo@90.164.198.39] has quit [Ping timeout: 246 seconds] 21:55:00 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:55:15 __rahul__ [~rahul@59.178.63.58] has joined #scheme 21:55:58 -!- danishman [~kvirc@62.243.156.218] has quit [Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/] 21:58:45 -!- leppie [~lolcow@196-210-148-28.dynamic.isadsl.co.za] has quit [Ping timeout: 248 seconds] 21:59:26 -!- githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has quit [Read error: Connection reset by peer] 22:03:34 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 22:04:08 leppie [~lolcow@196-210-191-31.dynamic.isadsl.co.za] has joined #scheme 22:05:37 youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has joined #scheme 22:08:05 -!- kuribas [~user@94-227-36-245.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:15:22 githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has joined #scheme 22:19:18 -!- r_r_r [~chatzilla@77.126.178.140] has quit [Quit: ChatZilla 0.9.88.2 [Firefox 13.0/20120601045813]] 22:21:27 -!- githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 22:28:36 -!- danly [~yaaic@207.245.236.59] has quit [Ping timeout: 244 seconds] 22:30:38 -!- acarrico [~acarrico@pppoe-68-142-40-183.gmavt.net] has quit [Ping timeout: 240 seconds] 22:43:59 -!- leppie [~lolcow@196-210-191-31.dynamic.isadsl.co.za] has quit [Ping timeout: 246 seconds] 22:48:40 leppie [~lolcow@196-210-148-28.dynamic.isadsl.co.za] has joined #scheme 22:55:20 -!- youlysses [~user@75-132-17-145.dhcp.stls.mo.charter.com] has quit [Remote host closed the connection] 23:05:10 -!- tomobrien [~tomobrien@host-92-2-68-225.as43234.net] has quit [Ping timeout: 244 seconds] 23:07:16 githogori [~githogori@c-50-131-15-16.hsd1.ca.comcast.net] has joined #scheme 23:07:43 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 23:08:50 -!- tali713 [~tali713@c-75-72-193-140.hsd1.mn.comcast.net] has quit [Ping timeout: 260 seconds] 23:13:38 -!- __rahul__ [~rahul@59.178.63.58] has quit [Ping timeout: 240 seconds] 23:14:54 -!- peterhil` [~peterhil@91-157-48-51.elisa-laajakaista.fi] has quit [Ping timeout: 272 seconds] 23:17:17 -!- leppie [~lolcow@196-210-148-28.dynamic.isadsl.co.za] has quit [Ping timeout: 252 seconds] 23:17:43 -!- amgarchIn9 [~amgarchin@p4FD60CDC.dip0.t-ipconnect.de] has quit [Quit: Konversation terminated!] 23:18:11 tupi [~david@187-15-246-144.user.veloxzone.com.br] has joined #scheme 23:22:28 leppie [~lolcow@196-210-191-31.dynamic.isadsl.co.za] has joined #scheme 23:31:00 -!- palach [~palach@93.175.8.83] has quit [Ping timeout: 260 seconds] 23:37:08 -!- leppie [~lolcow@196-210-191-31.dynamic.isadsl.co.za] has quit [Ping timeout: 245 seconds] 23:42:53 -!- tupi [~david@187-15-246-144.user.veloxzone.com.br] has quit [Quit: Leaving] 23:57:41 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 23:57:50 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 260 seconds] 23:59:10 lcc [~user@unaffiliated/lcc] has joined #scheme