00:00 (join) yoklov 00:34 (quit) mithos28: Quit: mithos28 01:29 (quit) jonrafkind: Ping timeout: 246 seconds 01:29 (quit) dnolen: Quit: dnolen 01:32 (quit) yoklov: Quit: Leaving. 02:11 (quit) ckrailo: Quit: Computer has gone to sleep. 02:53 (quit) qha: Quit: Leaving. 02:54 (join) qha 03:29 (quit) realitygrill: Quit: realitygrill 03:30 (join) realitygrill 04:03 (join) vu3rdd 04:03 (quit) vu3rdd: Changing host 04:03 (join) vu3rdd 04:13 (quit) realitygrill: Quit: realitygrill 04:51 (quit) eli: Ping timeout: 260 seconds 05:24 (join) _danb_ 05:39 (join) eli 05:46 (join) hkBst 05:47 (join) masm 06:24 (join) yoklov 06:55 (join) PLT_Notify 06:55 PLT_Notify: racket: master Robby Findler * 2230605 (3 files in 3 dirs): add a #:use-sources keyword to deinprogramm docs to get scribble to know about more of the docs - http://bit.ly/lVAITu 06:55 (part) PLT_Notify 07:00 (join) achim 07:03 (join) PLT_Notify 07:03 PLT_Notify: racket: master Casey Klein * 775d31d (1 files in 1 dirs): Sets up the right modpaths for Redex exports 07:03 PLT_Notify: racket: master Casey Klein * 4e68a50 (1 files in 1 dirs): Moved rewriters documentation into typesetting section 07:03 PLT_Notify: racket: master Casey Klein * b592017 (2 files in 1 dirs): Documents or deletes all Redex exports 07:03 PLT_Notify: racket: master Casey Klein * fd401ce (1 files in 1 dirs): Adds docs test to the test script 07:03 PLT_Notify: racket: master commits 2230605...fd401ce - http://bit.ly/lTgaOp 07:03 (part) PLT_Notify 07:40 (join) tauntaun 07:46 (quit) yoklov: Quit: Leaving. 07:46 (join) yoklov 07:50 (join) mceier 07:58 (join) lucian 07:59 (quit) tauntaun: Quit: Ex-Chat 07:59 (join) tauntaun 08:21 (join) lucian_ 08:22 (quit) lucian: Read error: Operation timed out 08:33 (quit) yoklov: Quit: Leaving. 08:35 (join) yoklov 08:35 (quit) yoklov: Client Quit 08:39 (join) yoklov 08:44 (quit) yoklov: Client Quit 08:56 (quit) _danb_: Ping timeout: 240 seconds 09:04 (join) MayDaniel 09:05 (nick) lucian_ -> lucian 09:15 (quit) MayDaniel: Read error: Connection reset by peer 09:16 (join) yoklov 09:20 (join) leo2007 09:27 (join) dnolen 09:45 (quit) lucian: Ping timeout: 252 seconds 09:55 (join) lucian 09:58 (quit) yoklov: Ping timeout: 276 seconds 09:59 (join) yoklov 10:18 (quit) geoffhill: Quit: geoffhill 10:19 (quit) dnolen: Quit: dnolen 10:35 (quit) vu3rdd: Ping timeout: 264 seconds 10:35 (join) lucian_ 10:38 (quit) lucian: Ping timeout: 276 seconds 10:44 (quit) achim: Remote host closed the connection 10:45 (join) realitygrill 11:00 (join) mithos28 11:00 (quit) mithos28: Client Quit 11:08 (join) ckrailo 11:10 (join) mithos28 11:15 (quit) hkBst: Remote host closed the connection 11:24 (join) dnolen 11:37 (nick) lucian_ -> lucian 11:48 (quit) rekahsoft: Quit: leaving 11:56 (join) MayDaniel 11:57 (nick) samth_away -> samth 11:58 (join) Fare 11:59 (join) jonrafkind 11:59 samth: jonrafkind, Typed Racket is certainly mature enough to be used by people 12:01 samth: yoklov, Typed Racket takes longer to start up because it typechecks your program before running it 12:01 samth: and the typechecking takes time 12:05 (quit) jonrafkind: Quit: Ex-Chat 12:05 (join) jonrafkind 12:17 (quit) MayDaniel: 12:22 (join) carleastlund 12:26 stamourv: yoklov: but since typechecking is done at compile time, if you compile your program ahead of time (via raco make), you'll only pay that cost once 12:28 yoklov: hm 12:29 yoklov: so if you're making a compiled executable? 12:29 yoklov: or does this apply in compilation to bytecode too 12:29 stamourv: both 12:29 yoklov: i see 12:30 jonrafkind: a compiled executable is just the racket interpreter/compiler bundled with your bytecode 12:33 yoklov: huh, that makes sense. i knew that was how some other languages did it 12:39 yoklov: i think the reason i thought it might be compiled to something else is because other schemes (chicken) do it that way. 12:40 yoklov: anyway, gotta go take an exam 12:40 (quit) yoklov: Quit: Leaving. 12:44 (quit) mithos28: Quit: mithos28 12:48 bremner_: it would be interesting to compare interactive typed/racket to e.g. ghci. my not scientific impression is that ghci is faster, but perhaps that applies to untyped racket as well. I'm not talking about program performance, just evaluating definitions. 12:49 jonrafkind: you mean compiling expressions? 12:51 (join) lucian_ 12:52 (quit) lucian: Disconnected by services 12:52 (nick) lucian_ -> lucian 12:53 (quit) leo2007: Quit: rcirc on GNU Emacs 23.3.50.1 12:54 bremner_: maybe. I guess I mean the interval between hitting run in Dr. Racket (or in emacs) and the repl being ready to interact 12:57 samth: bremner_, ghc is definitely a faster typechecker 12:57 samth: we (stamourv and i) have worked on this, but there's still a long way to go 12:58 bremner_: of course, many person hours went in to that. I just wondered if there was some systematic issue. Kind of the pessimists take on "languages as libraries" ;) 12:59 samth: bremner_, the tech in our paper definitely is a handicap, performance-wise 12:59 samth: but it isn't the primary one 12:59 samth: mostly we're just slow 12:59 bremner_: fair enough. 13:00 samth: but we also aren't planning to just leave that technology alone in the future 13:00 samth: so, i guess the message is, "TR is slow, we we're working on it, watch this space" 13:00 samth: or "is slower than we'd like" 13:01 samth: also "patches welcome!" 13:10 bremner_: heh. Always. 13:11 (quit) ohwow: *.net *.split 13:12 (join) ohwow 13:22 (quit) lucian: Remote host closed the connection 13:36 (join) mithos28 13:38 samth: bremner_, particularly slow programs are also welcome 13:54 (join) anRch 15:16 (join) pfox__ 15:17 pfox__: hey.. i have a newbie q: guide:racket vs htdp ..? benefits of one over the other? 15:17 pfox__: im looking for more of a intro idiomatic lisp programming.. i come from a c# background 15:17 pfox__: in the racket env 15:23 jonrafkind: htdp will give you a flavor for how to do recursive programming 15:24 jonrafkind: but it is rather beginner oriented 15:26 clklein: HTDP is meant to teach you to program. The Guide is meant to teach you Racket. 15:29 samth: pfox__, what clklein said. 15:29 clklein: You'll probably learn a lot from HTDP, but it won't be about what makes Racket special. 15:29 samth: from your background, it soundls like you'd benefit from starting with HtDP, although you may be able to go through it more quickly 15:36 pfox__: thanks for the feedback 15:53 (quit) anRch: Quit: anRch 15:56 edw: Before I get too far working on this... Has anyone else done non-blocking I/O in Racket (under Unix)? 15:56 (quit) dnolen: Ping timeout: 252 seconds 15:57 samth: edw, you should ask on the mailing list 15:59 edw: OK. At the very least I'll search the list archives. 16:00 samth: edw, i don't think anyone's mentioned it 16:00 samth: but really, the list doesn't bite -- just send an email 16:01 edw: Ahh... Anxiety... I already belong to Gambit and S48's mailing lists! 16:05 samth: do they bite? 16:07 edw: Haha. No. I just have commitment issues. 16:09 (join) MayDaniel 16:32 (quit) ckrailo: Quit: Computer has gone to sleep. 16:41 (join) _danb_ 16:42 (join) yoklov 16:42 edw: Racket's FFI is kinda nice. 16:43 samth: edw, eli did a *very* nice job 16:43 (join) yoklov1 16:43 (quit) yoklov: Read error: Connection reset by peer 16:43 edw: My brain started hurting when I starting thinking about what the c-type constructor for select(2) would be, but that's not the FFI's fault. 17:08 (join) collin 17:10 (join) ckrailo 17:11 collin: hi all..i was just wondering if say a module is written in #lang racket could use a module written in another language implement "in racket" (like static racket fe.) 17:11 (nick) collin -> rekahsoft 17:12 jonrafkind: yea you can do that 17:34 rekahsoft: jonrafkind: sweet :P i thought so (because of the way racket is designed) but i just wanted to verify :P thanks :D 17:45 (join) jfalcon 17:53 (quit) _danb_: Ping timeout: 240 seconds 18:00 (quit) mithos28: Quit: mithos28 18:06 (join) mithos28 18:06 (quit) MayDaniel: Read error: Connection reset by peer 18:09 (quit) jfalcon: Quit: jfalcon 18:16 (quit) ckrailo: Quit: Computer has gone to sleep. 18:19 (nick) samth -> samth_away 18:19 (quit) mceier: Quit: leaving 18:21 (quit) mithos28: Quit: mithos28 18:33 (join) mithos28 18:35 (join) cmatheson 18:36 (join) lucian 18:43 (part) carleastlund 19:03 (quit) mithos28: Quit: mithos28 19:09 (quit) cmatheson: Quit: leaving 19:38 (join) jfalcon 19:53 (quit) masm: Ping timeout: 240 seconds 19:54 (quit) jfalcon: Quit: jfalcon 19:58 (join) masm 20:04 (join) ckrailo 20:37 (join) Demosthenes 20:40 (join) mithos28 20:42 (quit) qha: Ping timeout: 240 seconds 20:48 (join) qha 20:51 (quit) masm: Ping timeout: 240 seconds 20:53 (quit) Demosthenes: Ping timeout: 248 seconds 20:54 (join) Demosthenes 20:56 (quit) mithos28: Quit: mithos28 21:11 (join) mithos28 21:19 (quit) jonrafkind: Remote host closed the connection 21:22 (join) dnolen 21:26 (quit) Demosthenes: Ping timeout: 260 seconds 21:34 (join) realitygrill_ 21:34 (join) Demosthenes 21:35 (quit) realitygrill: Ping timeout: 252 seconds 21:35 (nick) realitygrill_ -> realitygrill 21:41 (quit) Demosthenes: Ping timeout: 241 seconds 21:51 (join) Demosthenes 21:55 yoklov1: hm, there's no two argument atan for flonums, theres not some clever way to do this, is there? 21:55 yoklov1: tried defining it myself and its slower than normal atan 22:22 (quit) yoklov1: Quit: Leaving. 22:45 (join) yoklov 22:47 (quit) martinhex: Read error: Connection reset by peer 23:01 (quit) tauntaun: Quit: Ex-Chat 23:03 (join) martinhex 23:04 (quit) chemuduguntar: Read error: Connection reset by peer 23:34 (quit) martinhex: Read error: Connection reset by peer