00:07 (join) realitygrill_
00:10 (quit) realitygrill: Ping timeout: 255 seconds
00:10 (nick) realitygrill_ -> realitygrill
00:51 (quit) mithos28: Quit: mithos28
01:20 (join) neilv
01:20 (quit) neilv: Changing host
01:20 (join) neilv
01:32 (quit) realitygrill: Read error: Connection reset by peer
01:32 (join) realitygrill
01:54 (join) tauntaun
02:01 (quit) dnolen: Quit: dnolen
02:15 tauntaun: Any plans to add type classes to Typed Racket?
02:35 (quit) tauntaun: Quit: Ex-Chat
03:47 (quit) jonrafkind: Ping timeout: 260 seconds
04:10 (join) masm
04:10 (quit) masm: Client Quit
04:16 (join) masm
04:17 (join) misterncw
04:18 (quit) masm: Client Quit
04:19 (join) masm
04:35 (quit) realitygrill: Quit: realitygrill
04:57 (join) hkBst
05:54 (join) littlebobby
05:54 (quit) littlebobby: Changing host
05:54 (join) littlebobby
06:00 (quit) misterncw: Remote host closed the connection
06:02 (join) misterncw
06:12 (join) misternc_
06:12 (quit) misterncw: Read error: Connection reset by peer
06:27 (join) MayDaniel
06:31 (quit) MayDaniel: Read error: Connection reset by peer
06:52 (join) qha1
06:53 (quit) qha: Ping timeout: 250 seconds
07:30 (join) lucian
07:31 (quit) misternc_: Remote host closed the connection
07:34 (join) misterncw
07:38 (quit) Daemmerung: Ping timeout: 260 seconds
07:46 (join) Daemmerung
07:49 (join) Daemmeru`
07:52 (quit) Daemmerung: Ping timeout: 246 seconds
08:01 (quit) em: Ping timeout: 252 seconds
08:02 (quit) Daemmeru`: Ping timeout: 252 seconds
08:03 (join) em
08:08 (quit) em: Ping timeout: 252 seconds
08:09 (join) em
08:14 (quit) em: Ping timeout: 240 seconds
08:16 (join) em
08:21 (quit) em: Ping timeout: 258 seconds
08:22 (join) em
08:25 (quit) misterncw: Remote host closed the connection
08:28 (quit) em: Ping timeout: 276 seconds
08:28 (join) em
08:29 (join) misterncw
08:34 (quit) em: Ping timeout: 246 seconds
08:35 (join) em
08:41 (quit) em: Read error: Connection reset by peer
08:41 (join) em
08:46 (quit) em: Ping timeout: 252 seconds
08:48 (join) em
08:49 (join) tauntaun
08:53 (quit) em: Ping timeout: 255 seconds
08:54 (join) em
08:54 (quit) em: Changing host
08:54 (join) em
08:58 (quit) misterncw: Read error: Connection reset by peer
08:58 (join) misterncw
08:59 (quit) em: Ping timeout: 240 seconds
09:01 (join) em
09:06 (quit) em: Ping timeout: 260 seconds
09:07 (join) em
09:12 (quit) em: Ping timeout: 258 seconds
09:13 (join) em
09:15 (quit) misterncw: Remote host closed the connection
09:18 (quit) em: Ping timeout: 252 seconds
09:20 (join) em
09:24 (join) misterncw
09:25 (quit) em: Ping timeout: 246 seconds
09:26 (join) em
09:31 (quit) em: Ping timeout: 244 seconds
09:33 (join) em
09:39 (quit) em: Ping timeout: 260 seconds
09:39 (join) em
09:45 (quit) em: Ping timeout: 276 seconds
09:46 (join) em
09:47 (join) mithos28
09:50 (quit) em: Ping timeout: 240 seconds
09:52 (join) em
09:56 (join) dnolen
09:57 (quit) em: Ping timeout: 240 seconds
09:59 (join) em
10:04 (quit) em: Ping timeout: 240 seconds
10:05 (join) em
10:08 (join) Daemmerung
10:11 (quit) em: Read error: Connection reset by peer
10:12 (join) em
10:17 (quit) em: Ping timeout: 260 seconds
10:18 (join) em
10:22 (join) realitygrill
10:23 (quit) em: Ping timeout: 252 seconds
10:25 (join) em
10:28 (quit) neilv: Quit: Leaving
10:29 (quit) em: Ping timeout: 240 seconds
10:31 (join) em
10:32 (quit) dnolen: Quit: dnolen
10:34 (quit) realitygrill: Quit: realitygrill
10:36 (quit) em: Ping timeout: 244 seconds
10:38 (join) em
10:42 stamourv: tauntaun: Yes.
10:43 (quit) em: Ping timeout: 255 seconds
10:43 stamourv: There's already rudimentary support, which may be enough for your needs, but asumu is working on that.
10:43 stamourv: that = better support
10:44 (join) em
10:45 tauntaun: stamourv: Thanks.  What is the feature called in TR.  "Type classes" doesn't seem to occur in the docs.
10:45 stamourv: Oh sorry, I misread, I thought you said classes.
10:46 stamourv: As in object-oriented.
10:46 stamourv: We don't have a story for type classes at the moment.
10:48 stamourv: But you can get ah-hoc polymorphism with case-> types.
10:48 stamourv: They're a limited form of intersection types.
10:49 (quit) em: Ping timeout: 246 seconds
10:50 tauntaun: OK, thanks.
10:51 (join) em
10:56 (quit) em: Ping timeout: 252 seconds
10:57 (join) em
11:02 (quit) em: Ping timeout: 252 seconds
11:02 (quit) mithos28: Quit: mithos28
11:03 (join) em
11:08 (nick) samth_away -> samth
11:08 (quit) em: Ping timeout: 258 seconds
11:10 (join) em
11:14 (join) mithos28
11:15 samth: tauntaun, stamourv: the right thing is to develop some general story for struct properties in TR
11:15 (quit) mithos28: Read error: Connection reset by peer
11:15 (join) mithos28
11:15 (quit) em: Ping timeout: 260 seconds
11:16 (quit) yoklov: Remote host closed the connection
11:16 (join) em
11:16 stamourv: samth: Yes, that would be nice.
11:17 tauntaun: I won't be of much help there, as I haven't used TR yet.  I plan to do so this summer, though.
11:18 samth: the "some general story" there is a research problem, i think
11:22 (quit) em: Ping timeout: 276 seconds
11:23 (join) em
11:24 (join) dnolen
11:24 tauntaun: Yes, I was wondering if the word 'story' was being used in a technical sense hitherto unknown to me ;)
11:25 stamourv: Sorry, academic slang. ;)
11:26 (join) anRch
11:27 samth: story doesn't neccessarily mean research
11:27 samth: only if it's hard enough :)
11:28 (quit) hkBst: Remote host closed the connection
11:28 (quit) em: K-Lined
11:30 samth: 30 seconds after writing that, i then used story to mean research in exactly the same way
11:30 (join) realitygrill
11:31 (quit) misterncw: Remote host closed the connection
11:34 (join) misterncw
11:41 (quit) realitygrill: Quit: realitygrill
12:03 (join) realitygrill
12:03 (quit) realitygrill: Client Quit
12:05 (quit) anRch: Quit: anRch
12:07 (quit) misterncw: Remote host closed the connection
12:09 (quit) tauntaun: Quit: Ex-Chat
12:10 (join) anRch
12:12 (join) emma
12:16 mithos28: samth: how can I find a list of all of the undocumented types? just compare base-types.rkt and the scribble document, or can I use the new documentation checker?
12:16 (nick) emma -> em
12:16 samth: mithos28: there are two issues here:
12:17 samth: 1. are all types name?
12:17 samth: *named
12:17 samth: 2. are all named types documented
12:17 samth: #2 you can answer by running `racket collects/typed/tests/test-docs-complete.rkt'
12:17 stamourv: Or by looking at DrDr's results.
12:18 samth: yeah, but drdr doesn't know when you haven't pushed yet :)
12:19 mithos28: that line when run has tons of identifiers that are documented, like Any, All, Char
12:19 samth: have you built the documentation?
12:20 mithos28: no, that should help
12:20 samth: yeah :)
12:20 samth: sadly, it might take a while
12:20 mithos28: ok for number 1, just compare abbrev.rkt vs base-types.rkt?
12:22 stamourv: samth: Good point.
12:23 stamourv: Also, wouldn't `raco setup typed-scheme' work to build the docs? That
12:23 stamourv: 's not too long
12:23 stamourv: .
12:23 samth: you'd want to do `raco setup typed typed-scheme'
12:23 samth: and if you haven't built the docs at all, that might not be enough -- if you have, it's plenty
12:23 stamourv: Still not that long.
12:23 samth: but yes, that's what i do while hacking the docs
12:25 mithos28: ok, I'll work on part 1 while the documentation builds
12:25 mithos28: thanks for the help
12:26 samth: mithos28: no, thank you
12:26 samth: mithos28: are you coming to RacketCon?
12:26 mithos28: I hope, I'm leaving for a trip on the monday afterwords
12:28 mithos28: are the instructions to register posted yet?
12:29 samth: not yet
12:29 samth: but if you come, i promise that you won't pay for your beer
12:44 (quit) anRch: Quit: anRch
12:50 (join) jonrafkind
13:57 (quit) littlebobby: Ping timeout: 276 seconds
13:59 (join) anRch
14:31 mithos28: samth or stamourv: it looks like the contracts on def-types are ignored, is there a way to enable them?
14:33 stamourv: utils/utils.rkt, line 29, change that to #t, then rerun raco setup.
14:33 stamourv: The contracts are disabled for performance reasons. TR is slow enough as it is.
14:33 stamourv: But they certainly help for debugging.
14:33 mithos28: ok thanks, yep debugging is what I need them for
14:40 mithos28: stamourv: this seems to break TR for me, env/lexical-env.rkt doesn't want to compile
14:40 stamourv: Oh, weird.
14:40 stamourv: I'll try that in a sec.
14:43 stamourv: Indeed, TR does not build.
14:43 mithos28: it looks like it is trying to export syntax as a function
14:43 stamourv: That's the problem with these toggleable contracts, since we don't turn them on all that often, they have a tendency to bit rot.
14:43 mithos28: syntax = macro
14:43 stamourv: I'll look into that and get back to you.
14:44 mithos28: k
14:51 stamourv: Oh right, I believe we changed that from a function to a macro during our last performance hacking spree.
14:51 stamourv: Remove the contract for now, and that should work. I'll try to find a better solution.
14:52 mithos28: ok, thanks
15:07 stamourv: Ok, I think I have something.
15:08 stamourv: ryanc has some contract combinators for macro subexpressions, and it looks like they do what we want.
15:09 stamourv: I'll push the fix soon.
15:16 (quit) anRch: Quit: anRch
15:20 stamourv: mithos28: Pushed.
15:20 stamourv: Looks like the github bot is sleeping on the job.
15:25 mithos28: looks like github is sleeping, its webui is behind drdr
15:25 (join) racket
15:25 racket: [racket] plt pushed 3 new commits to master: http://bit.ly/lQTRoI
15:25 racket: [racket/master] Remove define-place from racket/place - Kevin Tew
15:25 racket: [racket/master] Fix contract for update-type/lexical. - Vincent St-Amour
15:25 racket: [racket/master] Fix remove-clickback. - Vincent St-Amour
15:25 (part) racket
15:31 (quit) JuanDaugherty: Quit: Exeunt IRC
15:48 (join) Eren
15:48 Eren: does Racket support automatic memozation?
15:49 Eren: today, I was presented some techniques related to FP such as memoization, caching and some keywords: referential transpaceny, side-effects etc
15:50 Eren: I would like to learn more about them :)
15:51 jonrafkind: theres a planet package to make memoized functions
15:51 jonrafkind: but it only works for single arity functions I think
15:54 jonrafkind: so what are temporal contracts?
15:55 Eren: jonrafkind: I don't know, sorry. It was just a basic instruction on the topic :)
15:56 jonrafkind: no sorry, my question was unrelated to yours :p
15:56 Eren: jonrafkind: ops :)
15:58 Daemmerung: jonrafkind: they're something that come with Racket!
15:58 jonrafkind: excellent!!
15:58 jonrafkind: i was looking at the commit jay did but couldn't decipher it
15:59 Daemmerung is feeling kind of unstable, himself
16:02 Eren: http://pastebin.com/atESnBJa
16:02 Eren: this little code confuses my mind a bit
16:03 Eren: everytime (game1 'smaller) is called, it changes the local variable
16:03 Eren: how is it possible that the definitions in (local) are called only once
16:03 Eren: and where/in which state is called?
16:04 Eren: additionally, (game1 'foobarbaz) restarts the local variable with the data from parameters
16:04 Eren: how and where are these stored?
16:04 askhader: I have a feeling I have used local before...
16:05 askhader: Is it like let?
16:05 jonrafkind: yes
16:12 (quit) friscosam: Quit: screen go crazy
16:18 (join) MayDaniel
16:29 stamourv: mithos28: The racket-lang.org/gitbug mirroring is a bit wonky right now. If you want the latest commits, use the master repo at racket-lang.org.
16:31 mithos28: ok, are pull requests at github still good for now?
16:32 stamourv: mithos28: Yes, should be.
16:32 stamourv: jonrafkind: Jay has an ICFP paper about it. No preprint on his webpage, though.
16:33 stamourv: Or on any of the other authors' webpages either.
16:35 (quit) mithos28: Quit: mithos28
16:37 (quit) MayDaniel: Read error: Connection reset by peer
16:39 (join) asumu
16:40 (join) tauntaun
16:53 (quit) tauntaun: Quit: Ex-Chat
17:11 (join) lucian_
17:11 (quit) lucian: Ping timeout: 240 seconds
17:32 (join) mithos28
17:45 (join) JohnnyL
17:48 (join) littlebobby
18:06 (join) tauntaun
18:15 (nick) lucian_ -> lucian
18:33 JohnnyL adones his lifesaber.
18:33 JohnnyL prepares
18:35 samth: ?
18:46 JohnnyL pokes tauntaun
18:54 Daemmerung: FFI question.  Am interfacing to an external foreign procedure that expects an array of strings as a wchar_t** input parameter.  Would (_list i _string/utf-16) give me the ctype that I want for this parameter?  The documentation for _list (FFI, sect 3.6.1) is not precisely clear on how any particular type is converted, and there's a paucity of _list examples in the source.
18:54 (quit) shofetim: Read error: Connection reset by peer
18:55 samth summons eli to answer Daemmerung
18:56 (join) shofetim
18:56 Daemmerung hopes that samth knows the corresponding abjuration....
18:57 samth: Daemmerung: it sounds right to use _list
18:58 Daemmerung: I'm hoping that list generates a c-vector of pointers to strings, as opposed to generating a vector of the strings' characters concatenated.  Will give it a try and see what happens.
18:58 Daemmerung: And, yeah, I'm eyeballing ffi/unsafe.rkt already.  Not completely on top of it yet.
18:59 samth: Daemmerung: i'm sure that _list doesn't mangle the contents of its arguments
19:00 Daemmerung: If I think of the symmetric (list o _string/utf-16) conversion, that makes sense.  Thanks.
19:00 Daemmerung: er, (_list o ...) I meant
19:01 (quit) dnolen: Quit: Page closed
19:01 (quit) asumu: Ping timeout: 244 seconds
19:01 samth: out params will almost certainly need length specification
19:04 (quit) mithos28: Quit: mithos28
19:10 (join) mithos28
19:53 (quit) lucian: Remote host closed the connection
19:53 (quit) JohnnyL: Quit: Hard work pays off in the future, laziness pays off now
20:00 (join) dnolen
20:26 (quit) jonrafkind: Read error: Operation timed out
20:28 (quit) tauntaun: Quit: Ex-Chat
20:29 samth: mithos28: your big commit should be merged soon
20:30 (nick) samth -> samth_away
20:32 (join) asumu
20:32 (quit) masm: Ping timeout: 246 seconds
20:55 (quit) asumu: Quit: Leaving
21:55 (quit) martinhex: Ping timeout: 255 seconds
22:02 (join) martinhex
22:25 (join) gienah
22:37 (quit) mithos28: Quit: mithos28
22:41 (join) mithos28
22:56 (quit) mithos28: Quit: mithos28
23:06 (join) mithos28
23:46 (quit) mithos28: Quit: mithos28
23:48 (join) mithos28
23:50 (join) realitygrill