00:06 (quit) stchang: Read error: Operation timed out
00:08 (quit) jamessan: Ping timeout: 252 seconds
00:09 (quit) eli: Ping timeout: 244 seconds
00:09 (quit) stamourv: Ping timeout: 244 seconds
00:09 (quit) danking: Ping timeout: 252 seconds
00:09 (join) danking
00:10 (quit) jrslepak_: Ping timeout: 252 seconds
00:11 (join) jrslepak_
00:12 (join) stchang
00:13 (join) jamessan
00:13 (quit) jamessan: Changing host
00:13 (join) jamessan
00:51 (join) freakazoid
01:19 (quit) dnolen: Quit: dnolen
01:56 (quit) freakazoid: Quit: Computer has gone to sleep.
01:57 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/D-vxmA
01:57 RacketCommitBot: [racket/master] avoid resolving module-path-index (current-directory may not be set right) - Ryan Culpepper
01:57 RacketCommitBot: [racket/master] db: implement mysql auth plugin support, old password support - Ryan Culpepper
01:57 RacketCommitBot: [racket/master] db: allow mysql-connect without db - Ryan Culpepper
02:09 (quit) yoklov: Quit: Leaving.
02:14 (join) sstrickl_
02:19 (quit) sstrickl: Ping timeout: 245 seconds
02:19 (nick) sstrickl_ -> sstrickl
02:28 (quit) realitygrill: Quit: realitygrill
02:37 (join) sindoc
02:37 (part) sindoc
03:02 (quit) jonrafkind: Ping timeout: 240 seconds
03:14 (quit) ambrosebs: Ping timeout: 252 seconds
03:32 (join) Blkt
03:39 (quit) Shviller: Ping timeout: 240 seconds
03:40 (join) Shviller
04:01 (quit) noelw: Ping timeout: 252 seconds
04:04 (nick) chaozzbubi -> ChaozZBubi
04:16 (join) tangentstorm
04:24 Blkt: good morning everyone
04:24 tangentstorm: morning
04:24 Blkt: :D
04:52 (join) sindoc
05:05 (join) epsil
05:10 (join) ambrosebs
05:34 ambrosebs: I'm looking at the TR type of map https://gist.github.com/1476037
05:35 ambrosebs: What do the ... mean? (a b ... b -> c)
05:35 ambrosebs: I was expecting something more like (a b ... c -> d)
05:35 ambrosebs: why is b repeated?
05:35 (join) masm
05:45 tangentstorm: it means that a has type  b -> c   and that you're applying a to a list of b's ( b...)
05:47 tangentstorm: in haskell it would be something like:   map :: (b -> c) -> [b] -> [c]
05:48 tangentstorm: actually i have no clue what that gist is saying, but that's what map is... :/
05:48 ambrosebs: right
05:48 ambrosebs: I just typed `map` into the TR repl and that's what I got
05:48 ambrosebs: confusing type signature
05:58 (join) veer
05:59 (quit) veer: Client Quit
06:02 (quit) sindoc: Quit: Leaving.
06:02 tangentstorm: i think that the first case is for a homogenous list and the second is for a heterogenous list
06:04 ambrosebs: (Listof b) ... b    is what confuses me the most
06:04 tangentstorm: no
06:04 tangentstorm: it's just (Listof b)
06:04 tangentstorm: (Listof b) ...
06:04 tangentstorm: a bunch of lists of type b
06:05 tangentstorm: followed by:  b -> (Listof c)
06:05 tangentstorm: a function that turns  1 b into a  list of c's
06:06 tangentstorm: no :)
06:06 ambrosebs: :)
06:06 tangentstorm: you're right.. but it must mean something
06:06 ambrosebs: it seems backwards, to use b by itself
06:06 tangentstorm: i'm trying to fill in the slots at the prompt
06:17 (join) sindoc
06:41 (join) EmmanuelOga
06:44 tangentstorm: gah.. that took forever... you still there, ambrosebs?
06:47 (join) noelw
06:54 (quit) sindoc: Quit: Leaving.
07:00 tangentstorm: okay, well, in any case: ((inst map String String Number) (λ: ([s : String] [n : Number]) (format "~a~s" s n)) '("a" "b" "c") '(1 2 3))
07:00 (join) sindoc
07:22 ambrosebs: tangentstorm: what does that say? :)
07:25 tangentstorm: ambrosebs: map takes a function that can have any number of variables
07:26 tangentstorm: ambrosebs: so you have to instantiate it in the type system ... so (inst map String String Number) says you want map to produce strings out of a list of strings and a list of numbers using a function that does (String Number -> String)
07:26 tangentstorm: at least, that's my interpretation
07:27 tangentstorm: so the whole expression should be parsed as: (instantiated-map a-lambda some-strings some-numbers)
07:27 tangentstorm: if you just run this at the prompt, you'll see the type:  (inst map String String Number)
07:28 tangentstorm: (try removing one of the types from that list and watch it change)
07:29 tangentstorm: the   b...b thing you originally asked about is a special syntax for variable-arity functions... it's not well documented as far as i can see, but it's mentioned here: http://docs.racket-lang.org/ts-guide/types.html#(part._varargs)
07:31 ambrosebs: tangentstorm: checking it tout
07:38 (nick) ChaozZBubi -> chaozzbubi
07:45 ambrosebs: the (Listof B) ... B syntax looks so strange
07:45 ambrosebs: I think I understand B ... B
08:24 (join) yoklov
08:34 _p4bl0: Is it normal that local-expand does not always respect stop-ids ?
08:38 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/uL0Qog
08:38 RacketCommitBot: [racket/master] remove redundant arity checking calling JIT-generated code - Matthew Flatt
08:38 RacketCommitBot: [racket/master] faster paths for chaperone application - Matthew Flatt
08:38 RacketCommitBot: [racket/master] streamline thread-local setup in JIT-generated code - Matthew Flatt
08:45 (part) noelw
08:45 (join) noelw
08:47 (quit) SeanTAllen: Quit: SeanTAllen
08:51 (join) Emerick
08:54 Emerick: Hi guys, I tried to subscribe to the mail list through google groups, but my message is still on queue(not approved). thx
09:03 (quit) epsil: Quit: WeeChat 0.3.5
09:15 (join) Demosthenes
09:28 Emerick: Hi, is anybody here that can help me?
09:29 noelw: Emerick, eli is the mailing list man
09:29 noelw: He keeps unusual hours
09:30 noelw: One could harass rudybot to harass him
09:30 noelw: rubybot: Tell eli Emerick is still waiting for approval to join the mailing list
09:30 noelw: (Let's see if that works)
09:30 _p4bl0: haha
09:30 Emerick: thank you
09:31 noelw: Oops, typo
09:31 Emerick: my email is neokrept@gmail.com
09:31 _p4bl0: Google groups is just a mirror, you can subscribe here also to the mailing lists: http://racket-lang.org/community.html
09:31 noelw: rudybot: Tell eli that Emerick  neokrept@gmail.com is waiting for approval to join the mailing list
09:31 rudybot: noelw: for example, if a non-terminal foo can be "a b 1" or "a b 2", then it is at best LL(3)
09:32 noelw: rudybot, you are an engaging conversationalist
09:32 rudybot: noelw: an extension of occur-mode, allowing result filtering
09:32 _p4bl0: what was that?
09:32 noelw: I think rudybot has a "conversation" mode, where it will repeat stuff it's heard if its name is mentioned
09:33 Emerick: I'm confused about what is going on here
09:33 Emerick: is rudybot some type of clever bot?
09:34 _p4bl0: he is some type of bot
09:34 _p4bl0: and he knows Racket
09:34 noelw: Let's not impute too much intelligence to old rudy
09:34 noelw: rudybot: help
09:34 rudybot: noelw: bug <more> ..., help [<what>], version, quote, source, url, seen <nick>, uptime, init [<lang>], eval <expr> ..., give <to> <expr> ..., apropos <str> ..., desc <id>, doc <id>, later "tell" <nick> <something> ...
09:35 noelw: rudybot: help bug
09:35 rudybot: noelw: bug <more> ...: You suck.
09:35 Emerick: :))
09:35 noelw: rudybot: help later
09:35 rudybot: noelw: later "tell" <nick> <something> ...: leave a message for someone
09:35 noelw: That's one i wanted
09:35 noelw: rudybot: later tell eli  Emerick  neokrept@gmail.com is waiting for approval to join the mailing list
09:35 rudybot: minion: memo for eli: noelw told me to tell you: Emerick neokrept@gmail.com is waiting for approval to join the mailing list
09:36 Emerick: thank you noelw
09:36 noelw: npo
09:36 noelw: A day of typing fail
09:36 noelw: np
09:36 _p4bl0: anyone here has experienced with local-expand?
09:36 Emerick: :D
09:36 chandler: minion's not here, so that's not going to work
09:37 chandler: The jerk who wrote minion doesn't maintain it anymore...
09:37 noelw: Oh.
09:37 noelw: Well maybe we'll just have to send an email
09:39 (join) metadave
09:46 noelw: Sent
09:46 (quit) noam: Read error: Connection reset by peer
09:47 (join) noam
09:47 Emerick: thank you again! :)
09:51 Emerick: love the email you sent btw :))
10:00 (nick) samth_away -> samth
10:01 samth: _p4bl0: yes, i know local-expand
10:04 samth: ambrosebs: the ... in types is what we call "variable-arity polymorphism"
10:04 samth: it's described in this paper: http://www.ccs.neu.edu/racket/pubs/esop09-sthf.pdf
10:04 samth: i recommend checking out the first couple of sections
10:08 (join) malkomalko
10:20 (quit) yoklov: Quit: Leaving.
10:25 (join) jao
10:27 ambrosebs: samth: thanks
10:29 (join) yoklov
10:30 (quit) yoklov: Client Quit
10:30 (join) realitygrill
10:44 (join) freakazoid
10:52 (join) SeanTAllen
11:02 (quit) freakazoid: Quit: Computer has gone to sleep.
11:06 (join) freakazoid
11:16 (join) stamourv
11:20 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/4_bSpg
11:20 RacketCommitBot: [racket/master] disable a part of the new chaperone eval path that isn't right - Matthew Flatt
11:28 (join) metadave_ny
11:28 (join) dnolen
11:29 (quit) metadave: Read error: Connection reset by peer
11:29 (join) dparfitt
11:31 (quit) dparfitt: Client Quit
11:33 (quit) metadave_ny: Ping timeout: 240 seconds
11:43 (quit) freakazoid: Quit: Computer has gone to sleep.
11:46 (join) eli
11:57 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/gXMRPw
11:57 RacketCommitBot: [racket/master] restore and fix chaperone-apply path - Matthew Flatt
11:59 (quit) noelw: Quit: noelw
11:59 (join) shofetim
12:09 (join) MayDaniel
12:12 (quit) Blkt: Quit: ERC Version 5.3 (IRC client for Emacs)
12:28 (quit) MayDaniel: Read error: Connection reset by peer
12:35 (nick) chaozzbubi -> ChaozZBubi
12:40 (join) noam_
12:40 (quit) noam: Ping timeout: 268 seconds
12:41 (join) yoklov
12:51 (quit) Demosthenes: Quit: leaving
12:54 (join) metadave
13:00 (part) tim-brown: "Leaving"
13:05 (quit) loz`: Remote host closed the connection
13:06 (join) loz`
13:06 (join) freakazoid
13:34 (quit) masm: Read error: Connection reset by peer
13:35 (join) masm
13:36 (join) jrslepak
13:39 (join) MayDaniel
13:40 (join) sindoc1
13:42 (quit) sindoc: Ping timeout: 244 seconds
13:48 (join) anRch
13:51 (quit) yoklov: Quit: Leaving.
13:54 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/qILi3Q
13:54 RacketCommitBot: [racket/master] Revising docs a little to help use dispatch-rules - Jay McCarthy
14:05 (join) yoklov
14:26 (join) kudkudyak
14:30 (quit) MayDaniel: 
14:31 (join) jonrafkind
14:33 (join) Lajla
14:36 (nick) ec -> GeanLuick
15:07 (quit) tangentstorm: Ping timeout: 240 seconds
15:08 (quit) anRch: Quit: anRch
15:10 (quit) Emerick: Quit: Page closed
15:15 (part) sindoc1
15:22 (nick) GeanLuick -> elliottcable
15:32 (quit) ambrosebs: Ping timeout: 240 seconds
15:34 (nick) elliottcable -> GeanLuick
15:53 (nick) GeanLuick -> elliottcable
16:12 (quit) jonrafkind: Ping timeout: 255 seconds
16:24 (quit) noam_: Read error: Connection reset by peer
16:25 (join) noam_
16:33 (quit) metadave: Quit: Leaving
16:38 (join) jonrafkind
16:38 (join) MayDaniel
16:52 _p4bl0: samth: I don't understand how the stop-id are supposed to work, it seems to continue expanding anyway when encountering the identifier
16:55 (quit) yoklov: Quit: Leaving.
16:56 samth: _p4bl0: try (local-expand #'(lambda (x) (let ([z 1]) z)) 'expression (list #'lambda))
16:57 samth: rudybot: eval (begin-for-syntax (displayln (syntax->datum (local-expand #'(lambda (x) (let ([z 1]) z)) 'expression (list #'lambda)))))
16:57 rudybot: samth: your sandbox is ready
16:57 rudybot: samth: ; stdout: "(lambda (x) (let ((z 1)) z))\n"
16:57 samth: _p4bl0: note that `let' has not been expanded
16:57 samth: rudybot: eval (begin-for-syntax (displayln (syntax->datum (local-expand #'(lambda (x) (let ([z 1]) z)) 'expression (list #'let)))))
16:57 rudybot: samth: ; stdout: "(lambda (x) (let ((z 1)) z))\n"
16:57 samth: rudybot: eval (begin-for-syntax (displayln (syntax->datum (local-expand #'(lambda (x) (let ([z 1]) z)) 'expression (list #'#%app)))))
16:57 rudybot: samth: ; stdout: "(lambda (x) (let ((z 1)) z))\n"
16:58 samth: oh, that's because it always adds all the core forms if you have any of them
16:58 samth: rudybot: eval (begin-for-syntax (displayln (syntax->datum (local-expand #'(lambda (x) (let ([z 1]) z)) 'expression (list)))))
16:58 rudybot: samth: ; stdout: "(lambda (x) (let-values (((z) (quote 1))) z))\n"
16:58 (join) yoklov
17:04 _p4bl0: samth: Sorry I'm not very reactive my internet is broken so I use my phone connection and I have a lot of stuff to deal with right now. Thanks for the example, that's how I use it and it sometimes work, I'll do further testing to find what I'm doing wrong (the "wrong" behavior seems to be deterministic).
17:14 (quit) MayDaniel: Read error: Connection reset by peer
17:21 (quit) malkomalko: Remote host closed the connection
17:25 (quit) freakazoid: Read error: Connection reset by peer
17:25 (join) freakazoid
17:27 (nick) Guest23814 -> tauntaun
17:29 (join) ambrosebs
17:44 (quit) SeanTAllen: Quit: SeanTAllen
17:55 (quit) jrslepak: Quit: Leaving
18:04 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/_8OYbQ
18:04 RacketCommitBot: [racket/master] intern strings, etc. only when making syntax objects, not in `read' - Matthew Flatt
18:20 (join) carleastlund
18:20 (part) carleastlund
18:35 (quit) dnolen: Quit: Page closed
18:40 (join) jrslepak
18:42 (quit) yoklov: Quit: Leaving.
18:53 (nick) ChaozZBubi -> chaozzbubi
18:55 (quit) _p4bl0: Remote host closed the connection
18:57 (join) _p4bl0
19:00 (join) SeanTAllen
19:09 (join) yoklov
19:10 (quit) bfulgham: Ping timeout: 252 seconds
19:10 (join) bfulgham
19:13 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/1NZWBA
19:13 RacketCommitBot: [racket/master] Better types for `fourth' -- `tenth'. - Sam Tobin-Hochstadt
19:13 (nick) samth -> samth-away
19:15 (quit) realitygrill: Quit: realitygrill
19:35 (join) realitygrill
20:09 (quit) jrslepak: Read error: Connection reset by peer
20:10 (join) malkomalko
20:22 (join) jrslepak
20:38 (quit) jao: Remote host closed the connection
20:44 (quit) jonrafkind: Ping timeout: 276 seconds
21:39 (join) tangentstorm
21:40 (quit) freakazoid: Quit: Computer has gone to sleep.
21:43 (quit) masm: Quit: Leaving.
22:59 (quit) yoklov: Quit: Leaving.
23:04 (join) bfulgham_
23:04 (quit) bfulgham: Ping timeout: 276 seconds
23:04 (nick) bfulgham_ -> bfulgham
23:14 (join) yoklov
23:29 (quit) malkomalko: Remote host closed the connection
23:41 (join) jonrafkind
23:50 (join) freakazoid