00:00 (join) jeapostrophe
00:03 (quit) jao: Ping timeout: 240 seconds
00:04 (quit) francisl: Quit: francisl
00:19 (quit) jrslepak_: Quit: Leaving
00:45 (join) realitygrill
00:58 (quit) jeapostrophe: Quit: leaving
00:58 (join) jeapostrophe
01:00 (quit) jeapostrophe: Client Quit
01:00 (join) jeapostrophe
01:17 (quit) jeapostrophe: Read error: Operation timed out
01:26 (quit) EmmanuelOga: Ping timeout: 252 seconds
01:48 (quit) mithos28: Quit: mithos28
02:05 (quit) jonrafkind: Ping timeout: 248 seconds
03:54 (quit) realitygrill: Quit: realitygrill
04:08 (part) Fare: "Leaving"
06:48 (join) dingfeng
07:02 dingfeng: can racket create a module within another module?
07:54 (quit) si14: Remote host closed the connection
07:54 (quit) gmcabrita: Read error: Connection reset by peer
08:04 (join) veer
08:08 (quit) veer: Client Quit
08:19 (join) si14
08:19 (join) gmcabrita
08:32 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/x8zGvg
08:32 RacketCommitBot: [racket/master] Synch German string constants with latest. - Mike Sperber
08:47 (join) masm
10:11 (join) MayDaniel
10:12 (join) anRch
10:55 asumu: dingfeng: Yes, but only by using units.
10:56 asumu: What do you need that for?
10:56 (join) kamyzi`e
11:07 (join) jrslepak_
11:09 dingfeng: oh...
11:09 dingfeng: it's just for convenience, to use typed/racket for half of the file
11:09 dingfeng: and the other part that can't be typed, to use racket
11:20 (join) jao
11:24 (join) realitygrill
11:32 (quit) anRch: Quit: anRch
11:57 asumu: dingfeng: You can use typed regions for that.
11:57 asumu: rudybot: doc with-type
11:57 rudybot: asumu: your sandbox is ready
11:57 rudybot: asumu: no docs for a current binding, but provided by: typed/racket/base, typed/racket
11:57 asumu: dingfeng: ^
11:57 asumu: rudybot: (require typed/racket)
11:58 rudybot: asumu: Done.
11:58 asumu: rudybot: doc with-type
11:58 rudybot: asumu: http://docs.racket-lang.org/ts-reference/Typed_Regions.html#(form._((lib._typed-scheme%2Ftyped-scheme..rkt)._with-type))
12:21 (join) mithos28
12:30 (quit) mithos28: Quit: mithos28
12:41 dingfeng: :)
13:25 (quit) MayDaniel: Read error: Connection reset by peer
13:57 (join) MayDaniel
13:59 (join) EmmanuelOga
14:14 (quit) MayDaniel: 
14:15 (quit) dingfeng: Ping timeout: 265 seconds
14:32 (quit) EmmanuelOga: Quit: WeeChat 0.3.6-rc2
14:40 (join) dnolen
14:47 (join) viller
14:48 (part) viller
15:04 (quit) jao: Ping timeout: 240 seconds
15:11 (nick) samth_away -> samth
15:19 tauntaun: Does Racket have a library of combinators, S & K in particular?
15:19 (quit) kamyzi`e: Quit: Lost terminal
15:20 offby1 stares blankly
15:20 samth: rudybot: doc const
15:20 rudybot: samth: your racket/init sandbox is ready
15:20 rudybot: samth: http://docs.racket-lang.org/reference/procedures.html#(def._((lib._racket%2Ffunction..rkt)._const))
15:21 samth: tauntaun: K == `const' from `racket/function'
15:21 samth: I don't think there's a built-in definition of S
15:21 samth: but:
15:21 samth: rudybot: (define (S x y z) ((x z) (y z)))
15:21 rudybot: samth: Done.
15:22 samth: tauntaun: there you go
15:24 tauntaun: samth: Yes, I too have a special gift for defining things ;-) ...was just wondering if Racket had them built-in.  Cheers.
15:34 samth: tauntaun: K is pretty useful, but I've never seen anyone want S for a real program
15:34 samth: have you?
15:37 (join) dnolen_
15:39 (quit) dnolen: Ping timeout: 260 seconds
15:39 (nick) dnolen_ -> dnolen
15:41 tauntaun: samth: McBride & Patterson use it to implement Applicative Functors, particulary for a language evaluator.
16:09 (quit) realitygrill: Quit: realitygrill
16:15 (join) ApeShot
16:16 ApeShot: What is the most succinct way to catch all exceptions and recover with a simple value?
16:16 ApeShot: It seems like `call-with-exception-handler` will raise an error with the value returned by its first argument, rather than simply evaluate to that value.
16:18 samth: ApeShot: (with-handlers ([exn:fail? (lambda (exn) my-value]) code ...)
16:18 ApeShot: Thanks, just the idiom I was looking for.
16:18 samth: rudybot: eval (with-handlers ([exn:fail? (lambda (exn) 42]) (+ 4 "five"))
16:18 rudybot: samth: error: eval:1:43: read: missing `)' to close preceding `(', found instead `]'
16:18 samth: rudybot: eval (with-handlers ([exn:fail? (lambda (exn) 42)]) (+ 4 "five"))
16:18 rudybot: samth: ; Value: 42
16:19 samth: rudybot: eval (with-handlers ([exn:fail? (lambda (exn) 42)]) (error 'whoops))
16:19 rudybot: samth: ; Value: 42
16:19 samth: rudybot: eval (with-handlers ([exn:fail? (lambda (exn) 42)]) (raise-user-error "baz"))
16:19 rudybot: samth: ; Value: 42
16:20 samth: ApeShot: note that exn:fail? is less general than just `exn?', but usually you don't want to catch things like `exn:break'
16:20 samth: which is for when Ctrl-C is hit, for example
16:22 ApeShot: Got it.  The documentation of this stuff is a bit obscure, but I can't claim I spent a lot of time with it.
16:22 ApeShot: Could use an example, anyway.
16:27 samth: ApeShot: did you look at the guide section on exceptions? http://pre.racket-lang.org/docs/html/guide/exns.html
16:59 (join) jonrafkind
17:05 (join) EmmanuelOga
17:54 sepisultrum: Hi. Does anyone know what  SIGSEGV SI_KERNEL SI_CODE 128 fault on addr (nil) sent by kernel
17:54 sepisultrum: Aborted
17:54 sepisultrum: means?
17:55 sepisultrum: I get it when I run fluxus which uses racket
17:55 (join) DanBurton
17:55 (part) DanBurton
17:59 samth: sepisultrum: that's a bug, either in fluxus or in racket
18:00 (quit) ApeShot: Remote host closed the connection
18:03 (quit) masm: Ping timeout: 276 seconds
18:04 (join) MayDaniel
18:04 (join) masm
18:05 sepisultrum: samth: well, I've run it in gdb and get http://paste.lisp.org/display/125703
18:06 sepisultrum: looks like it is in racket
18:09 (quit) dnolen: Quit: dnolen
18:16 samth: sepisultrum: well, it could be fluxus doing something wrong earlier, since it's a C extension and can do anything
18:16 samth: but you should probably submit that as a bug report or to the mailing list, with the backtrace
18:32 (join) jao
18:42 (join) dnolen
18:45 (join) samth_
18:54 (quit) shader: Ping timeout: 240 seconds
18:55 (quit) samth_: Ping timeout: 258 seconds
19:05 (quit) dnolen: Quit: dnolen
19:05 (join) dnolen
19:10 (quit) dnolen: Ping timeout: 240 seconds
19:14 (quit) jrslepak_: Quit: Leaving
19:17 (join) realitygrill
19:28 (quit) _p4bl0: Remote host closed the connection
19:28 asumu: I've seen that error recently in some code that used the FFI. I think the problem was on the C side.
19:28 asumu: (but not sure)
19:43 samth: asumu: that's just a segfault
19:48 (quit) realitygrill: Read error: Connection reset by peer
19:48 (join) realitygrill
19:51 (join) mithos28
20:14 (quit) mithos28: Quit: mithos28
20:16 (quit) Em: Ping timeout: 258 seconds
20:24 (join) Em
20:27 (quit) MayDaniel: Read error: Connection reset by peer
20:29 (quit) Em: Ping timeout: 258 seconds
20:31 (join) Em
20:36 (quit) Em: Ping timeout: 245 seconds
20:38 (join) Em
20:43 (quit) Em: Ping timeout: 255 seconds
20:45 (join) Em
20:49 (quit) Em: Client Quit
21:30 (join) anRch
21:58 (quit) anRch: Read error: Connection timed out
22:00 (join) anRch
22:11 (join) dingfeng
22:30 (quit) anRch: Quit: anRch
22:34 ozzloy: do i make a numerical expression, e, negative with (- 0 e)?
22:35 ozzloy: er... more like (- 0 (e))
22:35 jonrafkind: (- e)
22:35 jonrafkind: rudybot: (- 4)
22:36 ozzloy: jonrafkind, thanks
22:36 rudybot: jonrafkind: your sandbox is ready
22:36 rudybot: jonrafkind: ; Value: -4
22:36 ozzloy: that took a while
22:36 ozzloy: that's pretty rad
22:41 ozzloy: is the sandbox hardened, or does it rely on most of the people in the channel not being jerks?
22:42 jonrafkind: try to break it ;)
22:43 ozzloy: ic
22:43 samth: ozzloy: watch
22:44 samth: rudybot: (+ 'three 'four)
22:44 ozzloy leans forward in anticipation
22:44 rudybot: samth: error: with-limit: out of time
22:44 samth: urg, something is slow w/ rudybot
22:44 samth: offby1: ping
22:44 samth: maybe AWS is having issues again
22:45 ozzloy: samth: ; Value: 'seven
22:45 samth: :)
22:45 ozzloy: rudybot, (- 4)
22:46 rudybot: ozzloy: your sandbox is ready
22:46 rudybot: ozzloy: ; Value: -4
22:46 ozzloy: it does take quite a while
22:46 samth: ozzloy: normally, it's fast
22:46 ozzloy: 7 seconds by my count
22:46 ozzloy: rudybot, (printf "hello world!~n")
22:46 rudybot: ozzloy: ; stdout: "hello world!\n"
22:47 jonrafkind: rudybot is run from AWS?
22:47 ozzloy: that was fast.  cached sandbox?
22:47 jonrafkind: isn't that expensive?
22:48 ozzloy: i should be continuing with the ai-class
22:48 ozzloy: i'll have another whack at it later
22:49 ozzloy: anyone in here doing the stanford ai-class?
22:49 samth: jonrafkind: yeah, rudybot is an EC2 micro instance
22:49 jonrafkind: ah the free one or whatever
22:51 samth: it's only free for a year
22:53 samth: ladies and gentlemen, this shit is VERIFIED!
22:53 (nick) samth -> samth_away
22:54 ozzloy: what's verified?
22:58 jonrafkind: in the land of vague irc sayings samth_away is king
22:59 (quit) dingfeng: Ping timeout: 265 seconds
23:01 ozzloy: heh, ok
23:25 (quit) realitygrill: Quit: realitygrill
23:29 (quit) karswell: Ping timeout: 256 seconds
23:35 (join) dingfeng
23:37 dingfeng: ozzloy: yea, i'm taking the ai-class. but i don't quite fancy the instruction method.