00:00 eli: asumu: Oh, actually dyoo said it was a joke: http://pre.racket-lang.org/docs/html/reference/strings.html#%28def._%28%28quote._~23~25kernel%29._string-copy%29%29 00:00 rudybot: http://tinyurl.com/a26tdxf 00:00 eli: (And that looks like a very obscure sense of humor to me...) 00:00 asumu: Oh that. It's a joke from a popular TV show. 00:01 asumu: Or rather, a reference to one. 00:01 eli: Oh, http://en.wikipedia.org/wiki/Rei_Ayanami? 00:02 asumu: Yes, that one. 00:02 eli kept googling for "youi rei" 00:02 eli: Did anyone see my redbull? 00:03 mithos28: now that 5.3.2 is out, what is the next big thing for racket? Moving things out of core? 00:04 eli: Need to be out of beta first, and then it will happen very slowly. 00:04 eli: Very. 00:05 eli: Extremely very. 00:05 mithos28: ok so anything else coming down the pipeline? 00:08 eli: The usual bits... 00:13 (quit) bjz: Quit: Leaving... 00:30 (quit) parcha: Remote host closed the connection 00:32 (quit) francisl_: Quit: francisl_ 00:38 (quit) francisl: Quit: francisl 00:41 (quit) Fare: Read error: Operation timed out 00:42 (quit) Kaylin: Quit: Leaving. 00:49 asumu: Hmm, I wonder if HN skews more nightowl than reddit. I see more comment activity there on the Racket thread than on reddit. 00:49 mithos28: asumu: It might also skew more west coast 00:49 mithos28: its still early here 00:49 asumu: Ah, good point. 00:49 (join) parcha 00:50 asumu somehow keeps forgetting this even though he's from that coast 00:53 asumu: Oh, that paper on the Racket VM model got published in HOSC, it looks like. 00:57 (quit) parcha: Remote host closed the connection 01:05 (join) lusory 01:10 (join) parcha 01:15 (join) SeanTAllen 01:25 (quit) mceier: Quit: leaving 01:35 (join) lewis1711 01:40 (quit) karswell: Remote host closed the connection 01:42 lewis1711: rudybot: (require math) 01:42 rudybot: lewis1711: your sandbox is ready 01:42 rudybot: lewis1711: error: #:1:9: math: standard-module-name-resolver: collection not found: "math" in any of: (#) in: math 01:42 mithos28: rudybot: how old are you? 01:42 rudybot: mithos28: But chibi will have to use the workaround for a _long_ time, to accomodate old systems. 01:43 lewis1711: 5.2.9 01:44 lewis1711: I was going to write a racket entry on rosetta code for some linalg stuff with the new math lib 01:54 (join) Kaylin 02:00 (part) lewis1711: "Leaving" 02:09 (quit) tcsc: Quit: computer sleeping 02:11 (join) asvil 02:19 (join) mceier 02:19 mithos28: If I have a list of seqences is there an easy way to get a sequence of lists? or better yet a sequence of (f x1 y1 …) (f x2 y2 …) ... 02:19 (quit) dca: Read error: Connection reset by peer 02:20 (join) dca 02:27 (join) hkBst 02:27 (quit) hkBst: Changing host 02:27 (join) hkBst 02:45 (quit) Kaylin: Ping timeout: 256 seconds 02:46 (join) Kaylin 02:53 (quit) dnolen: Remote host closed the connection 03:07 (join) tilde` 03:08 (quit) tilde`: Read error: Connection reset by peer 03:11 (quit) mithos28: Quit: mithos28 03:12 (join) tilde` 03:19 (join) Fare 03:24 (join) tcsc 03:32 (join) rmathews_ 03:32 (quit) rmathews: Ping timeout: 244 seconds 03:32 (nick) rmathews_ -> rmathews 03:33 (join) karswell 03:35 (quit) hkBst: Read error: Connection reset by peer 03:36 (join) hkBst 03:43 (quit) tcsc: Quit: computer sleeping 03:46 (join) bitonic` 04:12 (join) merijn 04:20 (nick) bitonic` -> bitonic 04:27 (quit) tilde`: Ping timeout: 248 seconds 04:39 (join) Aune 05:10 (quit) friscosam: *.net *.split 05:10 (join) noelw 05:11 (join) soegaard 05:13 (join) friscosam 05:21 (join) tilde` 05:36 (join) MightyFoo 05:36 (part) tobi 05:37 (quit) MightyFoo: Client Quit 05:39 (join) rmathews 05:41 (join) MightyFoo 05:42 (join) tobi 05:45 (quit) Kaylin: Read error: Connection reset by peer 05:54 (quit) tilde`: Read error: Connection reset by peer 05:55 (join) tilde` 05:57 (quit) hkBst: Remote host closed the connection 05:57 (join) mye 05:59 (join) hkBst 05:59 (join) newblue 05:59 (quit) tilde`: Read error: No route to host 06:00 (join) tilde` 06:03 (join) myx 06:08 (quit) tilde`: Read error: Connection reset by peer 06:09 (join) tilde` 06:11 (quit) tilde`: Read error: Connection reset by peer 06:14 (join) tilde` 06:26 (join) ijp 06:44 (quit) tilde`: Read error: Connection reset by peer 06:45 (join) tilde` 06:51 (quit) rmathews: Quit: ... 06:52 (join) tilde`_ 06:53 (join) rmathews 06:53 (quit) tilde`: Read error: Connection reset by peer 06:58 (quit) rmathews: Ping timeout: 252 seconds 07:05 (nick) tilde`_ -> tilde` 07:14 (join) jeapostrophe 07:14 (quit) jeapostrophe: Changing host 07:14 (join) jeapostrophe 07:16 (quit) MightyFoo: Quit: WeeChat 0.3.8 07:26 (join) rmathews 07:49 (quit) dca: Read error: Connection reset by peer 07:49 (join) dca 07:50 (join) lewis1711 07:56 (join) groovy2shoes 08:01 (join) igstan 08:21 (join) mizu_no_oto 08:26 (quit) groovy2shoes: Quit: Computer has gone to sleep 08:30 (quit) myx: Ping timeout: 240 seconds 08:32 (join) myx 08:42 (join) francisl 08:45 (quit) cdidd: Quit: Leaving 08:47 (quit) francisl: Quit: francisl 08:48 (quit) dca: Read error: Connection reset by peer 08:48 (join) dca 08:49 (quit) dca: Read error: Connection reset by peer 08:49 (join) dca 08:50 (quit) dca: Read error: Connection reset by peer 08:51 (join) dca 08:51 (quit) dca: Read error: Connection reset by peer 08:52 (join) dca 08:53 (quit) dca: Read error: Connection reset by peer 08:54 (join) dca 08:54 (quit) dca: Read error: Connection reset by peer 08:54 (join) dca 08:56 (quit) dca: Read error: Connection reset by peer 08:56 (join) groovy2shoes 08:57 (quit) groovy2shoes: Client Quit 09:05 (join) tilde` 09:06 (join) jao 09:06 (quit) jao: Changing host 09:06 (join) jao 09:06 (join) dca 09:07 (quit) dca: Read error: Connection reset by peer 09:08 (join) dca 09:08 (quit) dca: Read error: Connection reset by peer 09:09 (join) dca 09:09 (quit) dca: Read error: Connection reset by peer 09:10 (join) dca 09:10 (quit) dca: Read error: Connection reset by peer 09:11 (join) dca 09:11 (quit) dca: Read error: Connection reset by peer 09:12 (join) dca 09:13 (quit) dca: Read error: Connection reset by peer 09:13 (join) dca 09:14 (quit) dca: Read error: Connection reset by peer 09:15 (join) dca 09:16 (quit) dca: Read error: Connection reset by peer 09:17 (join) dca 09:19 (join) anRch 09:20 (join) francisl 09:20 (quit) francisl: Client Quit 09:39 htop_: hello, how can I (re)load a racket file into an interactive session (in clisp, there is something linke (load-file "filename")) 09:41 asvil: htop_: racket "requires" reloading image 09:42 soegaard: htop_: I might misread your question, but does (require "file.rkt") do what you want? 09:43 htop_: asvil, thx. I think (enter! file) is also possible! I've just read about that. 09:44 htop_: The thing i want to do ist: do some (define ...) inside a rkt-file and try it out in the interactive racket session. It is similar to drracket, but I want to use vim as my editor. 09:45 asvil: htop_: there is geiser in emacs, which tries to be swank/slime. 09:45 asvil: sorry, do not know about vim 09:50 asumu: htop_: if you use XREPL then there is a command ,rr (or ,require-reloadable) that can be used to require a module multiple times from the REPL. 09:51 asumu: So you can use this to incrementally develop. 09:52 (quit) parcha: Remote host closed the connection 09:54 (join) parcha 09:55 (quit) tilde`: Read error: Connection reset by peer 09:55 (quit) jeapostrophe: Remote host closed the connection 09:56 (join) tilde` 09:57 (join) jeapostrophe 09:57 (quit) jeapostrophe: Changing host 09:57 (join) jeapostrophe 09:59 (quit) tilde`: Client Quit 10:01 (quit) myx: Ping timeout: 245 seconds 10:01 (quit) dca: Read error: Connection reset by peer 10:03 (join) dca 10:05 (quit) Fare: Ping timeout: 245 seconds 10:10 (quit) hkBst: Remote host closed the connection 10:10 (join) tilde` 10:10 (join) hkBst 10:10 (quit) hkBst: Changing host 10:10 (join) hkBst 10:11 asumu: This is a neat idea: http://lists.gnu.org/archive/html/guile-user/2013-01/msg00116.html 10:12 asumu: Also, I now want to make #lang achievements http://www.pltgames.com/competition/2013/2 10:13 asumu: "Congrats, you did 100 arithmetic expressions. You have no unlocked function definitions!" 10:13 asumu: s/no/now/ 10:14 (quit) tilde`: Read error: No route to host 10:15 (join) tilde` 10:17 (quit) dca: Read error: Connection reset by peer 10:17 (quit) igstan: Quit: igstan 10:18 (join) dca 10:18 (quit) tilde`: Read error: Connection reset by peer 10:20 (join) tilde` 10:21 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 10:23 (join) MightyFoo 10:27 (quit) tilde`: Read error: No route to host 10:28 (join) tilde` 10:28 (nick) MightyFoo -> tim-brown 10:29 (join) bitonic 10:31 (join) myx 10:38 (quit) Demosthenex: Ping timeout: 260 seconds 10:38 (nick) noam__ -> noam 10:38 (quit) hkBst: Quit: Konversation terminated! 10:39 (join) Demosthenex 10:41 tim-brown: i've got a question on the list, which is being unanswered... is there any way to put a chunk with a (module+ test ...) into a scribble/lp module? 10:41 tim-brown: s.t. that is tested by raco test? 10:44 asumu: tim-brown: I looked into that a bit and I don't think it works right now. 10:45 asumu: It seems the error you get is because the test submodule inherits the (#%module-begin ...) of the outer module, so it's from scribble/lp. 10:45 asumu: Which does some special handling that breaks the submodule. 10:45 tim-brown: what? and there should only be a a single #%module-begin? 10:46 asumu: Well, it's just that scribble/lp's #%module-begin wasn't written to do the correct thing to submodules. 10:46 asumu: (I'm not sure what the correct thing is) 10:47 (quit) dca: Read error: Connection reset by peer 10:47 asumu: Also, I think it doesn't handle non-module+/* submodules correctly either (as a separate problem). 10:47 (join) dca 10:47 asumu: Likely worth submitting as a bug report if you haven't already. 10:50 soegaard: Is the docs on docs.racket-lang.org uptodate ? 10:51 soegaard: Nope. 10:53 (quit) jeapostrophe: Ping timeout: 276 seconds 10:54 (quit) noelw: Quit: noelw 11:00 (quit) dca: Read error: Connection reset by peer 11:02 (join) dca 11:03 (join) qpls 11:03 qpls: I'm trying to run for-each on a list of lists but it complains that the second argument is not a 11:03 qpls: the list is not recursive (it doesn 11:04 qpls: 't refer to iteself) 11:04 qpls: it simply contains elements which themselves are lists 11:04 qpls: does this not fall under the definition of a "proper" list 11:04 qpls: ? 11:05 (quit) asvil: Ping timeout: 256 seconds 11:10 qpls: nevermind, I was using a tail recursive function which returned void instead of an empty list 11:10 qpls: so the type ended up being list* 11:16 bremner: zounds. geiser just displayed a picture in my emacs 11:18 (quit) mceier: Quit: leaving 11:18 (quit) dca: Read error: Connection reset by peer 11:18 (join) dca 11:21 soegaard: qpls: Do your list end in a '() ? Normally errors with " not a proper list" is due to (cons something ) 11:23 (join) rins 11:24 (join) francisl 11:28 (quit) asumu: Ping timeout: 264 seconds 11:28 (quit) dca: Read error: Connection reset by peer 11:29 (join) asumu 11:29 (join) mithos28 11:29 (join) dca 11:33 (quit) anRch: Quit: anRch 11:33 mye: Can you recommend me a small to medium sized piece of typed/racket code I could read/refer to as an introduction? Possibly with comments explaining a bit? Something where most of the type machinery is used that can look at when coding? 11:34 mithos28: mye: Does the typed racket guide not have what you want? 11:34 mithos28: http://docs.racket-lang.org/ts-guide/index.html 11:36 mye: mithos28: It explains what exists, but it does contain only small code snippets 11:37 mithos28: You could look at some of the math files 11:37 mye: I thought if there is some simple but useful program with types it would be useful to just read through it to get a better feel 11:38 mye: mithos28: I feared sm1 would say that ;-) 11:38 mye: I'll have look then... 11:39 (quit) qpls: Quit: Lost terminal 11:41 mye: I found the canonical factorial, heh! 11:44 soegaard: mye: https://github.com/plt/racket/tree/master/collects/math/private/number-theory 11:44 rudybot: http://tinyurl.com/cfzgabb 11:44 soegaard: contains simple Typed Racket 11:49 soegaard: The matrix/array stuff is more complicated. 11:51 (quit) myx: Ping timeout: 245 seconds 11:51 (quit) dca: Read error: Connection reset by peer 11:52 (join) dca 11:53 (quit) dca: Read error: Connection reset by peer 11:54 (join) dca 11:54 (quit) francisl: Ping timeout: 244 seconds 11:59 asumu: Some of the benchmark ports to TR could be helpful to look at: https://github.com/plt/racket/tree/master/collects/tests/racket/benchmarks/common/typed 11:59 rudybot: http://tinyurl.com/bkw36bo 11:59 asumu: (the rktl files) 12:00 tim-brown: night all 12:01 (quit) dca: Read error: Connection reset by peer 12:01 (join) dca 12:01 (join) jeapostrophe 12:01 (quit) jeapostrophe: Changing host 12:01 (join) jeapostrophe 12:04 (quit) tilde`: Read error: No route to host 12:04 (join) tilde` 12:04 (quit) dca: Read error: Connection reset by peer 12:05 (join) dca 12:06 (join) anRch 12:08 (join) didi 12:08 (join) Kaylin 12:12 (join) MayDaniel 12:14 (quit) dca: Read error: Connection reset by peer 12:15 (join) dca 12:22 (quit) zacts: Quit: leaving 12:23 (quit) bitonic: Read error: Operation timed out 12:23 (quit) tilde`: Quit: kthxbai 12:25 (join) mceier 12:25 (quit) Aune: Quit: Hath Deprated 12:30 (join) myx 12:45 (quit) Shvillr: Ping timeout: 240 seconds 12:45 (join) Shvillr 12:47 (quit) jeapostrophe: Ping timeout: 245 seconds 12:48 (join) jonrafkind 12:48 (quit) jonrafkind: Changing host 12:48 (join) jonrafkind 12:52 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs) 12:58 (quit) anRch: Quit: anRch 13:01 (quit) dca: Read error: Connection reset by peer 13:02 (join) dca 13:05 (join) noam 13:11 (join) dauterive 13:14 htop_: another question about the interactive racket interpreter: is there history repeating possible (arrow key, up) 13:18 jonrafkind: on the command line? there is if you use readline 13:18 jonrafkind: (require readline) 13:19 jonrafkind: actually (require xrepl) is better 13:21 htop_: ah, great. 13:21 jonrafkind: you can put that in your ~/.racketrc so its always loaded 13:22 htop_: I will do that. I followed the htdp book and it doesnt say anything about customizing the environment. 13:23 jonrafkind: htdp is sort of divorced from racket proper 13:30 (quit) rmathews: Quit: ... 13:32 (quit) dca: Read error: Connection reset by peer 13:32 (join) dca 13:36 (join) RacketCommitBot 13:36 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/9fy0uw 13:36 RacketCommitBot: racket/master c0c2eda Matthew Flatt: Scribble: add 'grouper and 'hidden-number part style properties... 13:36 RacketCommitBot: racket/master 09d4aa3 Matthew Flatt: Scribble: add `scribble/book' and `scribble/report' languages... 13:36 RacketCommitBot: racket/master c1bd671 Matthew Flatt: fix prototype when the C compiler has no "no inline" annotation 13:36 (part) RacketCommitBot 13:55 (join) tilde` 13:57 (join) jeapostrophe 13:57 (quit) jeapostrophe: Changing host 13:57 (join) jeapostrophe 14:06 (join) zacts 14:10 (join) danl-ndi 14:11 danl-ndi: how can I get racket to show more context when and exception occurs? 14:11 jonrafkind: run your program with errortrace 14:12 jonrafkind: racket -l errortrace -t foo.rkt 14:12 jonrafkind: i may have mixed up the order of -l and -t 14:14 danl-ndi: ah, that did the trick. thanks! 14:19 asumu: htop_: there's a section in the Racket guide (at the end) about customizing your dev environment. 14:19 (quit) dca: Read error: Connection reset by peer 14:19 (quit) zacts: Ping timeout: 246 seconds 14:21 (join) dyoo 14:21 (join) dca 14:23 (quit) lewis1711: Ping timeout: 255 seconds 14:24 greghendershott: Before ~v5.3, `,en foo.rkt` would re-evaluate the file, provided the timestamp changed. So e.g. a top-level expression like (displayln "hi") would display "hi". 14:24 greghendershott: Then ~5.3.1, `,en` stopped doing that for me. But (enter! "foo.rkt") still would. 14:24 greghendershott: And now in 5.3.2, suddenly enter! no longer does that anymore, either. At least not reliably. 14:25 greghendershott: o_O 14:25 greghendershott: Unless I'm crazy this changed sometime between HEAD a couple weeks ago, and HEAD today. 14:26 jonrafkind: elves 14:26 greghendershott: Oh I thought it was dwarves. I must have been thinking of Clojure. 14:26 jonrafkind: clojure is orcs. scala is dwarves 14:26 greghendershott: Ah right. 14:26 greghendershott: I am Tolkien fail. 14:27 asumu: greghendershott: Hmm, how about ,rr? 14:28 asumu: And yeah, that's odd. 14:29 greghendershott: Yeah that caught my eye in the chat transcript above, weird timing. 14:29 greghendershott: *experiments …. * 14:35 (quit) dca: Read error: Connection reset by peer 14:35 (join) dca 14:40 greghendershott: asumu: ,rr is working for simplest-case file (#lang racket, newline, "hi") but not for a "real-world" file. 14:40 (join) ijp` 14:40 (quit) ijp: Remote host closed the connection 14:40 greghendershott: In fact sometimes giving me error: "define-values: assignment disallowed; cannot re-define a constant. constant: lifted.0.2" 14:41 greghendershott: I'll try to whittle it down. 14:42 (quit) Kaylin: Ping timeout: 256 seconds 14:43 asumu: Oh that's annoying. Hmm. I've seen that error before. Don't know the cause though. 14:44 greghendershott: I was in a module server.rkt, which did a (require "../server.rkt"). Same basename for the file. Changing that made the error go away. 14:44 greghendershott: Not sure if problem with same basename, or, that change flushed something else. 14:45 greghendershott: ^ File 1 was project/server.rkt and file 2 was project/example/server.rkt 14:50 greghendershott: It wasn't the basenames being identical. Changing one name only made it go away, temporarily. 14:50 (quit) dca: Read error: Connection reset by peer 14:50 greghendershott: OK, well, I can tweak my workflow again to adapt. 14:51 (join) dca 14:51 (quit) dca: Read error: Connection reset by peer 14:51 (join) dca 14:55 (quit) jonrafkind: Ping timeout: 256 seconds 14:57 (join) tcsc 14:59 (join) fasta 14:59 fasta: How do I just install a list of libraries? 15:00 fasta: I want to separate program execution from program installation. 15:02 dyoo: fasta: a little more context may be necessary. What are examples of libraries you're considering? 15:02 fasta: dyoo: planet 15:02 dyoo: ok. For PLaneT, you can get it to install without actually doing module require by… give me a sec... 15:03 (quit) dca: Read error: Connection reset by peer 15:03 (join) dca 15:03 dyoo: programmatically, you should be able to do it with download/install-pkg: http://docs.racket-lang.org/planet/Utility_Libraries.html#%28def._%28%28lib._planet%2Futil..rkt%29._download%2Finstall-pkg%29%29 15:03 rudybot: http://tinyurl.com/ayyqung 15:05 dyoo: fasta: If you're planning to use planet2, there's a programmatic interface here: http://docs.racket-lang.org/planet2/Managing_Packages.html#%28part._.Programmatic%29 15:06 rudybot: http://tinyurl.com/absu8os 15:06 (quit) dca: Read error: Connection reset by peer 15:07 (join) dca 15:10 fasta: dyoo: why do I have to specify the owner? 15:10 dyoo: I believe it acts as a namespacing mechanism 15:10 fasta: dyoo: and version numbers? 15:10 dyoo: example: there are several instances of an "sicp" package, written all by different authors 15:11 dyoo: as for version numbers: I think there's a default that lets it pull the latest. Let me check... 15:11 fasta: dyoo: The GUI feels much more smooth now. 15:12 dyoo: not my fault. :) 15:12 dyoo: thank the core racket developers for that one. 15:12 fasta: It's not like writing a GUI is hard, but all the previous versions (except the last one) were really terrible. 15:12 fasta: It's probably just that it doesn't count as research. 15:13 dyoo: I know Robby's been putting a lot of effort on improving responsiveness. See the dev mailing list and you'll see a bit of discussion on this subject. 15:13 fasta: I spoke too soon. 15:14 fasta: It seems to be deadlocked. 15:14 dyoo: fasta: ugh. Please submit bug report if you can figure out how to trigger it. 15:15 dyoo: Is it deadlocking on a particular program? 15:15 fasta: dyoo: yeah... I don't think that's going to happen, since it was 'hover over some symbols in some order'. 15:16 (join) jonrafkind 15:17 fasta: I don't think it's good advertising of the language and the contracts if it crashed within 10 minutes. 15:17 fasta: It's not like I even tried to crash it. 15:18 dyoo: fasta: perhaps we can trace this down. Is online check-syntax enabled for you? 15:18 fasta: dyoo: probably 15:18 fasta: dyoo: when I hovered over symbols I saw arrows. 15:19 fasta: dyoo: I can still attach to it via gdb. 15:20 fasta: dyoo: 1 0x0000000000573e4d in default_sleep () #2 0x0000000000602652 in check_sleep () #3 0x000000000060d7ac in scheme_thread_block () #4 0x000000000060dd46 in scheme_block_until () #5 0x000000000060edb4 in do_sync ()#6 0x000000000045adf1 in _scheme_apply_from_native () #7 0x00007f2a60614231 in ?? () #8 0x0000000000000000 in ?? () 15:20 fasta: dyoo: like I expected: deadlock. 15:21 dyoo: Ok. Can you send a copy of this to the Racket mailing list? I'm definitely not the right person to help debug deadlocks, but I'm pretty sure that stack trace can help track the problem. 15:21 (quit) dca: Read error: Connection reset by peer 15:22 fasta: dyoo: I am not a member. 15:22 fasta: IMHO, if people are interested, they will read the IRC logs. 15:22 (join) dca 15:22 dyoo: no, don't depend on that. IRC is transient. 15:22 fasta: Even grepping for BUG bug issue problem will show them this. 15:22 dyoo: ummmm… can you submit a bug a bugs.racket-lang.org? 15:23 dyoo: Let's get this information a place where it reaches the core developers, the ones who have a chance to fix this. I don't think Matthew or Robby use IRC. 15:24 fasta: I think if they want to weed out the bugs, that they should just test it better. 15:24 fasta: Using something for 10 minutes should not result in a bug like this. 15:25 fasta: Any automated testing system will reproduce this in a day. 15:25 fasta: I have no doubt about that. 15:25 fasta: The problem is the software development process. 15:25 fasta: This is not an incident. 15:26 fasta: (and even automated testing is a weak substitute for proof) 15:26 asumu: Anyone have git HEAD built and DrRacket available? 15:26 asumu wants to test something 15:27 (join) Fare 15:28 dyoo: fasta: please submit a bug report. It _does_ reach all the core developers: we get email on every bug submitted. Let's not have this flaw get misplaced. 15:30 dyoo: fasta: There is an automated testing setup for the Racket project. (http://drdr.racket-lang.org/). Dunno what the status is for exhaustively testing DrRacket specifically. 15:31 dyoo: asumu: just built. What do you want to try? 15:32 asumu: dyoo: can you try the "check syntax" button on a file (just "#lang racket" is fine) and see if it hangs? 15:32 dyoo: ok, will do now. 15:32 dyoo: asumu: yup, hangs on HEAD. 15:32 asumu: :( 15:33 asumu: Okay, will submit a report. 15:33 (part) snorble_ 15:34 greghendershott: I built from HEAD earlier today and it doesn't hang for me. 15:34 greghendershott: "version 5.3.2.3--2013-02-01(86bff2fa/d) [3m]" 15:35 greghendershott: On OS X 10.7.5 15:35 greghendershott: Start DrRacket, just "#lang racket", click "Check Syntax". 15:36 (join) ryan_c 15:36 (quit) dca: Read error: Connection reset by peer 15:37 greghendershott: So FWIW it doesn't seem to be 100% reproducible. Clearly it's happening for some people, but it's not "OMG why don't they even try to use it" category, IMHO. 15:38 (join) dca 15:38 asumu: Ok, thanks. It's at least always reproducible on my machine. The worst bugs are the ones that only show up on some platforms occasionally. 15:39 dyoo: I do think it would be nice to have the equivalent of the Apple "Snow Leopard" release for Racket: no new features: just bug fixes. 15:42 (join) snorble_ 15:45 (join) cdidd 15:48 dyoo: fasta: bug submitted as: http://bugs.racket-lang.org/query/?cmd=view&pr=13477. Any more information you can provide, such as platform, os version, etc., would be really helpful to help reproduce. 15:48 (join) tilde`_ 15:52 (quit) tilde`: Ping timeout: 256 seconds 16:01 (quit) jeapostrophe: Ping timeout: 264 seconds 16:04 (join) qrstuv1 16:05 (quit) qrstuv: Ping timeout: 252 seconds 16:07 (quit) dca: Read error: Connection reset by peer 16:08 (join) dca 16:11 (quit) mye: Quit: mye 16:12 (join) mye 16:12 (quit) mye: Client Quit 16:13 (join) mye 16:13 (quit) mye: Client Quit 16:15 (nick) ijp` -> ijp 16:19 (join) Kaylin 16:27 (nick) tilde`_ -> tilde` 16:33 (quit) ryan_c: Quit: Ex-Chat 16:36 (quit) parcha: Remote host closed the connection 16:48 (quit) Nisstyre: Ping timeout: 255 seconds 16:48 (quit) dca: Read error: Connection reset by peer 16:48 (join) tilde` 16:49 (join) dca 16:53 (quit) tcsc: Quit: computer sleeping 16:57 (quit) dca: Read error: Connection reset by peer 16:57 (join) dca 16:59 (join) neilv 17:03 dyoo: errstr: follow up on that bug you noticed in parser-tools/lex. Patch written and currently waiting for acceptance. https://github.com/dyoo/racket/commit/544918465b67cbf2e8ad40bd3c2b3ea90f33c085 17:03 rudybot: http://tinyurl.com/a7fv2aw 17:13 (join) bitonic 17:17 (join) jeapostrophe 17:17 (quit) jeapostrophe: Changing host 17:17 (join) jeapostrophe 17:21 (join) tcsc 17:22 (quit) tcsc: Client Quit 17:28 (quit) dca: Read error: Connection reset by peer 17:28 (join) dca 17:33 (quit) Kaylin: Read error: Connection reset by peer 17:34 (join) francisl 17:42 (quit) dca: Read error: Connection reset by peer 17:44 (join) dca 17:49 (quit) MayDaniel: Read error: Connection reset by peer 17:49 (join) tcsc 17:58 (join) emma 17:58 (quit) dca: Read error: Connection reset by peer 17:59 (quit) rins: Ping timeout: 244 seconds 17:59 (join) dca 18:06 (join) nerdlor 18:07 (quit) dca: Read error: Connection reset by peer 18:08 (join) dca 18:11 (quit) bitonic: Ping timeout: 264 seconds 18:21 (quit) dca: Read error: Connection reset by peer 18:21 (join) dca 18:23 (join) RacketCommitBot 18:23 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/9zPI6A 18:23 RacketCommitBot: racket/master 318c45a Matthew Flatt: Scribble: fix docs on Latex commands for parts and part references 18:23 RacketCommitBot: racket/master f8c7a79 Matthew Flatt: fix `raco link' test 18:23 RacketCommitBot: racket/master 5dda7c4 Matthew Flatt: work around C library bug in powl() 18:23 (part) RacketCommitBot 18:25 (nick) emma -> em 18:27 (join) parcha 18:31 (quit) parcha: Remote host closed the connection 18:33 (quit) merijn: Ping timeout: 257 seconds 18:37 (quit) nerdlor: Quit: ERC Version 5.3 (IRC client for Emacs) 18:40 (join) groovy2shoes 18:41 (quit) dca: Read error: Connection reset by peer 18:41 (join) dca 18:43 (quit) francisl: Ping timeout: 244 seconds 18:43 (quit) groovy2shoes: Client Quit 18:48 (join) merijn 18:49 (join) CoverSlide 18:52 (join) sirdancealot7 18:53 (quit) dca: Read error: Connection reset by peer 18:53 (join) dca 19:17 (quit) newblue: Quit: leaving 19:25 (join) bavarious 19:25 (part) bavarious 19:28 dyoo: I hope everyone has a happy weekend! 19:29 (quit) dyoo: Quit: dyoo 19:38 (quit) Fare: Ping timeout: 256 seconds 19:51 (join) basepi 19:53 (join) lewis1711 19:53 lewis1711: rudybot, #lang typed/racket 19:53 rudybot: lewis1711: ok I've given up on finding an efficient way to do (Setof Any) -> (Setof String). I'm ust unable to get my head around the typed/racket machinery. 19:54 lewis1711: LOL 19:54 lewis1711: rudybot: #lang typed/racket 19:54 rudybot: lewis1711: rudybot, init typed/racket 19:54 lewis1711: aw 19:55 lewis1711: http://pastie.org/6027502 anyone know why this doesn't type check? :/ 19:55 basepi: i want to (display "blah" ) and then read from that buffer. so that when i read, it would just read in the symbol blah (no quotes, it's not a string). is that possible? 19:56 basepi: i know i could display to a file, then read from that file, but i'd prefer to do it with buffers so i didn't actually have to write files 19:58 (join) Fare 20:04 jonrafkind: are you asking how to make ? 20:04 jonrafkind: use (open-output-string) 20:04 (join) dyoo 20:04 dyoo: basepi: use open-output-string 20:04 jonrafkind: or potentially `open-output-bytes' or whatever 20:04 jonrafkind: dyoo, how do you see text wtihout being here? 20:04 jonrafkind: are you.. magic? 20:04 tbelaire: I'm going to try and implement 2-3 finger trees in racket 20:04 dyoo: basepi: http://docs.racket-lang.org/reference/stringport.html#%28def._%28%28quote._~23~25kernel%29._open-output-string%29%29 20:04 rudybot: http://tinyurl.com/b5nznbg 20:04 tbelaire: from the list of projects 20:05 tbelaire: how should I represent a monoid though? 20:05 tbelaire: Should I make it a struct with the id and mplus? 20:05 dyoo: jonrafkind: just got home, and first thing to do is look at the irc logs of course. ;) 20:05 jonrafkind: loooooooool 20:05 jonrafkind: you are dedicated brutha 20:05 tbelaire: Is there something that does monoids already? 20:07 dyoo: tbelaire: not sure. Maybe something in the PLaneT repository? Doing a quick check... 20:08 dyoo: tbelaire: the only thing I saw that might be remotely related was http://planet.racket-lang.org/package-source/toups/functional.plt/1/1/planet-docs/better-monads-guide/index.html 20:08 rudybot: http://tinyurl.com/bgz6rra 20:08 dyoo: but that's monads, not monoids... :( 20:08 basepi: dyoo: thanks, i was being dumb, using read-line instead of read 20:08 basepi: that was my problem 20:08 dyoo: basepi: no problem! 20:08 tbelaire: Eh, ok I feel like I can roll my own without shame then 20:08 basepi: also thanks jonrafkind, just being dumb, see above 20:09 tbelaire: and maybe clean it up with some pre-built ones for common types 20:09 tbelaire: But that sounds like another project now 20:09 dyoo: tbelaire: that's how it starts. :) 20:11 tbelaire: Ah, I just wanted something small to get started with. 20:12 (join) francisl 20:12 tbelaire: Also, earlier, I was going to use hash tables, and I noticed the lack of functions like map for them 20:12 tbelaire: you end up using for/hash 20:13 tbelaire: which works, but I was thinking of adding functions like hash-map-values, hash-map-keys 20:13 tbelaire: to map functions over them 20:13 tbelaire: but I couldn't find where the rest of the hash functions were implemented 20:13 (quit) dca: Read error: Connection reset by peer 20:14 (quit) dyoo: Ping timeout: 245 seconds 20:14 (join) dca 20:14 tbelaire: I found some basic hash functions in ./collects/racket/private/hash.rkt 20:14 tbelaire: but that doesn't look like the right place for more high level ones 20:15 tbelaire: Do you know where they live? 20:15 tbelaire: Or, perhaps a more general question, how to find where things are defined? 20:15 (quit) soegaard: Quit: soegaard 20:15 asumu: tbelaire: open a DrRacket tab, type identifier, and then I think you can either hover over it or right click. 20:16 asumu: And there's an option to go to its definition, I think. 20:16 asumu: (I would test it now but I'm cooking) 20:16 tbelaire: Oh, ok 20:16 lewis1711: tbelaire, look at for/hash 20:16 tbelaire: I was trying to use ag and grep 20:16 lewis1711: (though i can't figure out how to iterate over a hash table with the for-forms) 20:17 lewis1711: rudybot: (for/hash ([kv #hash((a . 1))]) kv) 20:17 rudybot: lewis1711: error: context expected 1 value, received 2 values: 'a 1 20:18 lewis1711: rudybot: (for/hash ([kv #hash((a . 1))]) (values kv)) 20:18 rudybot: lewis1711: error: context expected 1 value, received 2 values: 'a 1 20:18 tbelaire: (for/hash ([(k v) (in-hash #hash((a . 1)))]) v) 20:18 (join) RacketCommitBot 20:18 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/moid4A 20:18 RacketCommitBot: racket/master a90434b Robby Findler: avoid a deadlock introduced in recent identifier highlighting commit 20:18 (part) RacketCommitBot 20:18 tbelaire: rudybot: (for/hash ([(k v) (in-hash #hash((a . 1)))]) v) 20:18 rudybot: tbelaire: your sandbox is ready 20:18 rudybot: tbelaire: error: context (lexical binding) expected 2 values, received 1 value: 1 20:18 lewis1711: rudybot: (for/hash ([(k v) #hash((a . 1))]) (values k (add1 v))) 20:18 rudybot: lewis1711: ; Value: #hash((a . 2)) 20:19 lewis1711: there we go :) 20:19 lewis1711: mapping over a hash 20:19 tbelaire: Ah, but that's exactly why I wanted to make it a simple function 20:20 tbelaire: since it took 4 tries to get it 20:20 lewis1711: to be fair, I keep forgetting how to handle multiple values, and it's also the first time I'd used it 20:20 lewis1711: some languages when you do this return a tuple that you have to deconstruct, so i was confused by that 20:21 lewis1711: also the for forms are really powerful 20:21 lewis1711: I almost consider list operations old fashioned now, because they only work on lists 20:21 (join) bitonic 20:22 (quit) tcsc: Quit: computer sleeping 20:22 (join) dyoo 20:22 dyoo: tbelaire: extremely raw, but here's one way to figure out where things come from: https://gist.github.com/4695459 20:23 tbelaire: Thanks 20:23 (join) tcsc 20:23 dyoo: But probably using the arrows and right click with DrRacket will be easier. :) 20:24 tbelaire: I didn't see it in DrRacket... It just said imported from racket 20:24 dyoo: Technically, that's true. What's happening is the "racket" base language is re-exporting definitions that it required from the private stuff 20:25 tbelaire: Ah, it's in more-scheme.rkt I think 20:26 tbelaire: That's a well named file... 20:26 dyoo: If you right click on an identifier, there often is an option called "Jump to definition", and usually that does the right thing. 20:27 dyoo: ok, gotta go. Must play skyrim. :P 20:28 tbelaire: Have fun 20:28 tbelaire: Thanks 20:28 lewis1711: you know actually the more I think about it, the more I reckon using hash as a sequence like that should return tuples, not multiple values 20:28 (part) dyoo 20:28 tbelaire: I don't really know what's up with `values` 20:28 lewis1711: you don't create hashes using mutliple values, you use tuples. I mean... improper lists. or whatever they are called 20:29 tbelaire: It really could be tuples most of the time 20:29 tbelaire: I don't know why it is there, other than lack of great tuples 20:29 lewis1711: I dunno. schemers love multiple values 20:29 lewis1711: great tuples? what's wrong with lists and improper lists? 20:30 lewis1711: I do struggle to see the point of multiple values a lot of the time though 20:30 tbelaire: I do use lists as tuples 20:30 tbelaire: but it feels 'wrong' somehow 20:30 tbelaire: compared to haskell or python tuples 20:30 lewis1711: really? hmm 20:31 tbelaire: I tend to think of lists as homogenious 20:31 lewis1711: I can't even remember why pyhton has tuples since it's dynamically typed 20:31 lewis1711: haskell needs a way of dealing with heterogeneous list things 20:31 (join) francisl_ 20:32 lewis1711: rudybot, what's the point of multiple return values? 20:32 rudybot: lewis1711: Multiple values are a bit odd 20:32 (quit) dauterive: Ping timeout: 255 seconds 20:33 tbelaire: I dunno. I mean most of the time there is a overreaching type 20:33 ijp: lewis1711: I think you can do it in haskell with rank-n types 20:33 ijp: though it wouldn't be much use 20:33 ijp: lewis1711: and in python, tupbles are immutable, so I guess they can be done more efficiently 20:34 neilv: multiple values you use when you want to return multiple values from a procedure without defining a struct for them 20:34 tbelaire: And I would still argue that lists should contain similar things, and tuples different types of things 20:35 ijp: tbelaire: I repreesnt monoids by a record type in my fingertrees library 20:36 tbelaire: Ah, well, then if there's already a fingertrees library, it might be good to take it off the sample-projects list 20:36 ijp: well, internally that is. externally, I just ask them to pass in the three relevant procedures when using make-fingertree since I don't want to scare people off 20:36 tbelaire: https://github.com/plt/racket/wiki/Intro-Projects 20:36 tbelaire: That' what I was thinking I would do 20:37 lewis1711: neilv, I suppose. hmm 20:37 ijp: I assumed racket would already have them in the pfds package, so I didn't bother announcing them on the racket list 20:37 lewis1711: now that there's more people... http://pastie.org/6027502 anyone know why this doesn't type check? :) 20:37 ijp: my focus was on r6rs portablility 20:37 tbelaire: Uhh I didn't see them explicitly listed in the pfds package 20:38 tbelaire: I did check that 20:38 ijp: maybe they weren't, I should have checked myself 20:38 tbelaire: I was just thinking that I would like to do something for racket 20:38 tbelaire: I also was checking for assq instead of hash and I think that's already all fixed up 20:39 ijp: https://github.com/ijp/pfds/blob/master/fingertrees.sls 20:39 tbelaire: .sls? 20:39 ijp: it'd certainly be more efficient if done in a racket specific manner 20:40 ijp: tbelaire: common r6rs extension 20:40 ijp: common extension for an uncommon standard 20:41 tbelaire: ok 20:41 tbelaire: Well if I made that extra hashtable functions, would they get pulled in? 20:41 tbelaire: I think they would be valuable 20:43 ijp: I think they probably would 20:43 ijp: asumu: that implementation is naïve, but will run in Racket, if you want to add it to your pfds package 20:44 ijp: if you shame me, I might even optimise it 20:45 ijp: tbelaire: I also represent monoids by records in a different package I have, but it was mostly for messing around and I never did anything with it 20:45 (join) dauterive 20:45 tbelaire: Oh, I also like the define-datatype from the student languages 20:45 tbelaire: enough that I re-implemented them again once we moved to full racket at school 20:45 tbelaire: http://pastie.org/6027611 20:46 tbelaire: Oh, it would be cool to work with the wiimote 20:47 tbelaire: That'd mostly be ffi bindings, right? 20:48 tbelaire: Uhh, would hash-map-values and hash-map-keys be good names? 20:48 tbelaire: or would map-hash-values 20:49 tbelaire: be better, since I don't want to have people think `hash-map`-values 20:53 (quit) sirdancealot7: Ping timeout: 256 seconds 20:55 (quit) jeapostrophe: Ping timeout: 252 seconds 20:59 (quit) dca: Read error: Connection reset by peer 21:01 (join) dca 21:02 (quit) bitonic: Ping timeout: 245 seconds 21:05 (join) emma_ 21:05 (nick) emma_ -> em 21:07 (quit) mau: Read error: Operation timed out 21:09 (quit) dauterive: Quit: Leaving 21:10 (join) oaisdjfoiasjdfio 21:10 oaisdjfoiasjdfio: blah 21:11 (quit) oaisdjfoiasjdfio: Client Quit 21:11 lewis1711: tbelaire, I still don't get why you're doing this. (map f (hash-values ht)) 21:13 (join) mau 21:20 (quit) myx: Ping timeout: 264 seconds 21:25 (join) rmathews 21:40 asumu: ijp: oh awesome, I will add it sometime. Thanks. 21:41 (quit) jonrafkind: Read error: Operation timed out 21:45 (join) Kaylin 21:47 tbelaire: lewis: it returns a hash table. 21:48 (quit) qrstuv1: Ping timeout: 252 seconds 21:52 (quit) tilde`: Quit: kthxbai 22:11 (quit) tcsc: Quit: computer sleeping 22:15 (join) jonrafkind 22:18 (join) tcsc 22:20 (join) qrstuv 22:23 (quit) dca: Read error: Connection reset by peer 22:24 (join) dca 22:36 (join) jeapostrophe 22:36 (quit) jeapostrophe: Changing host 22:36 (join) jeapostrophe 22:38 (quit) dca: Read error: Connection reset by peer 22:39 (join) dca 22:50 (quit) jeapostrophe: Ping timeout: 245 seconds 22:51 (quit) jonrafkind: Read error: Operation timed out 23:02 (join) Nisstyre-laptop 23:06 (join) mizu_no_oto 23:07 (quit) mizu_no_oto: Client Quit 23:09 (quit) neilv: Ping timeout: 264 seconds 23:21 (join) neilv 23:21 (quit) neilv: Changing host 23:21 (join) neilv 23:21 (quit) neilv: Client Quit 23:35 (quit) francisl: Quit: francisl 23:35 (nick) francisl_ -> francisl 23:53 (quit) jao: Ping timeout: 245 seconds