15:46:05 ccl-logbot [~ccl-logbo@setf.clozure.com] has joined #scheme 15:46:05 15:46:05 -!- names: ccl-logbot juxovec tiksa add^_ yacks civodul przl fantazo nugnuts tupi annodomini ebzzry_ taylanub Shadox gravicappa oleo fikusz kuroikaze bjz araujo stamourv` davexunit Nizumzen jewel karswell tsuyoshi AlterSid oxum dsmith pnkfelix ohama ogamita stepnem mornfall Okasu wingo Razz Kneferilis vishesh minsa4 defanor leppie zacts SwashBuckla aoh andares_ robot-beethoven BossKonaSegwaY mario-goulart levi` cdidd cbsw tenq ASau eli cross [Pete_27] copec 15:46:05 -!- names: yosafbridge scoofy effy zarul ivan\ Kabaka offby1 gabot acarrico finnrobi antoszka cky944 sigjuice zbigniew_ ozzloy_ sad0ur_ asumu ec_ SHODAN aap_ Giomancer nicdev clog arrdem vnz shivani_ `^_^v gf3 joast cmatei sethalves MouldyOldBones Saeren Khisanth aeth bernalex ggherdov_ haroldwu_ C-Keen waxysubs DerGuteMoritz Nshag Kruppe twem2 felipe erider z0d cibs tali713 ineiros iron_houzi certainty fadein gnomon m4burns fizzie Natch hive-mind acieroid pjb` 15:46:05 -!- names: duncanm xian_ heath copumpkin @elly githogori arbscht ada2358 juanfra rudybot ski jrslepak emma LeoNerd stephe_ amoe omefire inarru kbtr eMBee stamourv SirDayBat choas_ tessier_ epsylon` aking ft Guest25985 mrowe_away dRbiG mmc wilfredh kwmiebach_ greghendershott gluegadget CADD samth Blkt bicgena dan64 tinhead gazoombo pcarrier noobboob tizoc slowpoke jkraemer dpk 15:46:48 -!- MouldyOldBones [~mob@gateway/tor-sasl/mouldyoldbones] has quit [Remote host closed the connection] 15:47:29 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 272 seconds] 15:58:47 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 16:13:26 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 16:13:34 -!- vishesh [~vishesh@103.30.143.167] has quit [Ping timeout: 245 seconds] 16:14:59 -!- jewel [~jewel@105-236-88-77.access.mtnbusiness.co.za] has quit [Ping timeout: 246 seconds] 16:15:05 juxovec_ [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 16:15:42 -!- cbsw [~cbsw@116.208.183.45] has quit [Ping timeout: 252 seconds] 16:15:54 vishesh [~vishesh@103.30.143.167] has joined #scheme 16:16:46 MichaelRaskin [~MichaelRa@195.91.224.161] has joined #scheme 16:17:42 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 250 seconds] 16:19:46 -!- juxovec_ [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 245 seconds] 16:22:08 jao [~jao@224.133.14.37.dynamic.jazztel.es] has joined #scheme 16:22:12 -!- jao [~jao@224.133.14.37.dynamic.jazztel.es] has quit [Changing host] 16:22:12 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 16:26:01 -!- ebzzry_ [~ebzzry@112.204.31.237] has quit [Ping timeout: 245 seconds] 16:28:34 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 16:29:59 theseb [~cs@74.194.237.26] has joined #scheme 16:30:18 yay! the DDOS gods saw fit that today would be a placid day 16:31:16 -!- kuroikaze [~alex@217.193.168.43] has quit [Quit: Ex-Chat] 16:31:22 indeed 16:36:26 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 245 seconds] 16:37:06 ebzzry_ [~ebzzry@112.204.28.168] has joined #scheme 16:37:55 -!- add^_ [~user@m176-70-201-0.cust.tele2.se] has quit [Read error: Connection reset by peer] 16:38:09 -!- fantazo [~fantazo@213.129.230.10] has quit [Ping timeout: 272 seconds] 16:38:58 zeroish [~zeroish@135.207.141.202] has joined #scheme 17:04:45 -!- gravicappa [~gravicapp@ppp85-141-231-152.pppoe.mtu-net.ru] has quit [Ping timeout: 272 seconds] 17:06:53 round-robin [~bubo@91.224.149.58] has joined #scheme 17:07:57 sheilong [~sabayonus@unaffiliated/sheilong] has joined #scheme 17:13:43 ecraven [~user@www.nexoid.at] has joined #scheme 17:14:30 R5RS says scheme types are "disjoin" 17:14:34 i mean disjoint 17:14:57 yes 17:20:35 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [Excess Flood] 17:21:10 sheilong [~sabayonus@unaffiliated/sheilong] has joined #scheme 17:21:19 -!- pnkfelix [~pnkfelix@89.202.203.51] has quit [Quit: rcirc on GNU Emacs 24.3.1] 17:21:57 gravicappa [~gravicapp@ppp91-77-185-79.pppoe.mtu-net.ru] has joined #scheme 17:23:29 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Remote host closed the connection] 17:28:46 -!- ogamita [~t@tru75-h02-31-38-72-69.dsl.sta.abo.bbox.fr] has quit [Ping timeout: 250 seconds] 17:37:33 zett_zelett [~zett_zele@p2003004DEC282D0102216AFFFE32DB30.dip0.t-ipconnect.de] has joined #scheme 17:44:35 -!- yacks [~py@103.6.159.103] has quit [Ping timeout: 246 seconds] 17:46:16 -!- inarru [~edwardgeo@nest.insectsarerubbish.org] has quit [Read error: Operation timed out] 17:46:16 -!- juanfra [~juanfra@unaffiliated/juanfra] has quit [Read error: Operation timed out] 17:47:02 juanfra [~juanfra@unaffiliated/juanfra] has joined #scheme 17:47:09 -!- rudybot [~luser@ec2-54-215-10-197.us-west-1.compute.amazonaws.com] has quit [Ping timeout: 252 seconds] 17:47:40 rudybot [~luser@ec2-54-215-10-197.us-west-1.compute.amazonaws.com] has joined #scheme 17:48:00 amgarching [~amgarchin@p4FD61716.dip0.t-ipconnect.de] has joined #scheme 17:48:45 pnkfelix [~pnkfelix@bas75-2-88-170-201-21.fbx.proxad.net] has joined #scheme 17:49:06 inarru [~edwardgeo@nest.insectsarerubbish.org] has joined #scheme 17:53:46 theseb: It means that e.g. if an object returns #t for `string?' then it will return #f for all other type-predicates like say `char?' or `vector?'. 17:54:14 phipes [~phipes@unaffiliated/phipes] has joined #scheme 17:55:25 taylanub: yes....the only tough one to fit in that system is ()...but i think you said R5RS avoids talking about () which was wise :) 17:55:48 theseb: That's just `empty?', it has its own type. 17:55:54 oh cool 17:55:57 i didn't know that! 17:56:01 i like it 17:56:12 empty? 17:56:13 No wait, null? I think 17:56:15 ITYM null? 17:56:23 Back to basics. :P 17:56:25 it also satisfies list? though 17:56:33 oh no 17:56:34 But list is not a data-type. 17:56:38 indeed 17:56:38 there goes disjointness 17:56:40 BOOM! 17:56:46 theseb: No, it's just null?. 17:56:51 No other object is null?. 17:56:58 taylanub: wait...list is not a data type? 17:57:00 huh? 17:57:02 theseb: list? is not a type predicate 17:57:04 I just confused "empty" for "null". 17:57:27 i'll settle this 17:57:35 theseb: The type is pair. A list is defined as "either null, or a pair whose cdr is a list". 17:57:36 rudybot: (list? '()) 17:57:37 theseb: your sandbox is ready 17:57:37 theseb: ; Value: #t 17:57:48 rudybot: (null? '()) 17:57:48 theseb: ; Value: #t 17:58:01 i thought #t only hit for one 17:58:08 list? is not a type-predicate. 17:58:32 ah ok the type is "pair" 17:58:39 Yeah, or null. 17:58:41 rudybot: (pair? '()) 17:58:41 theseb: ; Value: #f 17:58:44 :) 18:00:38 -!- phipes [~phipes@unaffiliated/phipes] has quit [Remote host closed the connection] 18:03:28 -!- tiksa [~tiksa@gateway/tor-sasl/tiksa] has quit [Quit: peace] 18:11:32 -!- amgarching [~amgarchin@p4FD61716.dip0.t-ipconnect.de] has quit [Ping timeout: 246 seconds] 18:14:34 amgarching [~amgarchin@p4FD61716.dip0.t-ipconnect.de] has joined #scheme 18:23:40 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 18:35:14 -!- vishesh [~vishesh@103.30.143.167] has quit [Ping timeout: 245 seconds] 18:36:54 vishesh [~vishesh@103.30.140.162] has joined #scheme 18:41:32 pchrist [spirit@gentoo/developer/pchrist] has joined #scheme 18:49:50 chrisV [~chris@95.146.112.121] has joined #scheme 18:50:41 -!- chrisV [~chris@95.146.112.121] has left #scheme 18:51:51 -!- gravicappa [~gravicapp@ppp91-77-185-79.pppoe.mtu-net.ru] has quit [Ping timeout: 245 seconds] 18:52:11 aranhoide [~smuxi@121.Red-81-35-23.dynamicIP.rima-tde.net] has joined #scheme 18:58:26 -!- ggherdov_ [sid11402@gateway/web/irccloud.com/x-iricgftaevfavhgr] has quit [Ping timeout: 264 seconds] 19:06:26 -!- tupi [~user@189.60.18.38] has quit [Ping timeout: 245 seconds] 19:10:26 gravicappa [~gravicapp@ppp91-77-187-194.pppoe.mtu-net.ru] has joined #scheme 19:17:36 ggherdov_ [sid11402@gateway/web/irccloud.com/x-xwwfothbgxldfgvg] has joined #scheme 19:20:12 joneshf-laptop [~joneshf@128.120.117.183] has joined #scheme 19:31:57 ebzzry__ [~ebzzry@112.204.28.168] has joined #scheme 19:32:21 -!- ebzzry_ [~ebzzry@112.204.28.168] has quit [Write error: Broken pipe] 19:44:24 snits [~snits@inet-hqmc02-o.oracle.com] has joined #scheme 19:47:53 pnpuff [~D@unaffiliated/pnpuff] has joined #scheme 19:48:15 -!- aranhoide [~smuxi@121.Red-81-35-23.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 19:49:16 klltkr_ [~klltkr@unaffiliated/klltkr] has joined #scheme 19:58:48 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 20:00:01 annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has joined #scheme 20:00:01 -!- annodomini [~lambda@173-14-129-9-NewEngland.hfc.comcastbusiness.net] has quit [Changing host] 20:00:01 annodomini [~lambda@wikipedia/lambda] has joined #scheme 20:05:27 rudybot: call/cc 20:05:28 SwashBuckla: just a way to bypass call/cc while still using it's power 20:05:41 rudybot: call-with-current-continuation 20:05:43 SwashBuckla: + and < are simple, try call-with-values or call-with-current-continuation :) 20:05:56 what 20:06:36 rudybot: Say something funny. 20:06:36 stamourv: I know I'm new here, but I think ams is funny. 20:07:00 SwashBuckla: You triggered its prose mode. 20:07:08 rudybot: eval call/cc 20:07:09 stamourv: your sandbox is ready 20:07:09 stamourv: ; Value: # 20:07:20 When in doubt, use eval. 20:07:25 okay, thanks stamourv 20:07:33 rudybot: eval call-with-current-continuation 20:07:34 SwashBuckla: your sandbox is ready 20:07:35 SwashBuckla: ; Value: # 20:07:36 Well, the eval rudybot command. `eval' itself should be avoided. 20:07:47 yeah :) 20:07:48 (As should call/cc, while we're on the topic.) 20:07:49 -!- pnpuff [~D@unaffiliated/pnpuff] has left #scheme 20:08:07 :O 20:08:20 I'm learning about it in The Seasoned Schemer 20:08:28 seems like a GOTO 20:08:45 the way it's been used so far, at least 20:09:50 forget what has been computed so far, and move on with f (whatever f is) 20:12:56 It can be used to create many kinds of control flow structure; one of which is to recreate goto 20:13:46 Though it can only goto "backwards", to an earlier point in history; it can't skip forwards 20:14:51 -!- klltkr_ [~klltkr@unaffiliated/klltkr] has quit [Remote host closed the connection] 20:14:54 shouldn't we replace rudybot with a "schemebot" and "racketbot" 20:14:57 just my $0.02 20:15:07 yes I was perhaps hasty making connections to GOTO 20:15:28 SwashBuckla: No it really is the ""mathematical"" GOTO. (I might be using a silly term here.) 20:15:48 don't be silly 20:15:53 :P 20:16:43 SwashBuckla: however, http://okmij.org/ftp/continuations/against-callcc.html 20:17:07 Delimited continuations are the thing, it's sad that R7RS-small was too early to deprecate call/cc in favor of them. 20:18:20 From what I gathered, the problem is just that there's several valid "foundations" for delimited continuations which can implement each other and it's unclear which would be the right ones to include in the small language. 20:19:05 I personally like Guile's primitives for delimited continuations. They're more "mechanical" than mathematical so I can grasp them very well. 20:20:00 taylanub: Guile's primitives are derived from the Racket ones IIRC 20:20:54 Or maybe it's really just the syntax that's the problem; things like shift/reset seem to mess with my intuition of how sexprs are evaluated; Guile's `call-with-prompt' just takes a procedure argument (which can call `abort-to-prompt') so it's easy. 20:21:00 (the ones described in http://www.cs.utah.edu/plt/publications/icfp07-fyff.pdf) 20:22:30 Also, there are plenty of ways to express call/cc so there is no "foundation" there either. It's just an arbitrary choice someone makes. 20:24:14 hmm 20:24:25 I have skimmed over the arguments 20:24:38 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 20:24:40 I will keep this in a bookmark and look at it as I read through The Seasoned Schemer 20:24:49 there seems to be compelling reasons not to use it 20:25:45 thankyou for the link taylanub 20:26:39 also, I have had a brief look at the sites parent directory -- WOW! All those articles about continuations?! 20:30:43 -!- Giomancer [~gio@107.201.206.230] has quit [Remote host closed the connection] 20:33:15 turbofail [~user@107-215-216-65.lightspeed.sntcca.sbcglobal.net] has joined #scheme 20:33:18 -!- bjz [~bjz@125.253.99.68] has quit [Read error: Connection reset by peer] 20:33:45 bjz [~bjz@125.253.99.68] has joined #scheme 20:45:43 -!- gravicappa [~gravicapp@ppp91-77-187-194.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 20:53:15 Giomancer [~gio@107.201.206.230] has joined #scheme 21:00:01 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Remote host closed the connection] 21:00:44 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 21:05:49 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Remote host closed the connection] 21:12:58 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 21:13:59 blackwolf [~blackwolf@ool-4574ed7b.dyn.optonline.net] has joined #scheme 21:14:08 hiroaki [~hiroaki@77-20-51-63-dynip.superkabel.de] has joined #scheme 21:16:00 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Remote host closed the connection] 21:20:38 -!- theseb [~cs@74.194.237.26] has quit [Quit: Leaving] 21:21:22 klltkr_ [~klltkr@unaffiliated/klltkr] has joined #scheme 21:21:22 -!- snits [~snits@inet-hqmc02-o.oracle.com] has quit [Remote host closed the connection] 21:25:29 add^_ [~user@m176-70-201-0.cust.tele2.se] has joined #scheme 21:27:09 snits [~snits@184-98-227-247.phnx.qwest.net] has joined #scheme 21:33:06 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 21:37:41 -!- klltkr_ [~klltkr@unaffiliated/klltkr] has quit [Ping timeout: 246 seconds] 21:38:31 klltkr [~klltkr@unaffiliated/klltkr] has joined #scheme 21:40:54 -!- mrowe_away is now known as mrowe 21:42:20 -!- round-robin [~bubo@91.224.149.58] has quit [Ping timeout: 262 seconds] 21:49:22 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 21:50:23 -!- snits [~snits@184-98-227-247.phnx.qwest.net] has quit [Ping timeout: 272 seconds] 21:50:41 tiksa [~tiksa@gateway/tor-sasl/tiksa] has joined #scheme 21:51:32 snits [~snits@inet-hqmc05-o.oracle.com] has joined #scheme 21:56:02 SwashBuckla: And that's just the ones about continuations. 21:56:10 foeniks [~fevon@dslb-188-099-249-180.pools.arcor-ip.net] has joined #scheme 21:57:16 -!- amgarching [~amgarchin@p4FD61716.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 21:58:14 -!- levi` is now known as levi 21:59:13 amgarching [~amgarchin@p4FD61716.dip0.t-ipconnect.de] has joined #scheme 22:01:42 You could spend years studying all the stuff on Oleg's site. :P 22:02:33 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 22:06:44 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 246 seconds] 22:12:35 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 22:13:51 -!- add^_ [~user@m176-70-201-0.cust.tele2.se] has quit [Remote host closed the connection] 22:16:51 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Ping timeout: 245 seconds] 22:40:06 -!- klltkr [~klltkr@unaffiliated/klltkr] has quit [Quit: My MacBook has gone to sleep. ZZZzzz] 22:43:30 -!- hiroaki [~hiroaki@77-20-51-63-dynip.superkabel.de] has quit [Ping timeout: 246 seconds] 22:49:05 -!- joneshf-laptop [~joneshf@128.120.117.183] has quit [Ping timeout: 250 seconds] 22:52:28 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 250 seconds] 22:52:43 -!- ASau [~user@p5083D89F.dip0.t-ipconnect.de] has quit [Remote host closed the connection] 22:54:11 -!- Okasu [~1@unaffiliated/okasu] has quit [Quit: leaving] 22:56:21 ASau [~user@p5083D89F.dip0.t-ipconnect.de] has joined #scheme 23:01:04 juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has joined #scheme 23:13:44 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 23:15:23 jcowan [~John@earth.ccil.org] has joined #scheme 23:18:26 jcowan_ [~John@earth.ccil.org] has joined #scheme 23:18:34 -!- jcowan [~John@earth.ccil.org] has quit [Write error: Broken pipe] 23:18:41 -!- jcowan_ is now known as jcowan 23:18:49 -!- foeniks [~fevon@dslb-188-099-249-180.pools.arcor-ip.net] has quit [Quit: Leaving] 23:19:05 hoi 23:21:05 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:37:31 -!- aeth [~Michael@wesnoth/umc-dev/developer/aethaeryn] has quit [Quit: reboot] 23:51:11 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 23:52:19 -!- juxovec [~juxovec@80.174.182.192.dyn.user.ono.com] has quit [Remote host closed the connection] 23:55:08 joneshf-work [~joneshf@c-98-238-144-159.hsd1.ca.comcast.net] has joined #scheme 23:56:51 ASau` [~user@p54AFE4F4.dip0.t-ipconnect.de] has joined #scheme 23:59:14 aeth [~Michael@wesnoth/umc-dev/developer/aethaeryn] has joined #scheme 23:59:37 tadni [~user@75-132-18-215.dhcp.stls.mo.charter.com] has joined #scheme