00:27
catonano has quit [Ping timeout: 264 seconds]
00:55
selimcan has quit [Ping timeout: 256 seconds]
01:29
badkins has quit [Remote host closed the connection]
01:29
doyougnu has quit [Ping timeout: 256 seconds]
01:34
badkins has joined #racket
01:39
badkins has quit [Ping timeout: 256 seconds]
02:30
notzmv has joined #racket
03:15
orivej has joined #racket
03:22
YuGiOhJCJ has joined #racket
03:31
orivej has quit [Ping timeout: 260 seconds]
03:32
orivej has joined #racket
03:35
badkins has joined #racket
03:40
badkins has quit [Ping timeout: 256 seconds]
03:42
orivej has quit [Quit: No Ping reply in 180 seconds.]
03:44
orivej has joined #racket
04:01
Sgeo has quit [Read error: Connection reset by peer]
04:03
Sgeo has joined #racket
04:07
Sgeo has quit [Read error: Connection reset by peer]
04:11
orivej has quit [Remote host closed the connection]
04:11
Sgeo has joined #racket
04:12
orivej has joined #racket
04:22
orivej has quit [Remote host closed the connection]
04:22
dataangel has quit [Remote host closed the connection]
04:23
narimiran has joined #racket
04:23
orivej has joined #racket
04:27
dataangel has joined #racket
04:40
Fare has quit [Ping timeout: 260 seconds]
04:43
Fare has joined #racket
04:48
orivej has quit [Ping timeout: 256 seconds]
04:48
orivej has joined #racket
04:56
orivej_ has joined #racket
04:58
gour has joined #racket
04:58
orivej has quit [Ping timeout: 240 seconds]
05:06
endformationage has quit [Quit: WeeChat 2.7.1]
05:10
orivej_ has quit [Quit: No Ping reply in 180 seconds.]
05:11
orivej has joined #racket
05:14
bocaneri has joined #racket
05:36
badkins has joined #racket
05:41
badkins has quit [Ping timeout: 240 seconds]
05:44
orivej has quit [Ping timeout: 256 seconds]
05:45
Fare has quit [Ping timeout: 244 seconds]
06:09
catonano has joined #racket
06:13
ermo has joined #racket
06:45
rain1 has left #racket ["WeeChat 1.6"]
07:37
badkins has joined #racket
07:39
tilpner has joined #racket
07:42
badkins has quit [Ping timeout: 256 seconds]
07:44
orivej has joined #racket
08:01
orivej has quit [Ping timeout: 256 seconds]
08:02
orivej has joined #racket
08:08
hendursa1 has joined #racket
08:10
hendursaga has quit [Ping timeout: 240 seconds]
08:11
orivej has quit [Ping timeout: 260 seconds]
09:15
Sgeo has quit [Read error: Connection reset by peer]
09:32
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
09:37
orivej has joined #racket
09:38
badkins has joined #racket
09:40
dddddd has quit [Ping timeout: 256 seconds]
09:43
badkins has quit [Ping timeout: 256 seconds]
09:45
orivej has quit [Ping timeout: 256 seconds]
09:46
orivej has joined #racket
09:54
orivej has quit [Ping timeout: 240 seconds]
09:57
dddddd has joined #racket
10:25
doyougnu has joined #racket
10:48
doyougnu has quit [Remote host closed the connection]
10:51
selimcan has joined #racket
10:56
gour has quit [Remote host closed the connection]
10:57
gour has joined #racket
11:39
badkins has joined #racket
11:44
badkins has quit [Ping timeout: 256 seconds]
12:43
badkins has joined #racket
12:44
Fare has joined #racket
13:25
doyougnu has joined #racket
13:40
hendursa1 has quit [Quit: hendursa1]
13:40
hendursaga has joined #racket
13:57
notzmv has quit [Ping timeout: 260 seconds]
14:12
badkins has quit [Remote host closed the connection]
14:12
badkins has joined #racket
14:17
badkins has quit [Remote host closed the connection]
14:17
badkins has joined #racket
14:21
TCZ has joined #racket
14:33
narimiran has quit [Ping timeout: 256 seconds]
14:52
badkins has quit [Remote host closed the connection]
14:52
badkins has joined #racket
14:58
orivej has joined #racket
14:58
badkins has quit [Ping timeout: 256 seconds]
15:04
badkins has joined #racket
15:06
badkins has quit [Remote host closed the connection]
15:06
badkins has joined #racket
15:07
badkins has quit [Remote host closed the connection]
15:08
badkins has joined #racket
15:17
iyzsong has joined #racket
15:29
orivej has quit [Remote host closed the connection]
15:30
orivej has joined #racket
15:36
iyzsong has joined #racket
15:37
orivej has quit [Quit: No Ping reply in 180 seconds.]
15:38
orivej has joined #racket
15:41
Sgeo has joined #racket
15:51
orivej has quit [Remote host closed the connection]
15:52
orivej has joined #racket
15:58
badkins has quit [Remote host closed the connection]
15:58
badkins has joined #racket
16:00
orivej has quit [Remote host closed the connection]
16:01
orivej has joined #racket
16:02
badkins has quit [Remote host closed the connection]
16:02
badkins has joined #racket
16:03
badkins has quit [Remote host closed the connection]
16:04
gour has left #racket ["Leaving"]
16:06
badkins has joined #racket
16:10
badkins has quit [Ping timeout: 240 seconds]
16:16
orivej has quit [Ping timeout: 246 seconds]
16:30
badkins has joined #racket
16:35
badkins has quit [Ping timeout: 265 seconds]
16:42
selimcan has quit [Ping timeout: 256 seconds]
16:42
badkins has joined #racket
16:48
badkins has quit [Ping timeout: 256 seconds]
16:56
selimcan has joined #racket
17:20
TCZ has quit [Quit: Leaving]
17:26
badkins has joined #racket
17:31
badkins has quit [Ping timeout: 240 seconds]
17:37
badkins has joined #racket
17:41
badkins has quit [Ping timeout: 264 seconds]
18:04
nebunez has quit [Ping timeout: 265 seconds]
18:15
badkins has joined #racket
18:20
badkins has quit [Ping timeout: 256 seconds]
18:21
bocaneri has quit [Read error: Connection reset by peer]
18:56
narimiran has joined #racket
18:59
notzmv has joined #racket
19:03
badkins has joined #racket
19:13
badkins_ has joined #racket
19:13
badkins__ has joined #racket
19:15
badkins has quit [Ping timeout: 256 seconds]
19:17
badkins_ has quit [Ping timeout: 260 seconds]
19:50
badkins__ has quit [Remote host closed the connection]
19:52
badkins has joined #racket
19:53
countvajhula has joined #racket
19:54
<
countvajhula >
are there naming conventions on variables holding predicates vs variables holding boolean values?
19:55
<
countvajhula >
e.g. (define strict? #t) is a boolean value
19:55
<
countvajhula >
vs (empty? lst) a predicate
19:56
<
bremner >
I don't think people usual put ? on identifiers not bound to functions
19:56
<
countvajhula >
should they both be suffixed with a ? or should the former be named something else? is there a convention?
19:56
<
bremner >
I'm not sure though.
19:56
badkins has quit [Ping timeout: 246 seconds]
19:57
<
countvajhula >
hm so maybe just something like (define strict #t)
19:57
badkins has joined #racket
19:57
epony has quit [Remote host closed the connection]
19:59
<
bremner >
yeah, that would be my first instinct
20:01
<
bremner >
for ?. Not sure what a predicate is other than a boolean valued function...
20:01
<
countvajhula >
hehe yeah I was just wondering about that too..
20:03
<
countvajhula >
I'll go with that for now, thank you
20:06
<
bremner >
the same link mentions suffixes for variables, but I'm not really convinced about strict-boolean
20:09
<
countvajhula >
ah yeah, I do remember seeing that some time ago, and wasn't too taken with the idea of type suffixes
20:09
badkins has quit [Remote host closed the connection]
20:11
badkins has joined #racket
20:12
<
countvajhula >
i haven't used type suffixes for variables but I guess I might in a situation where there are actually two similarly-named variables with different types (like the example in the docs)
20:12
badkins has quit [Remote host closed the connection]
20:12
<
countvajhula >
doesn't happen often though
20:12
badkins has joined #racket
20:17
epony has joined #racket
20:23
<
countvajhula >
for strict boolean values, how about something like is-strict, is-empty .. with appropriate form depending on number - are-empty, are-missing. any opinions on this?
20:31
<
countvajhula >
this is just another way of indicating the type in the variable name, so in that respect it's no different than the one in the docs, but it seems easier on the eyes. just thinking out loud
20:32
narimiran has quit [Ping timeout: 240 seconds]
21:21
selimcan has quit [Remote host closed the connection]
22:20
countvajhula has quit [Ping timeout: 244 seconds]
22:22
badkins has quit [Remote host closed the connection]
22:22
badkins has joined #racket
22:24
darius-os has joined #racket
22:27
badkins has quit [Remote host closed the connection]
22:28
badkins has joined #racket
22:35
countvajhula has joined #racket
22:36
badkins has quit [Remote host closed the connection]
22:37
badkins has joined #racket
22:42
badkins has quit [Ping timeout: 240 seconds]
22:42
countvajhula has quit [Remote host closed the connection]
22:42
countvajhula has joined #racket
22:48
selimcan has joined #racket
22:51
badkins has joined #racket
22:55
badkins has quit [Ping timeout: 265 seconds]
23:05
darius-os has quit [Remote host closed the connection]
23:10
caltelt has joined #racket
23:19
doyougnu has quit [Ping timeout: 240 seconds]
23:20
badkins has joined #racket
23:51
nullcone has quit [Quit: Connection closed for inactivity]