00:03 (quit) PCChris: Quit: Leaving 00:05 (quit) gridaphobe: Remote host closed the connection 00:07 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs) 00:35 (quit) mithos28: Quit: mithos28 00:43 (quit) gatlin: Ping timeout: 265 seconds 00:43 (join) mithos28 00:43 (join) gatlin 00:48 (quit) gatlin: Ping timeout: 255 seconds 00:51 Havvy: What's the idiomatic way of creating a 3d array? 00:51 mithos28: Havvy: What do you mean a 3d array? 00:52 mithos28: a vector of vector of vectors? 00:52 Havvy: Yes. 00:52 Havvy: Java's int[][][] 00:53 mithos28: rudybot: (for/vector ((i 2)) (for/vector ((j 2)) (for/vector ((k 2)) (+ i j k)))) 00:53 rudybot: mithos28: error: Type Checker: insufficient type information to typecheck. please add more type annotations in: #%top-interaction 00:53 mithos28: rudybot: init racket 00:53 rudybot: mithos28: your sandbox is ready 00:53 mithos28: rudybot: (for/vector ((i 2)) (for/vector ((j 2)) (for/vector ((k 2)) (+ i j k)))) 00:53 rudybot: mithos28: ; Value: #(#(#(0 1) #(1 2)) #(#(1 2) #(2 3))) 00:53 Havvy: A'ight. 00:53 mithos28: Note that this concept is not idiomatic racket 00:55 Havvy: Well, how would you store the locations of things on a 3d discrete grid? 00:56 Havvy: Such as Final Fantasy Tactics battlefields. 00:56 mithos28: aren't those 2d for starters? 00:56 Havvy: The original tactics game is 3d. 00:57 Havvy: *Original Final Fantasy Tactics 00:58 mithos28: I would use a hash from position to square 00:59 mithos28: This gets you functional update 00:59 mithos28: (if you use a functional hash) 01:03 Havvy: Hmm... 01:06 (join) SamB_ 01:08 (quit) tsion: Quit: Leaving 01:09 (join) rmathews 01:25 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 01:28 (join) gridaphobe 01:51 (join) sw2wolf 02:03 (quit) gridaphobe: Read error: Connection reset by peer 02:03 (quit) jeapostrophe: Ping timeout: 264 seconds 02:07 (quit) jao: Ping timeout: 240 seconds 02:10 (quit) jonrafkind: Read error: Operation timed out 02:17 (quit) SamB_: Remote host closed the connection 02:19 (join) gatlin 02:28 (join) gridaphobe 02:30 (join) ambrosebs 02:36 (quit) gridaphobe: Read error: Connection reset by peer 02:39 (join) gridaphobe 02:41 (quit) gridaphobe: Remote host closed the connection 02:43 (join) gridaphobe 02:45 (quit) gridaphobe: Remote host closed the connection 02:46 Havvy wonders how to type annotate for*/list 02:46 mithos28: are you using typed/racket 02:47 Havvy: Yes. 02:48 mithos28: use for*/list: instead and do (for*/list: (Listof Number) ((x '(2 3 4)) (y '(4 5 6))) (+ x y)) 02:54 Havvy: That's throwing an error for me. 02:55 Havvy: :3:26: for*/list:: expected the literal #:unless; expected the literal #:when; or expected optionally type-annotated identifier in: Listof 02:56 mithos28: Well thats because I missed the : after for*/list: 02:56 mithos28: but that will still error because TR is stupid 02:57 mithos28: http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&database=default&pr=13253 02:57 rudybot: http://tinyurl.com/a7vbscq 02:57 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 02:57 mithos28: Bug I filed a month ago on that issue 03:01 mithos28: I currently don't have the time to do TR bug fixes, which means they don't get fixed all too quickly 03:02 Havvy: Who is working on TR then? 03:02 mithos28: samth, stamourv, asumu I believe 03:04 mithos28: I just file bugs currently 03:05 mithos28: I almost have the most open bugs filed, behind eli by 17 03:06 Havvy: Is there a bug on typed racket not having curryr with type information? 03:07 mithos28: What type do you think it should have? 03:08 Havvy: I'm not sure... :/ 03:09 (quit) rmathews: Ping timeout: 250 seconds 03:10 Havvy: I don't understand the type system well enough to give a good general answer. 03:10 mithos28: well what type do you want for your use case? 03:10 Havvy: I already typed it for my use case. 03:11 mithos28: ok, that was what I was going to suggest 03:14 (quit) dsantiago: Remote host closed the connection 03:14 Havvy: :/ My alternative to for/list* is 26 repetitive lines of code. 03:15 mithos28: what is it? 03:15 Havvy: Adjacent coordinates to a coordinate in 3d space. 03:15 mithos28: can you paste it somewhere? 03:16 Havvy: https://gist.github.com/e458480d5f9942135aea (and no, I didn't add type info yet) 03:18 mithos28: just do a (for*: …) which should work, and do an imperative update or do a for*/fold 03:18 mithos28: Both of those should type 03:19 Havvy: A'ight. :/ 03:20 (join) dsantiago 03:28 (quit) gatlin: Ping timeout: 276 seconds 03:44 (join) Kaylin 04:18 (quit) Kaylin: Quit: Leaving. 04:48 (quit) mithos28: Quit: mithos28 05:05 (join) soegaard 05:06 (quit) ambrosebs: Ping timeout: 260 seconds 05:09 (join) ambrosebs 05:15 (quit) ambrosebs: Ping timeout: 248 seconds 05:25 (join) bitonic 05:32 (join) rmathews 06:12 (join) ambrosebs 06:29 (nick) noam__ -> noam 06:36 (join) sw2wolf 06:36 (quit) Shviller: Ping timeout: 240 seconds 06:37 (join) Shviller 06:43 (quit) soegaard: Quit: soegaard 07:00 (quit) sw2wolf: Quit: Leaving 07:05 (join) soegaard 07:19 (join) kofno 07:25 (join) jeapostrophe 07:25 (quit) jeapostrophe: Changing host 07:25 (join) jeapostrophe 07:33 (join) nathanpc 07:52 (join) MayDaniel 07:54 (join) rindolf 07:54 rindolf: Hi all. 07:54 (quit) kofno: Remote host closed the connection 07:59 (quit) Nisstyre: Read error: Connection reset by peer 08:08 (join) masm 08:17 (join) Nisstyre 08:24 (quit) Nisstyre: Ping timeout: 248 seconds 08:38 (join) RacketCommitBot 08:38 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/GQt7gQ 08:38 RacketCommitBot: racket/master dff9728 Mike Sperber: Synch German string constants with latest. 08:38 (part) RacketCommitBot 08:45 (quit) soegaard: Quit: soegaard 09:09 (join) torog 09:10 torog: expand: unbound identifier in module in: radians->degrees 09:10 torog: who can explain that?! 09:11 torog: radians->degrees and degrees->radians do not work any more o.O 09:35 torog: i really need help :P 09:39 bremner: rudybot: doc degress->radians 09:39 rudybot: bremner: not found in any library's documentation: degress->radians 09:39 bremner: torog: where is that function defined? 09:40 torog: *degrees 09:41 bremner: rudybot: doc degrees->radians 09:41 rudybot: bremner: no docs for a current binding, but provided by: plot/utils 09:41 torog: http://docs.racket-lang.org/reference/generic-numbers.html#%28def._%28%28lib._racket/math..rkt%29._degrees-~3eradians%29%29 09:41 rudybot: http://tinyurl.com/b7poe48 09:42 torog: yeah 09:42 torog: since yesterday, the don't work any more :S 09:42 bremner: have you got (require racket/math) ? 09:46 torog: no 09:46 torog: normally it should work without that 09:46 torog: but now, even (require racket/math) does not fix it 09:47 torog: if you run /usr/bin/racket, you can type in (radians->degrees pi), can't you? 09:47 torog: i cannot 09:50 torog: really strange 09:50 bremner: hmm. I guess it's a bug. I have a bit older racket on this machine (5.2.1) and it seems pi is defined but not degrees->radians or radians->degrees 09:50 torog: :( 09:50 torog: wait 09:50 torog: uh 09:50 torog: i got 5.2.1 too 09:50 bremner: oh, then probably we both need to update? 09:50 torog: but why did radians->degrees always work?! 09:51 bremner: no idea about that. 09:52 torog: strange 09:52 torog: very strange, since 5.3 is not available in wheezy, apparently 09:53 bremner: right, it missed the freeze 09:54 bremner: but the version from unstable should work fine 09:54 (join) myx 09:56 (join) francisl 10:02 torog: ahhh 10:02 torog: finally 10:02 torog: yeah, 5.3 works fine :P 10:03 torog: thx 10:18 (join) richo 10:18 richo: I'm trying to dynamically load a file as configuration- it should be safe to assume that it's valid and well formatted. Is there some neat mechanism to do this? 10:24 (quit) masm: Quit: Leaving. 10:36 (join) lewis17111 10:36 (quit) lewis1711: Read error: Connection reset by peer 10:50 (join) hash_table 10:56 (quit) rindolf: Quit: Leaving 10:58 (quit) sirdancealot7: Ping timeout: 240 seconds 11:00 torog: (quit 11:00 (quit) torog: Quit: leaving 11:02 (join) asvil 11:02 asvil: hi all, question about /collects/tests/ 11:03 asvil: ERROR: default-load-handler: cannot open input file path: /path/to/my/temp/mod.rkt 11:09 (quit) parcha: Remote host closed the connection 11:10 (join) RacketCommitBot 11:10 RacketCommitBot: [racket] plt pushed 5 new commits to master: http://git.io/XNe5Hg 11:10 RacketCommitBot: racket/master 8d1dbdd Jay McCarthy: Cleaning up offical PNS server re: Danny 11:10 RacketCommitBot: racket/master 0845e74 Jay McCarthy: This way of exporting broke with git 1.8.0 11:10 RacketCommitBot: racket/master 1d36492 Jay McCarthy: Remove build location from the test zo to satisfy zo-path 11:10 (part) RacketCommitBot 11:12 asumu: richo: you might look at `dynamic-require`. 11:16 (quit) hash_table: Ping timeout: 264 seconds 11:19 richo: asumu: I did that.. it didn't work. On closer inspection it appears that it's because I'm not explicitly exporting in that other file. 11:19 richo: I reengineered the problem to avoid needing to load it at all though, which is much better 11:31 (join) PCChris 11:31 (join) Nisstyre 11:36 (quit) Nisstyre: Ping timeout: 244 seconds 11:37 (join) parcha 11:43 (join) mizu_no_oto 11:43 (join) Nisstyre 11:47 (join) Nisstyre_ 11:48 (quit) Nisstyre: Ping timeout: 260 seconds 11:48 (nick) Nisstyre_ -> Nisstyre 11:56 (join) didi 12:00 (join) sirdancealot7 12:03 (join) mithos28 12:06 (quit) ambrosebs: Ping timeout: 244 seconds 12:13 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 12:23 (join) r0p 12:33 (join) Nisstyre 12:33 (quit) asvil: Ping timeout: 244 seconds 12:44 lewis17111: currying is great. I wonder if currying by default would work in a language like racket though 12:45 (join) spiderweb 12:48 Nisstyre: lewis17111: not with variable arity 12:48 lewis17111: yeahh I was thinking that might mess it up 12:50 lewis17111: though aren't all variablity arity functions really just taking lists in disguise? hmm 12:52 (join) anRch 12:53 (quit) francisl: Quit: francisl 12:54 (quit) sirdancealot7: Read error: No route to host 12:55 (join) sirdancealot7 12:58 didi: lewis17111: `curry' is great. Just keep in mind that there is a performance hit by using it. 12:59 didi: That's unfortunate as I really like it. 12:59 lewis17111: really!? :( 13:00 didi: lewis17111: Nah, don't let it make you sad. I use it all the time. You only have to worry about it after profiling your program. 13:00 lewis17111: how can this be? surely it just does like... (curry (lambda (x y) (f x y)) 42) => (lambda (y) (f 42 y)) 13:00 lewis17111: ohh, it's a procedure not a macro 13:01 didi: lewis17111: You want to use it in `map', don't you? 13:01 lewis17111: didi: yeah good point. I used to be really into ruby so I shouldn't let much stop me 13:01 lewis17111: currying? I use it all over the place, that was just a silly example I wrote 13:02 didi: lewis17111: Oh yeah. I mean, to `map' into something you have to have a procedure. 13:02 lewis17111: oh right. good point 13:02 lewis17111: I've changed macros to procedures for that very reason 13:02 (quit) jrslepak: Quit: What happened to Systems A through E? 13:05 (join) mizu_no_oto 13:08 (quit) PCChris: Ping timeout: 265 seconds 13:14 asumu: though you can always wrap in a lambda. 13:14 lewis17111: yeah 13:16 mithos28: asumu: When you were doing control typing did you get to typing begin, so that (begin (ann e Nothing) e2) : Nothing, or were you just typing the control primitives? 13:16 (part) r0p 13:18 asumu: mithos28: just control primitives. 13:20 (join) PCChris 13:21 lewis17111: do you guys keep unit tests in the same file as your code? I can't decide whether to write the procedure then have the tests just underneath, put them all in the bottom of a file, or make a new file entirely 13:21 mithos28: lewis17111: (module+ test ...) 13:22 didi: lewis17111: ^ 13:22 didi: (module+ test (require rackunit) ...) 13:23 lewis17111: woah that's pretty handy 13:23 lewis17111: that's the other issue I was going to mention - don't want to run the tests non-stop 13:23 didi: lewis17111: And to run them, from the terminal: $ raco test foo.rkt 13:24 didi: That's how I do it, anyway. 13:26 (quit) cdidd: Read error: Operation timed out 13:27 mithos28: how can I make a ctype that corresponds to callbacks, _fun seems to have issues 13:28 mithos28: the simplified type is void (*fun) (int count, char** strings) which I want to accept functions that process a list of strings 13:30 (quit) anRch: Quit: anRch 13:32 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs) 13:32 lewis17111 notices two of his macros are almost identical, and considers a macro that writes macros 13:33 mithos28: cblock->list solves my problem, but it seems that it should work from _fun without issue 13:38 lewis17111: with the module+ thing, is there anyway to "solve" the issue of an identifier being renamed out with the module you're testing? I guess it doesn't really matter but it'd be nice 13:41 mithos28: lewis17111: Can you explain the issue? 13:47 (quit) errstr: Ping timeout: 252 seconds 13:50 lewis17111: mithos28: nm It was another error 14:00 (join) netrino 14:07 (join) RacketCommitBot 14:07 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/AUhdFw 14:07 RacketCommitBot: racket/master 0ede891 Jay McCarthy: Lazily reading Github API keys 14:07 (part) RacketCommitBot 14:12 (join) gatlin 14:13 (join) mye 14:15 mye: I'm looking for a way to read a text file in a certain format (turtle) and be able to serialise it back with the same syntax, comments, whitespace and all. This is to make it nice for programs and humans alike to edit the files content. 14:16 mye: Has anybody experience with this kind of parsing/unparsing? 14:16 mithos28: mye: I remember someone talking about something like that on the mailing list a month or so ago 14:16 mye: I built the parser already, now I need to define a parse three with all the tokens, so maybe there's some kind of established idempotent parsing 14:18 mye: http://www.neilvandyke.org/racket-progedit/ just remembered this 14:18 mithos28: yep thats it 14:18 mye: Hm, it seems logical syntax objects could be utilized for this 14:25 (quit) sid0: Remote host closed the connection 14:31 (join) kofno 14:33 (quit) gatlin: Ping timeout: 264 seconds 14:47 (join) Kaylin 14:47 (join) gatlin 15:00 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 15:01 (quit) MayDaniel: Write error: Connection reset by peer 15:01 (join) MayDaniel 15:02 (quit) MayDaniel: Read error: Connection reset by peer 15:02 (join) MayDaniel 15:07 (quit) gatlin: Ping timeout: 264 seconds 15:14 (quit) mithos28: Quit: mithos28 15:14 (quit) acarrico: Ping timeout: 252 seconds 15:16 (quit) kofno: Remote host closed the connection 15:20 (join) ijp 15:25 (join) mithos28 15:27 (join) gatlin 15:31 (quit) didi: Ping timeout: 255 seconds 15:32 (quit) PCChris: Ping timeout: 255 seconds 15:37 (join) nejucomo 15:37 (join) jonrafkind 15:37 (quit) jonrafkind: Changing host 15:37 (join) jonrafkind 15:43 jeapostrophe: samth: no errors in drdr 15:50 (quit) mithos28: Quit: mithos28 15:56 (join) PCChris 16:10 (quit) nejucomo: Ping timeout: 276 seconds 16:11 (join) nejucomo 16:12 (quit) gatlin: Ping timeout: 265 seconds 16:15 (join) sid0 16:21 (join) gatlin 16:37 (part) nejucomo 16:39 (quit) jeapostrophe: Read error: Operation timed out 16:40 (quit) Nisstyre: Disconnected by services 16:41 (join) Nisstyre 16:45 (quit) Kaylin: Read error: Connection reset by peer 16:46 (join) Kaylin 16:47 (join) davie_ 16:48 (nick) davie_ -> Guest22275 16:52 (quit) gatlin: Ping timeout: 256 seconds 16:54 (quit) Kaylin: Read error: Connection reset by peer 16:55 (join) Kaylin 16:56 (quit) netrino: Read error: Operation timed out 17:02 (join) mizu_no_oto 17:05 (join) netrino 17:19 (quit) Kaylin: Read error: Connection reset by peer 17:20 (join) Kaylin 17:22 (quit) rmathews: Quit: ... 17:32 (join) anRch 17:33 (join) hash_table 17:35 (quit) anRch: Client Quit 17:46 (quit) Kaylin: Read error: Connection reset by peer 17:46 (join) Kaylin 17:53 (quit) mye: Ping timeout: 244 seconds 17:56 (join) masm1 17:57 (quit) Kaylin: Read error: Connection reset by peer 17:57 (quit) PCChris: Ping timeout: 276 seconds 17:58 (join) Kaylin 18:05 (quit) hash_table: Ping timeout: 255 seconds 18:25 (quit) Nisstyre: Quit: Leaving 18:26 (join) soegaard 18:28 (join) ambrosebs 18:31 (join) Nisstyre 18:52 (join) Guest22275 18:54 (quit) jonrafkind: Ping timeout: 260 seconds 18:58 (quit) Kaylin: Read error: Connection reset by peer 18:59 (join) dyoo 18:59 (join) Kaylin 19:01 (quit) Kaylin: Read error: Connection reset by peer 19:02 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 19:02 (join) Kaylin 19:06 (quit) Guest22275: Quit: Ex-Chat 19:06 (quit) Kaylin: Client Quit 19:07 (part) dyoo 19:11 (quit) Demosthenex: Ping timeout: 248 seconds 19:13 (join) Demosthenex 19:22 (join) gatlin 19:27 (quit) Demosthenex: Ping timeout: 260 seconds 19:28 (join) jeapostrophe 19:28 (quit) jeapostrophe: Changing host 19:28 (join) jeapostrophe 19:29 (join) Demosthenex 19:40 (quit) soegaard: Quit: soegaard 19:44 (quit) MayDaniel: Read error: Connection reset by peer 19:44 (quit) gatlin: Quit: Lost terminal 19:49 (quit) ambrosebs: Ping timeout: 264 seconds 19:51 (join) shriphani_ 19:51 shriphani_: hello. in the hash-tables data structure, is there any way to get the list of keys ? 19:54 (join) francisl 19:54 (part) ijp: "(prompt (begin (control f (f 0) (f 0)) (control f (f 0) (f 0))))" 19:54 (join) ijp 19:55 ijp: shriphani_: you can use hash-keys 19:57 (join) jao 19:57 (quit) jao: Changing host 19:57 (join) jao 20:00 (quit) shriphani_: Ping timeout: 240 seconds 20:06 (join) ambrosebs 20:07 (join) shriphani_ 20:10 (join) dyoo 20:11 (part) dyoo 20:13 (join) sw2wolf 20:14 (quit) dsantiago: *.net *.split 20:14 (quit) Havvy: *.net *.split 20:14 (quit) sizz: *.net *.split 20:14 (quit) eli: *.net *.split 20:15 (join) sizz 20:15 (join) Havvy 20:15 (join) dsantiago 20:18 (join) PCChris 20:19 (quit) bitonic: Read error: Connection reset by peer 20:25 (quit) Nisstyre: Read error: Connection reset by peer 20:30 (quit) jeapostrophe: Ping timeout: 264 seconds 20:33 (join) Nisstyre 20:37 (quit) Havvy: Changing host 20:37 (join) Havvy 20:41 (join) jeapostrophe 20:41 (quit) jeapostrophe: Changing host 20:41 (join) jeapostrophe 20:43 (join) jonrafkind 20:47 (quit) francisl: Quit: francisl 20:49 (join) hash_table 20:51 shriphani_: hi is there a simple way to go get the string from a hex-string? (the output of bytes->hex-string) 20:58 (join) masm 20:59 shriphani_: bytes->hex-string seems to return string but string-join doesn't like it. 21:01 (quit) masm1: Ping timeout: 248 seconds 21:09 (join) cdidd 21:11 jonrafkind: (format "~a" (bytes->hex-string foo)) ? 21:13 shriphani_: jonrafkind: that looks like it will work. although the openssl/sha1 api says it returns a string? 21:13 (quit) ambrosebs: Ping timeout: 264 seconds 21:21 (quit) hash_table: Ping timeout: 248 seconds 21:23 (quit) shriphani_: Ping timeout: 264 seconds 21:26 (join) shriphani_ 21:26 (join) Kaylin 21:33 (join) mizu_no_oto 21:33 (join) rmathews 21:40 (quit) lewis17111: Read error: Connection reset by peer 21:49 (join) kofno 21:55 (quit) shriphani_: Quit: shriphani_ 22:03 (join) didi 22:05 (join) shriphani_ 22:22 sw2wolf: The <> is VERY good. Are there any racket books you recommend ? 22:22 didi: sw2wolf: http://htdp.org/ 22:23 sw2wolf: didi: thx 22:23 (quit) Nisstyre: Quit: Leaving 22:23 (join) Nisstyre 22:35 didi: sw2wolf: I find the manuals _very_ good too. 22:42 (quit) Nisstyre: Quit: Leaving 22:46 (join) Nisstyre 22:47 (join) mithos28 22:47 (quit) mithos28: Client Quit 22:49 (join) RacketCommitBot 22:49 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/IjdBPg 22:49 RacketCommitBot: racket/master 6babc9e Jonathan Schuster: Updated Delta TeX mapping with correct Unicode character 22:49 (part) RacketCommitBot 22:54 (quit) Shviller: Ping timeout: 252 seconds 22:55 (join) gridaphobe 22:55 (join) Shviller 23:00 (quit) nathanpc: Quit: Computer has gone to sleep. 23:15 (quit) netrino: Quit: Ave! 23:16 (join) jrslepak 23:29 (quit) jao: Ping timeout: 252 seconds 23:33 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 23:34 (quit) sw2wolf: Quit: ERC Version 5.3 (IRC client for Emacs) 23:34 (quit) masm: Quit: Leaving. 23:45 (join) lewis1711 23:53 (join) mithos28