00:06
pera has quit [Ping timeout: 240 seconds]
00:14
tilpner_ has joined #racket
00:16
tilpner has quit [Disconnected by services]
00:16
tilpner_ is now known as tilpner
00:18
eMBee has quit [Ping timeout: 240 seconds]
00:31
pera has joined #racket
00:35
ziyourenxiang has joined #racket
01:29
pera has quit [Ping timeout: 245 seconds]
01:45
pera has joined #racket
01:51
Codaraxis has joined #racket
01:57
longshi has joined #racket
02:00
ubLIX has quit [Quit: ubLIX]
02:18
ng0 has quit [Ping timeout: 256 seconds]
02:19
iyzsong has joined #racket
02:24
pera has quit [Ping timeout: 246 seconds]
02:26
g00s has joined #racket
02:35
rnmhdn has joined #racket
02:38
lockywolf__ has quit [Read error: Connection reset by peer]
02:39
endformationage has joined #racket
02:48
dan_f has joined #racket
02:49
dddddd has quit [Remote host closed the connection]
02:54
longshi has quit [Ping timeout: 268 seconds]
02:55
<
lf94 >
In fact I have a hard time understanding anything going on in these posts.
02:55
<
lf94 >
curried_add : (int) ⇒ ∃C. C × ((C, int) ⇒ int)
02:57
<
lf94 >
And: is it possible to test these in typed racket?
03:11
<
tautologico >
the problems of using notation without defining them
03:23
dan_f has quit [Read error: Connection reset by peer]
03:24
dan_f has joined #racket
03:32
rnmhdn has quit [Ping timeout: 246 seconds]
03:32
<
lf94 >
tautologico, it really sucks, because what he's saying seems really important.
03:32
<
tautologico >
lf94: you can find better explanations of closure conversion
03:33
<
lf94 >
could you point me? :D
03:37
<
tautologico >
I was thinking about the book Compiling with Continuations, but it's got a lot more than just closure conversion... good book though
03:38
<
tautologico >
starts assuming you know about CPS
03:39
<
tautologico >
that's Continuation Passing Style
03:40
<
jcowan >
And of course LiSP if you can shell out the US$100 or so for a copy, or read French and get the second edition (which does not exist in English)
03:44
<
tautologico >
LiSP = Lisp in Small Pieces by Christian Queinnec, French title Les Langages Lisp, if I remember correctly
04:03
badkins has quit [Ping timeout: 272 seconds]
04:22
rnmhdn has joined #racket
04:48
dan_f has quit [Read error: Connection reset by peer]
04:55
pierpal has quit [Quit: Poof]
04:55
pierpal has joined #racket
05:26
endformationage has quit [Ping timeout: 240 seconds]
05:32
lockywolf has joined #racket
05:36
rnmhdn has quit [Ping timeout: 268 seconds]
05:49
sauvin has joined #racket
05:54
Sgeo_ has joined #racket
05:57
Sgeo has quit [Ping timeout: 272 seconds]
06:01
rnmhdn has joined #racket
06:02
jao has quit [Ping timeout: 250 seconds]
06:30
pierpal has quit [Read error: Connection reset by peer]
06:32
pierpal has joined #racket
06:37
pierpal has quit [Ping timeout: 250 seconds]
06:40
pierpal has joined #racket
06:44
pierpal has quit [Ping timeout: 246 seconds]
06:47
pera has joined #racket
06:50
pierpal has joined #racket
06:53
pierpal has quit [Read error: Connection reset by peer]
07:05
lockywolf_ has joined #racket
07:07
lockywolf has quit [Ping timeout: 250 seconds]
07:09
pera has quit [Ping timeout: 246 seconds]
07:11
pierpal has joined #racket
07:13
buyfn has joined #racket
07:15
pierpal has quit [Ping timeout: 240 seconds]
07:39
pie__ has joined #racket
07:50
pierpal has joined #racket
07:56
rnmhdn has quit [Ping timeout: 244 seconds]
07:57
buyfn has quit [Quit: buyfn]
07:58
pierpal has quit [Read error: Connection reset by peer]
07:58
pierpal has joined #racket
08:03
pierpal has quit [Ping timeout: 250 seconds]
08:06
eMBee has joined #racket
08:06
pierpal has joined #racket
08:20
zenspider has quit [Quit: bye]
08:21
zenspider has joined #racket
08:25
pierpal has quit [Read error: Connection reset by peer]
08:30
mzan has joined #racket
08:36
lockywolf_ has quit [Remote host closed the connection]
08:36
pierpal has joined #racket
08:37
lockywolf_ has joined #racket
08:38
pierpal has quit [Read error: Connection reset by peer]
08:40
pierpal has joined #racket
08:43
pierpal has quit [Read error: Connection reset by peer]
08:43
pierpal has joined #racket
08:47
pierpal has quit [Ping timeout: 244 seconds]
08:48
pierpal has joined #racket
08:50
pierpal has quit [Read error: Connection reset by peer]
08:50
pierpal has joined #racket
08:50
dddddd has joined #racket
08:54
pierpal has quit [Ping timeout: 250 seconds]
08:57
pierpal has joined #racket
09:01
Sgeo_ has quit [Ping timeout: 272 seconds]
09:02
pierpal has quit [Ping timeout: 268 seconds]
09:04
pierpal has joined #racket
09:06
buyfn has joined #racket
09:08
Sgeo has joined #racket
09:08
pierpal has quit [Ping timeout: 246 seconds]
09:12
buyfn has quit [Quit: buyfn]
09:16
pierpal has joined #racket
09:23
pierpal has quit [Read error: Connection reset by peer]
09:24
pierpal has joined #racket
09:26
pierpal has quit [Read error: Connection reset by peer]
09:27
pierpal has joined #racket
09:29
pierpal has quit [Read error: Connection reset by peer]
09:31
pierpal has joined #racket
09:31
buyfn has joined #racket
09:34
pierpal has quit [Read error: Connection reset by peer]
09:34
pierpal has joined #racket
09:50
pierpal has quit [Ping timeout: 250 seconds]
09:54
pierpal has joined #racket
09:56
pierpal has quit [Read error: Connection reset by peer]
09:57
fernando-basso has joined #racket
09:59
pierpal has joined #racket
10:04
pierpal has quit [Ping timeout: 240 seconds]
10:08
pierpal has joined #racket
10:09
pierpal has quit [Read error: Connection reset by peer]
10:10
pierpal has joined #racket
10:12
lockywolf_ has quit [Remote host closed the connection]
10:13
mzan has left #racket [#racket]
10:14
pierpal has quit [Ping timeout: 245 seconds]
10:16
pierpal has joined #racket
10:16
iyzsong-x has joined #racket
10:17
iyzsong has quit [Ping timeout: 240 seconds]
10:20
pierpal has quit [Ping timeout: 240 seconds]
10:24
pierpal has joined #racket
10:27
pierpal has quit [Read error: Connection reset by peer]
10:32
pierpal has joined #racket
10:35
pierpal has quit [Read error: Connection reset by peer]
10:36
longshi has joined #racket
10:37
pierpal has joined #racket
10:39
pierpal has quit [Read error: Connection reset by peer]
10:39
pierpal has joined #racket
10:57
pierpal has quit [Read error: Connection reset by peer]
10:59
pierpal has joined #racket
11:00
rnmhdn has joined #racket
11:05
iyzsong has joined #racket
11:06
pierpal has quit [Ping timeout: 244 seconds]
11:11
pierpal has joined #racket
11:13
rnmhdn has quit [Ping timeout: 250 seconds]
11:15
pierpal has quit [Ping timeout: 240 seconds]
11:21
dddddd has quit [Remote host closed the connection]
11:21
pierpal has joined #racket
11:22
buyfn has quit [Quit: buyfn]
11:23
pierpal has quit [Read error: Connection reset by peer]
11:24
pierpal has joined #racket
11:27
orivej has quit [Ping timeout: 245 seconds]
11:28
pierpal has quit [Ping timeout: 245 seconds]
11:30
pierpal has joined #racket
11:33
pierpal has quit [Read error: Connection reset by peer]
11:33
orivej has joined #racket
11:36
pierpal has joined #racket
11:45
fernando-basso has quit [Quit: I quit.]
11:55
hjek has joined #racket
12:04
pie__ has quit [Remote host closed the connection]
12:04
pie__ has joined #racket
12:10
buyfn has joined #racket
12:12
longshi has quit [Ping timeout: 252 seconds]
12:17
longshi has joined #racket
12:24
pie__ has quit [Remote host closed the connection]
12:24
pie__ has joined #racket
12:30
pie__ has quit [Remote host closed the connection]
12:30
pie__ has joined #racket
12:38
pierpal has quit [Ping timeout: 250 seconds]
12:38
pierpal has joined #racket
12:42
pierpal has quit [Ping timeout: 246 seconds]
12:49
pierpal has joined #racket
12:52
pierpal has quit [Read error: Connection reset by peer]
12:52
pierpal has joined #racket
12:57
pierpal has quit [Ping timeout: 268 seconds]
13:12
pierpal has joined #racket
13:14
iyzsong has quit [Read error: Connection reset by peer]
13:15
pierpal has quit [Read error: Connection reset by peer]
13:15
pierpal has joined #racket
13:16
iyzsong has joined #racket
13:28
acarrico has quit [Ping timeout: 250 seconds]
13:43
buyfn has quit [Quit: buyfn]
14:01
mzan has joined #racket
14:07
vraid has joined #racket
14:07
longshi has quit [Quit: WeeChat 2.3]
14:15
vraid has quit [Remote host closed the connection]
14:17
iyzsong has quit [Read error: Connection reset by peer]
14:21
buyfn has joined #racket
14:33
rnmhdn has joined #racket
14:43
badkins has joined #racket
15:06
pie___ has joined #racket
15:09
pie__ has quit [Ping timeout: 264 seconds]
15:10
acarrico has joined #racket
15:19
acarrico has quit [Ping timeout: 240 seconds]
15:53
endformationage has joined #racket
16:20
dddddd has joined #racket
16:30
buyfn has quit [Quit: buyfn]
16:40
<
tautologico >
lf94: are you familiar with finite automata?
16:51
ziyourenxiang has quit [Ping timeout: 240 seconds]
16:54
<
lf94 >
no, I was hoping to explore it with racket
17:02
_whitelogger has joined #racket
17:04
jao has joined #racket
17:04
rnmhdn has quit [Ping timeout: 246 seconds]
17:09
pie__ has joined #racket
17:11
buyfn has joined #racket
17:13
pie___ has quit [Ping timeout: 268 seconds]
17:25
ZombieChicken has quit [Ping timeout: 256 seconds]
17:29
<
tautologico >
lf94: it's easier to know how to use the library if you already know something about automata, so I'd recommend reading about them first
17:39
rnmhdn has joined #racket
18:23
ng0 has joined #racket
18:23
ng0 has quit [Client Quit]
18:38
pera has joined #racket
18:43
hjek has quit [Quit: Leaving.]
18:43
FreeFull has quit []
18:49
rnmhdn has quit [Ping timeout: 245 seconds]
18:53
ng0 has joined #racket
18:53
ng0 has quit [Client Quit]
18:53
ng0 has joined #racket
19:12
pierpal has quit [Read error: Connection reset by peer]
19:16
Sgeo_ has joined #racket
19:18
Sgeo has quit [Ping timeout: 250 seconds]
19:48
FreeFull has joined #racket
20:10
FreeFull has quit []
20:14
FreeFull has joined #racket
20:41
mzan has left #racket [#racket]
20:59
hjek has joined #racket
21:07
siel has quit [Ping timeout: 250 seconds]
21:24
siel has joined #racket
22:06
ubLIX has joined #racket
22:29
g00s has joined #racket
22:32
bremner has quit [Ping timeout: 260 seconds]
22:40
acarrico has joined #racket
22:41
buyfn has quit [Quit: buyfn]
22:47
buyfn has joined #racket
22:50
pierpal has joined #racket
22:53
acarrico has quit [Ping timeout: 268 seconds]
22:56
Sgeo_ has quit [Ping timeout: 250 seconds]
22:59
Sgeo has joined #racket
23:07
buyfn has quit [Quit: buyfn]
23:08
mathiasx has joined #racket
23:23
hjek has quit [Quit: Leaving.]