00:09:09 what is a Y-combinator? 00:10:07 zacts: imagine you didn't have recursion? how would you loop 00:10:11 -!- Fare [~fare@cpe-69-203-115-132.nyc.res.rr.com] has quit [Ping timeout: 245 seconds] 00:10:54 well, the funny thing is, if you have higher order functions, you get recursion for free 00:11:05 (in an untyped language) 00:11:31 hm.. 00:11:48 rudybot: (define y (lambda (p) ((lambda (f) (f f)) (lambda (f) (p (lambda args (apply (f f) args))))))) 00:11:49 ijp: your sandbox is ready 00:11:49 looping would depend on state.. it seems. 00:11:49 ijp: Done. 00:12:32 rudybot: (define fact (y (lambda (recur) (lambda (x) (if (zero? x) 1 (* x (recur (- x 1)))))))) 00:12:32 ijp: Done. 00:12:35 -!- SeySayux [SeySayux@libsylph/developer/seysayux] has quit [Ping timeout: 272 seconds] 00:12:48 rudybot: (map fact (list 0 1 2 3 4 5 6 7 8 9 10)) 00:12:48 ijp: ; Value: '(1 1 2 6 24 120 720 5040 40320 362880 3628800) 00:13:11 look ma, no recursion! 00:13:26 oh interesting 00:13:47 I'm not going to explain that definition, because I'll do it worse than the little schemer did 00:14:01 ijp: yeah, I'm not quite there yet, but will be 00:14:03 that chapter is available online, let's see... 00:14:10 -!- daat418 [~daat@131.106.110.176] has quit [Ping timeout: 245 seconds] 00:14:11 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 00:15:05 SeySayux [SeySayux@libsylph/developer/seysayux] has joined #scheme 00:15:06 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 00:15:21 ftp://ftp.cs.indiana.edu/pub/scheme-repository/doc/pubs/Y.ps.gz 00:15:38 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 00:15:57 zacts: Y isn't unique, there are other "fixed point combinators" which have the property that fix f = f (fix f) 00:16:26 and that equivalence is how you can get "recursion" 00:16:56 cool 00:18:37 ericmathison [~ericmathi@174.47.7.78] has joined #scheme 00:21:38 so if we (define fact* (lambda (recur) (lambda (x) (if (zero? x) 1 (* x (recur (- x 1))))))) then (y fact*) = (fact* (y fact*)) = ((lambda (recur) (lambda (x) (if (zero? x) 1 (* x (recur (- x 1)))))) (y fact*)) = (lambda (x) (if (zero? x) 1 (* x ((y fact*) (- x 1))))), and can imagine this unfolding out to infinity 00:23:47 Fare [fare@nat/google/x-tqntbgolbeqsnhdi] has joined #scheme 00:24:08 actually, that explains why we do (lambda args (apply (f f) args)) instead of (f f) directly 00:24:48 arubin [~arubin@99-114-192-172.lightspeed.cicril.sbcglobal.net] has joined #scheme 00:24:53 choas [~lars@p4FDC4C51.dip0.t-ipconnect.de] has joined #scheme 00:24:56 the lambda prevents scheme (which uses eager evaluation) from evaluating it immediately, and causing an infinite recursion 00:28:03 -!- choas_ [~lars@p4FDC4D53.dip0.t-ipconnect.de] has quit [Ping timeout: 252 seconds] 00:28:22 -!- tcsc [~tcsc@c-76-127-240-20.hsd1.ct.comcast.net] has quit [Quit: computer sleeping] 00:32:53 it's not too hard to derive the y-combinator from the u-combinator, which is pretty easy to understand i think 00:34:13 yeah, I do it once a year as a reminder 00:35:04 turbofail: it's kind of the route the little schemer took as well 00:36:15 Sgeo [~quassel@ool-ad034ea6.dyn.optonline.net] has joined #scheme 00:37:10 the U-combinator is one of those universal combinators? 00:37:33 U-combinator is just ( (f) (f f)) 00:37:45 oh 00:41:52 I thought you were discussing a combinator that was universal in this genre: http://homepages.cwi.nl/~tromp/cl/cl.html 00:43:39 -!- DeeEff [~DeeEff@198.199.92.130] has quit [Ping timeout: 248 seconds] 00:43:52 DeeEff [~DeeEff@198.199.92.130] has joined #scheme 01:23:14 -!- Okasu [~1@unaffiliated/okasu] has quit [Quit: leaving] 01:31:05 p_adams [~p_adams@24-107-140-111.dhcp.stls.mo.charter.com] has joined #scheme 01:35:45 -!- jrapdx [~jrapdx@74-95-41-205-Oregon.hfc.comcastbusiness.net] has quit [Ping timeout: 261 seconds] 01:35:52 -!- bjz_ [~brendanza@125.253.99.68] has quit [Quit: Bye!] 01:36:05 bjz [~brendanza@125.253.99.68] has joined #scheme 01:38:37 -!- p_adams is now known as yrdz 01:41:50 weie [~eie@softbank221078042071.bbtec.net] has joined #scheme 01:41:53 -!- ericmathison [~ericmathi@174.47.7.78] has quit [Quit: leaving] 01:58:51 -!- oleo [~oleo@xdsl-78-35-185-126.netcologne.de] has quit [Ping timeout: 248 seconds] 01:59:25 oleo [~oleo@xdsl-78-35-157-34.netcologne.de] has joined #scheme 02:10:28 -!- yrdz [~p_adams@24-107-140-111.dhcp.stls.mo.charter.com] has quit [Quit: WeeChat 0.4.2] 02:10:37 ASau` [~user@p54AFEBB8.dip0.t-ipconnect.de] has joined #scheme 02:13:45 -!- ASau [~user@p54AFEB12.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 02:23:46 NihilistDandy [~ND@c-24-147-92-50.hsd1.vt.comcast.net] has joined #scheme 02:34:04 -!- tenq is now known as tenq|away 02:36:42 racycle [~racycle@75-25-129-128.lightspeed.sjcpca.sbcglobal.net] has joined #scheme 02:46:20 -!- tenq|away is now known as tenq 02:46:50 kvda [~kvda@unaffiliated/kvda] has joined #scheme 02:47:12 -!- Ripp__ [~textual@c-76-21-7-143.hsd1.ca.comcast.net] has quit [] 02:55:27 germ13 [~germ13@cpe-75-84-12-100.socal.res.rr.com] has joined #scheme 02:59:42 daat418 [~daat@131.106.110.176] has joined #scheme 03:07:01 -!- MrFahrenheit [~RageOfTho@77.221.25.95] has quit [Ping timeout: 272 seconds] 03:26:01 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 03:42:38 -!- leppie [~lolcow@105-236-92-98.access.mtnbusiness.co.za] has quit [Read error: Connection reset by peer] 03:42:58 leppie [~lolcow@105-236-92-98.access.mtnbusiness.co.za] has joined #scheme 03:43:26 -!- duggiefresh [~quassel@c-66-30-11-90.hsd1.ma.comcast.net] has quit [Ping timeout: 240 seconds] 03:43:55 -!- preflex [~preflex@unaffiliated/mauke/bot/preflex] has quit [Read error: Operation timed out] 03:45:56 preflex [~preflex@unaffiliated/mauke/bot/preflex] has joined #scheme 03:48:34 -!- heathjs is now known as heath 03:48:40 superbos [~superbos@79.114.101.28] has joined #scheme 03:56:02 -!- NihilistDandy [~ND@c-24-147-92-50.hsd1.vt.comcast.net] has quit [] 03:57:04 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Ping timeout: 272 seconds] 03:59:38 -!- asumu [~at@2001:470:b:b7:1e6f:65ff:fe23:c3d4] has quit [Ping timeout: 264 seconds] 04:00:47 asumu [~at@2001:470:b:b7:1e6f:65ff:fe23:c3d4] has joined #scheme 04:24:42 -!- superbos [~superbos@79.114.101.28] has quit [] 04:39:30 arquebus [~frath@c-107-3-164-239.hsd1.ca.comcast.net] has joined #scheme 04:40:12 -!- arubin [~arubin@99-114-192-172.lightspeed.cicril.sbcglobal.net] has quit [Quit: Leaving] 04:51:03 es [~estevocas@96.Red-83-59-18.dynamicIP.rima-tde.net] has joined #scheme 04:52:13 comingtogetyou [~albert@adsl-71-156-32-9.dsl.irvnca.sbcglobal.net] has joined #scheme 04:53:05 hi 05:00:43 hey 05:14:19 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 272 seconds] 05:36:51 -!- comingtogetyou [~albert@adsl-71-156-32-9.dsl.irvnca.sbcglobal.net] has quit [Ping timeout: 245 seconds] 05:37:06 -!- racycle [~racycle@75-25-129-128.lightspeed.sjcpca.sbcglobal.net] has quit [Remote host closed the connection] 05:44:54 przl [~przlrkt@p57922385.dip0.t-ipconnect.de] has joined #scheme 05:50:48 peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has joined #scheme 05:51:09 -!- oleo [~oleo@xdsl-78-35-157-34.netcologne.de] has quit [Quit: Leaving] 06:15:28 -!- es [~estevocas@96.Red-83-59-18.dynamicIP.rima-tde.net] has quit [Ping timeout: 268 seconds] 06:19:55 es [~estevocas@96.Red-83-59-18.dynamicIP.rima-tde.net] has joined #scheme 06:19:59 -!- arquebus [~frath@c-107-3-164-239.hsd1.ca.comcast.net] has quit [Quit: Konversation terminated!] 06:20:03 -!- kvda [~kvda@unaffiliated/kvda] has quit [Ping timeout: 256 seconds] 06:20:21 Ripp__ [~textual@c-76-21-7-143.hsd1.ca.comcast.net] has joined #scheme 06:25:13 -!- przl [~przlrkt@p57922385.dip0.t-ipconnect.de] has quit [Quit: leaving] 06:28:29 gravicappa [~gravicapp@ppp85-141-226-208.pppoe.mtu-net.ru] has joined #scheme 06:32:20 -!- bjz [~brendanza@125.253.99.68] has quit [Quit: Leaving...] 06:47:31 -!- es [~estevocas@96.Red-83-59-18.dynamicIP.rima-tde.net] has quit [Ping timeout: 245 seconds] 06:50:51 -!- germ13 [~germ13@cpe-75-84-12-100.socal.res.rr.com] has quit [Ping timeout: 245 seconds] 06:51:42 -!- ASau` is now known as ASau 07:09:08 -!- clog [~nef@bespin.org] has quit [Ping timeout: 240 seconds] 07:32:54 amgarchIn9 [~amgarchin@theo1.theochem.tu-muenchen.de] has joined #scheme 07:33:45 weie_ [~eie@211.54.45.195] has joined #scheme 07:35:01 -!- weie [~eie@softbank221078042071.bbtec.net] has quit [Ping timeout: 245 seconds] 07:36:28 weie [~eie@softbank221078042071.bbtec.net] has joined #scheme 07:39:57 -!- weie_ [~eie@211.54.45.195] has quit [Ping timeout: 268 seconds] 07:43:18 ericmathison [~ericmathi@172-15-249-133.lightspeed.irvnca.sbcglobal.net] has joined #scheme 07:53:22 -!- Ripp__ [~textual@c-76-21-7-143.hsd1.ca.comcast.net] has quit [] 07:57:42 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 07:58:46 -!- Fare [fare@nat/google/x-tqntbgolbeqsnhdi] has quit [Ping timeout: 245 seconds] 08:00:43 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 08:03:03 Fare [fare@nat/google/x-zjlqdladmamybosz] has joined #scheme 08:03:43 weie_ [~eie@211.54.45.195] has joined #scheme 08:05:01 -!- weie [~eie@softbank221078042071.bbtec.net] has quit [Ping timeout: 245 seconds] 08:08:06 jrapdx [~jrapdx@c-98-246-145-216.hsd1.or.comcast.net] has joined #scheme 08:11:08 jewel [~jewel@105-236-130-25.access.mtnbusiness.co.za] has joined #scheme 08:13:23 -!- vraid [50d8e34d@gateway/web/freenode/ip.80.216.227.77] has quit [Ping timeout: 250 seconds] 08:17:28 miloshadzic [~miloshadz@178-221-116-140.dynamic.isp.telekom.rs] has joined #scheme 08:24:16 bjz [~brendanza@203-206-162-155.perm.iinet.net.au] has joined #scheme 08:28:17 mahata [~mahata@S0106602ad08c09cc.vc.shawcable.net] has joined #scheme 08:36:25 ogamita [~t@LNantes-156-76-35-103.w82-127.abo.wanadoo.fr] has joined #scheme 08:43:10 weie [~eie@softbank221078042071.bbtec.net] has joined #scheme 08:44:36 -!- weie_ [~eie@211.54.45.195] has quit [Ping timeout: 245 seconds] 08:45:09 vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has joined #scheme 08:50:23 -!- jrapdx [~jrapdx@c-98-246-145-216.hsd1.or.comcast.net] has quit [Ping timeout: 272 seconds] 09:04:29 -!- Kabaka [~Kabaka@botters/kabaka] has quit [Ping timeout: 240 seconds] 09:04:49 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Ping timeout: 240 seconds] 09:06:00 clog [~nef@bespin.org] has joined #scheme 09:08:33 -!- weie [~eie@softbank221078042071.bbtec.net] has quit [Quit: Leaving...] 09:09:01 Kabaka [~Kabaka@botters/kabaka] has joined #scheme 09:09:44 przl [~przlrkt@62.217.45.197] has joined #scheme 09:16:28 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 09:18:45 -!- em [~em@unaffiliated/emma] has quit [Ping timeout: 245 seconds] 09:20:55 em [~em@unaffiliated/emma] has joined #scheme 09:24:58 stepnem [~stepnem@internet2.cznet.cz] has joined #scheme 09:30:59 -!- mahata [~mahata@S0106602ad08c09cc.vc.shawcable.net] has quit [Remote host closed the connection] 09:37:53 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 272 seconds] 09:43:57 rszeno [~rszeno@79.114.65.29] has joined #scheme 09:51:43 -!- miloshadzic [~miloshadz@178-221-116-140.dynamic.isp.telekom.rs] has quit [Ping timeout: 272 seconds] 09:54:04 -!- ogamita [~t@LNantes-156-76-35-103.w82-127.abo.wanadoo.fr] has quit [Remote host closed the connection] 10:01:23 przl [~przlrkt@62.217.45.197] has joined #scheme 10:34:53 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 272 seconds] 10:53:52 -!- LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has quit [Remote host closed the connection] 11:31:46 -!- Sgeo [~quassel@ool-ad034ea6.dyn.optonline.net] has quit [Read error: Connection reset by peer] 11:39:11 -!- nisstyre [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 11:52:02 -!- bjz [~brendanza@203-206-162-155.perm.iinet.net.au] has quit [Read error: Connection reset by peer] 11:58:17 iemejia [~ismael@apache2-noxim.yoda.dreamhost.com] has joined #scheme 12:02:00 kuribas [~user@d54C430B0.access.telenet.be] has joined #scheme 12:02:02 -!- fizzie [fis@unaffiliated/fizzie] has quit [Ping timeout: 264 seconds] 12:16:41 przl [~przlrkt@62.217.45.197] has joined #scheme 12:28:41 davexunit [~user@fsf/member/davexunit] has joined #scheme 12:35:12 bjz [~brendanza@125.253.99.68] has joined #scheme 12:40:39 b4283 [~b4283@118.150.141.110] has joined #scheme 12:45:44 racycle [~racycle@75-25-129-128.lightspeed.sjcpca.sbcglobal.net] has joined #scheme 12:48:32 -!- tenq is now known as tenq|away 13:01:29 fizzie [fis@unaffiliated/fizzie] has joined #scheme 13:02:57 -!- hiyosi_ [~skip_it@247.94.30.125.dy.iij4u.or.jp] has quit [Read error: Connection reset by peer] 13:11:11 tcsc [~tcsc@137.99.207.104] has joined #scheme 13:17:07 edw [~edw@207.239.61.34] has joined #scheme 13:21:26 -!- Fare [fare@nat/google/x-zjlqdladmamybosz] has quit [Ping timeout: 245 seconds] 13:31:46 ogamita [~t@LNantes-156-76-35-103.w82-127.abo.wanadoo.fr] has joined #scheme 13:33:12 defanor_ [~defanor@ppp91-77-186-52.pppoe.mtu-net.ru] has joined #scheme 13:35:50 -!- defanor [~defanor@ppp91-77-179-117.pppoe.mtu-net.ru] has quit [Ping timeout: 245 seconds] 13:41:16 Fare [fare@nat/google/x-fqwnijttfzgmaedh] has joined #scheme 13:41:33 oleo [~oleo@xdsl-78-35-157-34.netcologne.de] has joined #scheme 13:42:04 joneshf-laptop [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has joined #scheme 13:42:32 -!- racycle [~racycle@75-25-129-128.lightspeed.sjcpca.sbcglobal.net] has quit [Remote host closed the connection] 13:43:22 -!- joneshf-laptop [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has quit [Max SendQ exceeded] 13:43:51 joneshf-laptop [~joneshf@c-98-208-36-36.hsd1.ca.comcast.net] has joined #scheme 13:52:41 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 245 seconds] 13:55:46 -!- tcsc [~tcsc@137.99.207.104] has quit [Quit: computer sleeping] 14:13:14 przl [~przlrkt@62.217.45.197] has joined #scheme 14:13:14 pnkfelix [~Adium@23-25-200-109-static.hfc.comcastbusiness.net] has joined #scheme 14:29:07 synacktic [~jordyd@unaffiliated/jordyd] has joined #scheme 14:29:13 -!- peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has quit [Ping timeout: 272 seconds] 14:33:06 LeoNerd [leo@2a01:7e00::f03c:91ff:fe96:20e8] has joined #scheme 14:34:55 -!- tenq|away is now known as tenq 14:38:43 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 272 seconds] 14:40:01 -!- tenq is now known as tenq|away 14:46:16 -!- oleo [~oleo@xdsl-78-35-157-34.netcologne.de] has quit [Ping timeout: 245 seconds] 14:46:30 oleo [~oleo@xdsl-87-79-196-175.netcologne.de] has joined #scheme 14:49:43 -!- rszeno [~rszeno@79.114.65.29] has quit [Quit: Leaving.] 14:52:10 -!- tenq|away is now known as tenq 14:57:38 TCOWonder [~other@94.25.229.22] has joined #scheme 14:57:41 Hello. 15:01:19 Is it tail recursion optimizible function (define (f x) (if (= x 10) x (+ 1 (f (+ 1 x))))) ? 15:01:45 tcsc [~tcsc@137.99.207.104] has joined #scheme 15:03:49 -!- ubii [~ubii@unaffiliated/ubii] has quit [Quit: Leaving] 15:04:23 No. 15:04:44 Read the definition of tail position again. 15:05:16 It would be tail-recursable given a sufficiently powerful TCMC-type system 15:06:42 I heard scheme have some kind of generalzied(proper) tail recursion, so basicly its just a tail recursion but named somewhat differently? 15:07:09 Mm? 15:07:29 No, you're confused. 15:07:37 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 15:07:57 Scheme just requires that TCE is always performed. 15:08:01 That's all. 15:08:20 This has its downsides. 15:08:34 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 15:08:48 E.g. you cannot have stack backtrace reliably anymore. 15:10:10 TCOWonder: this is the relevant thing to read on this: http://dl.acm.org/citation.cfm?id=277719 15:17:46 weie [~eie@softbank221078042071.bbtec.net] has joined #scheme 15:19:46 thanks guys 15:20:16 asumu: is for $$$ only? 15:20:46 TCOWonder: try this link http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.50.4500&rep=rep1&type=pdf 15:20:47 http://tinyurl.com/kudorjv 15:21:25 The paper is maybe hard to read depending on your background, so maybe this blog post about it will help. http://calculist.blogspot.com/2006/03/proper-tail-recursion-and-space.html 15:22:03 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 272 seconds] 15:22:36 asumu: thanks a lot 15:23:10 -!- tenq is now known as tenq|away 15:28:56 DGASAU: http://funcall.blogspot.com/2011/03/tail-recursion-and-debugging.html 15:30:39 alex123 [~alex@c213-89-69-183.bredband.comhem.se] has joined #scheme 15:31:02 anyone can help me with sum scheme programming 15:31:34 A difficult question, and one we are currently unable to answer without more information 15:31:44 he he 15:31:56 stamourv: that's the best demonstration why TCE is evil. :D 15:32:04 i just wanted to see if someone was answered 15:32:13 someone answered 15:32:17 Except for TCE folks who deny it. 15:32:46 DGASAU: I have mixed opinions on the matter. I just think that blog post is funny. 15:33:17 The worst thing I have seen is debug print in Chicken. 15:33:21 TCE is one of those lovely double-edged swords. It's a useful and powerful technique but it induces massive amnesia in making a program using it forget how it got here 15:33:24 ISTR that MIT Scheme keeps, along with the stack, a ring buffer of the last n (possibly tail-) calls. 15:33:39 They go as far as removing _all_ calls totally. 15:33:46 That way, you get the asymptotic benefits of proper tail calls, and you still get some debugging info. 15:34:00 A ring buffer sounds sensible 15:34:03 There you see few recent continuations that were invoked before the crash. 15:34:34 DGASAU: Given Chicken's implementation strategy, not sure how easy it would be to do much better. 15:34:37 Which makes you dizzy when you understand what's going on, 15:35:00 and I cannot imagine what's going in the head of unsuspecting beginner. 15:35:48 anyone knows how to present lists as sets in scheme? i need to make a constructor "make-set" so that >(define myset 15:35:49 (make-set '(a (a b b (c b) 3) 5 5 (e s) (s e s)))) 15:35:50 will give 15:36:17 >myset 15:36:18 (a ( a b (c b) 3) 5 (e s)) 15:36:44 stamourv: the problem with their approach (MIT S) is that sometimes you need to see few _first_ stack frames above user prompt. 15:37:20 Well, a more general solution would be to have a ring buffer per stack frame. 15:37:26 alex123: check SRFIs. 15:37:34 May start getting complicated / expensive, though. 15:37:42 alex123: I think there is some support for that sort of usage. 15:37:54 sorry where is SRFIs? 15:38:01 what is it 15:38:01 Look it up. 15:39:05 tupi [~user@177.182.153.240] has joined #scheme 15:39:13 some forum? 15:39:22 przl [~przlrkt@62.217.45.197] has joined #scheme 15:39:25 Ever heard of WWW? 15:39:46 Seriously, try to utilize tools you have at hand. 15:39:57 Scheme's SRFIs are about as close as Scheme gets to something like Perl's CPAN, or.. umm.. 15:40:04 hmm.actually I don't really know any other examples 15:40:08 hehe DGASAU 15:42:20 -!- TCOWonder [~other@94.25.229.22] has quit [Quit: leaving] 15:43:22 nope 15:43:44 is there any forum where you could write and get help 15:44:36 *DGASAU* tempts to respond with http://catb.org/esr/faqs/smart-questions.html 15:46:23 gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has joined #scheme 15:48:53 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Quit: MichaelRaskin] 15:52:03 -!- ogamita [~t@LNantes-156-76-35-103.w82-127.abo.wanadoo.fr] has left #scheme 15:53:21 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 272 seconds] 15:54:17 MrFahrenheit [~RageOfTho@77.221.25.95] has joined #scheme 15:55:23 -!- taylanub [tub@p4FD936DB.dip0.t-ipconnect.de] has quit [Disconnected by services] 15:55:55 taylanub [tub@p4FD91B21.dip0.t-ipconnect.de] has joined #scheme 16:00:54 -!- alex123 [~alex@c213-89-69-183.bredband.comhem.se] has left #scheme 16:09:26 -!- gravicappa [~gravicapp@ppp85-141-226-208.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 16:11:01 -!- amgarchIn9 [~amgarchin@theo1.theochem.tu-muenchen.de] has quit [Ping timeout: 245 seconds] 16:11:13 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:11:20 What's the best way to document Scheme code (and generate html from it)? 16:11:33 -!- gluegadget is now known as shadowfax 16:12:38 -!- tcsc [~tcsc@137.99.207.104] has quit [Quit: computer sleeping] 16:15:03 przl [~przlrkt@62.217.45.197] has joined #scheme 16:16:16 jrapdx [~jra@c-98-246-145-216.hsd1.or.comcast.net] has joined #scheme 16:20:39 Riastradh [~riastradh@jupiter.mumble.net] has joined #scheme 16:22:12 chrisirc: racket has something for documenting code 16:23:26 ecraven chrisirc: http://docs.racket-lang.org/scribble/ 16:24:53 -!- przl [~przlrkt@62.217.45.197] has quit [Quit: leaving] 16:24:55 `fogus [~fogus@70.182.191.151] has joined #scheme 16:25:05 przl [~przlrkt@62.217.45.197] has joined #scheme 16:29:45 peterhil [~peterhil@213-157-93-236.localloop.fi] has joined #scheme 16:31:01 I'd love something that's available at runtime 16:31:08 perhaps docstrings. 16:31:27 (And I'm not using Racket.) 16:32:47 And for long docs, I wonder if I'm not better off with markdown or rest? 16:33:06 -!- Riastradh [~riastradh@jupiter.mumble.net] has quit [Ping timeout: 245 seconds] 16:34:15 -!- gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has quit [Ping timeout: 272 seconds] 16:35:03 tcsc [~tcsc@67.221.71.140] has joined #scheme 16:36:47 -!- przl [~przlrkt@62.217.45.197] has quit [Ping timeout: 272 seconds] 16:41:17 NihilistDandy [~ND@c-24-147-92-50.hsd1.vt.comcast.net] has joined #scheme 16:41:26 Also, searchable in emacs (etags?). 16:42:08 mahata [~mahata@owls-3.van.hootops.com] has joined #scheme 16:43:10 -!- b4283 [~b4283@118.150.141.110] has quit [Remote host closed the connection] 16:45:01 -!- sethalves [~user@headache.hungry.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:46:24 sethalves [~user@headache.hungry.com] has joined #scheme 16:50:06 chrisirc: if you're lucky, your scheme implementation lets you access the definition forms of lambdas, then you can approximate docstrings by just checking whether the first item is a string 16:50:19 (this mostly works under MIT/GNU Scheme for example) 16:53:36 Yes, I'm pondering doing exactly this. I'll still have to write infrastructure to collect the info, though. 16:53:40 For searching. 16:54:04 except many schemes will give you an error for that, because strings are not definitions, and so must come after internal definitions 16:54:39 Hmm, good point. 16:54:56 of course this is scheme, so obviously, you don't care about other implementations 16:55:28 Time to write my own implementation that allows me to do it then ;) 16:56:14 (Scheme implementation, that is.) 16:58:37 it won't help you much for writing docs, but for accessing them, look into geiser 16:59:02 Or override |define| and remove the string there. Also need to look into how to use etags/ctags. 16:59:08 Interesting, never heard of Geiser. 16:59:18 http://www.nongnu.org/geiser/ 16:59:28 Geiser's quite nice 16:59:29 jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has joined #scheme 16:59:32 -!- jao [~jao@21.Red-79-153-49.dynamicIP.rima-tde.net] has quit [Changing host] 16:59:32 jao [~jao@pdpc/supporter/professional/jao] has joined #scheme 17:00:19 -!- vraid [d91bbc5a@gateway/web/freenode/ip.217.27.188.90] has quit [Ping timeout: 250 seconds] 17:03:50 -!- tcsc [~tcsc@67.221.71.140] has quit [Quit: computer sleeping] 17:05:52 chrisirc: geiser and slime are the two best options. 17:07:17 Re documentation or just in general? 17:08:25 theseb [~cs@74.194.237.26] has joined #scheme 17:09:04 -!- jrapdx [~jra@c-98-246-145-216.hsd1.or.comcast.net] has quit [Remote host closed the connection] 17:19:13 -!- pnkfelix [~Adium@23-25-200-109-static.hfc.comcastbusiness.net] has quit [Quit: Leaving.] 17:19:24 -!- weie [~eie@softbank221078042071.bbtec.net] has quit [Quit: Leaving...] 17:21:23 pnkfelix [~Adium@23-25-200-109-static.hfc.comcastbusiness.net] has joined #scheme 17:26:53 -!- zacts [~user@unaffiliated/zacts] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:31:08 Ripp__ [~textual@c-67-180-16-120.hsd1.ca.comcast.net] has joined #scheme 17:35:22 -!- peterhil [~peterhil@213-157-93-236.localloop.fi] has quit [Read error: Connection reset by peer] 17:36:42 amgarchIn9 [~amgarchin@p4FD6216D.dip0.t-ipconnect.de] has joined #scheme 17:37:09 peterhil [~peterhil@213-157-93-236.localloop.fi] has joined #scheme 17:42:45 MichaelRaskin [~MichaelRa@195.91.224.161] has joined #scheme 17:45:11 I never got slime to play nice with scheme, then I found geiser. That was years ago, though 17:48:56 -!- Fare [fare@nat/google/x-fqwnijttfzgmaedh] has quit [Ping timeout: 245 seconds] 17:57:05 zeebrah [~zeebrah@unaffiliated/zeebrah] has joined #scheme 17:57:27 vraid [50d8e34d@gateway/web/freenode/ip.80.216.227.77] has joined #scheme 17:58:22 przl [~przlrkt@p57922385.dip0.t-ipconnect.de] has joined #scheme 18:06:57 chrisirc: in general :) also, emacs and paredit :D 18:07:16 -!- peterhil [~peterhil@213-157-93-236.localloop.fi] has quit [Ping timeout: 245 seconds] 18:08:44 gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has joined #scheme 18:12:44 peterhil [~peterhil@213-157-93-236.localloop.fi] has joined #scheme 18:16:30 tcsc [~tcsc@67.221.73.18] has joined #scheme 18:23:54 -!- zeebrah [~zeebrah@unaffiliated/zeebrah] has quit [Quit: Leaving] 18:36:06 gravicappa [~gravicapp@ppp91-77-165-24.pppoe.mtu-net.ru] has joined #scheme 18:36:58 sheilong [~sabayonus@unaffiliated/sheilong] has joined #scheme 18:37:58 Fare [fare@nat/google/x-tpgkjzzyrojyspsr] has joined #scheme 18:41:30 pumpkin360 [~main@agiu133.neoplus.adsl.tpnet.pl] has joined #scheme 18:43:27 -!- Fare [fare@nat/google/x-tpgkjzzyrojyspsr] has quit [Ping timeout: 272 seconds] 18:44:56 Fare [fare@nat/google/x-nrouxemmodreeqhl] has joined #scheme 18:45:29 Hi there, I have an very important question - anyone got a nice, dark, vim colorscheme? (for scheme coding) 18:46:09 -!- przl [~przlrkt@p57922385.dip0.t-ipconnect.de] has quit [Quit: leaving] 18:46:49 ir_black, solarized, desert, jellybeans 18:48:37 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Read error: Connection reset by peer] 18:48:49 thank you :) 18:49:12 -!- gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has quit [Remote host closed the connection] 18:50:04 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 18:50:44 developernotes [~developer@173-18-189-145.client.mchsi.com] has joined #scheme 18:56:19 zeebrah [~zeebrah@unaffiliated/zeebrah] has joined #scheme 18:56:29 pjb` [~t@AMontsouris-651-1-137-202.w90-46.abo.wanadoo.fr] has joined #scheme 18:57:07 -!- peterhil [~peterhil@213-157-93-236.localloop.fi] has quit [Ping timeout: 272 seconds] 18:58:21 pjb`` [~t@AMontsouris-651-1-137-202.w90-46.abo.wanadoo.fr] has joined #scheme 18:59:49 -!- pjb [~t@AMontsouris-651-1-256-164.w92-163.abo.wanadoo.fr] has quit [Ping timeout: 248 seconds] 19:00:11 -!- pjb` [~t@AMontsouris-651-1-137-202.w90-46.abo.wanadoo.fr] has quit [Client Quit] 19:00:32 -!- pjb`` [~t@AMontsouris-651-1-137-202.w90-46.abo.wanadoo.fr] has left #scheme 19:07:55 peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has joined #scheme 19:12:56 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 245 seconds] 19:14:17 -!- microcode [~microcode@bas1-toronto04-1176392147.dsl.bell.ca] has quit [Excess Flood] 19:14:30 microcode [~microcode@bas1-toronto04-1176392147.dsl.bell.ca] has joined #scheme 19:14:51 isn't it sin to programm a lisp dialect with vim? ;) 19:15:20 Works for me :) 19:15:21 wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has joined #scheme 19:20:22 My day job is programming in Common Lisp and I use Vim 19:23:04 boo! 19:23:06 lol 19:25:29 Giomancer [~gio@107.201.206.230] has joined #scheme 19:25:43 oleo: Scheme, Common Lisp and Vim Script use lexical scoping. No, I don't want Emacs Lisp around 19:27:17 -!- Ripp__ [~textual@c-67-180-16-120.hsd1.ca.comcast.net] has quit [] 19:27:20 :D i wasn't meant that seriously ;) 19:27:38 programming common lisp for a living sounds great 19:28:01 MichaelRaskin: even emacs lisp has (optional) lexical scoping 19:28:20 the only problem is that 99% of languages with "lexical scoping" get it wrong 19:28:36 I'll let you all pick your favourite 19:28:46 Sounds frightfully common, if you ask me 19:28:57 We should rename Scheme to "Upper-class Lisp" 19:29:11 Ripp__ [~textual@c-67-180-16-120.hsd1.ca.comcast.net] has joined #scheme 19:29:42 hiroakip: you start with Python and write a huge ton of working code so meta that it would be more understandable in Common Lisp 19:29:55 Next project was in Lisp 19:30:35 jlongster [~user@pool-173-53-114-190.rcmdva.fios.verizon.net] has joined #scheme 19:30:54 rudybot: vim is an acceptable text editor, but its irc support leave something to be desired 19:30:55 ijp: Durn. I'm still getting the same result. I've deleted the elc. I've redefined the key in my .emacs, but when I try to use my desired binding, I get a message telling my that the key combination is not defined. 19:31:03 :D i lean lisp with "land of lisp" 19:31:26 but i have to finish a project in java, bevor i can go on with that book :'( 19:31:44 -!- zeebrah [~zeebrah@unaffiliated/zeebrah] has quit [Remote host closed the connection] 19:31:50 -!- Fare [fare@nat/google/x-nrouxemmodreeqhl] has quit [Ping timeout: 240 seconds] 19:32:32 lean=learn 19:38:21 -!- jewel [~jewel@105-236-130-25.access.mtnbusiness.co.za] has quit [Ping timeout: 245 seconds] 19:43:42 Fare [fare@nat/google/x-gcguprxifpqbhwfr] has joined #scheme 19:52:17 civodul [~user@gateway/tor-sasl/civodul] has joined #scheme 19:52:42 Riastradh [~riastradh@fsf/member/riastradh] has joined #scheme 20:12:41 miloshadzic [~miloshadz@212.62.62.143] has joined #scheme 20:16:15 -!- gravicappa [~gravicapp@ppp91-77-165-24.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 20:17:02 -!- mahata [~mahata@owls-3.van.hootops.com] has quit [Remote host closed the connection] 20:17:39 -!- aeth [~Michael@wesnoth/umc-dev/developer/aethaeryn] has quit [Ping timeout: 260 seconds] 20:24:38 aeth [~Michael@wesnoth/umc-dev/developer/aethaeryn] has joined #scheme 20:30:10 -!- pumpkin360 [~main@agiu133.neoplus.adsl.tpnet.pl] has quit [Ping timeout: 268 seconds] 20:30:27 -!- davexunit [~user@fsf/member/davexunit] has quit [Quit: Later] 20:34:21 -!- amgarchIn9 [~amgarchin@p4FD6216D.dip0.t-ipconnect.de] has quit [Ping timeout: 245 seconds] 20:40:04 amgarchIn9 [~amgarchin@p4FD6216D.dip0.t-ipconnect.de] has joined #scheme 20:42:21 -!- sheilong [~sabayonus@unaffiliated/sheilong] has quit [Quit: Konversation terminated!] 20:42:54 pumpkin360 [~main@agfv66.neoplus.adsl.tpnet.pl] has joined #scheme 20:45:33 gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has joined #scheme 20:51:22 -!- Ripp__ [~textual@c-67-180-16-120.hsd1.ca.comcast.net] has quit [] 20:57:23 hiroakip: You should check out Realm of Racket. 21:03:59 Ripp__ [~textual@c-67-180-16-120.hsd1.ca.comcast.net] has joined #scheme 21:07:12 -!- pumpkin360 [~main@agfv66.neoplus.adsl.tpnet.pl] has quit [Ping timeout: 252 seconds] 21:07:54 Country of C++ ? 21:08:14 Chasm of C++ 21:08:44 I would imagine Python to be found in a Pit :) 21:09:31 Jail of Java? 21:10:07 -!- ohama [ohama@cicolina.org] has quit [Ping timeout: 272 seconds] 21:11:00 fjord of fortran? 21:11:08 Kingdom of K? 21:11:17 ohama [ohama@cicolina.org] has joined #scheme 21:13:02 Joyhouse of J ? 21:13:56 Heavens of Haskell. 21:14:02 *ASau* hides. 21:14:09 -!- pnkfelix [~Adium@23-25-200-109-static.hfc.comcastbusiness.net] has quit [Quit: Leaving.] 21:14:24 What, sky-high thinking but nobody's quite sure if it's actually real? 21:15:01 Haskell is not real, unless declared explicitly. 21:17:31 I dunno. I refuse on principle to take seriously any method of controlling a computer (a device distinguished from a mere calculator by the presence of stored mutable state which can affect its own computations) which purposely removes the ability to store said mutable state. 21:19:06 -!- NihilistDandy [~ND@c-24-147-92-50.hsd1.vt.comcast.net] has quit [] 21:22:12 Try your brain on linear and affine types. 21:22:22 -!- ft [efftee@oldshell.chaostreff-dortmund.de] has quit [Remote host closed the connection] 21:22:23 caffiene types? :) 21:22:33 Baker's "Lovely Linear Lisp" is a nice introduction. 21:23:42 -!- cosmez [~cosmez@200.92.100.68] has quit [Remote host closed the connection] 21:24:14 cosmez [~cosmez@200.92.100.68] has joined #scheme 21:25:57 -!- ohama [ohama@cicolina.org] has quit [Ping timeout: 272 seconds] 21:26:44 pit of php 21:27:06 ohama [ohama@cicolina.org] has joined #scheme 21:29:50 ft [efftee@oldshell.chaostreff-dortmund.de] has joined #scheme 21:30:27 the fortess of fortran 21:31:17 And the sequel: The Fortress of Fortress 21:31:20 The Cloaca of C 21:31:27 Ewww 21:31:38 The Closet of Cobol 21:32:22 :D we should collect this stuff :D 21:33:05 turbofail: show us on the doll where it touched you 21:33:15 swamp of scheme? 21:33:22 The Potty-Chair of PHP 21:33:35 err, I mean summit of scheme 21:34:00 *turbofail* points everywhere 21:34:18 -!- wingo [~wingo@cha74-2-88-160-190-192.fbx.proxad.net] has quit [Ping timeout: 268 seconds] 21:34:28 es [~estevocas@96.Red-83-59-18.dynamicIP.rima-tde.net] has joined #scheme 21:35:49 -!- es [~estevocas@96.Red-83-59-18.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 21:39:35 NihilistDandy [~ND@d-burl-bng1-64-223-109-106.ngn.east.myfairpoint.net] has joined #scheme 21:40:25 -!- Riastradh [~riastradh@fsf/member/riastradh] has quit [Ping timeout: 272 seconds] 21:43:21 the Big Loo 21:43:26 *civodul* hides 21:48:37 Nisstyre-laptop [~yours@oftn/member/Nisstyre] has joined #scheme 21:49:11 -!- tcsc [~tcsc@67.221.73.18] has quit [Quit: computer sleeping] 21:55:43 -!- peterhil [~peterhil@dsl-hkibrasgw3-58c156-108.dhcp.inet.fi] has quit [Ping timeout: 272 seconds] 21:57:31 -!- Nisstyre-laptop [~yours@oftn/member/Nisstyre] has quit [Ping timeout: 245 seconds] 21:58:49 -!- civodul [~user@gateway/tor-sasl/civodul] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:59:47 -!- developernotes [~developer@173-18-189-145.client.mchsi.com] has quit [] 22:05:22 -!- gcartier [~gcartier@modemcable010.136-201-24.mc.videotron.ca] has quit [Remote host closed the connection] 22:07:09 -!- ohama [ohama@cicolina.org] has quit [Ping timeout: 265 seconds] 22:08:25 ohama [ohama@cicolina.org] has joined #scheme 22:10:37 nisstyre [~yours@oftn/member/Nisstyre] has joined #scheme 22:20:38 -!- Fare [fare@nat/google/x-gcguprxifpqbhwfr] has quit [Ping timeout: 240 seconds] 22:22:42 duggiefresh [~quassel@c-66-30-11-90.hsd1.ma.comcast.net] has joined #scheme 22:23:15 -!- tenq|away is now known as tenq 22:26:21 -!- nisstyre [~yours@oftn/member/Nisstyre] has quit [Quit: Leaving] 22:28:05 -!- Ripp__ [~textual@c-67-180-16-120.hsd1.ca.comcast.net] has quit [] 22:33:05 Fare [fare@nat/google/x-nqwxjbqnxjdygwzl] has joined #scheme 22:44:26 -!- kuribas [~user@d54C430B0.access.telenet.be] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 22:51:50 tcsc [~tcsc@c-76-127-240-20.hsd1.ct.comcast.net] has joined #scheme 22:54:39 brianmwaters [401160c3@gateway/web/freenode/ip.64.17.96.195] has joined #scheme 23:14:11 -!- stepnem [~stepnem@internet2.cznet.cz] has quit [Ping timeout: 245 seconds] 23:23:03 scmaccal [~user@bb-216-195-184-157.gwi.net] has joined #scheme 23:28:47 -!- scmaccal [~user@bb-216-195-184-157.gwi.net] has quit [Remote host closed the connection] 23:29:39 scmaccal [~user@bb-216-195-184-157.gwi.net] has joined #scheme 23:30:24 -!- scmaccal [~user@bb-216-195-184-157.gwi.net] has quit [Remote host closed the connection] 23:34:00 -!- gzg [~user@24-217-211-79.dhcp.stls.mo.charter.com] has quit [Read error: Connection reset by peer] 23:36:25 does anybody know of a more portable alternative to gensym in R6RS? 23:36:57 -!- synacktic [~jordyd@unaffiliated/jordyd] has quit [Ping timeout: 272 seconds] 23:36:59 i am attempting to have a library export a fixed unique identifer, kind of like it's own version of '() 23:37:17 but i'm forced to import chez scheme's libraries 23:37:33 maybe there is some macro trick i don't know of? 23:38:11 generate-temporaries will generate a list of syntax objects 23:38:25 thanks. hittin' the books now... 23:40:32 -!- Fare [fare@nat/google/x-nqwxjbqnxjdygwzl] has quit [Remote host closed the connection] 23:40:38 ehaliewicz [~user@50-0-51-11.dsl.static.sonic.net] has joined #scheme 23:43:11 BossKonaSegwaY [~Michael@d60-65-147-223.col.wideopenwest.com] has joined #scheme 23:58:29 -!- jao [~jao@pdpc/supporter/professional/jao] has quit [Remote host closed the connection] 23:59:11 scmaccal [~user@bb-216-195-184-157.gwi.net] has joined #scheme