00:04 (join) RacketCommitBot
00:04 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/WQwMCA
00:04 RacketCommitBot: racket/master 099a358 Robby Findler: do a little bit better job compressing the bytes
00:04 (part) RacketCommitBot
00:12 (quit) gridaphobe: Ping timeout: 265 seconds
00:29 (quit) ambrosebs: Remote host closed the connection
00:30 (join) ambrosebs
00:32 (quit) Nisstyre: Quit: Leaving
00:37 (quit) Nisstyre-laptop: Quit: Leaving
00:38 (join) Nisstyre-laptop
00:39 (join) nilyaK
01:00 (join) RacketCommitBot
01:00 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/kTbTZw
01:00 RacketCommitBot: racket/master 3bc4c1f Neil Toronto: More efficient Gaussian elimination using vectors of vectors (non-strict...
01:00 RacketCommitBot: racket/master 1aebd17 Neil Toronto: Moar matrix review/refactoring...
01:00 (part) RacketCommitBot
01:05 (join) pnpuff
01:13 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
01:14 (quit) ambrosebs: Remote host closed the connection
01:15 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs)
01:23 (join) jeapostrophe
01:28 (quit) carleastlund: Quit: carleastlund
01:51 (join) francisl
01:58 (quit) cdidd: Remote host closed the connection
02:07 (join) nilyaK1
02:09 (quit) nilyaK: Ping timeout: 265 seconds
02:13 (quit) jeapostrophe: Read error: Operation timed out
02:15 (quit) fasta: Quit: No Ping reply in 180 seconds.
02:15 (join) fasta
02:20 (quit) tuor: Quit: tuor
02:26 (quit) jonrafkind: Ping timeout: 252 seconds
02:51 (join) pnpuff_
02:51 (quit) francisl: Quit: francisl
02:52 (nick) pnpuff_ -> pnpu1f
02:55 (join) francisl
02:55 (quit) pnpuff: Ping timeout: 264 seconds
02:57 (quit) francisl: Client Quit
02:59 (join) asvil
03:41 (quit) bjz: Quit: Leaving...
03:45 (join) bjz
04:23 (join) MayDaniel
04:24 (quit) nilyaK1: Read error: Connection reset by peer
06:07 (join) bitonic
06:09 (join) pnpuff
06:38 (join) mye
06:47 (join) masm
06:51 (quit) Nisstyre-laptop: Ping timeout: 252 seconds
07:44 (quit) skchrko: Quit: .
07:49 (join) ambrosebs
07:55 (join) ambroseb_
07:56 (quit) ambroseb_: Remote host closed the connection
07:57 (quit) ambrosebs: Ping timeout: 260 seconds
08:15 (join) ambrosebs
08:23 (join) ambroseb_
08:26 (quit) ambrosebs: Ping timeout: 252 seconds
08:44 (quit) myx: Ping timeout: 264 seconds
08:52 (quit) Demosthenex: Ping timeout: 245 seconds
08:54 (join) Demosthenex
08:56 (join) myx
09:31 (join) RacketCommitBot
09:31 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/k9CncA
09:31 RacketCommitBot: racket/master d7e6f35 Robby Findler: guard against spurious status messages
09:31 (part) RacketCommitBot
09:35 (join) cdidd
09:39 (join) RacketCommitBot
09:39 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ljuzMA
09:39 RacketCommitBot: racket/master a4f0158 Mike Sperber: Synch German string constants with latest.
09:39 (part) RacketCommitBot
09:44 (join) jeapostrophe
09:50 (join) tuor
10:02 (quit) ambroseb_: Remote host closed the connection
10:05 (join) netrino
10:11 (join) skchrko
10:19 (quit) pnpuff: Quit: .
10:40 (join) francisl
10:44 (join) hash_table
10:50 (join) bitonic`
10:52 (quit) bitonic: Ping timeout: 252 seconds
10:54 (join) ambrosebs
11:00 (quit) jeapostrophe: Ping timeout: 255 seconds
11:06 (quit) mye: Quit: mye
11:09 (join) mye
11:19 (join) mizu_no_oto
11:35 (join) RacketCommitBot
11:35 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/EeZAaA
11:35 RacketCommitBot: racket/master 118e961 Robby Findler: Revert ufo changes at Matthias's request...
11:35 (part) RacketCommitBot
11:57 (quit) francisl: Ping timeout: 256 seconds
11:57 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:03 (join) RacketCommitBot
12:03 RacketCommitBot: [racket] plt pushed 8 new commits to master: http://git.io/3lQWrQ
12:03 RacketCommitBot: racket/master fdcd030 Matthew Flatt: raco pkg show: tweak output format
12:03 RacketCommitBot: racket/master 61e0610 Matthew Flatt: raco pkg show: add `-v'/`--version' argument for selecting a Racket version...
12:03 RacketCommitBot: racket/master 853f959 Matthew Flatt: raco pkg: improve command-line checking and error reporting...
12:03 (part) RacketCommitBot
12:20 (join) mizu_no_oto
12:21 (join) spiderweb
12:24 (nick) bitonic` -> bitonic
12:29 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:30 (join) francisl
12:34 (quit) Shambles_: Quit: Leaving.
12:36 (quit) asvil: Ping timeout: 264 seconds
12:37 (quit) francisl: Quit: francisl
12:47 (join) RacketCommitBot
12:47 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/s5zgOw
12:47 RacketCommitBot: racket/master 3ab14bb Robby Findler: initialize the delegate text for a new frame...
12:47 (part) RacketCommitBot
12:49 (join) jonrafkind
13:00 (nick) noam_ -> noam
13:10 (quit) ambrosebs: Ping timeout: 260 seconds
13:18 (join) nilyaK
13:20 (quit) nilyaK: Client Quit
13:22 (quit) tuor: Quit: tuor
13:30 (quit) Shvillr: Read error: Connection reset by peer
13:35 (join) Shviller
13:47 (quit) myx: Ping timeout: 245 seconds
14:08 (join) tuor
14:22 (join) mithos28
14:26 (quit) mithos28: Client Quit
14:27 (join) mithos28
14:27 (quit) netrino: Ping timeout: 244 seconds
14:33 dented42: why was provide/contract replaced with contract-out ?
14:33 mithos28: so that you can use values defined later in the module as the contract
14:33 dented42: I don't understand what you mean.
14:34 dented42: oh
14:34 dented42: wait, yes
14:34 dented42: that makes sense
14:35 dented42: also, is using contract-out at the top of the module considered 'more proper' then using define/contract ?
14:35 mithos28: yes
14:36 dented42: why? it seems to me that defining contracts at the point that something is defined is more intuitive.
14:38 (join) francisl
14:39 mithos28: Because when you look at a module, the interface of the module is at the top
14:39 dented42: hm, ok
14:40 mithos28: also define/contract puts the contract boundary between the definition site and the module
14:40 mithos28: where contract-out puts it between the defining module and the importing module
14:41 dented42: as opposed to between modules
14:41 dented42: yes, that makes sense
14:42 dented42: but wouldn't that mean that contracts aren't checked during calls to a function in the module where the function is defined?
14:43 mithos28: correct, but you also don't pay the runtime cost of them then
14:43 mithos28: and you expect the defining module to use them correctly because it knows how to use them
14:44 mithos28: You are pointing out the reasons why define/contract exists. If you want that behavior go ahead and use it. The standard style is not a hard and fast rule
14:45 dented42: yes, but when I'm writing the module I thought that it would be helpful to have contracts check everything to make sure I'm not making mistakes as I'm writing.
14:45 dented42: oh, ok
14:45 (join) netrino
14:59 (quit) mithos28: Quit: mithos28
15:00 (join) Nisstyre-laptop
15:02 (join) mithos28
15:03 (join) Nisstyre
15:04 (quit) Nisstyre: Read error: Connection reset by peer
15:06 (quit) mithos28: Client Quit
15:12 asumu: dented42: the idea is that you "trust" the code inside the contract boundary.
15:12 asumu: This is true of define/contract *and* provide/contract. It's just about where you place the boundary.
15:12 asumu: For example, a function defined with define/contract will not check recursive calls.
15:12 asumu: (the recursive calls are within the boundary)
15:13 dented42: yes, I think I understand.
15:13 dented42: but the thing is, I don't trust any of the code yet :P
15:14 asumu: Right. :p Well, you can attach contracts temporarily and take them out later.
15:14 asumu: You can even abstract that with a macro.
15:14 dented42: that's what I was thinking
15:14 dented42: can I define it in a way to check recursive calls as well?
15:15 asumu: Hmm, I don't know of an obvious way to do that.
15:31 (join) jeapostrophe
15:46 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs)
16:09 (quit) tuor: Quit: tuor
16:10 (join) mithos28
16:11 (join) dnolen
16:12 (join) RacketCommitBot
16:12 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/BqgZtg
16:12 RacketCommitBot: racket/master b112a7e Robby Findler: adjust object-name on classes and interfaces to drop the prefix...
16:12 (part) RacketCommitBot
16:23 (join) nilyaK
16:23 (join) m_m
16:26 (quit) Shviller: Read error: Connection reset by peer
16:32 (join) Shviller
16:45 (join) spiderweb
16:50 (join) anRch
17:06 (quit) nilyaK: Read error: Connection reset by peer
17:12 (join) tuor
17:14 (join) Nisstyre
17:25 (quit) francisl: Remote host closed the connection
17:25 (join) francisl
17:27 (quit) jonrafkind: Ping timeout: 252 seconds
17:40 (quit) anRch: Read error: Connection reset by peer
17:40 (join) anRch
17:42 (quit) m_m: Ping timeout: 255 seconds
17:57 (quit) anRch: Quit: anRch
18:22 (quit) cdidd: Remote host closed the connection
18:31 (join) jao
18:31 (quit) jao: Changing host
18:31 (join) jao
18:45 (join) mizu_no_oto
18:52 (join) spiderwe`
18:53 (quit) spiderwe`: Remote host closed the connection
18:54 (quit) spiderweb: Ping timeout: 265 seconds
18:56 (quit) mye: Quit: mye
18:57 bartbes: hmm, is it possible yet to use the definitions in a datalog or racklog file yet?
18:57 bartbes: because requiring them seems to provide me with a distinct lack of usefulness
18:59 (join) spiderweb
18:59 (quit) mithos28: Quit: mithos28
19:03 (quit) francisl: Quit: francisl
19:09 (quit) jeapostrophe: Read error: Operation timed out
19:11 (join) mye
19:14 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
19:15 (join) mizu_no_oto
19:16 (quit) mizu_no_oto: Client Quit
19:23 (quit) mye: Quit: mye
19:26 (quit) MayDaniel: Read error: Connection reset by peer
19:28 (join) bitonic
19:28 (quit) bitonic: Remote host closed the connection
19:29 (join) bitonic
19:33 (join) jonrafkind
19:37 (join) mithos28
19:44 (quit) tuor: Quit: tuor
19:52 (join) mizu_no_oto
20:00 (quit) mithos28: Quit: mithos28
20:05 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs)
20:09 (join) sw2wolf
20:20 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
20:22 (quit) masm: Quit: Leaving.
20:28 (join) mithos28
20:35 (join) nilyaK
20:41 (quit) mithos28: Quit: mithos28
20:42 (join) mithos28
20:43 (quit) mithos28: Client Quit
20:43 (join) mithos28
20:44 (quit) mithos28: Client Quit
20:45 (join) mizu_no_oto
20:45 (join) mithos28
20:49 (quit) mizu_no_oto: Ping timeout: 246 seconds
20:50 (quit) mithos28: Client Quit
20:55 (join) mithos28
20:59 (quit) bitonic: Remote host closed the connection
20:59 (join) mizu_no_oto
21:03 (join) bitonic
21:14 (join) ambrosebs
21:17 (quit) bitonic: Remote host closed the connection
21:42 (quit) nilyaK: Quit: Leaving.
21:51 (quit) ambrosebs: Remote host closed the connection
22:04 (quit) netrino: Quit: Ave!
22:04 (join) cdidd
22:07 (join) gcr
22:09 gcr: Is (provide (contract-out ...)) preferred over provide/contract? The docs http://docs.racket-lang.org/reference/attaching-contracts-to-values.html?q=provide/contract#(form._((lib._racket/contract/private/provide..rkt)._provide/contract)) say that provide/contract is "legacy shorthand" but the "How to program Racket" style guide http://www.ccs.neu.edu/home/matthias/Style/style/Units_of_Code.html only uses it.
22:09 rudybot: http://tinyurl.com/d5556u3
22:10 (join) cbernal
22:10 (part) cbernal
22:12 (join) cabernal
22:19 (join) ambrosebs
22:21 mithos28: gcr: that is likely because the style guide hasn't been updated recently
22:22 gcr: Aha! So contract-out is the way to go then? Thanks.
22:23 mithos28: yep
22:34 (join) nilyaK
22:50 (join) myx
22:52 (join) tuor
22:52 (quit) mithos28: Quit: mithos28
22:59 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
23:03 (quit) sw2wolf: Remote host closed the connection
23:04 (join) mithos28
23:11 (join) Shvillr
23:13 (quit) Shviller: Ping timeout: 252 seconds
23:20 (quit) cabernal: Quit: leaving
23:30 (join) spiderweb
23:35 (quit) hash_table: Ping timeout: 255 seconds
23:41 (quit) nilyaK: Quit: Leaving.
23:50 (join) francisl
23:53 (quit) mithos28: Quit: mithos28