00:03 (join) tcsc
00:12 (quit) mithos28: Quit: mithos28
00:40 (quit) jessemillikan: Ping timeout: 252 seconds
00:44 (join) mithos28
00:46 (quit) mithos28: Client Quit
00:48 (join) mithos28
00:51 (quit) mithos28: Client Quit
00:57 (join) jessemillikan
00:59 (join) mithos28
01:07 (quit) mithos28: Quit: mithos28
01:28 (join) brianmwaters
01:28 (quit) ambrosebs: Remote host closed the connection
01:28 (part) brianmwaters
01:29 (quit) Icarot: Ping timeout: 252 seconds
01:40 (quit) Fare: Ping timeout: 248 seconds
01:47 (join) jao
01:47 (quit) jao: Changing host
01:47 (join) jao
02:22 danking: Ok I'm confused. What function can I use to take an arbitrary positive Real and get a Natural out of it?
02:23 danking: In Typed Racket^. It looks like round takes Nonnegative-Real -> Nonnegative-Real
02:23 danking: Shouldn't round produce Integers?
02:24 danking: Hmm. Nevermind then. It looks like `exact-round' is what I wanted.
02:37 (join) dauterive
02:44 (join) basdirks
02:47 (quit) jonrafkind: Ping timeout: 256 seconds
03:16 (join) vkz
03:32 (quit) tcsc: Quit: computer sleeping
03:32 (quit) jao: Ping timeout: 264 seconds
03:34 (join) mye
03:39 (join) tcsc
03:43 (join) mithos28
03:58 (quit) tcsc: Quit: computer sleeping
04:01 (quit) vkz: Quit: vkz
04:04 (join) pierpa
04:06 (quit) racycle: Quit: racycle
04:10 (quit) yacks: Quit: Leaving
04:28 (quit) Nisstyre-laptop: Ping timeout: 256 seconds
04:43 (join) ambrosebs
04:58 (join) jao
04:58 (quit) jao: Changing host
04:58 (join) jao
05:12 (quit) DrDuck: Read error: Connection reset by peer
05:14 (quit) mye: Quit: mye
05:26 (quit) jessemillikan: Ping timeout: 256 seconds
05:34 (join) bitonic
05:49 (quit) zacts: Disconnected by services
05:51 (join) zacts
05:58 (join) vkz
06:01 (quit) jao: Ping timeout: 255 seconds
06:06 (quit) Kaylin: Quit: Leaving.
06:08 (join) walter
06:11 (join) yacks
06:20 (quit) zacts: Quit: leaving
06:24 (join) soegaard
06:27 (quit) mithos28: Quit: mithos28
06:37 (join) jessemillikan
06:38 jessemillikan: (define (set-car! v) (set! car v)) ;; Perfect
06:58 (quit) dauterive: Quit: Leaving
07:25 (quit) jessemillikan: Remote host closed the connection
07:32 (quit) vkz: Quit: vkz
07:37 (join) vkz
07:41 (quit) vkz: Client Quit
07:48 (join) vkz
07:49 (quit) vkz: Client Quit
07:56 (join) Fare
08:07 (quit) soegaard: Quit: soegaard
08:38 (join) greghendershott
09:21 (quit) greghendershott: Quit: Leaving.
09:22 (join) oev
09:25 (join) jeapostrophe
09:44 (join) dnolen
09:46 (join) Gonzih
09:49 (join) DrDuck
10:04 (quit) oev: Quit: Leaving
10:05 (join) soegaard
10:06 (join) mizu_no_oto
10:14 (join) greghendershott
10:16 (join) greghendershott1
10:16 (quit) greghendershott1: Client Quit
10:18 (quit) greghendershott: Ping timeout: 248 seconds
10:22 (join) sizz_
10:23 (quit) sizz: Ping timeout: 248 seconds
10:38 (quit) jeapostrophe: Read error: Operation timed out
10:41 (quit) Gonzih: Ping timeout: 252 seconds
10:48 (join) RacketCommitBot
10:48 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/hkzvnQ
10:48 RacketCommitBot: racket/master 0dd7d8f Robby Findler: adjust docs for check-metafunction to make the example...
10:48 RacketCommitBot: racket/master 4bfd6ff Robby Findler: document define-metafunction's contract patterns properly...
10:48 (part) RacketCommitBot
10:59 (join) Kaylin
11:02 (quit) Kaylin: Client Quit
11:10 (quit) soegaard: Quit: soegaard
11:11 (quit) ambrosebs: Remote host closed the connection
11:13 (join) Icarot
11:22 (quit) Icarot: Ping timeout: 264 seconds
11:24 (join) serhart
11:28 (join) kmox83
11:29 (quit) serhart: Ping timeout: 264 seconds
11:29 (join) racycle
11:31 (quit) walter: Read error: Connection reset by peer
11:32 (join) walter
11:38 (join) ambrosebs
11:41 (quit) dnolen: Ping timeout: 264 seconds
11:46 (join) Gonzih
11:47 (quit) Fare: Ping timeout: 245 seconds
11:47 (join) mithos28
11:50 (join) dnolen
11:57 (quit) Gonzih: Ping timeout: 252 seconds
12:06 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
12:08 (join) anRch
12:08 (join) didi
12:11 didi: Is it possible to run the tests defined inside (module+ test ...) from the REPL?
12:11 mithos28: (require (submod <module> test)), I believe
12:13 (join) ltu
12:13 (join) soegaard
12:14 didi: mithos28: Hum. It doesn't seem to behave like I expected. What I want is like running `raco test foo.rkt' from inside `foo.rkt'.
12:15 mithos28: You said REPL before, and now you are saying from within 'foo.rkt'. The second is not possible
12:15 didi: oic. From REPL I meant from the REPL while inside the module.
12:16 didi: mithos28: I see. Thank you.
12:16 (quit) ijp: Read error: Connection reset by peer
12:16 (join) ijp
12:17 mithos28: Are you using DrRacket?
12:17 (quit) dnolen: Remote host closed the connection
12:17 didi: mithos28: No, geiser.
12:17 mithos28: The require line should work
12:18 didi: So maybe it's geiser. I'll try to investigate it further. Thanks.
12:19 (quit) ltu: Ping timeout: 245 seconds
12:24 (quit) ijp: Read error: Connection reset by peer
12:25 (join) ijp
12:29 (join) kmox83_
12:31 (join) jonrafkind
12:33 (quit) kmox83: Ping timeout: 256 seconds
12:34 mithos28: If I want to abstract over a pattern in redex is there a way to do that?
12:35 mithos28: The pattern is (side-condition xs_1 (term (distinct-vars xs_1)))
12:42 (join) Gonzih
12:47 (quit) ijp: Read error: Connection reset by peer
12:47 (join) ijp
12:48 (quit) soegaard: Quit: soegaard
12:51 (quit) anRch: Quit: anRch
12:57 (join) vkz
13:00 (join) Fare
13:10 (join) soegaard
13:14 (quit) ijp: Read error: Connection reset by peer
13:14 (join) ijp
13:15 (quit) Fare: Ping timeout: 264 seconds
13:29 (join) Fare
13:41 (quit) Gonzih: Ping timeout: 264 seconds
13:55 (quit) didi: Ping timeout: 276 seconds
14:10 (quit) ambrosebs: Remote host closed the connection
14:11 (join) jao
14:11 (quit) jao: Changing host
14:11 (join) jao
14:18 (join) Gonzih
14:22 (quit) Gonzih: Ping timeout: 240 seconds
14:39 (join) ncw
14:42 (join) sizz
14:43 (quit) sizz_: Ping timeout: 260 seconds
14:46 (quit) ncw: Remote host closed the connection
14:51 (join) Kaylin
15:07 (quit) yacks: Quit: Leaving
15:07 (join) Gonzih
15:07 (join) dnolen
15:15 (join) didi
15:23 (quit) Gonzih: Ping timeout: 252 seconds
15:32 samth: mithos28: unfortunately not
15:33 mithos28: samth: ok, I'll have to repeat myself a lot then
15:34 mithos28: I thought getting a working version of this formalism would be a lot easier
15:34 samth: mithos28: the problem is that that isn't an expansion position
15:34 mithos28: I'm still working on getting subtype written down
15:37 mithos28: samth: What is the best way to test a redex model once you write it? I can check that it doesn't crash with the automated cases, but how would I check 'correctness'?
15:38 samth: mithos28: you come up with some property about the system, and randomly test that it's true
15:38 samth: type soundness is the classic example, but there are lots of others
15:38 samth: our POPL 2012 paper discusses this some
15:38 mithos28: ok, I'll take a look
15:39 mithos28: Right now I haven't even started the expression syntax, just working on the types
15:43 (join) tcsc
15:45 (join) Gonzih
15:46 (quit) cdidd: Remote host closed the connection
15:57 (join) mizu_no_oto
16:00 (join) Tim__
16:03 (quit) Tim__: Client Quit
16:12 (quit) vkz: Quit: vkz
16:19 (quit) Gonzih: Ping timeout: 252 seconds
16:24 (quit) mithos28: Quit: mithos28
16:27 (join) mithos28
16:43 (join) Gonzih
16:57 (quit) bitonic: Read error: Operation timed out
16:57 mithos28: samth: Is the only reason that union simplifies its type to avoid blowup in space/runtime?
17:07 (quit) Gonzih: Ping timeout: 252 seconds
17:13 (join) pierpa`
17:15 (quit) pierpa: Ping timeout: 276 seconds
17:15 (join) gridaphobe
17:18 (quit) pierpa`: Ping timeout: 248 seconds
17:21 (join) manud
17:28 samth: mithos28: you'd have to effectively compute the simplified form to do subtyping
17:30 mithos28: Why? If I have (U x x) <: t, this just requires two calls to  x <: t.
17:31 mithos28: I'm just trying to see if I can avoid requiring doing subtype to construct a Union type
17:31 (quit) jao: Ping timeout: 276 seconds
17:34 samth: mithos28: what if you have (U (U a c) (U a b)) <: (U c b) ?
17:34 (quit) dnolen: Ping timeout: 252 seconds
17:34 samth: also, having multiple representations of equivalent data is just asking for bugs
17:35 mithos28: I think you mean the subtype the other way in that example
17:35 mithos28: Ok, so yes I need to flatten unions
17:35 samth: mithos28: yes, i do mean the other way
17:36 mithos28: But If I want to reduce that to (U a c a b), because it will be simpler that way.
17:37 mithos28: And I can use multiple modules If I do it that way.
17:37 mithos28: without resorting to hacks like lazy-require
17:38 samth: mithos28: without duplicate elimination/sorting, the checks become much more expensive
17:38 samth: but i think it will still work
17:38 samth: also it defeats interning
17:38 mithos28: ok, I'm hoping that redex's caching will avoid the checks
17:39 mithos28: I'm not doing interning, since that seems like it shouldn't belong in the formalism
17:39 samth: mithos28: oh, for the formalism
17:39 samth: then yes, no reason to do any of that stuff
17:40 mithos28: ah, sorry, it would help if we both were talking about the same thing.
17:41 mithos28: https://gist.github.com/shekari/5183774
17:41 mithos28: Do you see anything that I might be forgetting in that?
17:42 (quit) jonrafkind: Ping timeout: 240 seconds
17:43 samth: mithos28: the only thing you don't have that interacts w/ dots is ValuesDots
17:44 samth: but probably multiple values is more trouble than it's worth
17:44 mithos28: Thats what I thought. It doesn't add any thing interesting that I could think of
17:46 (join) anRch
17:54 soegaard: Old news? http://www.youtube.com/watch?v=EYMeOLpk5_8
17:56 mithos28: I think samth would argue with the point that you only need parenthesis.
17:57 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
17:58 (join) lemald
18:02 (quit) basdirks: Ping timeout: 256 seconds
18:02 (join) Nisstyre-laptop
18:14 (quit) kmox83_: Ping timeout: 245 seconds
18:14 (quit) bjz_: Read error: Connection reset by peer
18:19 (join) pierpa`
18:20 (quit) lemald: Quit: leaving
18:22 samth: mithos28: :)
18:29 (join) zacts
18:38 (join) yeboot
18:39 yeboot: does racket do multiple inheritance?
18:39 (quit) soegaard: Quit: soegaard
18:40 yeboot: oh it does mixin
18:41 yeboot: cool, later
18:41 (quit) yeboot: Quit: reading docs is pretty fun
18:47 (join) bitonic
18:58 (quit) manud: Quit: Leaving
19:00 (quit) bitonic: Ping timeout: 240 seconds
19:01 (quit) anRch: Quit: anRch
19:03 (join) dnolen
19:04 (join) bitonic
19:07 (quit) tcsc: Quit: computer sleeping
19:09 (join) tcsc
19:14 (quit) cored: Ping timeout: 256 seconds
19:15 (join) cored
19:21 (join) mizu_no_oto
19:33 (join) jonrafkind
19:38 (join) jao
19:38 (quit) jao: Changing host
19:38 (join) jao
19:48 (quit) zacts: Quit: ERC Version 5.3 (IRC client for Emacs)
19:48 (quit) tcsc: Quit: bye!
19:53 (join) didi`
19:54 (quit) jao: Ping timeout: 260 seconds
19:55 (quit) ijp: Remote host closed the connection
19:55 (quit) didi: Ping timeout: 258 seconds
19:59 (quit) bitonic: Ping timeout: 276 seconds
20:04 (join) ijp
20:26 (join) kvda
20:48 (quit) didi`: Remote host closed the connection
21:07 (quit) mithos28: Quit: mithos28
21:13 (join) brum
21:14 (join) ambrosebs
21:18 (quit) ambrosebs: Remote host closed the connection
21:19 (join) ambrosebs
21:20 (join) ncw
21:21 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
21:26 (join) serhart
21:28 (join) mithos28
21:30 (quit) serhart: Ping timeout: 252 seconds
21:40 (quit) gridaphobe: Remote host closed the connection
21:50 (join) RacketCommitBot
21:50 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/xUE8_w
21:50 RacketCommitBot: racket/master b63aa6b Robby Findler: adjust commit 99ff0adbfda87791a99914b69caa0decef79cd04 to...
21:50 RacketCommitBot: racket/master 1e910fc Robby Findler: make check-metafunction and check-reduction-relation...
21:50 (part) RacketCommitBot
21:53 (quit) kvda: Quit: z____z
21:54 (join) RacketCommitBot
21:54 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/rJ8lVg
21:54 RacketCommitBot: racket/master ccc8b85 Eric Dobson: Fix parsing of dotted formals....
21:54 (part) RacketCommitBot
22:00 (join) doomrobo
22:10 (quit) dnolen: Remote host closed the connection
22:13 (join) kvda
22:43 (join) mizu_no_oto
22:44 (join) gridaphobe
22:45 (quit) jonrafkind: Ping timeout: 245 seconds
22:53 (quit) mithos28: Quit: mithos28
23:00 (quit) doomrobo: Quit: good night
23:06 (join) mye
23:06 (join) cdidd
23:07 (join) mithos28
23:09 (quit) mithos28: Client Quit
23:14 (join) Icarot
23:16 (join) mithos28
23:17 (quit) Icarot: Remote host closed the connection
23:19 (join) Icarot
23:19 (quit) brum: Read error: Connection reset by peer
23:19 (quit) Icarot: Read error: Connection reset by peer
23:20 (join) Icarot
23:21 (join) ijp`
23:22 (quit) ijp`: Client Quit
23:22 (quit) Icarot: Remote host closed the connection
23:23 (quit) ijp: Quit: unborking erc
23:24 (join) ijp
23:31 (quit) strawmn: Quit: leaving
23:36 (quit) mithos28: Quit: mithos28
23:36 (quit) ncw: Remote host closed the connection
23:39 (join) mithos28
23:42 (quit) mithos28: Client Quit
23:48 (join) ncw