00:49 (join) jonrafkind
02:11 (quit) hanDerPeder: Quit: hanDerPeder
02:15 (quit) Lajla: Ping timeout: 255 seconds
02:19 (quit) jonrafkind: Ping timeout: 240 seconds
02:20 (join) Lajla
02:52 (join) hanDerPeder
06:05 (quit) jao: Ping timeout: 245 seconds
06:14 (join) masm
06:34 (join) MayDaniel
06:48 (join) jao
07:39 (join) dzhus
07:48 (quit) MayDaniel: 
08:06 (quit) dzhus: Remote host closed the connection
08:07 (join) b-man_
08:13 (quit) martinhex: Read error: Connection reset by peer
08:41 (join) MayDaniel
09:38 samth: jeapostrophe, drdr is dead!
10:54 (join) sstrickl
10:55 (join) fjl
10:59 (part) fjl
11:21 (quit) hanDerPeder: Quit: hanDerPeder
11:27 (join) chturne
11:51 Fare: drdr is dead, long live drdr
11:58 (join) anRch
12:11 (quit) jao: Ping timeout: 265 seconds
12:37 (join) jonrafkind
12:51 (join) hanDerPeder
12:54 (quit) MayDaniel: 
12:57 clklein: jeapostrophe: I started reading the Generalizing Generalized Tries paper. It's pretty fun.
12:57 clklein: good recommendation!
13:01 (quit) anRch: Quit: anRch
13:35 Fare: clklein, horrible confusion between namespaces, lack of quoting, etc.
13:35 Fare: Why can't formal papers be more formal?
13:35 (quit) hanDerPeder: Quit: hanDerPeder
13:36 clklein: Fare: Horrible confusion in the paper I mentioned?
13:37 Fare: Fork a = Fork a a
13:38 Fare: takes a while to understand that the second Fork is a constructor, distinct from the type-abstraction being defined
13:38 Fare: unlike in List a = Nil | Cons a (List a)
13:39 Fare: where the right side List is a recursive mention of the left side List being defined
13:39 clklein: Ah yes, that throws me sometimes. But it seems to be pretty common practice in Haskell code.
13:45 clklein: Come to think of it, Racket does something similar. When you say (struct foo (...)), foo is both the name of the struct and the constructor.
14:00 tewk: Does anyone know of a library that lets you treat a list of lists like a database table and do selects and projections on it?
14:00 tewk: Seems like jay had something like that.
14:00 jonrafkind: linq?
14:01 tewk: sure but for racket.
14:05 (join) MayDaniel
14:53 (join) mceier
14:56 jeapostrophe: tewk: yes, fra
14:56 jeapostrophe: http://planet.racket-lang.org/display.ss?package=fra.plt&owner=jaymccarthy
15:25 (join) carleastlund
15:38 (join) hanDerPeder
15:42 (quit) hanDerPeder: Client Quit
15:43 (join) danbrown
15:45 (join) hanDerPeder
15:51 (join) jao
16:44 samth: eli, bug on the tr1 web page: search for @num
17:09 (quit) sstrickl: Quit: sstrickl
17:26 (join) anRch
17:52 (join) mikeX
17:53 mikeX: hi, I was wondering if the racket compiler performs side-effect analysis of somesort
17:53 jeapostrophe: the most it does afaik is looking at what variables are set! and not considering inlining those
17:54 jeapostrophe: in general side effects are assumed to be possible everywhere so many of the usual functional optimizations (deforestation) are not performed
17:55 mikeX: jeapostrophe: thanks jeapostrophe
17:57 mikeX: I was grepping through the code, but I'm not familiar with its structure, what exactly is the collects/compiler dir?
17:57 jeapostrophe: an old racket->c compiler plus a few analysis tools plus some wrappers over the actual racket->bytecode/jit system
17:58 jeapostrophe: do not use the racket->c compiler. it exists for compatibility with old ffi code
17:58 mikeX: so these are not used anymore?
17:58 mikeX: I see, cause that's what turned up the most hits for pure/side-effects
17:59 mikeX: so the current compiler is mostly in C?
17:59 jeapostrophe: yes
18:00 mikeX: i see, thanks a lot
18:07 (quit) MayDaniel: 
18:18 (quit) b-man_: Remote host closed the connection
18:22 (quit) anRch: Quit: anRch
18:30 (join) rmitt
18:31 (quit) rmitt: Client Quit
18:37 (join) rmitt
18:37 rmitt: quick unimportant question: can Typed Racket do the following?
18:37 rmitt: interface A<T> {
18:37 rmitt: interface E<T> extends T {}
18:37 rmitt: }
18:38 rmitt: (It seems Java can't do it, though C++ can.)
18:39 (quit) hanDerPeder: Quit: hanDerPeder
18:43 jonrafkind: i dont think typed racket handles the class system yet
18:44 (join) Nanakhiel
18:45 (quit) Lajla: Ping timeout: 240 seconds
18:45 (quit) rmitt: Quit: Page closed
19:16 (quit) mceier: Quit: leaving
19:28 (quit) carleastlund: Quit: carleastlund
19:46 (nick) Nanakhiel -> Lajla
19:50 (quit) danbrown: Quit: danbrown
20:13 (quit) jonrafkind: Ping timeout: 240 seconds
20:18 (join) rbarraud
20:25 (quit) rbarraud: Remote host closed the connection
20:27 (join) rbarraud
20:40 (quit) chturne: Quit: Leaving
21:01 (quit) mikeX: Ping timeout: 255 seconds
21:02 (quit) rbarraud: Remote host closed the connection
21:03 (join) mikeX
21:07 (join) rbarraud
21:14 (quit) rbarraud: Read error: Connection reset by peer
21:15 (quit) masm: Quit: Leaving.
21:29 (join) danbrown
21:37 (quit) danbrown: Quit: danbrown
21:38 (join) danbrown
21:42 Fare: is there a racket package for Olin's LOOP?
21:49 (join) chturne
21:50 offby1: might be.
21:55 (quit) danbrown: Quit: danbrown