00:05 (quit) ambrosebs: Remote host closed the connection 00:12 (join) ambrosebs 00:13 (quit) jurassic: Quit: jurassic 00:18 (join) vu3rdd 00:18 (quit) vu3rdd: Changing host 00:18 (join) vu3rdd 00:21 (quit) ambrosebs: Remote host closed the connection 00:23 (join) ambrosebs 00:25 (join) jurassic 00:28 (join) yacks 00:31 (quit) ambrosebs: Remote host closed the connection 00:32 ozzloy: didi, worked like a charm 00:33 didi: ozzloy: Nice. :^) 00:35 (quit) jurassic: Quit: jurassic 00:42 (join) oev 00:44 (join) quazimodo 00:47 (quit) didi: Remote host closed the connection 00:50 eli: mithos28: pin 00:50 eli: g 00:50 mithos28: eli: pong 00:50 (quit) quazimodo: Ping timeout: 260 seconds 00:50 eli: You're probably very familiar with typed-racket/base-env/base-env.rkt 00:50 mithos28: pretty 00:50 eli: Any idea why it's so horribly misindented? 00:51 mithos28: Skimming it, it looks fine. 00:51 mithos28: Can you be more specific? 00:51 eli: 2328:2 00:51 eli: 1766:1 00:51 eli: 1721:1 00:52 eli: (many more) 00:52 mithos28: ah the fact that it is only indented one character? 00:52 (join) quazimodo 00:52 eli: No, it's completely crooked... 00:53 eli: In the last one in the file (2328:2) there is a "(cl->*" which continues on the next line in a way that looks like it was edited in notepad... 00:53 mithos28: wow, missed that 00:53 mithos28: I have no idea 00:53 eli: In any case, that's not because these things are generated or something, right? 00:54 mithos28: No. This was a huge manual effort 00:54 eli: OK, thanks 00:54 mithos28: I spent a lot of time one summer adding hundreds of these in 00:54 eli: Ah, and you're a vi-er, right? :) 00:55 mithos28: yep 00:55 eli: I'll avoid jokes, I'm too tired 00:55 eli: ... 00:55 (quit) shriphani: Ping timeout: 258 seconds 00:55 mithos28: most of the work was reading the docs and figuring out the right types, not actually entering them 00:56 eli: Obviously 01:01 (join) ambrosebs 01:01 (join) shriphani 01:04 (join) RacketCommitBot 01:04 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/k8S0Gg 01:04 RacketCommitBot: racket/master 6105ce8 Eric Dobson: Check actual args when form looks like for/list. 01:04 (part) RacketCommitBot 01:05 (quit) bjz: Quit: Leaving... 01:10 (quit) tobih: Ping timeout: 248 seconds 01:17 (join) jao 01:17 (quit) jao: Changing host 01:17 (join) jao 01:25 (quit) Fare: Ping timeout: 272 seconds 01:29 (join) kvda 01:35 (join) asvil 01:42 (join) Kaylin 01:44 (join) mye 02:02 (quit) Icarot: Ping timeout: 252 seconds 02:14 (join) Icarot 02:17 (join) RacketCommitBot 02:17 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/HLptBg 02:17 RacketCommitBot: racket/master 6335de0 Eric Dobson: Make PolyDots actually subtype correctly. 02:17 RacketCommitBot: racket/master 75f8910 Eric Dobson: Make PolyDots be subtypes even if they have different fixed arguments. 02:17 RacketCommitBot: racket/master 714f667 Eric Dobson: Add more hacky things to make with-handlers typecheck.... 02:17 (part) RacketCommitBot 02:21 (join) egnarts-ms 02:29 (quit) mithos28: Quit: mithos28 02:30 (quit) mceier: Quit: leaving 02:41 (quit) Kaylin: Read error: Connection reset by peer 02:44 (quit) mye: Quit: mye 02:47 (quit) ambrosebs: Remote host closed the connection 02:54 (quit) tcsc: Quit: computer sleeping 03:04 (quit) Cryovat: Quit: WeeChat 0.4.0 03:04 (join) bjz 03:19 (quit) jonrafkind: Ping timeout: 260 seconds 03:21 (join) ambrosebs 03:24 (join) mceier 03:26 (join) tcsc 03:30 (join) mye 03:35 (quit) ambrosebs: Remote host closed the connection 03:42 (join) BakaKuna1 03:43 (join) basdirks 03:47 (join) hkBst 03:58 (quit) quazimodo: Ping timeout: 256 seconds 04:00 (quit) racycle: Quit: racycle 04:04 (quit) mye: Quit: mye 04:17 (quit) DanBurton: Remote host closed the connection 04:25 (quit) jao: Ping timeout: 256 seconds 04:31 (join) bitonic 04:34 (quit) hkBst: Read error: Connection reset by peer 04:34 (join) hkBst 04:34 (quit) hkBst: Changing host 04:34 (join) hkBst 04:37 (join) DanBurton 04:38 (quit) tcsc: Quit: computer sleeping 04:40 (quit) dsantiago: Ping timeout: 245 seconds 04:41 (quit) oev: Quit: Leaving 04:43 (quit) ASau: Ping timeout: 245 seconds 04:44 (quit) Icarot: Remote host closed the connection 04:45 (quit) SeanTAllen: Read error: Operation timed out 04:46 (join) SeanTAllen 04:50 (quit) DanBurton: Remote host closed the connection 04:59 (quit) kvda: Quit: z____z 05:05 (join) yeboot 05:19 yeboot: rudybot: (define Y (lambda (f) ((lambda (x) (f (lambda (y) (apply (x x) y)))) (lambda (x) (f (lambda (y) (apply (x x) y))))))) 05:19 rudybot: yeboot: your sandbox is ready 05:19 rudybot: yeboot: Done. 05:20 (join) dsantiago 05:20 yeboot: rudybot: (define fact (Y (lambda (fact) (lambda (n) (if (= n 2) 1 (* n (fact (- n 1)))))))) 05:20 rudybot: yeboot: Done. 05:20 yeboot: rudybot: (fact 5) 05:20 rudybot: yeboot: error: apply: contract violation expected: list? given: 4 argument position: 2nd other arguments...: # 05:20 yeboot: hahaha 05:21 yeboot: man I really want to understand fixed point combinators 05:23 yeboot: (args) 05:23 yeboot: rudybot: (args) 05:23 rudybot: yeboot: error: args: undefined; cannot reference an identifier before its definition in module: 'program 05:26 yeboot: rudybot: (define Y (lambda (f) ((lambda (x) (f (lambda y (apply (x x) y)))) (lambda (x) (f (lambda y (apply (x x) y))))))) 05:26 rudybot: yeboot: Done. 05:26 yeboot: (fact 4) 05:26 yeboot: rudybot: (fact 4) 05:26 rudybot: yeboot: error: apply: contract violation expected: list? given: 3 argument position: 2nd other arguments...: # 05:26 yeboot: hahaha 05:28 yeboot: (define Y (lambda (x) ((lambda (y) (y y)) (lambda (y) (x (lambda (z) ((y y) z))))))) 05:29 yeboot: rudybot: (define Y (lambda (x) ((lambda (y) (y y)) (lambda (y) (x (lambda (z) ((y y) z))))))) 05:29 rudybot: yeboot: Done. 05:29 yeboot: rudybot: (fact 5) 05:29 rudybot: yeboot: error: apply: contract violation expected: list? given: 4 argument position: 2nd other arguments...: # 05:29 yeboot: hahah 05:29 yeboot: :/ 05:30 (join) Icarot 05:41 (quit) wsun: Ping timeout: 260 seconds 05:42 (join) wsun 05:43 (quit) Icarot: Remote host closed the connection 05:46 (join) Icarot 05:51 (quit) Icarot: Remote host closed the connection 05:53 (join) Icarot 06:11 (quit) yacks: Ping timeout: 264 seconds 06:19 (join) yacks 06:22 (join) vkz 06:25 (join) jurassic 06:34 (quit) jurassic: Quit: jurassic 07:04 (join) quazimodo 07:17 (quit) vkz: Quit: vkz 07:22 (join) vkz 07:26 (quit) shriphani: Ping timeout: 264 seconds 07:26 (join) ambrosebs 07:28 (join) shriphani 07:33 (quit) vu3rdd: Ping timeout: 260 seconds 07:40 (quit) bitonic: Ping timeout: 276 seconds 07:47 (join) greghendershott 07:49 (join) rohni 08:17 (quit) yeboot: Ping timeout: 240 seconds 08:22 (join) carleastlund 08:26 (quit) vkz: Quit: vkz 08:33 (quit) jschuster: Quit: Coyote finally caught me 08:41 (join) bitonic 08:48 (join) mizu_no_oto 08:49 (join) igstan 08:54 (join) tcsc 08:57 (quit) BakaKuna1: Ping timeout: 245 seconds 08:57 (quit) tcsc: Client Quit 09:02 (join) serhart 09:06 (join) tcsc 09:08 (quit) shriphani: Quit: shriphani 09:11 (quit) Icarot: Ping timeout: 264 seconds 09:14 (join) jschuster 09:15 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 09:24 (join) Icarot 09:25 (join) walter|r 09:35 (join) mizu_no_oto 09:45 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 09:49 (quit) Icarot: Ping timeout: 272 seconds 09:55 (quit) bitonic: Remote host closed the connection 09:56 (join) bitonic 10:02 (join) tobih 10:06 (join) BakaKuna1 10:06 stamourv: yeboot: Re Y combinator: IIRC, the chapter about it in The Little Schemer is a good introduction. 10:06 (join) Icarot 10:14 (join) Aune 10:15 (join) racycle 10:19 (join) didi` 10:28 (quit) BakaKuna1: Ping timeout: 252 seconds 10:30 (join) shriphani 10:33 (join) mizu_no_oto 10:39 (join) vkz 10:42 (part) tobih 10:42 (join) tobih 10:47 (quit) Icarot: Ping timeout: 246 seconds 10:52 (quit) egnarts-ms: Ping timeout: 245 seconds 10:56 (join) Kaylin 11:07 (quit) ambrosebs: Remote host closed the connection 11:11 (join) ambrosebs 11:14 (join) anRch 11:15 (join) ambroseb_ 11:17 (quit) ambrosebs: Ping timeout: 258 seconds 11:17 (join) Icarot 11:20 (quit) asvil: Ping timeout: 272 seconds 11:28 (join) RacketCommitBot 11:28 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/-Xwlxg 11:28 RacketCommitBot: racket/master af6be85 Eli Barzilay: Fix lots of indentation mistakes.... 11:28 RacketCommitBot: racket/master 230f120 Eli Barzilay: Fix CRLF-ed file. 11:28 (part) RacketCommitBot 11:28 (join) RacketCommitBot 11:28 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/EqouvQ 11:28 RacketCommitBot: racket/master 84ce7fa Robby Findler: make parametric->/c do first-order checks for the argument/result... 11:28 RacketCommitBot: racket/master 4f3cd99 Robby Findler: add contracts, fix a bug, add a test case 11:28 RacketCommitBot: racket/master 36e8712 Robby Findler: sync scribble docs with cmdline help text 11:28 (part) RacketCommitBot 11:38 (quit) Kaylin: Quit: Leaving. 11:39 (join) jbclements 11:50 (quit) ambroseb_: Remote host closed the connection 11:51 (quit) noam: Ping timeout: 264 seconds 11:51 (quit) Icarot: Ping timeout: 245 seconds 11:55 (join) Icarot 11:57 (quit) hkBst: Quit: Konversation terminated! 11:57 (join) ambrosebs 12:02 (quit) basdirks: Ping timeout: 276 seconds 12:04 (join) jeapostrophe 12:04 (quit) jeapostrophe: Changing host 12:04 (join) jeapostrophe 12:04 (quit) mceier: Quit: leaving 12:06 (join) noam 12:14 (quit) anRch: Quit: anRch 12:15 (join) soegaard 12:19 (join) basdirks 12:21 (quit) Aune: Remote host closed the connection 12:26 (join) dauterive 12:29 (quit) rohni: Quit: Leaving. 12:32 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 12:36 (join) gridaphobe 12:38 (join) anRch 12:55 (quit) bitonic: Ping timeout: 276 seconds 12:55 (quit) ambrosebs: Remote host closed the connection 13:01 (nick) Shozan -> SHODAN 13:15 (quit) shriphani: Quit: shriphani 13:18 (join) mceier 13:36 (join) samth 13:37 (join) shriphani 13:39 (quit) basdirks: Ping timeout: 245 seconds 13:40 (quit) Icarot: Ping timeout: 260 seconds 13:44 soegaard: http://blog.jverkamp.com/2013/03/12/the-house-on-the-hill-day-1/#more-4112 13:45 (join) jonrafkind 13:48 (quit) anRch: Quit: anRch 13:48 (quit) gridaphobe: Ping timeout: 264 seconds 13:54 (quit) tcsc: Quit: computer sleeping 13:56 (join) Icarot 14:06 asumu: soegaard: nice, something to tweet about, thanks. :) 14:08 asumu: soegaard: do you know who the author is? I couldn't find a name on that page 14:09 soegaard: I can find a mail from a J. P. Verkamp in Gmail (on the Racket mailng list) 14:10 soegaard: asumu: tweet away 14:11 (join) tcsc 14:20 (quit) jeapostrophe: Ping timeout: 264 seconds 14:20 (join) gridaphobe 14:28 (join) anonymou1 14:29 (join) bitonic 14:31 (join) basdirks 14:33 (join) jao 14:34 (quit) jao: Changing host 14:34 (join) jao 14:37 (join) rohni 14:37 (quit) anonymou1: Ping timeout: 264 seconds 14:44 (join) ASau 14:49 (quit) didi`: Ping timeout: 260 seconds 14:54 (join) Fare 14:57 (join) didi` 14:57 (nick) didi` -> didi 15:06 (quit) gridaphobe: Ping timeout: 264 seconds 15:11 (join) RacketCommitBot 15:11 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/RRf5Hg 15:11 RacketCommitBot: racket/master 3f6232b Robby Findler: note that the logger-callback's default argument is #f 15:11 (part) RacketCommitBot 15:15 (quit) bitonic: Ping timeout: 252 seconds 15:26 (join) basdirks_ 15:27 (quit) basdirks: Read error: Connection reset by peer 15:28 (join) bitonic 15:43 (join) anRch 15:54 (quit) yacks: Quit: Leaving 16:02 (quit) tcsc: Quit: computer sleeping 16:20 (quit) jonrafkind: Ping timeout: 240 seconds 16:23 (join) anonymou1 16:31 (join) snorble_ 16:32 (join) tcsc 16:35 (join) Nisstyre-laptop 16:37 (quit) cdidd: Remote host closed the connection 16:41 (join) cdidd 16:48 (quit) Nisstyre-laptop: Quit: Leaving 17:00 (quit) anonymou1: Quit: Lost terminal 17:21 (join) jonrafkind 17:22 (quit) vkz: Quit: vkz 17:22 (quit) carleastlund: Quit: carleastlund 17:27 (quit) anRch: Quit: anRch 17:30 (quit) serhart: Quit: Leaving. 17:36 (quit) tcsc: Quit: computer sleeping 17:48 (join) Peter___ 17:49 (quit) jao: Ping timeout: 258 seconds 17:53 (quit) Peter___: Ping timeout: 245 seconds 17:59 (join) tcsc 18:02 (join) RacketCommitBot 18:02 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/MKt7MA 18:02 RacketCommitBot: racket/master 3b0d2f1 Robby Findler: change compiler/cm so that the default logs the messages to... 18:02 RacketCommitBot: racket/master 79b5e4d Robby Findler: fix a bug that inhibited online compilation from writing out .zo files... 18:02 RacketCommitBot: racket/master 7880c6d Robby Findler: syntax/rect: IN PROGRESS 18:02 (part) RacketCommitBot 18:08 (quit) basdirks_: Ping timeout: 246 seconds 18:22 (join) kvda 18:24 (quit) Icarot: Ping timeout: 258 seconds 18:35 (join) Icarot 18:35 (join) Kaylin 18:48 (quit) bjz: Quit: Leaving... 18:57 (join) bjz 19:01 (quit) soegaard: Quit: soegaard 19:18 (join) ambrosebs 19:19 (quit) quazimodo: Ping timeout: 260 seconds 19:21 (join) quazimodo 19:33 (quit) eikonos: Quit: Leaving. 19:34 (quit) samth: Ping timeout: 264 seconds 19:36 (quit) Kaylin: Quit: Leaving. 19:39 (join) eikonos 19:39 (quit) eikonos: Changing host 19:39 (join) eikonos 19:40 (join) dnolen 19:41 (join) manud 19:46 (quit) Icarot: Ping timeout: 252 seconds 20:05 asumu: http://langpop.corger.nl/ <-- Racket isn't doing too badly 20:05 asumu: (tan dot middle right) 20:07 (quit) bjz: Quit: Bye! 20:15 (join) jao 20:15 (quit) jao: Changing host 20:15 (join) jao 20:24 (quit) ambrosebs: Remote host closed the connection 20:26 (quit) dnolen: Ping timeout: 255 seconds 20:26 (join) Icarot 20:26 jbclements: asumu: finally found racket's dot. How the heck are you supposed to navigate this page? 20:27 (quit) bitonic: Remote host closed the connection 20:27 (join) bitonic 20:29 (join) mizu_no_oto 20:32 (quit) jbclements: Quit: jbclements 20:36 (quit) igstan: Quit: igstan 20:43 (join) igstan 20:49 (quit) jao: Ping timeout: 256 seconds 20:55 (quit) ohama: Read error: Operation timed out 20:55 (quit) Icarot: Ping timeout: 264 seconds 20:55 (join) ohama 20:56 (quit) manud: Ping timeout: 245 seconds 21:01 (quit) jonrafkind: Ping timeout: 252 seconds 21:10 (join) Icarot 21:15 (join) ASau` 21:18 (quit) ASau: Ping timeout: 258 seconds 21:26 (join) dnolen 21:32 (join) wdkrnls 21:33 (join) jonrafkind 21:33 (quit) jonrafkind: Changing host 21:33 (join) jonrafkind 21:40 (join) doomrobo 21:43 (quit) quazimodo: Ping timeout: 240 seconds 21:44 (join) oev 21:44 (quit) bitonic: Ping timeout: 260 seconds 21:45 (join) quazimodo 21:46 (quit) oev: Client Quit 21:47 (quit) kvda: Quit: z____z 21:49 (quit) dauterive: Quit: Leaving 21:59 (join) kvda 22:28 (quit) doomrobo: Quit: Leaving 22:29 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 22:30 (join) oev 22:34 (quit) Fare: Ping timeout: 258 seconds 22:37 (quit) tcsc: Quit: computer sleeping 22:40 (join) tcsc 22:40 (join) didi 22:41 (quit) didi: Remote host closed the connection 22:51 (join) didi 22:54 (quit) didi: Remote host closed the connection 22:54 (join) didi 22:56 (join) jao 22:56 (quit) jao: Changing host 22:56 (join) jao 22:58 (quit) wdkrnls: Remote host closed the connection 23:02 (quit) didi: Remote host closed the connection 23:05 (quit) Icarot: Ping timeout: 260 seconds 23:17 (quit) walter|r: Quit: This computer has gone to sleep 23:18 (join) mizu_no_oto 23:21 (join) vu3rdd 23:21 (quit) vu3rdd: Changing host 23:21 (join) vu3rdd 23:29 (join) ambrosebs 23:31 (join) yacks 23:38 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 23:40 (join) mizu_no_oto 23:41 (quit) mizu_no_oto: Client Quit 23:45 (join) kdebrain 23:47 (part) kdebrain 23:48 (join) manud 23:52 (join) Fare