00:20 (quit) B-ratmazoon: Read error: Connection reset by peer
00:20 (join) B-ratmazoon
00:27 (quit) mithos28: Quit: mithos28
00:28 (join) mithos28
01:14 (quit) freakazoid: Quit: Computer has gone to sleep.
01:15 (quit) veer: Ping timeout: 252 seconds
01:29 (join) freakazoid
01:58 (quit) freakazoid: Quit: Computer has gone to sleep.
02:33 (quit) mithos28: Quit: mithos28
02:44 (join) jeapostrophe
02:45 (nick) ChaozZBubi -> chaozzbubi
02:57 (quit) jeapostrophe: Ping timeout: 260 seconds
03:00 (join) drdo`
03:00 (nick) drdo` -> drdo
03:45 (quit) Shviller: Read error: Connection reset by peer
03:45 (join) Shviller
03:49 (quit) jonrafkind: Ping timeout: 244 seconds
04:02 (quit) realitygrill: Quit: realitygrill
05:07 (quit) drdo: Quit: ZNC - http://znc.sourceforge.net
06:14 (join) veer
07:47 (join) MayDaniel
08:00 (join) andrew_
08:00 (nick) andrew_ -> andrew44
08:25 (nick) B-ratmazoon -> Stanislav
08:25 (nick) Stanislav -> Stanislave
08:35 (quit) veer: Read error: Connection reset by peer
08:57 (quit) Lajla: Disconnected by services
08:57 (nick) Stanislave -> Lajla
08:58 (join) Nanakhiel
08:58 (quit) AlbireoX: Ping timeout: 252 seconds
09:41 (join) anRch
10:06 (join) jeapostrophe
10:18 (quit) andrew44: Ping timeout: 258 seconds
10:43 (nick) chaozzbubi -> ChaozZBubi
10:56 (join) karswell
11:03 (quit) anRch: Quit: anRch
11:38 (join) RPR
11:39 (join) masm
11:47 (quit) RPR: Ping timeout: 240 seconds
11:48 (join) mithos28
12:01 (quit) mithos28: Quit: mithos28
12:11 (join) mithos28
12:15 (quit) jeapostrophe: Ping timeout: 252 seconds
12:32 (join) realitygrill
12:38 (quit) masm: Quit: Leaving.
12:42 (join) yoklov
12:45 (join) jonrafkind
12:49 (quit) mithos28: Quit: mithos28
13:01 (join) mithos28
13:05 (quit) mithos28: Ping timeout: 248 seconds
13:19 (join) mithos28
13:22 ozzloy: eli, fantastic!  so good to hear
13:53 (join) freakazoid
14:22 (quit) ohwow: Quit: leaving
14:28 (quit) mithos28: Ping timeout: 268 seconds
15:02 (join) mithos28
15:04 (join) mithos28_
15:08 (quit) mithos28: Ping timeout: 240 seconds
15:08 (nick) mithos28_ -> mithos28
15:09 (join) AlbireoX
15:27 (join) fdre3wsd
15:28 fdre3wsd: hey y'all HNY. Quick question, what does the red arrow in the Stepper mean?
15:28 (quit) karswell: Read error: Operation timed out
15:28 offby1: I think it means "you are here" ...
15:28 offby1: not sure, really; I rarely use it
15:29 fdre3wsd: yea thats what i think but it seems to point outside the colored boxes sometimes
15:30 mithos28: The red arrow I see looks like evaluates to
15:31 fdre3wsd: ahh i see, ill go with that
15:31 fdre3wsd: thank youuuu
15:31 mithos28: I think there is a bug
15:31 mithos28: Is it higher than the expression you think should be evaluating
15:31 fdre3wsd: sometimes
15:32 mithos28: I was just playing around with it to answer your question and the arrow does not seem to move down enough as you evaluate expressions
15:33 mithos28: It looks like it is intended to help  mark which expression you are working on, but currently is not working quite right
15:33 fdre3wsd: yea that confirms what i was thinking, i can live with it
15:34 fdre3wsd: couldnt find anyting on googles either
15:35 mithos28: I'm going to submit a bug report about it
15:36 fdre3wsd: *thumbs up*
15:37 (quit) fdre3wsd: Quit: Page closed
15:38 (quit) Fulax: Ping timeout: 240 seconds
15:46 (join) Fulax
16:09 bremner: has anyone made a nice language definition for racket for the LaTeX listings package?
16:09 bremner: or even for scheme
16:10 bremner: hmm, google finds me the latter.
16:26 offby1: eh?
16:27 offby1: what's "the LaTeX listings package"?
16:27 (join) karswell
16:27 bremner: \usepackage{listings}
16:36 (join) jeapostrophe
16:37 (quit) elliottcable: Quit:  best short-url ever. <http://ell.io/tt>
16:44 (quit) sethalves: Quit: ERC Version 5.1.4 (IRC client for Emacs)
16:44 (join) sethalves
16:46 (quit) jeapostrophe: Ping timeout: 240 seconds
16:58 (join) dnolen
17:02 (join) masm
17:23 (quit) MayDaniel: 
17:31 (quit) masm: Quit: Leaving.
17:33 (part) rsimoes
17:34 (join) rsimoes
17:38 (join) RPR
17:39 (quit) RPR: Client Quit
17:50 (join) jeapostrophe
17:59 (nick) sethalves -> sethAway
18:03 (nick) sethAway -> seth
18:03 (nick) seth -> sethalves
18:12 (join) masm
18:20 (join) jyc
18:26 (join) sahat
18:34 (quit) sahat: Remote host closed the connection
18:40 (quit) mithos28: Quit: mithos28
18:50 (quit) karswell: Read error: Operation timed out
18:56 (quit) freakazoid: Quit: Computer has gone to sleep.
18:59 (quit) jeapostrophe: Ping timeout: 240 seconds
19:14 (join) freakazoid
19:14 (quit) jyc: Ping timeout: 255 seconds
19:29 (join) mithos28
19:47 (join) sindoc
19:47 (quit) masm: Quit: Leaving.
19:48 (join) sindoc1
19:48 (quit) sindoc: Read error: Connection reset by peer
19:50 (join) sindoc
19:50 (quit) sindoc1: Read error: Connection reset by peer
19:57 (join) jeapostrophe
20:00 (quit) sindoc: Read error: Connection reset by peer
20:28 (quit) acarrico: Remote host closed the connection
20:32 (join) acarrico
21:34 (quit) jeapostrophe: Ping timeout: 252 seconds
21:41 bremner: eli: I'm confused about the PL version of define-type; does it define Variant-field accessors, or do you intend people to work only with cases
22:04 (quit) freakazoid: Quit: Computer has gone to sleep.
22:05 bremner: hmm. I guess they would have to have union types or something. http://paste.debian.net/150706/
22:15 (quit) jonrafkind: Ping timeout: 240 seconds
22:16 eli: bremner: pfing
22:17 bremner: eli: hi!
22:17 eli: Good morning.
22:17 eli: You're touching on a subject that I wanted to deal with for a long time.
22:17 bremner: uh oh
22:17 eli: Nothing deep...
22:17 eli: I used to have a `variant-field' accessors, but my experience with them wrt the course was miserable.
22:18 eli: People kept trying to use them, and that leads them to want to use `variant?' predicates too
22:18 bremner: right.
22:18 eli: ...which were defined also at some point in the past and then I removed them.
22:19 eli: The thing is that once they go down that path, they can actually write code -- almost always bad code,
22:19 eli: since at that point they completely ignore the benefits of `define-type' and `cases'.
22:19 eli: The benefits that make disjoint unions so effective for this kind of code, as MLers and Haskellers know very well.
22:20 eli: So I decided to drop the whole thing -- no `variant?' predicates, and no `variant-field' accessors.
22:20 eli: There are *very* few cases left where something like that is needed.
22:20 eli: But not more than 5 of them.
22:21 eli: And for these cases it's easy to use `cases' instead.
22:21 eli: So, instead of (if (foo? x) (foo-bar x) (error "I want a foo"))
22:21 eli: You use (cases x [(foo bar) bar] [else (error "I want a foo")])
22:21 eli: Not much longer.
22:22 eli: They still ask about the accessor things, and I tell them the truth -- that it's obviously useful for programming in general but it's not useful for the course.
22:22 bremner: sure. It seems fine to me, but it might be worth pointing out in "differences from plai".
22:23 eli: Well, this is getting to what I wanted to deal with for a long time...
22:23 eli: I wanted to drop the field name from the type declarations.
22:23 bremner: ah, yeah, I wondered.
22:23 bremner: what the point was. I guess just legacy.
22:23 eli: Yes.
22:23 eli: The code came out from the untyped version.
22:24 eli: Yes, the code still has the typechecks still, commented out.
22:25 eli: In any case, I wanted to get rid of the names since they confuse people by making them think that they have these accessors.
22:25 eli: The possible downside is the loss of documentation, but it seems like a minor price that can be ironed over with comments if needed.
22:25 eli: Does this seem reasonable?
22:25 bremner: hmm. I was just going to mention the comment part.
22:26 eli: I think that the main case for confusion is `With' -- it has the named expression part and the body part, so you get
22:26 eli: (define-type WAE ... [With Symbol WAE WAE] ...)
22:27 eli: Does it look too confusing to do that?
22:28 bremner: hmm. I guess it matches BNF
22:28 eli: Good point.
22:29 eli: I'll make the change then...
22:29 eli: Will you want the new version of everything?
22:31 bremner: I guess so. I really only need the git changes, but I can extract those. If you are feeling fancy you could make a "git bundle"
22:31 eli mans
22:32 eli: Yeah, that's the one I've never used...
22:32 bremner: well, whatever works for you, obviously.
22:32 eli: The problem with that, IIUC, is that it requires me to specify the commits
22:33 bremner: just the start and end
22:33 eli: and I don't know where your version was at.
22:33 eli: Yeah, the start.
22:33 bremner: oh hmm. well let me see.
22:34 bremner: cf6b77aade6bf7f
22:34 (join) jeapostrophe
22:34 eli: Ah, good, I have that.
22:34 eli: You didn't do any changes?
22:35 bremner: oh, I mean just send changes after that, and I will merge
22:35 bremner: git bundle create bremner.gb cf6b77aade6bf7f..
22:36 eli: OK.
22:36 bremner: or git-format-patch is fine too, but a little messier.
22:36 bremner: git send-email --to=<me> cf6b77aade6bf7f..
22:36 eli: If you know how to unbundle the bundle, then that would be better.
22:36 eli: There's probably a whole bunch of changes.
22:37 bremner: sure. I can work with a bundle.
22:37 eli: Ah, "git bundle unbundle <file>"...
22:37 eli: Cute.
22:37 bremner: cuter is that you can make the bundle a remote and fetch from it.
22:37 (join) freakazoid
22:38 eli: Yeah, I remember that stuff very vaguely.
22:38 eli: I read about it but never had any need for it.
22:41 (quit) mithos28: Quit: mithos28
22:42 (join) veer
22:46 (quit) freakazoid: Quit: Computer has gone to sleep.
22:54 (quit) veer: Quit: Leaving
23:06 (join) mithos28
23:23 (join) freakazoid
23:37 (quit) mithos28: Quit: mithos28
23:39 (join) mithos28
23:45 (nick) ChaozZBubi -> chaozzbubi