00:01:25 no... scheme definitions of random interest describing simple concepts 00:05:46 no one? 00:05:54 maybe i wasnt clear enough 00:07:32 -!- pytho [8cb6ea38@gateway/web/freenode/ip.140.182.234.56] has quit [Quit: Page closed] 00:07:40 you know... the AI sort of definitions... 00:07:53 :p 00:08:36 im sure everyones sitting there scratching his head wondering what the heck is he talking about? 00:10:16 *fds* is 00:10:17 http://okmij.org/ftp/Scheme/ maybe? 00:13:44 thx! im sure itll take me at least a night to sort this out :P 00:19:58 -!- rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has quit [Ping timeout: 255 seconds] 00:21:53 sajith [~user@2001:18e8:2:244:212:3fff:fe47:724f] has joined #scheme 00:21:54 -!- antoszka [~antoszka@unaffiliated/antoszka] has quit [Quit: +++ killed by SIGSEGV +++] 00:28:53 antoszka [~antoszka@unaffiliated/antoszka] has joined #scheme 00:34:17 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 00:36:50 steshaw [~steshaw@60-240-111-207.tpgi.com.au] has joined #scheme 00:38:25 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 00:46:53 blueadept [~blueadept@unaffiliated/blueadept] has joined #scheme 00:50:26 -!- arbscht [~arbscht@unaffiliated/arbscht] has quit [Ping timeout: 245 seconds] 00:50:49 arbscht [~arbscht@unaffiliated/arbscht] has joined #scheme 01:03:53 dnolen [~davidnole@184.152.69.75] has joined #scheme 01:03:56 myu2 [~myu2@v077103.dynamic.ppp.asahi-net.or.jp] has joined #scheme 01:07:31 parolang [~parolang@c-64-246-121-114.oregonrd-wifi-1261.amplex.net] has joined #scheme 01:12:14 easy4 [~easy4@c-174-60-36-128.hsd1.pa.comcast.net] has joined #scheme 01:13:01 -!- Blkt [~Blkt@dynamic-adsl-94-37-227-177.clienti.tiscali.it] has quit [Quit: ERROR: do not makunbound t please!] 01:16:53 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 01:17:11 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 01:19:01 githogori_ [~githogori@143.sub-75-208-112.myvzw.com] has joined #scheme 01:19:15 -!- githogori_ [~githogori@143.sub-75-208-112.myvzw.com] has quit [Read error: Connection reset by peer] 01:20:50 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 265 seconds] 01:21:44 -!- bzzbzz [~franco@modemcable240.34-83-70.mc.videotron.ca] has quit [Quit: leaving] 01:22:05 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 01:23:02 erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 01:31:19 rien [~rien@dyn-160-39-34-114.dyn.columbia.edu] has joined #scheme 01:40:12 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 01:40:28 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 01:42:36 -!- masm [~masm@2.80.144.10] has quit [Quit: Leaving.] 01:44:02 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 01:44:18 alaricsp [~alaric@93-96-143-25.zone4.bethere.co.uk] has joined #scheme 01:45:09 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 01:52:07 -!- steshaw [~steshaw@60-240-111-207.tpgi.com.au] has quit [Quit: steshaw] 01:52:30 -!- pdelgallego_ [~pdelgalle@1385159852.dhcp.dbnet.dk] has quit [Ping timeout: 240 seconds] 01:52:44 -!- pdelgallego [~pdelgalle@1385159852.dhcp.dbnet.dk] has quit [Ping timeout: 265 seconds] 01:54:07 adu [~ajr@pool-173-79-54-138.washdc.fios.verizon.net] has joined #scheme 01:56:30 erjiang_ [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 01:59:35 -!- myu2 [~myu2@v077103.dynamic.ppp.asahi-net.or.jp] has quit [Remote host closed the connection] 02:02:52 bitweiler [~bitweiler@adsl-99-40-239-167.dsl.stl2mo.sbcglobal.net] has joined #scheme 02:03:40 steshaw [~steshaw@60-240-111-207.tpgi.com.au] has joined #scheme 02:08:30 -!- ysph [~user@75-143-92-146.dhcp.aubn.al.charter.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 02:16:02 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 02:19:10 -!- githogori [~githogori@143.sub-75-208-112.myvzw.com] has quit [Remote host closed the connection] 02:19:19 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Ping timeout: 265 seconds] 02:30:01 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 02:33:39 jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has joined #scheme 02:36:47 -!- bgs100 [~ian@unaffiliated/bgs100] has quit [Quit: Night!] 02:38:29 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 02:38:47 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 02:40:24 -!- sajith [~user@2001:18e8:2:244:212:3fff:fe47:724f] has quit [Remote host closed the connection] 02:42:06 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 02:42:39 -!- steshaw [~steshaw@60-240-111-207.tpgi.com.au] has quit [Quit: steshaw] 02:46:24 -!- alaricsp [~alaric@93-96-143-25.zone4.bethere.co.uk] has quit [Ping timeout: 246 seconds] 02:46:48 minion [~minion@common-lisp.net] has joined #scheme 02:49:20 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Read error: Connection reset by peer] 02:49:36 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 02:51:16 myu2 [~myu2@v077103.dynamic.ppp.asahi-net.or.jp] has joined #scheme 02:51:17 vu3rdd [~vu3rdd@nat/cisco/x-qrpyowwleqikcaur] has joined #scheme 02:51:17 -!- vu3rdd [~vu3rdd@nat/cisco/x-qrpyowwleqikcaur] has quit [Changing host] 02:51:17 vu3rdd [~vu3rdd@fsf/member/vu3rdd] has joined #scheme 02:52:51 Tweekly [~rixx69@60-234-166-237.bitstream.orcon.net.nz] has joined #scheme 02:53:01 Hello 02:53:19 Hey ho. 02:53:21 Hiya 02:53:38 So I picked up a copy of SICP 02:53:45 and the first chapter scared me 02:53:49 so much math 02:53:55 Really? 02:54:00 but now im onto chapter 2 02:54:08 and i feel that my mind has expanded 02:54:12 :D 02:54:18 like seriously 02:54:20 Welcome to Scheme :) 02:54:27 I just implemented a list 02:54:34 using procedures 02:55:01 http://ideone.com/kGBxq 02:55:05 its not much obviously 02:55:15 but it was like a 'wow' moment for me 02:55:19 -!- zanes [~zane@wall.tripitinc.com] has quit [Quit: zanes] 02:56:01 zanes [~zane@wall.tripitinc.com] has joined #scheme 02:56:13 It's the best feeling 02:56:19 Comming from a java background (university) it is refreshing 02:56:39 So lisp culture is becoming underground. 02:57:17 my university has Java classes too 02:57:18 but why? I'm going to recommend to my friends that they learn a bit of lisp 02:57:19 Tweekly: I was all C/C++ before Lisp and Scheme 02:57:36 Lisp culture has always been underground. It's just that at one point, *everything* about computers was underground. Except Cobol. 02:57:39 Now I try to convince everyone to come over to functional languages :D 02:58:09 Yeah, functional languages seem interesting 02:58:19 scheme isnt functional tho is it? 02:58:27 Tweekly: they're useful, so useful that people get things done in them 02:58:52 Tweekly: FP is the secret weapon of major corporations 02:58:56 Tweekly: https://secure.wikimedia.org/wikipedia/en/wiki/Scheme_programming_language 02:59:00 It is, indeed 02:59:48 Tweekly: and when you think of it like that, you don't want your competitors to use good languages (like lisp/scheme), you can honestly look at them and say: "Go ahead, keep using Java" *giggle* 02:59:50 Tweekly: have a look at last entry on http://paste.lisp.org/display/116783 03:00:41 adu: I never realized how widespread Lisp was. I went to RIT, and all the other programmers basically scoffed at the idea that Lisp was widely used (as opposed to the C languages) 03:01:03 And now I read about all this functional programming underneath everything 03:01:16 I don't know how these otherwise well-informed people missed it :/ 03:01:20 the last entry is a little beyond me atm, but I will get it after some google fu 03:01:28 NihilistDandy: http://www.orbitz.com/ is written in CL 03:01:45 adu: You're kidding. 03:01:50 seriously 03:02:02 I'm honestly a bit amazed. I never would have guessed 03:02:08 -!- zanes [~zane@wall.tripitinc.com] has quit [Quit: zanes] 03:02:44 Tweekly: you may want to read the wikipedia article about lambda calculus. 03:04:12 Scheme is functional but not pure functional, because it has mutation of both data and variables. 03:04:32 Right. If you want pure functional, go with Haskell 03:04:35 Haskell FTW! 03:04:44 *adu* <3 Haskell 03:04:44 Haskell FTY 03:04:53 Y? 03:05:50 -!- parolang [~parolang@c-64-246-121-114.oregonrd-wifi-1261.amplex.net] has quit [Ping timeout: 240 seconds] 03:06:34 im using Dr Racket atm, uhh ptl scheme 03:06:49 says I cant redefine things like cons 03:06:51 Tweekly: it's ok, they're the same 03:07:07 cant do (define (cons x) ...) 03:07:33 Yes. It's usual to add a dot to avoid redefinition (define (cons. x) ...) etc. 03:07:34 try (cons2 x) ... 03:07:45 copumpkin [~pumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has joined #scheme 03:07:45 -!- copumpkin [~pumpkin@209-6-232-56.c3-0.sbo-ubr1.sbo.ma.cable.rcn.com] has quit [Changing host] 03:07:45 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 03:07:55 rudybot: (define (cons x) 1) 03:07:56 rapacity: Done. 03:08:07 rudybot: (cons 5) 03:08:07 rapacity: ; Value: 1 03:08:15 rudybot: (cons 'exit) 03:08:16 adu: your sandbox is ready 03:08:16 adu: error: cons: expects 2 arguments, given 1: exit 03:08:27 lol it hates me 03:08:32 :D 03:08:32 Each one his own. 03:08:35 you didn't define it 03:08:37 :p 03:08:49 rudybot: (define cons cons) 03:08:49 Tweekly: your sandbox is ready 03:08:49 Tweekly: Done. 03:09:00 rudybot uses racket 03:09:02 (cons) 03:09:09 odd 03:09:11 <_danb_> rudybot: (banner) 03:09:11 _danb_: your sandbox is ready 03:09:12 _danb_: ; Value: "Welcome to Racket v5.0.1.\n" 03:09:27 so im able to define cons with rudy but not in the Dr Scheme enviroment 03:09:31 Tweekly: you didn't say rudybot 03:09:36 ^^ 03:09:40 Beat me to it 03:10:34 How worth it are the batteries in Racket versus something like Chicken or Guile? I'm still deciding which I prefer :D 03:10:37 rudybot: (define (cons x y) (define (dispatch m) / (cond ((= m 0) x) / ((= m 1) y) / (else (error "Argument Fail" m)))) / dispatch) 03:10:37 Tweekly: error: eval:1:60: cond: bad syntax (clause is not a test-value pair) at: / in: (cond ((= m 0) x) / ((= m 1) y) / (else (error "Argument Fail" m))) 03:10:40 ugh 03:10:57 (rudybot: (define cons cons) 03:11:02 rudybot: (call/cc (lambda (c) (display "hello world") (c 1))) 03:11:02 adu: ; Value: 1 03:11:03 remove the slashes. 03:11:07 rudybot: (define cons cons) 03:11:07 Tweekly: Done. 03:11:18 rudybot: (cons) 03:11:18 Tweekly: error: cons: expects 2 arguments, given 0 03:11:24 member:rudybot: (call/cc (lambda (c) (c "hello world"))) 03:11:40 rudybot: (define x (cons 1 2)) 03:11:41 Tweekly: Done. 03:11:41 rudybot: (call/cc (lambda (c) (c "hello world"))) 03:11:42 adu: ; Value: "hello world" 03:11:45 :) 03:11:51 rudybot: (display x) 03:11:52 Tweekly: ; stdout: "(1 . 2)" 03:11:59 cool 03:12:03 didnt break it =) 03:12:44 cant wait to get back to uni with knowledge of scheme lol 03:13:07 NihilistDandy: batteries? what do you mean? 03:14:39 adu: As in the expression "batteries included". Bundled libraries, tools, etc. 03:15:46 Tweekly_ [~rixx69@60-234-166-237.bitstream.orcon.net.nz] has joined #scheme 03:15:55 wow sorry dced 03:16:05 it has a nice ide, its macro stepper is really useful for debugging macros 03:16:19 <_danb_> Tweekly: drracket might not let you redefine cons because of the way it is configured 03:16:29 possibly 03:16:32 <_danb_> but you can change it 03:16:50 its not a big deal tho, I just need to rename things in the SICP examples 03:17:10 -!- Tweekly [~rixx69@60-234-166-237.bitstream.orcon.net.nz] has quit [Ping timeout: 260 seconds] 03:17:18 hmm 03:17:20 <_danb_> drracket lets you switch between learning languages and experiment as well as normal ones 03:17:40 <_danb_> it's all a bit confusing I find, though I like racket a lot 03:17:52 <_danb_> *experimental 03:18:27 -!- davazp [~user@15.Red-83-57-38.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 03:19:02 ow never mind my object idea wont work 03:19:21 not with my current understaning of the language anyway 03:19:50 I recommend Quack and Emacs, personally 03:19:56 For working with it, that is 03:20:17 yeah, i should really pick vim or emacs 03:20:31 I just never find the time to learn an editor 03:20:46 hence i stick with notepad++ etc 03:20:55 <_danb_> apparently you can script vim in plt scheme / racket or something 03:21:01 <_danb_> but I'd probably recommend emacs 03:21:23 yeah, ive heard they both have advantages and disadvantages 03:21:29 ill need to learn one some day 03:21:44 <_danb_> well, being a vimmer once, I have emacs configured to do vi key bindings 03:21:48 <_danb_> + paredit-mode 03:21:51 <_danb_> + whatever else 03:22:12 <_danb_> emacs is definitely one of the most flexible things I have ever used 03:22:26 That's its big problem IMAO 03:22:36 I recently swapped my () and [] keys in Emacs. It's interesting. :-P 03:22:40 I still use vim for other things, but emacs gets all my Lisp/Scheme stuff 03:23:00 fds: I'm using Knuth's keylayout. Definitely saves me a little bit of reaching 03:23:06 It saves a lot of shift-pressing though 03:23:11 ^^ 03:23:16 NihilistDandy: Knuth's layout? 03:23:54 fds: He publishes a keylayout he uses on his Macs. Basically just switches () and [], and it does a few other things relating to accented characters 03:24:10 Interesting 03:24:25 I got the idea from here: http://www.cliki.net/Editing%20Lisp%20Code%20with%20Emacs 03:24:43 It also suggests swapping ctrl and alt, but I'm not sure abou thtat 03:24:52 It's been saving me a lot of effort in Lisp and elsewhere. I almost never use brackets, so it's been convenient 03:25:32 Indeed, I guess they're used in some languages, but since I write Scheme almost exclusively, there seemed to be no excuse not to 03:26:13 I only ever use them for LaTeX and a few other languages, but they're so rare that it's not a problem. 03:30:04 *fds* wants to learn LaTeX 03:31:20 fds: It's actually not too hard once you get the hang of it. I learned it for a physics class, and now I don't use anything else for papers or presentations 03:32:51 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 03:33:27 -!- githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has quit [Max SendQ exceeded] 03:34:34 githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has joined #scheme 03:38:11 fds: Ever heard of Programmer Dvorak? You might like that. Symbols are unshifted; numbers require shift. 03:38:25 -!- myu2 [~myu2@v077103.dynamic.ppp.asahi-net.or.jp] has quit [Remote host closed the connection] 03:38:27 Programmers, of course, never deal with numbers. 03:39:03 Now now. If they never deal with numbers, then numbers would be inaccessible from the layout entirely. :-P 03:39:06 lol 03:40:38 I don't know that I've ever had to type ù before today, but it's accessible from my layout as Nor any sort of compose key. 03:41:12 Ouch, I love my AltGr 03:41:43 And that sounds good (about the fhshift numbers stuff) 03:41:49 Lag :-( 03:41:55 Awwww.... 03:42:02 AltGr is just a name for the right Alt key. 03:42:06 (right, as opposed to left) 03:42:16 fds: If you're already familiar with Dvorak, Programmer Dvorak isn't too bad. But the locations of ' and ; are swapped, and that bugs me no end. 03:42:31 cky: What are you using? 03:42:36 Well, and it does does different stuff from Alt. :-P 03:42:40 jcowan: I use ANSI Dvorak. 03:42:40 Why do keyboard manufacturers put the windows key on the keyboards instead of some sort of meta key (I know you can re bind it) 03:42:50 do they get advertising money or something? 03:43:03 Competition. 03:43:28 Now why they still bother with the Caps Lock key, esp. on reduced size keyboards, is beyond me entirely. 03:43:35 The thing is nothing but a nuisance. 03:43:42 jcowan: That's just for you to use ctrl:nocaps with. :-P 03:43:42 true 03:44:10 cky: I meant "on what type of computer"? 03:44:43 I remapped right AltGr to left Alt. Can anyone guess why? 03:44:44 jcowan: I have a laptop. (Lenovo IdeaPad Y560d to be specific.) 03:45:11 *cky* cannot guess why. The guessing part of my brain is damaged. 03:45:13 Riastradh: You're french? :D 03:45:16 (In other words, if I type right AltGr, X sees left Alt.) 03:45:33 *French 03:45:42 cky: If you are running Windows, you might like the keyboard I'm using. 03:45:55 No, he's a hero of ancient Ireland. 03:46:08 jcowan: I run Linux, but you're welcome to share anyway. 03:46:21 Ah, no, it won't help much. 03:46:43 I see. 03:46:51 The idea of it is that right Alt aka AltGr makes various keys into dead keys. So ' is not dead (which would seriously interfere with programming), but AltGr+' is a deadkey for acute. 03:47:07 You could write an X key map that works this way, I suppose. 03:47:23 Very nice. 03:47:38 likewise AltGr+, c gives ç, and a bunch more. 03:47:39 My left Alt key is mapped to left Meta, so mapping right AltGr to left Alt allows me to have an Alt key. But why? 03:48:43 *jcowan* runs Linux as a Windows driver using Portable Ubuntu for Windows 03:49:01 klunkmatic [~Mohamdu@CPE00222d6b3798-CM00222d6b3795.cpe.net.cable.rogers.com] has joined #scheme 03:49:04 The comment I left in my .xmodmaprc is `[L]eft Alt is more important [than right AltGr].', and the RCS log message I wrote is `More kludgerosity to make Alt and Meta work.' 03:50:20 Any ideas what might require an Alt key rather than Meta? I use Super for window manager operations, so that's not it. 03:50:43 Riastradh: Ctrl-Alt-Backspace. 03:50:45 :-P 03:50:46 cataska [~cataska@210.64.6.233] has joined #scheme 03:50:58 You are running something that requires a Knight keyboard. 03:51:23 Hmm... I don't want to test that right now, cky, but I don't think I have that enabled. 03:51:32 Also, I don't know whether it works with remapped keys. 03:51:37 Hmmm. 03:51:51 (Any idea how to ask the X.org server whether it's enabled?) 03:52:21 *cky* doesn't have any idea. 03:52:41 timj_ [~timj@e176197022.adsl.alicedsl.de] has joined #scheme 03:53:03 Apparently the key used to invoke that can be remapped using xkb. The action is called Terminate_Server. 03:53:42 According to the Xorg(8) man page, DontZap is now enabled by default; in other words, C-A-Backspace no longer zaps the X server by default. 03:54:13 Not on my distro (Squeeze). 03:54:29 qman Xorg 03:54:35 Oops, wrong window. 03:54:37 This is on NetBSD with X.org 1.6.5. 03:55:08 Recent Xorg's have disabled it by default... but I'm not sure how recent 03:55:10 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 03:55:26 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 03:55:26 fds: I don't know either, and I don't feel inclined to test it out here 03:55:27 Basically, as long as I've been using computers though. :-P 03:55:30 Anyway, obviously that's not why I mapped AltGr to left Alt. 03:55:34 *fds* is such a noob 03:55:36 *nods* 03:56:02 -!- timj__ [~timj@e176207129.adsl.alicedsl.de] has quit [Ping timeout: 240 seconds] 03:56:16 -!- erjiang [~erjiang@7.80.244.66.jest.smithvilledigital.net] has quit [Ping timeout: 245 seconds] 03:56:19 -!- Euthydemus [~euthydemu@vaxjo7.80.cust.blixtvik.net] has quit [Read error: Operation timed out] 03:56:26 I'm afraid to touch my .xmodmaprc or run xmodmap, though, because I seem to remember that whatever dunderheaded nitwit designed it failed to make it idempotent. 03:57:00 Heck, I don't even know whether it is convergent! 03:59:26 O_o That's hardcore (about xmodmap not being convergent, etc.) 04:00:00 My fingers are uncooperative tonight. Normally I type fullstops without fail. Hmm. 04:00:51 Euthydemus [~euthydemu@vaxjo7.80.cust.blixtvik.net] has joined #scheme 04:02:37 oops 04:02:50 rudybot 04:03:35 rudybot: (define (cons x y) (lambda (m) (m x y))) 04:03:35 Tweekly_: your sandbox is ready 04:03:36 Tweekly_: Done. 04:04:02 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 04:04:10 rudybot: (define (car z) (z (lambda (p q) p))) 04:04:10 Tweekly_: Done. 04:04:31 rudybot: (define x (cons 1 2)) 04:04:31 Tweekly_: Done. 04:04:54 rudybot: (display (car x)) 04:04:54 Tweekly_: ; stdout: "1" 04:05:57 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Read error: Connection reset by peer] 04:06:14 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 04:06:30 saccade [~saccade@c-67-180-11-158.hsd1.ca.comcast.net] has joined #scheme 04:10:52 is any one available to help explain what this small piece of code is doing? 04:11:27 http://ideone.com/1xje2 04:11:36 especially the second procedure 04:12:23 what the '(display (car x))? 04:13:03 in this paste 04:13:03 http://ideone.com/1xje2 04:13:08 its the same code 04:13:19 as what I just typed without the display 04:13:24 im lost on how its working 04:13:44 What does cons. return? (Hint: It doesn't return a pair.) 04:13:58 a procedure 04:15:09 oh wait 04:15:14 does it return a procedure 04:15:26 and the values x y are within the scope of that procedure 04:15:45 Quite. 04:16:30 Im confused by the lambdas 04:16:36 for the first procedure 04:16:43 the lambda takes an argument m 04:16:51 which is another procedure i persume 04:16:56 applied to x y 04:17:24 car. takes a cons. procedure 04:17:42 and applies the cons. to a lambda taking arguments P q 04:17:49 and returns p 04:18:01 where do the p and q come from 04:18:15 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 04:18:30 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 04:19:07 Tweekly_: from the function that is the cons. It calls the lambda, with both the car and the cdr as argument. 04:19:31 Tweekly_: what are you doing with cons and car? 04:19:39 lambda calculus 04:19:45 im just playing around with them 04:19:45 oh 04:19:50 learning scheme 04:19:57 trying to get to grips with new concepts etc 04:22:04 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 04:22:20 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 04:26:25 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 04:29:43 nilg [~user@77.70.2.229] has joined #scheme 04:34:38 -!- corruptmemory [~jim@ool-18bbd5b2.static.optonline.net] has quit [Ping timeout: 240 seconds] 04:37:22 -!- tupi [~david@189.60.162.71] has quit [Quit: Leaving] 04:41:52 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has quit [Remote host closed the connection] 04:42:03 -!- bitweiler [~bitweiler@adsl-99-40-239-167.dsl.stl2mo.sbcglobal.net] has quit [Remote host closed the connection] 04:42:25 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 04:42:39 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 04:53:13 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 04:53:32 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 05:01:48 -!- erjiang_ [~erjiang@7.80.244.66.jest.smithvilledigital.net] has quit [Ping timeout: 276 seconds] 05:03:01 -!- MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has quit [Ping timeout: 255 seconds] 05:07:02 -!- rien [~rien@dyn-160-39-34-114.dyn.columbia.edu] has quit [Quit: Computer has gone to sleep] 05:11:14 HG` [~HG@xdsl-92-252-105-242.dip.osnanet.de] has joined #scheme 05:11:15 nteon [~nteon@c-98-210-195-105.hsd1.ca.comcast.net] has joined #scheme 05:15:23 MichaelRaskin [~MichaelRa@195.178.216.22] has joined #scheme 05:21:45 myu2 [~myu2@58x5x224x106.ap58.ftth.ucom.ne.jp] has joined #scheme 05:24:34 -!- dnolen [~davidnole@184.152.69.75] has quit [Quit: dnolen] 05:29:57 -!- blueadept [~blueadept@unaffiliated/blueadept] has quit [Quit: Leaving] 05:32:06 -!- easy4 [~easy4@c-174-60-36-128.hsd1.pa.comcast.net] has quit [Ping timeout: 245 seconds] 05:32:15 -!- nteon [~nteon@c-98-210-195-105.hsd1.ca.comcast.net] has quit [Ping timeout: 240 seconds] 05:32:23 -!- neilcj [~neilcj@c-174-49-216-137.hsd1.pa.comcast.net] has quit [Read error: Operation timed out] 05:32:58 neilcj [~neilcj@c-174-49-216-137.hsd1.pa.comcast.net] has joined #scheme 05:34:14 nteon [~nteon@c-98-210-195-105.hsd1.ca.comcast.net] has joined #scheme 05:34:45 amca [~amca@CPE-121-208-84-154.cqzr1.cha.bigpond.net.au] has joined #scheme 05:39:53 -!- NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Remote host closed the connection] 05:43:05 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 05:43:21 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 05:45:47 -!- myu2 [~myu2@58x5x224x106.ap58.ftth.ucom.ne.jp] has quit [Remote host closed the connection] 05:46:53 -!- Modius [~Modius@cpe-70-123-158-125.austin.res.rr.com] has quit [Quit: "Object-oriented design" is an oxymoron] 05:50:19 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 05:54:37 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 06:15:25 -!- jcowan [~John@cpe-74-68-112-189.nyc.res.rr.com] has left #scheme 06:28:32 -!- tronador_ [~guille@190.253.154.71] has quit [Quit: tronador_] 06:32:57 mmc1 [~michal@82-148-210-75.fiber.unet.nl] has joined #scheme 06:35:47 -!- peterhil [~peterhil@a91-153-127-82.elisa-laajakaista.fi] has quit [Quit: Must not waste too much time here...] 06:36:23 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 06:36:42 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 06:37:04 -!- teurastaja [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [] 06:39:18 -!- mmc1 [~michal@82-148-210-75.fiber.unet.nl] has quit [Ping timeout: 240 seconds] 07:02:14 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 07:02:31 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 07:14:50 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 07:25:58 myu2 [~myu2@58x5x224x106.ap58.ftth.ucom.ne.jp] has joined #scheme 07:48:53 ravic [~ravi@118-92-27-93.dsl.dyn.ihug.co.nz] has joined #scheme 08:00:39 -!- clog [~nef@bespin.org] has quit [Ping timeout: 240 seconds] 08:03:56 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 276 seconds] 08:12:34 hkBst [~quassel@gentoo/developer/hkbst] has joined #scheme 08:17:25 -!- DrAfk [~duck@216.186.151.63] has quit [Read error: Operation timed out] 08:24:18 alaricsp [~alaric@93-96-143-25.zone4.bethere.co.uk] has joined #scheme 08:28:02 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 240 seconds] 08:34:15 steshaw [~steshaw@60-240-111-207.tpgi.com.au] has joined #scheme 08:56:06 -!- saccade [~saccade@c-67-180-11-158.hsd1.ca.comcast.net] has quit [Quit: This computer has gone to sleep] 09:06:50 -!- myu2 [~myu2@58x5x224x106.ap58.ftth.ucom.ne.jp] has quit [Ping timeout: 246 seconds] 09:07:02 myu2 [~myu2@58x5x224x106.ap58.ftth.ucom.ne.jp] has joined #scheme 09:10:50 -!- Nisstyre [~nisstyre@infocalypse-net.info] has quit [Ping timeout: 240 seconds] 09:15:35 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 09:22:08 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 255 seconds] 09:27:51 f8l [~f8l@87-205-27-57.ip.netia.com.pl] has joined #scheme 09:35:32 -!- wbooze` [~levgue@xdsl-78-35-169-2.netcologne.de] has quit [Read error: Operation timed out] 09:35:47 wbooze`` [~levgue@xdsl-78-35-156-60.netcologne.de] has joined #scheme 09:36:22 homie` [~levgue@xdsl-78-35-156-60.netcologne.de] has joined #scheme 09:37:53 -!- homie [~levgue@xdsl-78-35-169-2.netcologne.de] has quit [Ping timeout: 255 seconds] 09:38:45 -!- adu [~ajr@pool-173-79-54-138.washdc.fios.verizon.net] has quit [Quit: adu] 09:41:08 -!- alaricsp [~alaric@93-96-143-25.zone4.bethere.co.uk] has quit [Ping timeout: 246 seconds] 09:49:11 -!- f8l [~f8l@87-205-27-57.ip.netia.com.pl] has quit [Quit: WeeChat 0.3.4] 10:03:17 -!- nilg [~user@77.70.2.229] has quit [Remote host closed the connection] 10:07:43 clog [nef@bespin.org] has joined #scheme 10:08:02 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 10:08:19 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 10:31:38 alaricsp [~alaric@geniedb.hotdesktop.biz] has joined #scheme 10:33:44 -!- NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Quit: Sleep] 10:43:13 -!- Intensity [OarKGxfrDb@unaffiliated/intensity] has quit [Ping timeout: 255 seconds] 11:00:21 nilg [~user@77.70.2.229] has joined #scheme 11:02:25 -!- rmrfchik_ is now known as rmrfchik 11:06:28 -!- nilg [~user@77.70.2.229] has quit [Remote host closed the connection] 11:17:36 -!- Marcux [~Adium@189.121.111.41] has quit [Quit: Leaving.] 11:22:57 masm [~masm@bl16-171-115.dsl.telepac.pt] has joined #scheme 11:24:16 -!- masm [~masm@bl16-171-115.dsl.telepac.pt] has quit [Remote host closed the connection] 11:26:17 masm [~masm@bl16-171-115.dsl.telepac.pt] has joined #scheme 11:29:15 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: Operation timed out] 11:29:30 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 12:14:25 mathk__ [~mathk@lns-bzn-60-82-254-209-21.adsl.proxad.net] has joined #scheme 12:17:19 -!- mathk [~mathk@194.177.61.48] has quit [Ping timeout: 240 seconds] 12:17:19 -!- mathk__ is now known as mathk 12:20:50 -!- myu2 [~myu2@58x5x224x106.ap58.ftth.ucom.ne.jp] has quit [Remote host closed the connection] 12:29:42 -!- amca [~amca@CPE-121-208-84-154.cqzr1.cha.bigpond.net.au] has quit [Quit: Farewell] 12:31:29 bitweiler [~bitweiler@adsl-99-40-239-167.dsl.stl2mo.sbcglobal.net] has joined #scheme 12:31:39 morning schemers! 12:33:46 does scheme have an append! function? 12:34:06 srfi/1 12:38:43 nilg [~user@77.70.2.229] has joined #scheme 12:47:49 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 12:48:05 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 12:49:15 rapacity: how is append! used (append! (list 'a 'b) (list 'c 'd)) 12:49:36 doesn't seem to work 12:49:38 bitweiler: It's used just like append 12:49:45 f8l [~f8l@87-205-27-57.ip.netia.com.pl] has joined #scheme 12:49:52 It *may* modify the input lists, but it doesn't have to 12:50:03 rudybot: (append! (list 'a 'b) (list 'c 'd)) 12:50:03 sjamaan: your sandbox is ready 12:50:03 sjamaan: error: reference to undefined identifier: append! 12:50:10 Damn you, rudybot 12:50:17 hehe 12:50:21 rudybot: (require srfi-1) 12:50:21 sjamaan: error: eval:1:9: srfi-1: standard-module-name-resolver: collection not found: "srfi-1" in any of: (#) in: srfi-1 12:50:28 rudybot: (require (srfi 1)) 12:50:29 sjamaan: error: eval:1:9: srfi: not a require sub-form in: (srfi 1) 12:50:42 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 12:51:04 sjamaan: it gives me a error after importing srfi-1 12:51:22 minion: (append! (list 'a 'b) (list 'c 'd)) 12:51:23 does torturing a poor bot with things beyond its comprehension please you? 12:51:28 minion: eval (append! (list 'a 'b) (list 'c 'd)) 12:51:28 watch out, you'll make krystof angry 12:51:53 incubot: (append! (list 'a 'b) (list 'c 'd)) 12:51:53 (a b c d) 12:51:56 \o/ 12:52:01 Success 12:52:09 :) 12:52:47 sorry I was away :p 12:53:41 np 12:56:17 append and append! does the same thing, so what's the difference? 12:56:54 -!- scheibo [~scheibo@CPE001dba06b84c-CM0026f3358955.cpe.net.cable.rogers.com] has quit [Quit: Lost terminal] 12:57:25 Like I said, append! is allowed to modify its input 12:57:54 incubot: (let* ((a (list 1 2)) (b (list 2 3)) (c (append! a b))) (list a b c)) 12:57:55 ((1 2 2 3) (2 3) (1 2 2 3)) 12:58:04 Notice how A was changed 12:58:34 *bitweiler* nods 13:02:26 <_danb_> I think its... 13:02:34 <_danb_> rudybot: (require srfi/1) 13:02:35 _danb_: your sandbox is ready 13:02:35 _danb_: Done. 13:02:41 heh 13:03:15 Isn't it great? We have standard libraries, but no standard way to load them ;) 13:03:25 Harrold [~quassel@134.117.254.248] has joined #scheme 13:04:30 <_danb_> so it's completely different for the other schemes then -- oh well; I'll stick with learning racket when I do my scheme for the moment 13:04:50 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 13:12:07 rudybot: (require srfi/1) 13:12:08 rapacity: Done. 13:12:12 rudybot: append! 13:12:12 rapacity: eval (append! (list 'a 'b) (list 'c 'd)) 13:12:40 wah 13:12:58 rudybot: set! 13:12:58 rapacity: trying to set this up now 13:13:13 rudybot: string-append! 13:13:13 rapacity: is the last line just (string-append))) ? 13:13:20 aha 13:13:29 so things work differently on racket 13:13:31 *rapacity* hides 13:13:57 rapacity: rubybot is on a coffee break 13:13:58 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 13:14:26 <_danb_> rudybot: (append! (list 'a 'b) (list 'c 'd)) 13:14:27 _danb_: ; Value: (a b c d) 13:14:48 <_danb_> rudybot: (let* ((a (list 1 2)) (b (list 2 3)) (c (append! a b))) (list a b c)) 13:14:49 _danb_: ; Value: ((1 2) (2 3) (1 2 2 3)) 13:15:22 rudybot: (eq? append append!) 13:15:22 rapacity: ; Value: #t 13:15:25 :p 13:18:25 <_danb_> oh I see; so does that mean incubot is more efficient or something? 13:18:32 <_danb_> what is he running? 13:18:40 chicken 13:19:06 <_danb_> cool 13:19:19 http://incubot.org/ 13:20:00 <_danb_> rudybot: do you like incubot? 13:20:01 _danb_: Most other langs drivel with jargons, pettiness, comp-sci pretentiousness, while their content is mathematically garbage. 13:20:49 -!- mathk [~mathk@lns-bzn-60-82-254-209-21.adsl.proxad.net] has quit [Read error: Connection reset by peer] 13:21:00 mathk [~mathk@lns-bzn-20-82-64-4-147.adsl.proxad.net] has joined #scheme 13:22:50 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 13:24:19 -!- vu3rdd [~vu3rdd@fsf/member/vu3rdd] has quit [Remote host closed the connection] 13:28:05 -!- nilg [~user@77.70.2.229] has quit [Remote host closed the connection] 13:30:41 nilg [~user@77.70.2.229] has joined #scheme 13:32:24 -!- _danb_ [~user@124-171-12-242.dyn.iinet.net.au] has quit [Read error: Operation timed out] 13:37:01 dnolen [~davidnole@184.152.69.75] has joined #scheme 13:38:27 drdo` [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 13:39:07 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Disconnected by services] 13:39:11 -!- drdo` is now known as drdo 13:48:57 -!- MapMan [mapman@dynamic-78-8-62-128.ssp.dialog.net.pl] has quit [Read error: Operation timed out] 13:51:20 myu2 [~myu2@v077103.dynamic.ppp.asahi-net.or.jp] has joined #scheme 13:52:19 MapMan [mapman@host-62-141-192-113.swidnica.mm.pl] has joined #scheme 13:52:28 dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has joined #scheme 14:25:12 rien_ [~rien_@rrcs-69-193-217-130.nyc.biz.rr.com] has joined #scheme 14:33:30 langmartin [~user@exeuntcha2.tva.gov] has joined #scheme 14:35:31 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 14:35:45 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 14:36:26 kingping [~kp@95.70.84.13] has joined #scheme 14:36:30 hey 14:38:34 -!- Harrold [~quassel@134.117.254.248] has quit [Ping timeout: 240 seconds] 14:43:49 tronador_ [~guille@190.145.89.146] has joined #scheme 14:44:36 -!- Tweekly_ [~rixx69@60-234-166-237.bitstream.orcon.net.nz] has quit [Read error: Connection reset by peer] 14:46:52 davazp [~user@15.Red-83-57-38.dynamicIP.rima-tde.net] has joined #scheme 14:50:44 -!- davazp [~user@15.Red-83-57-38.dynamicIP.rima-tde.net] has quit [Remote host closed the connection] 14:57:34 tupi [~david@139.82.89.24] has joined #scheme 14:59:15 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 14:59:34 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 15:01:55 zmv [~daniel@c953305f.virtua.com.br] has joined #scheme 15:02:35 MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has joined #scheme 15:04:32 -!- klunkmatic [~Mohamdu@CPE00222d6b3798-CM00222d6b3795.cpe.net.cable.rogers.com] has quit [Ping timeout: 246 seconds] 15:07:15 aisa [~aisa@173-10-243-253-Albuquerque.hfc.comcastbusiness.net] has joined #scheme 15:21:26 dzhus [~sphinx@95-27-122-83.broadband.corbina.ru] has joined #scheme 15:23:41 Intensity [6ia2pqq0lO@unaffiliated/intensity] has joined #scheme 15:24:58 Mohamdu [~Mohamdu@129-97-120-249.uwaterloo.ca] has joined #scheme 15:28:09 Gmind [~Nevermind@113.190.206.187] has joined #scheme 15:28:23 hi 15:31:56 Gmind: hello 15:32:08 ray_ [ray@xkcd-sucks.org] has joined #scheme 15:32:08 -!- ray [ray@xkcd-sucks.org] has quit [Read error: Connection reset by peer] 15:32:19 peterhil [~peterhil@a91-153-127-82.elisa-laajakaista.fi] has joined #scheme 15:34:48 bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has joined #scheme 15:34:50 -!- rien_ is now known as rien 15:36:46 femtoo [~femto@95-89-249-53-dynip.superkabel.de] has joined #scheme 15:38:02 -!- copumpkin [~pumpkin@unaffiliated/pumpkingod] has quit [Quit: Computer has gone to sleep.] 15:39:26 teurastaja [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 15:40:05 hkr [~hkr@77.63.117.171] has joined #scheme 15:51:04 -!- hkBst [~quassel@gentoo/developer/hkbst] has quit [Remote host closed the connection] 15:51:07 davazp [~user@15.Red-83-57-38.dynamicIP.rima-tde.net] has joined #scheme 15:51:30 -!- hkr [~hkr@77.63.117.171] has quit [Quit: Colloquy for iPad - http://colloquy.mobi] 15:51:31 anyone from montreal? im a 2 hour drive from there and apparently theres a schemer community there 15:51:46 is it big? 15:55:34 is there a page relating new stuff about scheme? or is new stuff too uncommon to deserve a news page 15:55:35 ? 15:58:59 teurastaja: There's a "planet"-style blog aggregator at scheme.dk/planet 15:59:11 easy4 [~easy4@c-174-60-36-128.hsd1.pa.comcast.net] has joined #scheme 15:59:28 And I don't know about other Scheme implementations, but Chicken has a newsletter at gazette.call-cc.org 15:59:51 I think the Montreal user group is mostly focused around Gambit, so you might want to try their channel 16:01:13 -!- dnolen [~davidnole@184.152.69.75] has quit [Quit: dnolen] 16:01:23 and there is the scheme reddit at reddit.com/r/scheme 16:01:36 Ah good one, I forgot about that 16:04:57 copumpkin [~pumpkin@17.101.89.205] has joined #scheme 16:04:57 -!- copumpkin [~pumpkin@17.101.89.205] has quit [Changing host] 16:04:57 copumpkin [~pumpkin@unaffiliated/pumpkingod] has joined #scheme 16:07:52 Harrold [~quassel@dhcp-101-110.hpsc-staff.carleton.ca] has joined #scheme 16:08:32 People, we need votes here http://stackoverflow.com/tags/racket/synonyms 16:08:36 teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 16:10:46 hehe related tags: "homework" 16:12:02 -!- teurastaja [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 16:12:20 Indeed, one of the most popular :-) 16:16:04 -!- femtoo [~femto@95-89-249-53-dynip.superkabel.de] has quit [Read error: Connection reset by peer] 16:17:38 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 16:17:56 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 16:20:09 teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 16:22:28 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 16:22:29 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 276 seconds] 16:23:18 jewel [~jewel@196-210-134-23.dynamic.isadsl.co.za] has joined #scheme 16:23:38 -!- teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 16:23:52 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 16:25:09 -!- Mohamdu [~Mohamdu@129-97-120-249.uwaterloo.ca] has quit [Ping timeout: 265 seconds] 16:28:45 kingping: erjiang has enough score and rep to make a vote for those synonyms. I just don't know when he's back here. :-) 16:29:18 teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 16:29:35 cky: :-> 16:29:44 I believe we have Note facility on Freenode. 16:30:02 kingping: Yes, but I usually try to contact people on-channel unless I know them well. 16:30:03 yes, we have 16:31:22 Phao [pedro-hen@189.107.230.122] has joined #scheme 16:32:26 -!- teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 16:33:04 Just in case, see this question http://meta.stackoverflow.com/questions/74042/racket-language-questions-tagging-tags-plt-scheme-and-racket 16:33:05 http://tinyurl.com/6eahkjz 16:35:35 -!- dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 16:39:20 teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 16:39:34 churib [~churib@95.156.194.105] has joined #scheme 16:41:04 -!- teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Read error: Connection reset by peer] 16:41:05 -!- Phao [pedro-hen@189.107.230.122] has quit [Quit: Fui embora] 16:41:12 teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 16:41:21 Phao [pedro-hen@189.107.230.122] has joined #scheme 16:42:11 -!- Harrold [~quassel@dhcp-101-110.hpsc-staff.carleton.ca] has quit [Ping timeout: 246 seconds] 16:42:26 -!- teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 16:45:17 -!- jimrees_ [~jimrees@ita4fw1.itasoftware.com] has quit [Quit: Ex-Chat] 16:45:35 -!- pygospa [~pygospa@kiel-d9bfc0c5.pool.mediaWays.net] has quit [Disconnected by services] 16:45:47 pygospa [~pygospa@kiel-4dbed52b.pool.mediaWays.net] has joined #scheme 16:50:50 teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 16:52:26 -!- jewel [~jewel@196-210-134-23.dynamic.isadsl.co.za] has quit [Ping timeout: 240 seconds] 16:53:38 -!- teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 16:54:35 evhan [~evhan@76-250-39-229.lightspeed.mdsnwi.sbcglobal.net] has joined #scheme 16:56:20 Mohamdu [~Mohamdu@CPE00222d6b3798-CM00222d6b3795.cpe.net.cable.rogers.com] has joined #scheme 16:57:28 corruptmemory [~jim@96.246.167.18] has joined #scheme 17:00:37 teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 17:04:02 -!- teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 17:04:45 -!- ray_ is now known as ray 17:08:50 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 17:10:52 -!- kingping [~kp@95.70.84.13] has quit [Quit: x] 17:13:14 -!- teurastaja__ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 17:14:28 -!- Phao [pedro-hen@189.107.230.122] has quit [Quit: Fui embora] 17:15:01 carleastlund [~cce@gotham.ccs.neu.edu] has joined #scheme 17:16:05 -!- langmartin [~user@exeuntcha2.tva.gov] has quit [Remote host closed the connection] 17:25:36 -!- MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has quit [Read error: Connection reset by peer] 17:25:41 -!- tronador_ [~guille@190.145.89.146] has quit [Quit: tronador_] 17:28:02 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 240 seconds] 17:30:18 MrFahrenheit [~RageOfTho@users-146-124.vinet.ba] has joined #scheme 17:33:16 cpach [~carl@h167n3-sde-a31.ias.bredband.telia.com] has joined #scheme 17:40:04 -!- zmv [~daniel@c953305f.virtua.com.br] has quit [Quit: testing 2.6.38] 17:41:51 rgrau [~user@62.Red-88-2-20.staticIP.rima-tde.net] has joined #scheme 17:43:57 Harrold [~quassel@dhcp-101-110.hpsc-staff.carleton.ca] has joined #scheme 17:48:45 -!- davazp [~user@15.Red-83-57-38.dynamicIP.rima-tde.net] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 17:56:32 tronador_ [~guille@190.145.89.146] has joined #scheme 17:57:58 bweaver` [~user@host-68-169-158-230.WISOLT2.epbfi.com] has joined #scheme 18:00:02 -!- bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has quit [Ping timeout: 240 seconds] 18:00:07 -!- bweaver` [~user@host-68-169-158-230.WISOLT2.epbfi.com] has quit [Client Quit] 18:01:54 -!- steshaw [~steshaw@60-240-111-207.tpgi.com.au] has quit [Quit: steshaw] 18:06:28 -!- Hal9k [~Lernaean@unaffiliated/kusanagi] has quit [] 18:07:21 dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has joined #scheme 18:10:50 -!- corruptmemory [~jim@96.246.167.18] has quit [Ping timeout: 240 seconds] 18:13:51 -!- ray [ray@xkcd-sucks.org] has quit [Read error: Connection reset by peer] 18:13:56 ray [ray@xkcd-sucks.org] has joined #scheme 18:23:29 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 18:23:46 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 18:24:08 corruptmemory [~jim@96.246.167.18] has joined #scheme 18:24:34 -!- githogori [~githogori@adsl-66-123-22-146.dsl.snfc21.pacbell.net] has quit [Read error: Connection reset by peer] 18:25:25 -!- MichaelRaskin [~MichaelRa@195.178.216.22] has quit [Read error: Connection reset by peer] 18:30:39 -!- f8l is now known as w8l 18:31:03 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 18:41:55 -!- Harrold [~quassel@dhcp-101-110.hpsc-staff.carleton.ca] has quit [Quit: No Ping reply in 180 seconds.] 18:42:22 Harrold [~quassel@dhcp-101-110.hpsc-staff.carleton.ca] has joined #scheme 18:42:50 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 18:48:26 -!- corruptmemory [~jim@96.246.167.18] has quit [Ping timeout: 240 seconds] 18:49:49 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 18:50:05 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 18:56:33 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 18:56:41 -!- pchrist [~spirit@gentoo/developer/pchrist] has quit [Read error: Operation timed out] 18:56:46 pchrist_ [~spirit@gentoo/developer/pchrist] has joined #scheme 18:58:30 jimrees_ [~jimrees@ita4fw1.itasoftware.com] has joined #scheme 18:58:40 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 19:12:47 zanes [~zane@wall.tripitinc.com] has joined #scheme 19:15:51 githogori [~githogori@38.sub-75-210-252.myvzw.com] has joined #scheme 19:17:57 -!- nilg [~user@77.70.2.229] has quit [Read error: Connection reset by peer] 19:18:22 -!- Harrold [~quassel@dhcp-101-110.hpsc-staff.carleton.ca] has quit [Ping timeout: 250 seconds] 19:19:01 -!- bitweiler [~bitweiler@adsl-99-40-239-167.dsl.stl2mo.sbcglobal.net] has quit [Remote host closed the connection] 19:23:18 -!- githogori [~githogori@38.sub-75-210-252.myvzw.com] has quit [Remote host closed the connection] 19:33:58 -!- ravic [~ravi@118-92-27-93.dsl.dyn.ihug.co.nz] has quit [Ping timeout: 250 seconds] 19:34:47 -!- HG` [~HG@xdsl-92-252-105-242.dip.osnanet.de] has quit [Quit: Leaving.] 19:38:27 -!- myu2 [~myu2@v077103.dynamic.ppp.asahi-net.or.jp] has quit [Remote host closed the connection] 19:48:36 githogori [~githogori@170.sub-75-208-148.myvzw.com] has joined #scheme 19:54:30 MichaelRaskin [~MichaelRa@195.91.224.225] has joined #scheme 19:58:26 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 19:58:31 -!- alaricsp [~alaric@geniedb.hotdesktop.biz] has quit [Ping timeout: 255 seconds] 19:59:33 corruptmemory [~jim@96.246.167.18] has joined #scheme 20:00:50 alaricsp [~alaric@geniedb.hotdesktop.biz] has joined #scheme 20:03:58 jewel [~jewel@196-210-134-23.dynamic.isadsl.co.za] has joined #scheme 20:05:46 kar8nga [~kar8nga@i-194.vc-graz.ac.at] has joined #scheme 20:06:10 -!- alaricsp [~alaric@geniedb.hotdesktop.biz] has quit [Ping timeout: 255 seconds] 20:08:49 nilg [~user@77.70.2.229] has joined #scheme 20:09:06 teurastaja [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 20:13:02 casiomar [bc533a6d@gateway/web/freenode/ip.188.83.58.109] has joined #scheme 20:13:13 ;; I : number -> number ;; to convert a Fahrenheit temperature to Celsius and back (define (I f) (Celsius->Fahrenheit (Fahrenheit->Celsius f))) 20:13:20 ups let me past that 20:14:02 http://paste.lisp.org/display/119491 20:14:15 what that code sugests about those two functions? 20:14:26 exercise 3.3.6 on How to Design Programs 20:16:39 its a function that takes a number and returns a number 20:17:05 i know 20:17:26 so whats your question 20:20:34 Phao [pedro-hen@189.107.183.192] has joined #scheme 20:21:38 -!- jewel [~jewel@196-210-134-23.dynamic.isadsl.co.za] has quit [Ping timeout: 240 seconds] 20:22:01 3.3.6 is asking you to determine what happens when the two functions are composed like that 20:22:38 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 20:27:33 githogori_ [~githogori@170.sub-75-208-148.myvzw.com] has joined #scheme 20:28:35 -!- githogori_ [~githogori@170.sub-75-208-148.myvzw.com] has quit [Read error: Connection reset by peer] 20:29:38 -!- githogori [~githogori@170.sub-75-208-148.myvzw.com] has quit [Quit: Leaving] 20:29:48 githogori [~githogori@170.sub-75-208-148.myvzw.com] has joined #scheme 20:36:37 -!- Phao [pedro-hen@189.107.183.192] has quit [Read error: Connection reset by peer] 20:36:54 _danb_ [~user@124-171-12-242.dyn.iinet.net.au] has joined #scheme 20:39:09 teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has joined #scheme 20:39:34 bgs100 [~ian@unaffiliated/bgs100] has joined #scheme 20:40:38 DrAfk [~duck@216.186.151.63] has joined #scheme 20:40:49 -!- teurastaja_ [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Client Quit] 20:41:38 -!- teurastaja [~user@modemcable182.177-200-24.mc.videotron.ca] has quit [Ping timeout: 240 seconds] 20:42:23 NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has joined #scheme 20:47:14 -!- mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has quit [Ping timeout: 240 seconds] 20:53:43 mathguru123 [~mathguru1@c-24-11-171-16.hsd1.mi.comcast.net] has joined #scheme 20:54:38 Phao [pedro-hen@189.12.244.194] has joined #scheme 20:55:04 what happens is numerical errors. 20:55:11 usually. 20:56:10 pjb: If your conversation functions are exact, and you supply exact numbers as input, then there are no numerical errors. :-) 20:57:04 Riastradh, hey -- do you know why the formula to convert gregorian calendar date to julian day is so messy? 20:58:32 It's this -- http://www.tondering.dk/claus/cal/img28.png 20:58:37 Because the time it takes for the earth to make one revolution about the sun is not an integral multiple of the time it takes the earth to rotate by 2pi. 20:59:19 so -- I should give up understanding that formula? hehehe 20:59:30 I've been searching a little for a while why that formula works -- found nothing useful 20:59:31 Hmm... Those quotients should have floors about them. I hope the context suggests that. 20:59:37 it does. 21:01:29 Oh, you want to know why it is the way it is? Well, start with the Julian calendar. Going right to left, there's just some arbitrary constant offset; every fourth year is a leap year and has one extra day; aside from that, every year has 365 days; the next term accounts for the number of days in the preceding months; and then you add on the number of days since the start of the month you're looking at. 21:01:54 so 21:01:58 it's doing just normal stuff? 21:02:22 The Gregorian formula has a couple more terms to handle more complicated leap year rules: every year is a non-leap year by default; but every fourth year is a leap year; but every century is not a leap year; but every fourth century is a leap year. 21:02:25 I mean... I could do it with a loop "if leap year, do this, of not do that; ..." 21:02:46 Well, you also have to count all the leap years from your favourite reference point to the date you're looking at. 21:03:06 Using a hairy formula like this is simpler than writing a procedure to go through each year and decide whether it's a leap year and if so to add on the correct number of days. 21:03:19 sku [~sk@217.175.4.253] has joined #scheme 21:04:02 mmc1 [~michal@82-148-210-75.fiber.unet.nl] has joined #scheme 21:04:19 Cowmoo [~Cowmoo@cambridge-vxty.basistech.com] has joined #scheme 21:04:29 yeah.. it's kinda faster too 21:04:44 but that formula is actually doing what the loop would do, right? 21:04:52 Yes. 21:05:29 some people can just see right through those formulas 21:05:33 I'm really bad at that. 21:06:46 Oh, I'm not much good at it either; that's why I let somebody else figure it out for me. (For instance, Claus Tondering might have deliberately put an error into the month term, which I didn't scrutinize closely.) Pope Gregory did the same, after all! 21:07:24 Eventually, in another few millennia, we'll have to transition to an even hairier leap year rule, too. 21:07:55 I hope long before we'll have space travel and a planet independent calendar. 21:08:10 Riastradh: By then we'll be on metric time and everything'll be dandy :D 21:08:25 pjb, there are projects for that I think 21:08:35 using stuff like kiloseconds 21:08:41 megaseconds, etc 21:08:53 you know? those measurements prefixes 21:08:57 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: Operation timed out] 21:09:13 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 21:09:17 I tried to build a metric clock 21:09:21 Earth's rotation is easy to deal with. The hard part about communicating interstellar times will be relativistic time dilation. 21:09:38 Unless such a thing as "subspace" exists. 21:10:54 langmartin [~user@exeuntcha2.tva.gov] has joined #scheme 21:11:26 (TAI already deals with that to some extent, but it's easy because we're all at about the same altitude and spinning at about the same linear velocity about the axis. If you went into the core of the earth, you'd have to set your watch to a different standard. Maybe polar bears have a problem with this, which makes them grumpy because their watches are always desynchronized.) 21:12:04 -!- Kovensky [~kovensky@abraxo.bluebottle.net.au] has quit [Ping timeout: 240 seconds] 21:12:51 Marcux [~Adium@189.121.111.41] has joined #scheme 21:18:43 -!- casiomar [bc533a6d@gateway/web/freenode/ip.188.83.58.109] has quit [Quit: Page closed] 21:21:53 -!- Gmind [~Nevermind@113.190.206.187] has quit [Quit: Leaving.] 21:22:00 -!- sku [~sk@217.175.4.253] has quit [Quit: ] 21:22:45 There's measurable time dilatation between planes and ground, let alone between Earth and Moon and Mars. 21:23:03 GPS network is relativistic. 21:23:07 <_danb_> apparently the planet bulges daily and if you can keep track of time up to ?17dp the relativistic effects start to become evident 21:23:17 <_danb_> for things on the bulgy parts 21:23:52 <_danb_> well, when I say "bulges daily", maybe I just mean it bulges 21:26:08 bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has joined #scheme 21:27:50 Monty Python has much to say on the subject :D 21:33:17 Kovensky [~kovensky@abraxo.bluebottle.net.au] has joined #scheme 21:38:14 -!- dzhus [~sphinx@95-27-122-83.broadband.corbina.ru] has quit [Quit: -_-] 21:38:21 -!- Mohamdu is now known as Klunkmatic 21:39:47 bweaver` [~user@host-68-169-158-230.WISOLT2.epbfi.com] has joined #scheme 21:41:14 -!- bweaver [~user@host-68-169-175-225.WISOLT2.epbfi.com] has quit [Ping timeout: 240 seconds] 21:41:58 -!- wbooze`` [~levgue@xdsl-78-35-156-60.netcologne.de] has quit [Read error: Operation timed out] 21:42:31 wbooze``` [~levgue@xdsl-78-35-150-195.netcologne.de] has joined #scheme 21:42:40 homie`` [~levgue@xdsl-78-35-150-195.netcologne.de] has joined #scheme 21:44:11 -!- homie` [~levgue@xdsl-78-35-156-60.netcologne.de] has quit [Ping timeout: 255 seconds] 21:44:13 -!- Cowmoo [~Cowmoo@cambridge-vxty.basistech.com] has left #scheme 21:44:39 -!- bweaver` [~user@host-68-169-158-230.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:46:29 -!- homie`` [~levgue@xdsl-78-35-150-195.netcologne.de] has quit [Client Quit] 21:46:44 -!- wbooze``` [~levgue@xdsl-78-35-150-195.netcologne.de] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:51:13 homie [~levgue@xdsl-78-35-150-195.netcologne.de] has joined #scheme 21:52:13 wbooze [~levgue@xdsl-78-35-150-195.netcologne.de] has joined #scheme 22:01:22 -!- mmc1 [~michal@82-148-210-75.fiber.unet.nl] has quit [Ping timeout: 255 seconds] 22:04:30 HG` [~HG@xdsl-92-252-105-242.dip.osnanet.de] has joined #scheme 22:05:18 -!- NihilistDandy [~ND@c-75-69-129-101.hsd1.nh.comcast.net] has quit [Remote host closed the connection] 22:07:54 -!- nilg [~user@77.70.2.229] has quit [Read error: Connection reset by peer] 22:15:05 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 22:19:27 -!- kar8nga [~kar8nga@i-194.vc-graz.ac.at] has quit [Remote host closed the connection] 22:28:40 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 22:28:52 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme 22:37:28 Nisstyre [~nisstyre@infocalypse-net.info] has joined #scheme 22:38:53 -!- jimrees_ [~jimrees@ita4fw1.itasoftware.com] has quit [Quit: Ex-Chat] 22:42:00 -!- Klunkmatic [~Mohamdu@CPE00222d6b3798-CM00222d6b3795.cpe.net.cable.rogers.com] has quit [Quit: Leaving] 22:43:08 -!- Marcux [~Adium@189.121.111.41] has quit [Quit: Leaving.] 22:51:50 -!- aisa [~aisa@173-10-243-253-Albuquerque.hfc.comcastbusiness.net] has quit [Quit: aisa] 23:05:29 -!- langmartin [~user@exeuntcha2.tva.gov] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 23:05:37 amca [~amca@CPE-121-208-84-154.cqzr1.cha.bigpond.net.au] has joined #scheme 23:07:19 -!- w8l is now known as c8l 23:23:20 -!- tupi [~david@139.82.89.24] has quit [Quit: Leaving] 23:24:00 Hal9k [~Lernaean@unaffiliated/kusanagi] has joined #scheme 23:28:35 -!- Caleb-- [~caleb@109.64.207.198] has quit [Ping timeout: 255 seconds] 23:33:31 Caleb-- [thedude@109.66.206.68] has joined #scheme 23:35:27 -!- dfkjjkfd [~paulh@210-11-ftth.onsnetstudenten.nl] has quit [Quit: Lost terminal] 23:37:54 -!- tronador_ [~guille@190.145.89.146] has quit [Quit: tronador_] 23:44:12 -!- peterhil [~peterhil@a91-153-127-82.elisa-laajakaista.fi] has quit [Read error: Operation timed out] 23:45:14 -!- corruptmemory [~jim@96.246.167.18] has quit [Ping timeout: 240 seconds] 23:45:18 peterhil [~peterhil@a91-153-127-82.elisa-laajakaista.fi] has joined #scheme 23:49:37 -!- c8l [~f8l@87-205-27-57.ip.netia.com.pl] has quit [Quit: WeeChat 0.3.4] 23:55:52 erjiang_ [~erjiang@7.80.244.66.jest.smithvilledigital.net] has joined #scheme 23:58:23 -!- drdo [~user@91.205.108.93.rev.vodafone.pt] has quit [Remote host closed the connection] 23:58:38 drdo [~user@91.205.108.93.rev.vodafone.pt] has joined #scheme