00:25:38 -!- Icarot [~Icarot@c-50-143-133-156.hsd1.ca.comcast.net] has quit [Ping timeout: 250 seconds] 00:34:11 -!- hiroakip [~hiroaki@77-20-72-92-dynip.superkabel.de] has quit [Ping timeout: 245 seconds] 00:35:04 Giomancer [~gio@107.201.206.230] has joined #scheme 00:36:49 -!- amgarchIn9 [~amgarchin@p4FD6061C.dip0.t-ipconnect.de] has quit [Ping timeout: 248 seconds] 00:43:08 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 00:58:55 peterhil [~peterhil@91-157-48-10.elisa-laajakaista.fi] has joined #scheme 01:00:51 -!- asumu [~at@2001:470:b:b7:1e6f:65ff:fe23:c3d4] has quit [Ping timeout: 245 seconds] 01:08:41 asumu [~at@2001:470:b:b7:1e6f:65ff:fe23:c3d4] has joined #scheme 01:11:57 -!- ruben__ [~rubenrubz@pool-71-108-72-136.lsanca.dsl-w.verizon.net] has quit [Quit: Leaving] 01:13:56 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 01:20:53 joneshf-laptop [~joneshf@c-98-208-37-38.hsd1.ca.comcast.net] has joined #scheme 01:33:42 -!- mutley89 [~mutley89@92.40.254.79.threembb.co.uk] has quit [Ping timeout: 272 seconds] 01:37:04 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Quit: Leaving] 01:37:18 adu [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 01:43:42 rudybot: "^([0-9a-zA-Z]([-.\\w]*[0-9a-zA-Z])*@([0-9a-zA-Z][-\\w]*[0-9a-zA-Z]\\.)+[a-zA-Z]{2,9})$" 01:43:43 *offby1: Hey guys i have a problem making a regexp into a string using gambit i am not yet familiar with the meaning of all symbols in scheme. how would you stringify this? ^([0-9a-zA-Z]([-.\w]*[0-9a-zA-Z])*@([0-9a-zA-Z][-\w]*[0-9a-zA-Z]\.)+[a-zA-Z]{2,9})$ 01:43:45 hehe 01:43:49 rudybot: eval "^([0-9a-zA-Z]([-.\\w]*[0-9a-zA-Z])*@([0-9a-zA-Z][-\\w]*[0-9a-zA-Z]\\.)+[a-zA-Z]{2,9})$" 01:43:49 *offby1: your sandbox is ready 01:43:50 *offby1: ; Value: "^([0-9a-zA-Z]([-.\\w]*[0-9a-zA-Z])*@([0-9a-zA-Z][-\\w]*[0-9a-zA-Z]\\.)+[a-zA-Z]{2,9})$" 01:43:53 *offby1* nods sagely 01:45:29 adiii [~adityavit@c-76-117-52-187.hsd1.nj.comcast.net] has joined #scheme 01:46:19 mutley89 [~mutley89@92.40.254.79.threembb.co.uk] has joined #scheme 01:47:38 -!- BossKonaSegwaY [~Michael@cpe-75-187-45-52.columbus.res.rr.com] has quit [Ping timeout: 272 seconds] 01:55:14 -!- agumonkey [~agu@45.217.72.86.rev.sfr.net] has quit [Ping timeout: 272 seconds] 01:57:19 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 256 seconds] 01:59:01 jrapdx1 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has joined #scheme 02:02:08 -!- jrapdx0 [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Ping timeout: 240 seconds] 02:08:14 b4283 [~b4283@1-172-86-142.dynamic.hinet.net] has joined #scheme 02:09:10 -!- mmc1 [~michal@178-85-58-190.dynamic.upc.nl] has quit [Ping timeout: 272 seconds] 02:16:48 -!- cdidd [~cdidd@95-25-142-27.broadband.corbina.ru] has quit [Ping timeout: 276 seconds] 02:17:15 -!- youlysse` [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 02:18:07 youlysse` [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 02:19:43 Euthy [~euthy@unaffiliated/euthydemus] has joined #scheme 02:26:26 -!- MiningMarsh [~MiningMar@199.19.116.207] has quit [Quit: ZNC - http://znc.in] 02:26:56 Mining|away [~MiningMar@199.19.116.207] has joined #scheme 02:28:45 -!- wbooze [~wbooze@xdsl-78-35-168-148.netcologne.de] has quit [Ping timeout: 245 seconds] 02:30:06 -!- nitefli [sage@reaver.cat.pdx.edu] has quit [Quit: WeeChat 0.3.9] 02:35:59 Icarot [~Icarot@199-188-193-9.PUBLIC.monkeybrains.net] has joined #scheme 02:36:08 langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has joined #scheme 02:37:24 -!- adu [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu] 02:39:51 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 276 seconds] 02:40:20 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 02:51:30 -!- langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has quit [Ping timeout: 260 seconds] 02:52:41 agumonkey [~agu@45.217.72.86.rev.sfr.net] has joined #scheme 02:54:53 adu [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 03:26:57 -!- Icarot [~Icarot@199-188-193-9.PUBLIC.monkeybrains.net] has quit [Remote host closed the connection] 03:29:44 yacks [~yacks@180.151.36.168] has joined #scheme 03:30:23 rubenrubz [~rubenrubz@pool-71-108-72-136.lsanca.dsl-w.verizon.net] has joined #scheme 03:32:34 langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has joined #scheme 03:34:44 -!- MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has quit [Ping timeout: 248 seconds] 03:44:53 -!- langmartin [~user@host-68-169-154-130.WISOLT2.epbfi.com] has quit [Ping timeout: 255 seconds] 03:51:00 MehLaptop [~MehLaptop@76.89.133.1] has joined #scheme 04:26:04 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 04:35:00 -!- githogori [~githogori@c-50-156-57-127.hsd1.ca.comcast.net] has quit [Ping timeout: 248 seconds] 04:47:39 -!- agumonkey [~agu@45.217.72.86.rev.sfr.net] has quit [Ping timeout: 260 seconds] 04:52:44 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 04:53:11 preflex_ [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 04:53:45 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Ping timeout: 276 seconds] 04:54:01 -!- preflex_ is now known as preflex 04:55:16 -!- youlysse` [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Ping timeout: 248 seconds] 05:03:34 githogori [~githogori@c-50-156-57-127.hsd1.ca.comcast.net] has joined #scheme 05:33:18 -!- Hermit [~hermit@unaffiliated/grpala] has quit [Ping timeout: 250 seconds] 05:34:56 Hermit [~hermit@unaffiliated/grpala] has joined #scheme 05:42:06 -!- Giomancer [~gio@107.201.206.230] has quit [Quit: Konversation terminated!] 05:43:54 -!- adu [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu] 05:46:57 adu [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 05:49:50 bitwize [~bitwize@c-24-61-71-89.hsd1.ct.comcast.net] has joined #scheme 05:51:01 -!- bitwize [~bitwize@c-24-61-71-89.hsd1.ct.comcast.net] has left #scheme 06:03:45 no-n [~no-n@38.241.69.111.dynamic.snap.net.nz] has joined #scheme 06:03:50 what's a good scheme to learn? 06:11:34 hypnocat [~hypnocat@unaffiliated/hypnocat] has joined #scheme 06:19:00 no-n: Racket is pretty beginner-friendly, I think. 06:19:15 rudybot: (define promise (delay (values 1 2 3))) 06:19:16 cky: your typed/racket sandbox is ready 06:19:17 cky: error: #:1:16: Type Checker: Polymorphic function delay could not be applied to arguments: Argument 1: Expected: (-> a) Given: (-> (values (One : (Top | Bot)) (Positive-Byte : (Top | Bot)) (Positive-Byte : (Top | Bot)))) in: (#%app delay (lambda () (#%app values (quote 1) (quote 2) (quote 3)))) 06:19:22 rudybot: init racket 06:19:22 cky: your sandbox is ready 06:19:24 rudybot: (define promise (delay (values 1 2 3))) 06:19:25 cky: Done. 06:19:33 I heard racket has "some other stuff that's not scheme". Is that true? 06:19:35 rudybot: (call-with-values (lambda () (force promise)) list) 06:19:35 cky: ; Value: (1 2 3) 06:20:03 no-n: The "other stuff" is what makes it "batteries included", the way Python purports itself to be. :-) 06:20:21 no-n: It means you can write a wide range of useful programs from the outset. 06:20:33 okay 06:20:54 rudybot: (require srfi/45) 06:20:54 cky: Done. 06:21:02 rudybot: (define promise (delay (values 1 2 3))) 06:21:03 cky: Done. 06:21:06 rudybot: (call-with-values (lambda () (force promise)) list) 06:21:06 cky: ; Value: (1 2 3) 06:21:13 Oh, nice. :-) 06:22:16 cky: so it's just additional libraries? i'd heard racket had other languages appart from scheme 06:22:46 hypnocat: Well yeah, you can specify the use of, say, Typed Racket, Lazy Racket, etc. 06:22:59 ah 06:23:12 hypnocat: But the default language, "racket", can run most Scheme programs without changes. 06:23:47 i see 06:24:33 (By "most", I mean that if you don't depend on mutable conses, or transcript-on, or other obscure features, your program will work just fine.) 06:25:11 (And there's a "r5rs" language that will provide you mutable conses, if they are vital to you.) 06:25:33 so the default "racket" language is not r5rs? 06:26:29 Indeed not. But if you don't use mutable conses, and if you don't use one-armed "if" (use "when" instead, in that case), your R5RS program can pretty much run unchanged under "racket" (at least in my experience). 06:26:42 For absolute compatibility, the "r5rs" language is there. 06:26:52 i see 06:27:29 just out of curiosity, why isn't the default r5rs? 06:28:06 Because that's somewhat less useful than what Racket provides out of the box. 06:28:20 For example, R5RS doesn't have modules. 06:28:27 agumonkey [~agu@45.217.72.86.rev.sfr.net] has joined #scheme 06:28:28 Whereas Racket's functionality is all inside modules. 06:28:51 ah 06:29:07 sirdancealo2 [~sirdancea@98.82.broadband5.iol.cz] has joined #scheme 06:29:22 -!- Fare [fare@nat/google/x-vvcmdaxidggjmidm] has quit [Read error: Operation timed out] 06:30:01 Another thing, R5RS only provides the syntax-rules macro system, whereas Racket will also give you syntax-case and syntax-parse (which are much more powerful than syntax-rules). 06:32:36 *hypnocat* nods 06:32:53 thanks for clearing that up 06:33:56 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Ping timeout: 248 seconds] 06:39:15 -!- MehLaptop [~MehLaptop@76.89.133.1] has quit [Remote host closed the connection] 06:42:57 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 06:46:12 Sure. :-) 06:48:05 Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #scheme 06:50:26 -!- leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Ping timeout: 245 seconds] 06:55:23 rudybot: (call-with-values (lambda () (values 1 2 3)) (lambda (a) a)) 06:55:24 cky: error: #: arity mismatch; the expected number of arguments does not match the given number expected: 1 given: 3 arguments...: 1 2 3 06:55:57 That's better. :-) 06:57:02 leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 06:59:05 -!- adu [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu] 07:02:36 -!- snarkyboojum_ is now known as snarkyboojum 07:03:12 -!- phax [~phax@unaffiliated/phax] has quit [Ping timeout: 264 seconds] 07:03:25 mmc1 [~michal@178-85-58-190.dynamic.upc.nl] has joined #scheme 07:04:32 platinuum [~platinuum@S01067cb21b328c67.vc.shawcable.net] has joined #scheme 07:09:30 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 07:20:00 -!- SeySayux [SeySayux@libsylph/developer/seysayux] has quit [Read error: Connection reset by peer] 07:20:20 -!- rubenrubz [~rubenrubz@pool-71-108-72-136.lsanca.dsl-w.verizon.net] has quit [Quit: Leaving] 07:23:20 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 260 seconds] 07:23:49 SeySayux [SeySayux@libsylph/developer/seysayux] has joined #scheme 07:29:54 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 07:30:04 Myk267 [~myk@adsl-71-149-249-241.dsl.mtry01.sbcglobal.net] has joined #scheme 07:30:18 gravicappa [~gravicapp@ppp91-77-171-42.pppoe.mtu-net.ru] has joined #scheme 07:39:12 -!- jonrafkind [~jon@racket/jonrafkind] has quit [Ping timeout: 264 seconds] 07:42:34 amgarchIn9 [~amgarchin@p4FD60516.dip0.t-ipconnect.de] has joined #scheme 07:51:44 basdirks [~basdirks@5352A1E5.cm-6-3c.dynamic.ziggo.nl] has joined #scheme 07:54:36 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Remote host closed the connection] 07:55:52 -!- yacks [~yacks@180.151.36.168] has quit [Ping timeout: 250 seconds] 08:01:07 jao [~jao@c-24-22-80-19.hsd1.or.comcast.net] has joined #scheme 08:01:10 -!- jao [~jao@c-24-22-80-19.hsd1.or.comcast.net] has quit [Changing host] 08:01:10 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 08:06:20 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 08:13:40 -!- qrstuv1 is now known as qrstuv 08:23:59 yacks [~yacks@180.151.36.168] has joined #scheme 08:28:17 -!- juxovec [~juxovec@88.103.13.78] has quit [Remote host closed the connection] 08:30:01 -!- leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Ping timeout: 256 seconds] 08:30:04 lolcow [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 08:30:59 hiroakip [~hiroaki@77-20-72-92-dynip.superkabel.de] has joined #scheme 08:55:30 -!- hiroakip [~hiroaki@77-20-72-92-dynip.superkabel.de] has quit [Ping timeout: 260 seconds] 09:15:21 -!- lolcow [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Ping timeout: 256 seconds] 09:15:41 leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 09:17:26 -!- Nshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has quit [Remote host closed the connection] 09:18:06 Nshag [user@chl45-1-88-123-84-8.fbx.proxad.net] has joined #scheme 09:32:56 -!- Fare [~fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has quit [Ping timeout: 245 seconds] 09:39:10 -!- amgarchIn9 [~amgarchin@p4FD60516.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 09:46:29 Fare [fare@nat/google/x-qbbvucvrklvynsma] has joined #scheme 09:46:38 hiroakip [~hiroaki@p5B04B908.dip.t-dialin.net] has joined #scheme 09:50:10 -!- yacks [~yacks@180.151.36.168] has quit [Ping timeout: 252 seconds] 09:53:45 -!- agumonkey [~agu@45.217.72.86.rev.sfr.net] has quit [Remote host closed the connection] 09:54:50 qrstuv1 [root@50.122.23.113] has joined #scheme 09:55:37 -!- qrstuv [root@50.122.19.107] has quit [Ping timeout: 240 seconds] 09:56:06 -!- qrstuv1 is now known as qrstuv 09:56:32 agumonkey [~agu@45.217.72.86.rev.sfr.net] has joined #scheme 10:01:56 Giomancer [~gio@107.201.206.230] has joined #scheme 10:02:07 juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has joined #scheme 10:05:24 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 10:10:10 -!- mmc1 [~michal@178-85-58-190.dynamic.upc.nl] has quit [Ping timeout: 260 seconds] 10:10:54 -!- lazyden [~lazyden@58.185.121.38] has quit [Quit: lazyden] 10:18:44 yacks [~yacks@180.151.36.168] has joined #scheme 10:21:32 wbooze [~wbooze@xdsl-87-79-196-120.netcologne.de] has joined #scheme 10:24:18 qrstuv1 [root@50.122.23.124] has joined #scheme 10:25:37 -!- qrstuv [root@50.122.23.113] has quit [Ping timeout: 240 seconds] 10:31:14 snowylike [~sn@91-67-171-156-dynip.superkabel.de] has joined #scheme 10:38:47 -!- qrstuv1 is now known as qrstuv 10:42:15 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 260 seconds] 10:47:02 cdidd [~cdidd@95-27-2-92.broadband.corbina.ru] has joined #scheme 10:57:20 -!- Tanami [~carnage@9ch.in] has quit [Read error: Connection reset by peer] 10:59:20 Tanami [~carnage@9ch.in] has joined #scheme 11:02:30 -!- juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has quit [Remote host closed the connection] 11:12:56 lolcow [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 11:13:21 -!- leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Ping timeout: 276 seconds] 11:17:40 -!- basdirks [~basdirks@5352A1E5.cm-6-3c.dynamic.ziggo.nl] has quit [Ping timeout: 256 seconds] 11:26:12 -!- lolcow [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Ping timeout: 248 seconds] 11:26:15 leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 11:39:55 mmc1 [~michal@178-85-58-190.dynamic.upc.nl] has joined #scheme 11:42:20 -!- leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Ping timeout: 260 seconds] 11:42:24 lolcow [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 11:54:29 -!- agumonkey [~agu@45.217.72.86.rev.sfr.net] has quit [Ping timeout: 255 seconds] 11:56:25 basdirks [~basdirks@5352A1E5.cm-6-3c.dynamic.ziggo.nl] has joined #scheme 11:56:25 -!- wbooze [~wbooze@xdsl-87-79-196-120.netcologne.de] has quit [Remote host closed the connection] 11:59:26 -!- taylanub [tub@p4FD94451.dip.t-dialin.net] has quit [Disconnected by services] 11:59:52 taylanub [tub@p4FD93A58.dip.t-dialin.net] has joined #scheme 12:21:07 juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has joined #scheme 12:24:35 -!- juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has quit [Remote host closed the connection] 12:26:53 juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has joined #scheme 12:27:42 agumonkey [~agu@45.217.72.86.rev.sfr.net] has joined #scheme 12:28:21 carado [~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0] has joined #scheme 12:33:33 -!- lolcow [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has quit [Read error: Connection reset by peer] 12:34:20 leppie [~lolcow@105-236-92-117.access.mtnbusiness.co.za] has joined #scheme 12:37:25 -!- juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has quit [Remote host closed the connection] 12:37:37 rose__ [~rose@113.14.61.100] has joined #scheme 12:41:37 juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has joined #scheme 12:41:48 -!- juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has quit [Remote host closed the connection] 12:47:19 wbooze [~wbooze@xdsl-87-79-196-120.netcologne.de] has joined #scheme 12:47:36 juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has joined #scheme 12:58:38 -!- pyro- [~pyro@chopstick.dcollins.info] has quit [Ping timeout: 256 seconds] 12:58:54 pyro- [~pyro@chopstick.dcollins.info] has joined #scheme 13:13:39 nomous [~nomous@78.209.173.133] has joined #scheme 13:21:55 jrajav [~jrajav@71-82-124-223.dhcp.roch.mn.charter.com] has joined #scheme 13:22:05 -!- juxovec [~juxovec@wced-182-219-32-147.feld.cvut.cz] has quit [Ping timeout: 260 seconds] 13:22:22 Aune [~Arne@h-152-28.a163.priv.bahnhof.se] has joined #scheme 13:28:01 juxovec [~juxovec@ip-37-188-226-45.eurotel.cz] has joined #scheme 13:33:02 -!- juxovec [~juxovec@ip-37-188-226-45.eurotel.cz] has quit [Remote host closed the connection] 13:33:54 MrFahrenheit [~RageOfTho@cable-77-221-21-70.dynamic.telemach.ba] has joined #scheme 13:39:23 juxovec [~juxovec@ip-37-188-226-45.eurotel.cz] has joined #scheme 14:27:26 dbe [~zhaozhou@h-150-157.a336.priv.bahnhof.se] has joined #scheme 14:31:42 I'm reading through 'The Little Schemer' (a sort of guide to thinking recursively), and found an issue where you are supposed to write the + function recursively. This is what I came up with: http://pastebin.com/bST2JuaB It fails though, with 'maximum recursion depth exceeded', but I can't figure out why. 14:31:47 Any help? 14:32:43 you need to rewrite it to use tail recursion 14:33:54 Is the + function in the else-clause not the return value? Isn't it tail recursive? 14:34:29 dbe: oh I am sorry you are right 14:34:37 -> coffee 14:34:42 :> 14:35:11 That's a good idea though, haven't had my obligatory cup of coffee just yet... 14:35:19 what's the input you are using? 14:37:09 (+ 2 3) -> maximum recursion depth 14:37:15 only positive integers 14:37:19 are allowed. :) 14:38:09 oh 14:38:50 can you add a debug output in + to see whether you call that procedure in your add1 procedure? 14:39:09 The solution is (else (add1 (+ a (sub1 b))), but I can't see why my solution isn't working. 14:39:30 Sure 14:40:33 -!- juxovec [~juxovec@ip-37-188-226-45.eurotel.cz] has quit [Read error: Connection reset by peer] 14:41:36 dbe: your + definition works for me. I don't redefine add1 and sub1 because my scheme already provides them 14:42:35 It calls the right function all right, b reaches 1 and then forever loops... 14:43:37 check your zero? 14:46:28 zero? returns true for (sub1 b), but a does not seem to increment. That's another issue in itself, but an issue nontheless 14:47:46 Hm, wait, add1 calls +! 14:47:52 -!- carado [~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0] has quit [Ping timeout: 256 seconds] 14:48:02 That's it. 14:48:14 Duh, I'm going to get some coffee. 14:50:08 juxovec [~juxovec@ip-37-188-226-45.eurotel.cz] has joined #scheme 14:51:32 dbe: that's what I meant with the above 14:53:15 dbe: (define old+ +) (define (add1 x) (old+ 1 x)) (define (+ a b) ) 15:16:42 annodomini [~lambda@wikipedia/lambda] has joined #scheme 15:28:01 -!- Giomancer [~gio@107.201.206.230] has quit [Quit: Konversation terminated!] 15:29:52 -!- juxovec [~juxovec@ip-37-188-226-45.eurotel.cz] has quit [Remote host closed the connection] 15:38:14 amgarchIn9 [~amgarchin@p4FD60516.dip0.t-ipconnect.de] has joined #scheme 15:47:05 -!- dbe [~zhaozhou@h-150-157.a336.priv.bahnhof.se] has quit [Quit: leaving] 15:49:55 -!- snowylike [~sn@91-67-171-156-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 16:06:09 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 16:09:00 -!- rose__ [~rose@113.14.61.100] has quit [Quit: Leaving] 16:09:09 znode [~znode@61.237.225.226] has joined #scheme 16:12:25 -!- znode [~znode@61.237.225.226] has quit [Remote host closed the connection] 16:19:34 -!- nomous [~nomous@78.209.173.133] has quit [Remote host closed the connection] 16:26:39 -!- gravicappa [~gravicapp@ppp91-77-171-42.pppoe.mtu-net.ru] has quit [Ping timeout: 276 seconds] 16:51:15 permagreen [~donovan@204.195.27.175] has joined #scheme 16:53:44 gravicappa [~gravicapp@ppp91-77-218-2.pppoe.mtu-net.ru] has joined #scheme 17:10:18 adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 17:15:09 carado [~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0] has joined #scheme 17:38:09 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 248 seconds] 17:38:40 -!- jrajav [~jrajav@71-82-124-223.dhcp.roch.mn.charter.com] has quit [Quit: I tend to be neutral about apples] 17:41:00 -!- carado [~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0] has quit [Read error: Connection timed out] 17:41:50 carado [~user4539@2a01:e35:8b61:e430:6ef0:49ff:fe73:1fd0] has joined #scheme 17:58:05 -!- LAMMJohnson [~ja@user-5AF43BAB.broadband.tesco.net] has quit [Remote host closed the connection] 18:04:34 walter [~walter@c-24-218-217-69.hsd1.ma.comcast.net] has joined #scheme 18:11:08 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 18:14:21 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Client Quit] 18:14:37 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 18:20:12 -!- adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu_] 18:24:08 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 18:43:10 nomous [~nomous@78.209.173.133] has joined #scheme 18:58:45 -!- jrapdx1 is now known as jrapdx 18:59:11 -!- mmc1 [~michal@178-85-58-190.dynamic.upc.nl] has quit [Ping timeout: 245 seconds] 19:02:33 rotty_ [rotty@yade.xx.vu] has joined #scheme 19:10:05 -!- nomous [~nomous@78.209.173.133] has quit [Remote host closed the connection] 19:16:51 -!- rotty_ [rotty@yade.xx.vu] has quit [Quit: Lost terminal] 19:16:58 -!- rotty [rotty@yade.xx.vu] has quit [Quit: Lost terminal] 19:26:47 -!- jrapdx [~jra@c-76-115-235-187.hsd1.wa.comcast.net] has quit [Remote host closed the connection] 19:27:55 rotty [rotty@yade.xx.vu] has joined #scheme 19:33:52 dnolen [~user@70.151.3.10] has joined #scheme 19:42:18 -!- wbooze [~wbooze@xdsl-87-79-196-120.netcologne.de] has quit [Ping timeout: 276 seconds] 19:58:22 -!- youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 20:02:49 toekutr [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 20:15:42 -!- cmatei [~cmatei@95.76.25.200] has quit [Ping timeout: 264 seconds] 20:20:01 adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 20:21:22 wbooze [~wbooze@xdsl-78-35-182-180.netcologne.de] has joined #scheme 20:22:34 -!- samth [~samth@racket/samth] has quit [Remote host closed the connection] 20:22:55 samth [~samth@samth2.ccs.neu.edu] has joined #scheme 20:22:55 -!- samth [~samth@samth2.ccs.neu.edu] has quit [Changing host] 20:22:55 samth [~samth@racket/samth] has joined #scheme 20:24:07 cmatei [~cmatei@95.76.25.200] has joined #scheme 20:25:24 -!- wbooze [~wbooze@xdsl-78-35-182-180.netcologne.de] has quit [Ping timeout: 245 seconds] 20:27:45 wbooze [~wbooze@xdsl-78-35-182-180.netcologne.de] has joined #scheme 20:33:37 jao [~jao@c-24-22-80-19.hsd1.or.comcast.net] has joined #scheme 20:33:40 -!- jao [~jao@c-24-22-80-19.hsd1.or.comcast.net] has quit [Changing host] 20:33:41 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 20:36:41 -!- cmatei [~cmatei@95.76.25.200] has quit [Ping timeout: 245 seconds] 20:41:57 -!- yacks [~yacks@180.151.36.168] has quit [Quit: Leaving] 20:43:05 -!- robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has quit [Ping timeout: 260 seconds] 20:50:24 -!- basdirks [~basdirks@5352A1E5.cm-6-3c.dynamic.ziggo.nl] has quit [Ping timeout: 245 seconds] 20:56:29 jonrafkind [~jon@racket/jonrafkind] has joined #scheme 21:02:01 cmatei [~cmatei@95.76.25.200] has joined #scheme 21:06:30 -!- gravicappa [~gravicapp@ppp91-77-218-2.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:11:22 annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has joined #scheme 21:11:22 -!- annodomini [~lambda@c-76-23-156-75.hsd1.ma.comcast.net] has quit [Changing host] 21:11:22 annodomini [~lambda@wikipedia/lambda] has joined #scheme 21:11:25 robot-beethoven [~user@c-24-118-142-0.hsd1.mn.comcast.net] has joined #scheme 21:18:54 rubenrubz [~rubenrubz@pool-71-108-81-154.lsanca.dsl-w.verizon.net] has joined #scheme 21:22:45 -!- b4283 [~b4283@1-172-86-142.dynamic.hinet.net] has quit [Ping timeout: 260 seconds] 21:27:34 bjz [~brendanza@125.253.99.68] has joined #scheme 21:28:02 -!- bjz_ [~brendanza@125.253.99.68] has quit [Read error: Connection reset by peer] 21:28:12 jrajav [~jrajav@71-82-124-223.dhcp.roch.mn.charter.com] has joined #scheme 21:43:32 -!- adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu_] 21:57:08 Giomancer [~gio@107.201.206.230] has joined #scheme 22:04:08 -!- toekutr [~user@50-0-51-11.dsl.static.sonic.net] has quit [Remote host closed the connection] 22:07:40 jcowan [~John@70.44.231.3.res-cmts.bus.ptd.net] has joined #scheme 22:07:55 youlysses [~user@75-132-7-80.dhcp.stls.mo.charter.com] has joined #scheme 22:13:42 -!- Euthy [~euthy@unaffiliated/euthydemus] has quit [Quit: leaving] 22:19:43 adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 22:19:55 -!- Fare [fare@nat/google/x-qbbvucvrklvynsma] has quit [Ping timeout: 260 seconds] 22:31:32 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Remote host closed the connection] 22:33:37 -!- jcowan [~John@70.44.231.3.res-cmts.bus.ptd.net] has quit [Ping timeout: 248 seconds] 22:34:12 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 22:36:52 -!- hiroakip [~hiroaki@p5B04B908.dip.t-dialin.net] has quit [Ping timeout: 252 seconds] 22:38:27 -!- dnolen [~user@70.151.3.10] has quit [Ping timeout: 276 seconds] 22:49:12 -!- rubenrubz [~rubenrubz@pool-71-108-81-154.lsanca.dsl-w.verizon.net] has quit [Read error: Connection reset by peer] 22:49:34 rubenrubz [~rubenrubz@pool-71-108-81-154.lsanca.dsl-w.verizon.net] has joined #scheme 22:49:56 hiroakip [~hiroaki@77-20-72-92-dynip.superkabel.de] has joined #scheme 22:50:59 -!- adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu_] 22:54:16 -!- Aune [~Arne@h-152-28.a163.priv.bahnhof.se] has quit [Quit: Lämnar] 22:56:05 -!- annodomini [~lambda@wikipedia/lambda] has quit [Quit: annodomini] 23:01:12 jcowan [John@70.44.231.3.res-cmts.bus.ptd.net] has joined #scheme 23:07:55 -!- taylanub [tub@p4FD93A58.dip.t-dialin.net] has quit [Remote host closed the connection] 23:08:48 taylanub [tub@p4FD93A58.dip.t-dialin.net] has joined #scheme 23:10:49 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 23:13:37 adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 23:24:36 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 276 seconds] 23:34:46 -!- rubenrubz [~rubenrubz@pool-71-108-81-154.lsanca.dsl-w.verizon.net] has quit [Quit: Leaving] 23:35:51 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 245 seconds] 23:36:18 -!- agumonkey [~agu@45.217.72.86.rev.sfr.net] has quit [Ping timeout: 276 seconds] 23:36:28 -!- Mining|away is now known as MiningMarsh 23:38:52 -!- zacts [~lcc@unaffiliated/zacts] has quit [Quit: leaving] 23:44:29 -!- adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has quit [Quit: adu_] 23:44:45 The Steering Committee, zombie-like though it has been, is finally starting to lurch into action. 23:45:35 :) 23:47:01 I'd like to anounce that I'm currently using an Emacs build that uses Guile as its Elisp engine, and there's only a couple bugs. 23:47:16 (And sadly there doesn't seem to be a way to run Scheme code from the Emacs UI!) 23:50:04 adu_ [~ajr@pool-71-191-154-98.washdc.fios.verizon.net] has joined #scheme 23:50:31 Hurrah, hurrah! 23:50:36 -!- jcowan [John@70.44.231.3.res-cmts.bus.ptd.net] has quit [Quit: Leaving]