00:04 asumu: Oh, sorry, not next semester. Next May: https://www.coursera.org/course/programdesign 00:06 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 00:11 lewis1711: is there a racket book yet? :( 00:12 mithos28: lewis1711: HTDP, the redex book, PLAI, realm of racket 00:14 lewis1711: oh realm of racket. that looks good 00:15 lewis1711: unrelated question: given a struct s, is there a way to get all its field-ids? 00:15 mithos28: lewis1711: what is a field id? 00:16 lewis1711: (struct pos (x y)), a field ID would be x and y 00:16 mithos28: do you have a value of the struct, or do you know statically which struct you are talking about? 00:16 lewis1711: the latter 00:17 mithos28: rudybot: init racket 00:17 rudybot: mithos28: your sandbox is ready 00:17 mithos28: rudybot: (struct pos (x y)) 00:17 rudybot: mithos28: Done. 00:18 mithos28: rudybot: (define-syntax (go) (print (extract-struct-info (syntax-local-value #'pos)))) 00:18 rudybot: mithos28: Done. 00:18 mithos28: rudybot: (go) 00:18 rudybot: mithos28: error: #:1:0: go: illegal use of syntax in: (go) 00:18 mithos28: rudybot: (define-syntax (go stx) (print (extract-struct-info (syntax-local-value #'pos))) #'(void)) 00:18 rudybot: mithos28: Done. 00:19 mithos28: rudybot: (go) 00:19 rudybot: mithos28: error: reference to an identifier before its definition: extract-struct-info in module: 'program phase: 1 00:19 (join) cdidd 00:19 mithos28: rudybot: (require (for-syntax racket/struct-info)) 00:19 rudybot: mithos28: Done. 00:19 mithos28: rudybot: (go) 00:19 rudybot: mithos28: error: reference to an identifier before its definition: extract-struct-info in module: 'program phase: 1 00:19 mithos28: rudybot: (define-syntax (go stx) (print (extract-struct-info (syntax-local-value #'pos))) #'(void)) 00:19 rudybot: mithos28: Done. 00:20 mithos28: rudybot: (go) 00:20 rudybot: mithos28: ; stdout: "'(# # # (# #) (#f #f) #t)" 00:21 mithos28: so you can take the fourth element of that list, and turn the syntax objects to symbols and then you have what you want 00:21 mithos28: but when you do that you make me sad 00:21 mithos28: because structs don't have field ids 00:21 lewis1711: that's just how they call them in the guide 00:21 lewis1711: and hmm 00:21 mithos28: they are wrong 00:22 mithos28: structs have field accessors 00:22 mithos28: which normally have the struct name prefix 00:22 lewis1711: yeah 00:22 lewis1711: they'd do 00:22 lewis1711: idk 00:22 mithos28: but the naming scheme is not set it stone 00:23 lewis1711: http://docs.racket-lang.org/reference/inspectors.html that looks like it applies but as usual I don't understand it 00:23 (quit) muraiki: Quit: Leaving 00:23 mithos28: and things like contract-out change the names 00:23 lewis1711: http://docs.racket-lang.org/reference/inspectors.html#%28def._%28%28quote._~23~25kernel%29._struct-type-info%29%29 00:23 rudybot: http://tinyurl.com/a7woz2w 00:23 mithos28: there are two similarly named things 00:24 mithos28: runtime struct info and static struct-info 00:24 mithos28: http://docs.racket-lang.org/reference/structinfo.html?q=make-struct-info 00:24 mithos28: thats the static info page 00:25 sw2wolf: struct in racket seems different from CL ? 00:25 mithos28: sw2wolf: I'm not sure how to parse that question 00:25 mithos28: it seemed like a statement 00:26 sw2wolf: sorry, i am a racket newbie 00:26 sw2wolf: i now a bit CL 00:27 sw2wolf: i know a bit CL 00:29 lewis1711: I am a racket newbie and I have been trying to use it on and off for a few years 00:29 lewis1711: http://docs.racket-lang.org/reference/structinfo.html?q=make-struct-info#%28def._%28%28lib._racket/struct-info..rkt%29._extract-struct-info%29%29 how do you get a struct in struct-info form? 00:29 rudybot: http://tinyurl.com/as8ymny 00:30 lewis1711: I could just do mithos28s syntax-object list thing :) 00:30 mithos28: use syntax local value on an identifier that has it as a binding 00:30 sw2wolf: In CL, (defstruct foo bar baz qux) 00:32 sw2wolf: How to translate (time (reduce #'+ (make-list 100000 :initial-element 1))) into racket ? 00:32 mithos28: rudybot: (make-list 100000 1) 00:32 rudybot: mithos28: ; Value: (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 00:33 mithos28: rudybot: (time (foldr + 0 (make-list 100000 1))) 00:33 rudybot: mithos28: ; Value: 100000 00:33 rudybot: mithos28: ; stdout: "cpu time: 8 real time: 7 gc time: 0\n" 00:33 sw2wolf: thanks 00:35 sw2wolf: racket uses fold instead of reduce in CL 00:36 neilv: (time (apply + (make-list #e1e6 1))) 00:37 sw2wolf: there is #'apply in CL too 00:38 sw2wolf: How about (make-array '(3 5) :initial-element 3) ? 00:39 (quit) neilv: Quit: Leaving 00:45 (quit) mithos28: Quit: mithos28 00:48 (join) mithos28 00:49 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 00:49 lewis1711: ok I don't get this at all 00:50 lewis1711: (struct pos (x y)) ;what's the type of "pos"? 01:06 (join) neilv 01:07 (join) TEttinger 01:08 TEttinger: lewis1711: want to keep talking about struct-info in here? 01:09 lewis1711: I already was, but sure 01:09 TEttinger: heh 01:09 lewis1711: (18:50:04) lewis1711: (struct pos (x y)) ;what's the type of "pos"? 01:09 TEttinger: well http://docs.racket-lang.org/reference/structinfo.html#%28def._%28%28lib._racket/struct-info..rkt%29._extract-struct-info%29%29 seems pretty vague 01:09 rudybot: http://tinyurl.com/c7lmdzw 01:09 lewis1711: if I can get that far 01:09 TEttinger: struct:pos 01:10 TEttinger: i believe that's the type 01:10 lewis1711: rudybot: (struct pos (x y)) 01:10 rudybot: lewis1711: your sandbox is ready 01:10 rudybot: lewis1711: Done. 01:10 lewis1711: (struct-type? pos) 01:11 lewis1711: rudybot: (struct-type? pos) 01:11 rudybot: lewis1711: ; Value: #f 01:11 TEttinger: rudybot: (struct pos (x y)) 01:11 rudybot: TEttinger: your sandbox is ready 01:11 rudybot: TEttinger: Done. 01:11 TEttinger: rudybot: (struct-type? struct:pos) 01:11 rudybot: TEttinger: ; Value: #t 01:11 TEttinger: there you go 01:12 TEttinger: rudybot: (extract-struct-info struct:pos) 01:12 rudybot: TEttinger: error: reference to an identifier before its definition: extract-struct-info in module: 'program 01:12 lewis1711: (require racket/struct-info) 01:13 TEttinger: rudybot: (require racket/struct-info) 01:13 rudybot: TEttinger: Done. 01:13 lewis1711: rudybot: (require racket/struct-info) (struct pos (x y)) (extract-struct-info pos) 01:13 rudybot: lewis1711: (require racket/struct-info) 01:13 TEttinger: rudybot: (extract-struct-info struct:pos) 01:13 rudybot: TEttinger: error: extract-struct-info: expected argument of type ; given: # 01:14 (join) asvil 01:15 lewis1711: yeah I'm lost 01:15 TEttinger: yeah me too 01:15 lewis1711: http://docs.racket-lang.org/reference/structinfo.html#%28def._%28%28lib._racket/struct-info..rkt%29._struct~3astruct-info%29%29 01:15 TEttinger: at least you know what the type is 01:16 rudybot: http://tinyurl.com/ct9h7g3 01:16 lewis1711: what does that mean? 01:16 lewis1711: and how do you use it 01:20 (quit) mceier: Quit: leaving 01:34 (quit) jeapostrophe: Ping timeout: 250 seconds 01:43 neilv: recent racket flonums have full ieee single and double precision, right? no missing bits for type tags? 01:45 neilv: the documentation i've seen implies so 01:45 mithos28: neilv: I believe that is correct. Normally they are boxed and that has the box 01:45 mithos28: tag* 01:47 asvil: neilv: right 01:48 asvil: in some cases they are unboxed into local flonum's and used without boxing 01:48 asvil: s/flonum's/flonums 01:49 neilv: oops. i just saw floating-point-bytes->real. after i had just written a similar thing to convert to exact rationals, misremembering that racket did not have full ieee precision 01:52 asvil: what do you mean "full ieee precision"? 01:52 (quit) jao: Ping timeout: 240 seconds 01:53 neilv: meaning, say, for ieee single precision floating point, it has full 32 bits of representation for the sign, exponent, and mantissa 01:53 neilv: not, say, cheating the mantissa out of a couple bits 01:56 asvil: sorry, do you mean that racket makes type tags in flonum bits? 01:58 (join) veer 02:21 (join) mceier 02:46 (quit) dnolen: Ping timeout: 255 seconds 02:48 (quit) TEttinger: Ping timeout: 248 seconds 02:49 (quit) Demosthenex: Ping timeout: 252 seconds 02:51 (join) Demosthenex 02:56 (join) hkBst 02:56 (quit) hkBst: Changing host 02:56 (join) hkBst 03:01 (quit) lewis1711: Ping timeout: 264 seconds 03:01 (quit) Demosthenex: Ping timeout: 248 seconds 03:03 (join) Demosthenex 03:05 (join) soegaard 03:08 (quit) bjz: Quit: Leaving... 03:21 (join) lewis1711 03:25 (quit) Demosthenex: Ping timeout: 246 seconds 03:27 (join) Demosthenex 03:28 (join) PseudoMander 03:31 (quit) lewis1711: Ping timeout: 255 seconds 03:31 (quit) veer: Quit: Leaving 03:31 (quit) jonrafkind: Ping timeout: 260 seconds 03:33 (quit) PseudoMander: Ping timeout: 246 seconds 03:35 (quit) Demosthenex: Ping timeout: 260 seconds 03:36 (join) Shvillr_ 03:36 (join) Demosthenex 03:37 (quit) Shviller: Disconnected by services 03:37 (nick) Shvillr_ -> Shviller 03:39 (quit) Shvillr: Ping timeout: 246 seconds 03:40 (join) Shvillr 03:41 (quit) Demosthenex: Read error: Operation timed out 03:49 (join) bitonic 03:50 (join) Demosthenex 03:55 (quit) Demosthenex: Read error: Operation timed out 03:58 (quit) mithos28: Quit: mithos28 03:59 (join) Demosthenex 04:04 (quit) Demosthenex: Ping timeout: 252 seconds 04:05 (join) Demosthenex 04:08 (join) noelw 04:10 (quit) Demosthenex: Ping timeout: 255 seconds 04:11 (join) lewis1711 04:11 (join) Demosthenex 04:14 (join) dyoo 04:19 (join) mithos28 04:21 (quit) Demosthenex: Ping timeout: 246 seconds 04:23 (quit) soegaard: Quit: soegaard 04:24 (join) masm 04:26 (join) RacketCommitBot 04:26 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/qIdCOA 04:26 RacketCommitBot: racket/master e4c9ad4 Danny Yoo: Add full contracts to red-black.rkt, with extensive documention in red-black.scrbl.... 04:26 (part) RacketCommitBot 04:27 dyoo: happy thanksgiving 04:27 (quit) dyoo: Quit: dyoo 04:27 (join) nathanpc 04:28 (join) ambrosebs 04:28 (join) Demosthenex 04:40 (quit) Demosthenex: Ping timeout: 260 seconds 04:42 (join) Demosthenex 04:46 (quit) Demosthenex: Ping timeout: 252 seconds 04:48 (join) Demosthenex 04:52 (quit) mithos28: Quit: mithos28 04:52 (quit) neilv: Quit: Leaving 05:03 (join) nilyaK 05:04 (join) tim-brown 05:04 (quit) masm: Ping timeout: 265 seconds 05:05 (join) masm 05:06 (quit) Demosthenex: Ping timeout: 252 seconds 05:08 (join) Demosthenex 05:09 (join) untrusted 05:11 (quit) tim-brown: Read error: Connection reset by peer 05:30 (join) torog 05:30 torog: > (test) 05:30 torog: > 05:30 torog: (test) --> no results. why? 05:30 torog: shouldn't i get some output (how many tests passed ... ) ? 05:33 (quit) Demosthenex: Ping timeout: 255 seconds 05:33 (quit) Shvillr: Ping timeout: 260 seconds 05:34 (join) Demosthenex 05:35 noelw: The new maths library looks awesome 05:38 (join) Shvillr 05:40 (join) myx 05:46 (quit) Demosthenex: Ping timeout: 264 seconds 05:48 (join) Demosthenex 05:48 (quit) torog: Ping timeout: 248 seconds 06:03 (join) torog 06:18 (join) DT` 06:18 (quit) DT``: Ping timeout: 245 seconds 06:24 (join) tim-brown 06:31 (quit) untrusted: Remote host closed the connection 06:31 (quit) mceier: Quit: leaving 06:35 (join) mye 06:37 (quit) lewis1711: Ping timeout: 246 seconds 06:45 (quit) torog: Quit: leaving 06:57 (join) niels1 07:17 (quit) bitonic: Read error: Operation timed out 07:19 (quit) nilyaK: Read error: Connection reset by peer 07:36 (quit) asvil: Remote host closed the connection 07:43 (join) asvil 07:44 (join) ubuntu-nathan 07:47 (quit) nathanpc: Ping timeout: 240 seconds 07:52 (join) bitonic 07:56 (quit) cdidd: Remote host closed the connection 08:11 (quit) jschuster: Quit: Coyote finally caught me 08:22 (join) niels2 08:25 (quit) niels1: Ping timeout: 246 seconds 08:35 (join) anRch 08:55 (join) noam_ 08:58 (quit) noam: Ping timeout: 248 seconds 09:05 (join) jschuster 09:06 (quit) Demosthenex: Ping timeout: 250 seconds 09:08 (join) Demosthenex 09:12 (join) veer 09:16 (quit) tim-brown: Remote host closed the connection 09:17 (join) tim-brown 09:17 (quit) tim-brown: Remote host closed the connection 09:17 (join) tim-brown 09:20 (join) mizu_no_oto 09:22 (quit) ewemoa: Quit: Leaving. 09:29 veer: for ctype "_string" , is it fair to assume that memory allocated from foreign code is freed by racket during GC and I don't have to explicitly free it, say for example in (_fun _int -> _string) 09:37 (quit) tim-brown: Remote host closed the connection 09:37 (join) tim-brown 09:40 (join) jeapostrophe 09:40 (quit) jeapostrophe: Changing host 09:40 (join) jeapostrophe 09:45 (quit) tim-brown: Remote host closed the connection 09:50 (join) greghendershott 09:51 (join) soegaard 09:57 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 10:04 (join) bitonic` 10:05 (quit) bitonic: Ping timeout: 265 seconds 10:07 (nick) bitonic` -> bitonic 10:10 (quit) niels2: Quit: WeeChat 0.3.8 10:13 (join) mizu_no_oto 10:14 (quit) anRch: Quit: anRch 10:15 (join) bitonic 10:23 (quit) soegaard: Quit: soegaard 10:27 (join) RacketCommitBot 10:27 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/D_MdfA 10:27 RacketCommitBot: racket/master d5f605f Robby Findler: fix dynamic require for moved file 10:27 (part) RacketCommitBot 10:28 (join) mceier 10:29 (join) soegaard 10:30 (quit) Demosthenex: Ping timeout: 244 seconds 10:32 (join) Demosthenex 10:38 (quit) Demosthenex: Ping timeout: 245 seconds 10:40 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 10:40 (join) Demosthenex 10:52 (quit) bitonic: Remote host closed the connection 10:52 (join) bitonic 10:53 (quit) bitonic: Remote host closed the connection 10:53 (join) bitonic 10:55 (quit) hkBst: Quit: Konversation terminated! 10:55 (quit) bitonic: Remote host closed the connection 10:56 (join) bitonic 10:59 (quit) veer: Quit: Leaving 11:07 (quit) noelw: Quit: noelw 11:12 (join) nilyaK 11:14 (quit) greghendershott: Quit: Leaving. 11:18 (join) MightyFoo 11:19 (join) Aune 11:19 MightyFoo: is there any way with scribble/text to skip emitting the newline at the end of a line with no text generated 11:20 MightyFoo: in m4, you can use "dnl" (don't new line) 11:20 MightyFoo: always bugged me having spurious newlines 11:20 MightyFoo: (or pending too much effort and ugnliness putting parenteses on the wrong line 11:20 (nick) MightyFoo -> tim-brown 11:35 (join) greghendershott 11:49 (quit) nilyaK: Read error: Connection reset by peer 12:00 (quit) asvil: Ping timeout: 255 seconds 12:19 (join) dyoo 12:21 dyoo: MightyFoo: Does it work to put "#;" at the ends of lines that you don't want to emit newlines? (similar to how LateX folks use %) 12:27 (join) MayDaniel 12:28 (quit) greghendershott: Quit: Leaving. 12:36 (quit) mye: Quit: mye 12:36 Aune: Using racket/gui, say that I want to create a frame% with a large number of panel%s in it. Is there a nice way to specify the exact size and placement for each of these panel%s ? 12:37 dyoo: what happens when you specify min-width and stretchable-width? 12:39 dyoo away; eating breakfast 12:40 Aune: dyoo, aaah, true. But what about position? 12:41 dyoo: not so sure if there's anything built in besides the horizontal and vertical panes 12:42 dyoo: I'm reading http://docs.racket-lang.org/gui/windowing-overview.html#(part._containeroverview), and it sounds like if you want to do something really custom, you may need to write your own pane% 12:44 Aune: dyoo, darn. will give that a read though and see where it leads me 12:56 dyoo back 12:56 dyoo: aune: there might be an easier way; apologies: I haven't played extensively with racket/gui/base yet 12:57 (join) nilyaK 12:59 (nick) Shozan -> SHODAN 13:10 (quit) Aune: Quit: Hath Deprated 13:17 (join) cdidd 13:23 (join) mithos28 13:24 (join) jao 13:24 (quit) jao: Changing host 13:24 (join) jao 13:31 Haffe: SHODAN: What is your opionion on system shock? 13:31 (join) mye 13:32 (quit) ambrosebs: Ping timeout: 252 seconds 13:40 (quit) nilyaK: Read error: Connection reset by peer 13:46 (join) dnolen 13:51 (join) jonrafkind 14:08 (quit) bitonic: Ping timeout: 240 seconds 14:08 soegaard: dyoo: Randomized testing is brilliant for red/black trees. For the ones in the Galore library I made two implementation of sets one with lists and one with trees. Generated random expressions and compared the results. http://planet.racket-lang.org/package-source/soegaard/galore.plt/2/2/tests/test-automatic-sets.scm 14:08 rudybot: http://tinyurl.com/ah7cfvy 14:09 dyoo: I had fun writing the tests. It's amazing how quickly they caught crazy errors. 14:16 (quit) jao: Remote host closed the connection 14:21 soegaard: I had lots of tests in advance, but the randomized still managed to find some bugs. 14:23 dyoo: I just hope the library actually helps. I'm currently coding the rest of the token-tree implementation now. I'd be really disappointed if it didn't actually help DrRacket performance. 14:24 mithos28: dyoo: On a totally unrelated note, how close is whalesong being to be able to support all of racket/base? 14:24 dyoo: not close, unfortunately 14:24 mithos28: aw, ok 14:25 dyoo: It'll take some significant work; I'm hoping to see if a smaller core will get us most of the way 14:25 mithos28: most of the way? 14:25 (join) lewis1711 14:25 mithos28: As in be able to run racket/base programs but some functions might not work? 14:26 dyoo: I want at least contracts and iteration. I don't think Whalesong can properly support things like file io 14:26 dyoo: yeah 14:26 mithos28: Ok, thats what I want, because then it can run some TR programs 14:29 soegaard: Is the tree only using while editing the buffer, or is also used by the online compilation? 14:30 dyoo: editing, indentation 14:31 dyoo: If I understand the code correclty, it's used pervasively in framework/private/color.rkt to do coloring and navigation. Things like "jump to next sexp" need it as well. 14:33 soegaard: Indentation of long, whole buffers does provoke a pause currently. 14:34 dyoo: very yes. That's what's motivating my hunt. :) 14:35 asumu: soegaard: oh, wow. I didn't know galore.plt existed and used that IOP stuff. 14:35 dyoo: I annotated my branch so it prints out how much time is taking in the token tree; https://github.com/dyoo/racket/tree/token-tree 14:35 soegaard: iop ? 14:35 dyoo: when it indents drracket/private/unit, for example, I see ithe token tree eating up at least 11 seconds. And that's pretty much how long indentation takes 14:35 dyoo: iop? 14:35 asumu: Interface-oriented programming. 14:36 soegaard: Ah! 14:37 soegaard: I had fun figuring out the details. 14:38 asumu: soegaard: what's the history behind that package? 14:39 asumu: (also, that reminds me that I should put more work into getting that Typed Racket data structure library on Planet 2...) 14:41 soegaard: I bought Okasakis book and began implemented all the heaps. This became "Heaps Galore". Later I implemented some of the other data structures. Version 1 and 2 were written by me. Then Carl and Stevie made a class based library on top. That's version 3 and 4. 14:42 (quit) mye: Quit: mye 14:53 (join) bitonic 14:54 (join) mye 14:55 (quit) cdidd: Remote host closed the connection 14:57 (join) mmajchrzak_ 14:58 (nick) mmajchrzak_ -> Znudzon 14:59 (quit) dyoo: Quit: dyoo 15:01 (join) dyoo 15:07 (quit) walter|r: Read error: Connection reset by peer 15:08 (join) walter|r 15:13 (quit) walter|r: Read error: Connection reset by peer 15:14 (quit) mithos28: Quit: mithos28 15:14 (join) walter|r 15:15 (quit) dyoo: Quit: dyoo 15:17 (quit) bitonic: Remote host closed the connection 15:18 (join) bitonic 15:18 (join) mithos28 15:24 (quit) jeapostrophe: Ping timeout: 246 seconds 15:27 (join) masm1 15:28 (quit) masm: Ping timeout: 252 seconds 15:29 (quit) lewis1711: Ping timeout: 244 seconds 15:46 (join) kvda 15:46 (join) jeapostrophe 15:46 (quit) jeapostrophe: Changing host 15:46 (join) jeapostrophe 15:47 (join) tsion 15:47 (quit) tsion: Changing host 15:47 (join) tsion 15:55 (quit) mithos28: Quit: mithos28 15:57 (quit) masm1: Ping timeout: 244 seconds 16:03 (join) masm 16:06 (join) mithos28 16:42 (join) nilyaK 16:42 (quit) myx: Read error: Operation timed out 16:43 (quit) snorble_: Read error: Connection reset by peer 16:43 (join) snorble_ 16:43 (quit) masm: Ping timeout: 245 seconds 16:44 (quit) mithos28: Quit: mithos28 16:47 (join) masm 16:52 (join) mithos28 16:58 (join) myx 17:00 (quit) jonrafkind: Ping timeout: 248 seconds 17:11 (join) jonrafkind 17:18 (quit) bitonic: Ping timeout: 256 seconds 17:23 (join) lewis1711 17:42 (quit) nilyaK: Quit: Leaving. 17:57 (quit) soegaard: Quit: soegaard 18:13 (join) greghendershott 18:43 (quit) mithos28: Quit: mithos28 18:44 (join) mithos28 18:47 (quit) MayDaniel: Read error: Connection reset by peer 18:48 (quit) lewis1711: Ping timeout: 264 seconds 19:12 (quit) mithos28: Quit: mithos28 19:14 (join) jao 19:14 (quit) jao: Changing host 19:14 (join) jao 19:18 (join) mithos28 19:21 (join) lewis1711 19:25 (join) mye_ 19:27 (quit) mye: Ping timeout: 265 seconds 19:27 (nick) mye_ -> mye 19:28 (join) nilyaK 19:35 (quit) mithos28: Quit: mithos28 19:51 (join) Shviller 19:54 (join) sw2wolf 19:54 (join) mithos28 19:56 (quit) jonrafkind: Ping timeout: 265 seconds 20:05 (quit) dnolen: Ping timeout: 245 seconds 20:08 (join) mizu_no_oto 20:22 (quit) ubuntu-nathan: Remote host closed the connection 20:22 (join) nathanpc 20:24 (quit) masm: Quit: Leaving. 20:26 (join) aezx 20:26 aezx: a fun fact 20:26 (join) RacketCommitBot 20:26 RacketCommitBot: [racket] plt pushed 9 new commits to master: http://git.io/-uBKFg 20:26 RacketCommitBot: racket/master 4f27df3 Robby Findler: make the f2 button go find the definitions text,... 20:26 RacketCommitBot: racket/master 316bbcb Robby Findler: fix c:c;c:b so it removes {}s... 20:26 RacketCommitBot: racket/master 279e5aa Robby Findler: move the captcha checking code inside the handler... 20:26 (part) RacketCommitBot 20:26 aezx: you can name files with .ss 20:26 aezx: so that cream highlights it, and racket will still use it, if it has the #lang racket 20:30 bremner: what is cream? 20:40 (quit) greghendershott: Quit: Leaving. 20:40 lewis1711: isn't it a vim thing? 20:41 lewis1711: aezx: http://docs.racket-lang.org/guide/Vim.html 20:41 lewis1711: looks like there's a racket plugin for vim now :) 20:41 lewis1711: I like dr racket though. in its own special way 20:42 lewis1711: actually, a question re: Dr. Racket. When you click the "check syntax" button, it highlights evertyhing slightly differently - and what seems to me a cleaner - way 20:42 lewis1711: is there anyway to have that highlighting scheme on by default? 20:42 mithos28: lewis1711: Do you have online check syntax on 20:43 lewis1711: mithos28: I'm afraid I don't know what you mean by that? 20:43 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 20:45 mithos28: it is a feature in the newer versions of drrackt 20:45 mithos28: what version do you have? 20:45 lewis1711: mithos28: 5.3, I think I have 5.3.1 somewhere though 20:45 lewis1711: how do you use it? 20:46 mithos28: click the lower right hand corner of a dr racket windo 20:46 mithos28: right of the stick figure 20:48 lewis1711: oh yes 20:48 lewis1711: highlighting isn't changed though 20:49 sw2wolf: Are there any racket mode in emacs ? 20:49 mithos28: lewis1711: Oh, well I don't know then 20:49 mithos28: sw2wolf: geiser and quack 20:49 lewis1711: thanks anyway 20:49 sw2wolf: thx 20:53 (join) mizu_no_oto 20:59 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 21:04 (join) RacketCommitBot 21:04 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/mRrNBA 21:04 RacketCommitBot: racket/master e55d32b Robby Findler: fix docs bug in recent commit 21:04 (part) RacketCommitBot 21:06 (quit) lewis1711: Read error: Connection reset by peer 21:06 (join) lewis17111 21:10 (quit) lewis17111: Client Quit 21:10 (join) lewis1711 21:11 (join) mizu_no_oto 21:20 aezx: i like drracket too, but it has some irritating quirks sometimes. 21:21 (join) neilv 21:21 aezx: and vim lets me do css stuff too... 21:30 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 21:31 (quit) Demosthenex: Ping timeout: 260 seconds 21:33 (join) Demosthenex 21:35 (join) RacketCommitBot 21:35 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/-RSQcA 21:35 RacketCommitBot: racket/master 11a5721 Robby Findler: made the install-plt menu item's browse... 21:35 (part) RacketCommitBot 21:48 lewis1711: is there anyway to have "named wildcards" with rackets match form? 21:48 lewis1711: oh maybe i figured it out 21:54 (quit) kvda: Quit: -___- 22:05 (quit) mithos28: Quit: mithos28 22:11 (quit) jeapostrophe: Ping timeout: 244 seconds 22:12 (quit) myx: Ping timeout: 265 seconds 22:13 (quit) tsion: Quit: Leaving 22:15 (quit) nathanpc: Quit: Computer has gone to sleep. 22:18 (join) mithos28 22:20 (join) ewemoa 22:25 (join) jeapostrophe 22:25 (quit) jeapostrophe: Changing host 22:25 (join) jeapostrophe 22:25 (join) mizu_no_oto 22:28 (join) francisl 22:40 mithos28: Is there a way to make a match form that errors with a type error if it is not exhaustive in TR? 22:42 (join) tsion 22:42 (quit) tsion: Changing host 22:42 (join) tsion 22:42 (join) veer 22:44 (quit) aezx: Ping timeout: 244 seconds 22:57 (join) aezx 23:02 (quit) aezx: Ping timeout: 244 seconds 23:07 francisl: hi, since racket can link to C, is it possible to program games for iOS with it? 23:08 (quit) nilyaK: Quit: Leaving. 23:08 lewis1711: francisl: if iOS games need C librarys, then i guess. i don't think there's a link to objective-C though 23:08 lewis1711: but the C-API is pretty good as far as C-APIs go. on a scale of python to C++, it's about a ruby 23:09 francisl: lol 23:09 neilv: you can write some web browser games using whalesong: http://hashcollision.org/whalesong/ 23:10 francisl: shouldn't be hard to link C to objective-C, is there anyone how did that? Not necessarily games 23:11 francisl: I was looking for something native, a bit like what the guys did with haXe 23:12 lewis1711: if the libraries you want have a C API, then it should be fine 23:12 francisl: http://www.haxe.org/ , but with scheme 23:12 lewis1711: and racket does create native binaries 23:12 mithos28: There is already a link to obj-c 23:12 mithos28: thats how racket does all the gui stuff on os x 23:12 mithos28: http://docs.racket-lang.org/foreign/Objective-C_FFI.html?q=obj%20c 23:13 lewis1711: wow, how long has that been there lol 23:13 mithos28: since 5.2 atleast 23:13 mithos28: or was 5.0 the big rewrite 23:14 (join) spiderweb 23:15 cky: Hmm. I wonder if DrRacket has a setting to display a 80-column margin line, like most IDEs do. 23:15 cky: I don't like my code to spill past 80 (or even 72) columns. 23:15 francisl: great thanks, much to try and read now 23:16 cky: It would beat my having to write a 012345670123456701234567... comment line. 23:16 mithos28: cky: why not 102 characters as is normal for racket? 23:17 neilv: cky: i don't think it has that feature. i've suggested it a couple times before 23:17 cky: neilv: :-( 23:17 cky: mithos28: Lol. 23:18 neilv: cky: after editing code in drracket for a while, i have to go back to emacs to do things like reformat the comment blocks, fix too-long lines, and run quack-tidy 23:18 mithos28: cky: i didn't make up that 102 number 23:18 mithos28: that is the official style 23:18 cky: neilv: Nice. :-) 23:18 cky: mithos28: What?! Seriously? That seems a very unround number. 23:18 lewis1711: whenever I write LISP I always tend to start new lines more. the code tends to come out taller as opposed to wider 23:18 mithos28: http://www.ccs.neu.edu/home/matthias/Style/style/Textual_Matters.html#(part._.Line_.Width) 23:19 neilv: the racket style guide is for code in core racket only 23:20 asumu goes by 80 for his code... 23:20 mithos28: 80 is really nice on large monitors because I can fit 4 columns wide 23:20 mithos28: my laptop overflows at 3 23:21 lewis1711: at first I eschewed 80 because of the whole "we're not on terminals anymore". then I started displaying a repl and code window side by side 23:23 neilv: racket is on 1980s terminals 23:23 mithos28: 80 is nice because it is easier to read shorter lines, think about how most books don't have really long lines 23:24 lewis1711: that too. I did use 100 for a while though 23:24 lewis1711: but then i also thought people probably code on smart phones and all sorts of stuff these days, small screens will have their place 23:25 mithos28: 80 chars on a smart phone? I highly doubt they are that wide 23:26 asumu: I use a monitor rotated 90 degrees, so shorter lines is good for me. 23:26 lewis1711: I don't know I don't own one :/ 23:27 asumu: Also, the compromise means it doesn't fit on small screens, but also doesn't get to fit on larger screens. 23:27 asumu: i.e., suboptimal on both counts. :p 23:27 lewis1711: yeah but if you have a large screen you can tile or whatever 23:27 asumu: (or rather, it doesn't use the space efficiently on larger screens) 23:27 mithos28: asumu: Do you want to look at code on a smart phone? 23:27 asumu has no smart phone 23:28 mithos28: Wow, I thought they were fairly standard now 23:28 lewis1711: if I get a smart phone I'd want something with a thumb keyboard that i could code on 23:29 mithos28: I guess my social circles are not representetive 23:29 asumu: I bought a phone before smart phones took off quite as much as they have now, and unless it breaks I don't feel like getting another one. 23:29 lewis1711: smart phones are down the list of things I want to buy when I have that much mone 23:30 lewis1711: l 23:33 (quit) mithos28: Read error: Connection reset by peer 23:34 (join) mithos28 23:35 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 23:53 (quit) veer: Quit: Leaving