00:00 (quit) dnolen: Ping timeout: 245 seconds
00:01 (quit) hash_table: Ping timeout: 252 seconds
00:01 (quit) getpwnam: Ping timeout: 252 seconds
00:01 (quit) pod: Ping timeout: 252 seconds
00:02 (join) vu3rdd
00:02 (quit) vu3rdd: Changing host
00:02 (join) vu3rdd
00:09 asumu: sizz_: try the Check Syntax button
00:22 (join) RacketCommitBot
00:22 RacketCommitBot: [racket] plt pushed 11 new commits to master: http://git.io/Ao33WA
00:22 RacketCommitBot: [racket/master] correct email address for irc email - Jay McCarthy
00:22 RacketCommitBot: [racket/master] Adding next/prev change buttons - Jay McCarthy
00:22 RacketCommitBot: [racket/master] Rearranging buttons - Jay McCarthy
00:22 (part) RacketCommitBot
01:16 (quit) jeapostrophe: Read error: Operation timed out
01:43 (join) Kaylin
02:02 (quit) Kaylin: Read error: Connection reset by peer
02:31 (quit) bjz: Quit: Leaving...
02:33 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/
02:39 (quit) yoklov: Quit: computer sleeping
02:40 (join) bjz
02:55 (join) jesyspa
03:04 (quit) jonrafkind: Ping timeout: 252 seconds
03:04 (quit) m4burns: Remote host closed the connection
03:06 (quit) bjz: Quit: Leaving...
03:10 (join) hkBst
03:10 (quit) hkBst: Changing host
03:10 (join) hkBst
03:29 (join) mithos28
03:29 (join) neilv
03:58 (join) soegaard
04:21 (quit) DrDuck1: Read error: Connection reset by peer
04:39 (join) noelw
04:39 (quit) mithos28: Quit: mithos28
04:47 (join) Demosthenes
05:11 (quit) neilv: Ping timeout: 246 seconds
05:42 (join) MightyFoo
06:02 (join) SHODAN
06:04 (join) bjz
06:09 (join) masm
06:21 (join) MayDaniel
06:22 (quit) Demosthenes: Quit: leaving
06:34 (join) bitonic
06:48 (nick) MightyFoo -> tim-brown
07:06 (join) water_sheep
07:06 water_sheep: hello guys
07:16 Cryovat: Greetings
07:21 water_sheep: I was wondering about racket gui? I am programming in typed racket and I want to build a simple physic simulation (just some balls bouncing around, nothing complicated). I have decided to use racket gui for visual output. How can I draw from typed racket, without switching to racket gui?
07:25 water_sheep: bassicaly I don't want ti make it more complicated than it needs to be
07:25 (quit) mmajchrzak_: Ping timeout: 246 seconds
07:26 soegaard: The problem is that typed/racket/gui isn't written yet. I see 3 options:
07:26 soegaard: 1. Write typed/racket/gui yourself
07:26 soegaard: 2. Import what you need with require/typed
07:27 soegaard: 3. Write guy in a racket/gui module, and then call it from your typed racket code.
07:27 soegaard: Option 3 seems simplest.
07:28 soegaard: guy -> gui
07:28 soegaard: Okay, I am turning off the spell checker now.
07:29 Cryovat: That's what I did when I played with OpenGL in Typed Racket
07:31 Cryovat: Just be incredibly careful about opaque types when you cross the TR boundary into the untyped Racket code
07:31 Cryovat: If you use them a lot in code you call often, it will murder your performance
07:32 Cryovat: -incredibly, a bit too strong wording
07:33 water_sheep: thank you guys. I must say that it is very annoying that there isn't simpler way to draw a few circles. What drawing option does gui have? Does it have sprites or ability to draw directly on canvas(preferably)? What is the best way to do animation? I would like to just have some loop redrawing screen every 1/24 seconds.
07:36 water_sheep: I did animationj before so I know how to generally do it, I am just not sure about the best strategy in racket gui.
07:36 water_sheep: *animation
07:37 water_sheep: thanks again for help
07:40 (join) jeapostrophe
07:40 (quit) jeapostrophe: Changing host
07:40 (join) jeapostrophe
07:49 soegaard: If you just need drawing capabilities then skip the gui and use slideshow/pict
07:52 soegaard: Oh sorry - you want to do animations.
07:54 water_sheep: For starters all I need is drawing capabilities and animation. I want to do animation manually, preferably in a loop to redraw screen or parts of screen constantly. Later I will need (1) drawing (2) drawing text (3) detecting mouse position and mouse click (4) ability to input some text, console style
07:55 (quit) hkBst: Quit: Konversation terminated!
07:55 water_sheep: basically I want the painless way to do those things
07:56 water_sheep: or as painless as it can be :)
07:57 water_sheep: I figured racket gui has it all, am I right?
07:58 soegaard: Sure, but I am unsure where to point you for examples.
07:58 soegaard: Maybe one of the games in the games collection?
07:58 water_sheep: sure
08:00 water_sheep: those examples are a bit complicated, and I don't think they are in typed racket, but thanks.
08:00 soegaard: https://github.com/plt/racket/blob/master/collects/games/same/same.rkt
08:01 (join) dzhus
08:01 soegaard: Ignore the units - they are only needed to tie all the games together
08:03 (join) kanak
08:05 (quit) jrslepak: Quit: What happened to Systems A through E?
08:05 water_sheep: okay
08:16 (join) RacketCommitBot
08:16 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/XMvB0Q
08:16 RacketCommitBot: [racket/master] Synch German string constants with latest. - Mike Sperber
08:16 (part) RacketCommitBot
08:24 (quit) jeapostrophe: Ping timeout: 244 seconds
08:46 (join) jrslepak
08:57 (join) getpwnam
08:57 (join) pod
08:58 (join) hash_table
09:00 (join) Aune
09:25 (quit) vu3rdd: Remote host closed the connection
09:26 water_sheep: one more thing. I want to implement grid based collision detection. What is the best way to create grid of struct in typed racket? In c/c++ or Java it would be probably 2d array.
09:32 water_sheep: one way, I think, would be to create array within array but that's slow. Another would be to have 1d array and access it like it is 2d array like column*columnSize + row
09:32 water_sheep: I am not sure if 'array' is right term in racket, I am still learning memory structures
09:33 Haffe: There is always the vector data structure.
09:33 Haffe: And vectors in vectors should give you a matrix-like representation.
09:35 water_sheep: okay but what is faster? Vectors in vectors on one vectors that simulates matrix-like representation via column*columnSize + row or somthing like that?
09:35 water_sheep: *or one vector, sorry
09:36 Haffe: I would guess that one vector is faster. But I can't prove it.
09:36 water_sheep: simple benchmark will do, probably
09:37 water_sheep: thanks. So vectors are generally the fastest for what I need?
09:37 Haffe: Yes.
09:37 Haffe: I am guessing that yes.
09:37 Haffe: Since looking up an element in a vector is constant time.
09:38 (join) jeapostrophe
09:38 (quit) jeapostrophe: Changing host
09:38 (join) jeapostrophe
09:39 (quit) hash_table: Ping timeout: 265 seconds
09:39 (quit) pod: Ping timeout: 265 seconds
09:39 (quit) getpwnam: Ping timeout: 265 seconds
09:42 (quit) Nisstyre: Ping timeout: 276 seconds
09:43 (quit) jeapostrophe: Ping timeout: 246 seconds
09:49 (join) Nisstyre
09:52 soegaard: water_sheep: The simplest is to use a vector of vectors. Write a grid-ref function to access the x,y th element. Then *if* this is slow (I'll be very surprised) you can change the representation without changing the rest of your code.
09:52 (join) RacketCommitBot
09:52 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/PObEjg
09:52 RacketCommitBot: [racket/master] fix rackunit formatting - Matthew Flatt
09:52 RacketCommitBot: [racket/master] `for/vector' and `for*/vector' repairs - Matthew Flatt
09:52 RacketCommitBot: [racket/master] fix broken export-table sources - Matthew Flatt
09:52 (part) RacketCommitBot
10:08 (join) jeapostrophe
10:08 (quit) jeapostrophe: Changing host
10:08 (join) jeapostrophe
10:14 (join) RacketCommitBot
10:14 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/4BbwLg
10:14 RacketCommitBot: [racket/master] guard path->relative-string/library call properly - Robby Findler
10:14 (part) RacketCommitBot
10:24 water_sheep: soegaard: good idea, thanks
10:33 (join) RacketCommitBot
10:33 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/AxFOKA
10:33 RacketCommitBot: [racket/master] fix mistakes in Guide 6.4 - Robby Findler
10:33 (part) RacketCommitBot
10:39 (join) getpwnam
10:39 (join) pod
10:40 (join) hash_table
10:42 (join) m4burns
10:56 (quit) jeapostrophe: Ping timeout: 245 seconds
11:01 (quit) noelw: Quit: noelw
11:06 (join) rock
11:08 (join) yoklov
11:11 (join) anRch
11:12 (quit) rock: Quit: Leaving
11:23 (join) jeapostrophe
11:23 (quit) jeapostrophe: Changing host
11:23 (join) jeapostrophe
11:31 (join) mmalorni
11:33 (join) RacketCommitBot
11:33 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/ztNH0A
11:33 RacketCommitBot: [racket/master] adjust `for/vector' et al. to avoid intermediate lists - Matthew Flatt
11:33 RacketCommitBot: [racket/master] add a `#:fill' clause to `for/vector' et al. - Matthew Flatt
11:33 (part) RacketCommitBot
11:35 (join) RacketCommitBot
11:35 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/JEGKpw
11:35 RacketCommitBot: [racket/master] Revert "Fixing Rackunit tests after alignment" - Matthew Flatt
11:35 (part) RacketCommitBot
11:43 (quit) soegaard: Quit: soegaard
11:46 (quit) bjz: Quit: Leaving...
11:46 (quit) jrslepak: Quit: What happened to Systems A through E?
12:09 (join) Kaylin
12:30 (quit) anRch: Quit: anRch
12:33 (quit) m4burns: Ping timeout: 248 seconds
12:35 (join) m4burns
12:39 (join) jonrafkind
12:39 (quit) jonrafkind: Changing host
12:39 (join) jonrafkind
12:48 (quit) jeapostrophe: Remote host closed the connection
12:53 tim-brown: night all
12:54 (join) mithos28
13:15 (join) DanBurton
13:26 (quit) bitonic: Remote host closed the connection
13:33 (join) jackhammer2022
13:39 (join) anRch
13:47 (join) sstrickl
13:51 (quit) jonrafkind: Ping timeout: 268 seconds
13:57 DanBurton: Typed Racket question incoming, as soon as I finish polishing this example
13:58 DanBurton: http://pastebin.com/6fW6DiEr I am dealing with some code like this
13:59 DanBurton: But I can't get the "proves Foo" part to typecheck
14:05 stamourv: DanBurton: Which part?
14:09 (quit) mithos28: Quit: mithos28
14:11 DanBurton: I want to type correct-foo?
14:11 DanBurton: but that type signature doesn't work because TR can't figure out that it proves Foo
14:11 DanBurton: the : Foo part
14:12 DanBurton: Expected result with filter ((Foo @ x) | (! Foo @ x)), got filter (Top | Top)
14:14 stamourv: Does it work without the extra `true' and `false' indirections? (e.g. returning `#t' and `#f' directly)
14:15 (quit) anRch: Quit: anRch
14:24 DanBurton: um, let me see
14:26 DanBurton: nope, it still doesn't quite work: Type Checker: Expected result with filter ((Foo @ x) | (! Foo @ x)), got filter (((U Symbol String) @ x) | Top)
14:28 (join) paradoja
14:28 (join) cipher`
14:28 DanBurton: doesn't "case" pass type information along just like "cond"?
14:30 (join) jrslepak
14:32 samth: DanBurton: no, `case` won't work for what you're trying to do
14:32 samth: also, `case` on strings doesn't do what you want
14:32 (quit) cipher: Ping timeout: 246 seconds
14:35 DanBurton: it doesn't?
14:36 DanBurton: it seems like it does
14:38 (join) sizz
14:40 (join) tewk_
14:40 (join) bartbes_
14:40 (join) asumu_
14:40 (join) tauntaun
14:40 (join) elliottc1ble
14:41 (join) ozzloy_
14:41 (nick) tauntaun -> Guest96340
14:43 (join) mattmigh`
14:44 (join) ivan\_
14:44 (join) sizz__
14:45 (quit) treefor: Ping timeout: 244 seconds
14:45 (quit) sizz: Ping timeout: 265 seconds
14:45 (quit) peeeep: Ping timeout: 245 seconds
14:45 (join) RacketCommitBot
14:45 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/8ePOtQ
14:45 RacketCommitBot: [racket/master] adjust the variables editor so that it does - Robby Findler
14:45 (part) RacketCommitBot
14:45 (quit) ivan\: *.net *.split
14:45 (quit) asumu: *.net *.split
14:45 (quit) bartbes: *.net *.split
14:45 (quit) sizz_: *.net *.split
14:45 (quit) ozzloy: *.net *.split
14:45 (quit) tewk: *.net *.split
14:45 (quit) elliottcable: *.net *.split
14:46 (nick) ivan\_ -> ivan\
14:55 stamourv: DanBurton: Case uses `eqv?', which is not what you want for strings.
14:55 stamourv: For the record, I think that `case' hard-coding `eqv?' is a terrible idea.
14:56 stamourv: (And I don't want to get into whether `eqv?' itself is a good idea.)
14:58 DanBurton: why don't I want eqv? for strings?
14:59 (join) treefor
15:00 (nick) ozzloy_ -> ozzloy
15:01 (join) ozzloy
15:03 (nick) asumu_ -> asumu
15:03 stamourv: rudybot: (eqv? (string #\a) (string #\a))
15:03 rudybot: stamourv: your sandbox is ready
15:03 rudybot: stamourv: ; Value: #f
15:03 (join) asumu
15:04 stamourv: DanBurton: ^
15:04 stamourv: `eqv?' is just `eq?' that does in-depth checking on numbers and characters.
15:05 (join) ambrosebs
15:05 stamourv: Which, IMO, is not useful enough to warrant having 3 equality predicates.
15:07 (part) ambrosebs
15:20 (join) DrDuck
15:26 (quit) sizz__: Read error: Operation timed out
15:27 (join) _
15:27 (nick) _ -> Shviller
15:27 (quit) treefor: Ping timeout: 240 seconds
15:27 (join) sizz
15:35 DanBurton: is there a way to make type information flow correctly through branches of racket/match?
15:41 (join) treefor
15:48 DanBurton: let me rephrase: I want this to work, is it a reasonable feature request to ask for that? http://pastebin.com/2y4ARWdX
15:48 (join) untrusted
15:54 (quit) cataska: Ping timeout: 244 seconds
15:54 (join) cataska
16:01 (quit) jackhammer2022: Quit: Textual IRC Client: http://www.textualapp.com/
16:03 (quit) water_sheep: Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/
16:03 (join) ameoba
16:16 (quit) karswell: Read error: Connection reset by peer
16:17 (join) jonrafkind
16:17 samth: DanBurton: having that sort of thing work is on my long-term todo list
16:35 (quit) hash_table: Ping timeout: 248 seconds
16:35 (quit) pod: Ping timeout: 248 seconds
16:35 (quit) getpwnam: Ping timeout: 248 seconds
16:44 (join) karswell
16:45 (join) soegaard
16:45 (quit) yoklov: Quit: computer sleeping
16:48 (join) jeapostr1phe
16:53 (join) carleastlund
16:57 (quit) Aune: Ping timeout: 252 seconds
17:12 (join) anRch
17:34 (quit) jeapostr1phe: Ping timeout: 265 seconds
17:42 (quit) kanak: Remote host closed the connection
17:45 (quit) MayDaniel: Read error: Connection reset by peer
17:46 (join) yoklov
18:04 (quit) mmalorni: Ping timeout: 246 seconds
18:05 (quit) karswell: Ping timeout: 245 seconds
18:14 (quit) anRch: Quit: anRch
18:15 (join) getpwnam
18:15 (join) pod
18:16 (join) hash_table
18:17 (quit) hash_table: Read error: Connection reset by peer
18:17 (quit) getpwnam: Read error: Connection reset by peer
18:17 (quit) untrusted: Remote host closed the connection
18:17 (quit) pod: Client Quit
18:18 (quit) yoklov: Quit: computer sleeping
18:23 (join) Aune
18:24 (join) soegaard_
18:24 (quit) soegaard: Read error: Connection reset by peer
18:24 (nick) soegaard_ -> soegaard
18:25 (join) hash_table
18:28 (join) karswell
18:30 (quit) jesyspa: Quit: leaving
18:35 (join) getpwnam
18:36 (quit) jrslepak: Quit: What happened to Systems A through E?
18:36 (join) jonathansizz
18:38 (quit) karswell: Remote host closed the connection
18:43 (quit) Nisstyre: Quit: Leaving
18:44 (quit) DanBurton: Quit: leaving
18:50 (join) jackhammer2022
18:52 (join) jeapostrophe
18:52 (quit) jeapostrophe: Changing host
18:52 (join) jeapostrophe
19:12 (join) karswell
19:15 (join) jesyspa
19:38 (join) yoklov
19:46 (quit) carleastlund: Quit: carleastlund
19:52 (quit) paradoja: Ping timeout: 260 seconds
19:56 (quit) jesyspa: Quit: leaving
20:14 (quit) Aune: Quit: L?mnar
20:17 (join) Nisstyre
20:24 (quit) ameoba: Read error: Connection reset by peer
20:24 (join) ameoba
20:40 (quit) masm: Quit: Leaving.
20:46 (join) bjz
21:04 (quit) dzhus: Ping timeout: 245 seconds
21:27 (quit) DT``: Read error: Connection reset by peer
21:36 (quit) bjz: Quit: Leaving...
21:38 (join) bjz
21:38 (quit) jonrafkind: Ping timeout: 248 seconds
22:00 (join) jonrafkind
22:14 (quit) jeapostrophe: Ping timeout: 252 seconds
22:19 (join) jrslepak
22:27 (quit) bjz: Quit: Leaving...
22:40 (join) mithos28
23:18 (quit) Shvillr: Read error: Connection reset by peer
23:18 (join) Shvillr
23:25 (join) bjz
23:29 (quit) m4burns: *.net *.split
23:34 (join) m4burns
23:44 mithos28: does neil t hang out in here?
23:56 jonrafkind: not really
23:56 mithos28: yeah, figured when he didn't respond
23:57 mithos28: I'm just having a back and forth with him over bugreports, so thought irc might be quicker