00:09
pierpa has joined #ocaml
00:12
Haudegen has quit [Remote host closed the connection]
00:12
shinnya has joined #ocaml
00:20
<
zozozo >
kerrhau: Hashtbl.fold (fun key value l -> (key, value) :: l) hashtbl [] ?
00:23
mk9 has quit [Quit: mk9]
00:35
silver_ has joined #ocaml
00:38
silver has quit [Ping timeout: 248 seconds]
00:38
infinity0_ has joined #ocaml
00:38
infinity0_ has quit [Changing host]
00:38
infinity0_ has joined #ocaml
00:38
infinity0 has quit [Killed (verne.freenode.net (Nickname regained by services))]
00:49
relrod has quit [Quit: .]
00:49
cbot has quit [Ping timeout: 252 seconds]
00:55
silver_ has quit [Read error: Connection reset by peer]
00:57
KeyJoo has quit [Ping timeout: 268 seconds]
01:00
FreeBirdLjj has joined #ocaml
01:21
sonologico has quit [Ping timeout: 248 seconds]
01:25
troydm has quit [Ping timeout: 264 seconds]
01:27
mfp has quit [Ping timeout: 268 seconds]
01:37
FreeBirdLjj has quit [Remote host closed the connection]
01:39
relrod has joined #ocaml
01:39
relrod has quit [Changing host]
01:39
relrod has joined #ocaml
01:46
shinnya has quit [Ping timeout: 268 seconds]
02:21
FreeBirdLjj has joined #ocaml
02:24
FreeBirdLjj has quit [Remote host closed the connection]
02:25
FreeBirdLjj has joined #ocaml
02:26
cobreadmonster has quit [Quit: Connection closed for inactivity]
03:04
FreeBirdLjj has quit [Remote host closed the connection]
03:07
relrod has quit [Quit: .]
03:10
relrod has joined #ocaml
03:10
relrod has quit [Changing host]
03:10
relrod has joined #ocaml
03:17
cbot has joined #ocaml
03:17
FreeBirdLjj has joined #ocaml
03:55
govg has joined #ocaml
04:29
troydm has joined #ocaml
04:43
troydm has quit [Ping timeout: 265 seconds]
04:54
troydm has joined #ocaml
04:55
cobreadmonster has joined #ocaml
04:56
jao has quit [Ping timeout: 248 seconds]
04:59
troydm has quit [Ping timeout: 252 seconds]
05:06
pierpa has quit [Quit: Page closed]
05:06
jbrown has quit [Ping timeout: 265 seconds]
05:14
sonologico has joined #ocaml
05:38
mbuf has joined #ocaml
06:29
arecacea1 has quit [Remote host closed the connection]
06:30
arecacea1 has joined #ocaml
06:41
sonologico has quit [Quit: WeeChat 1.9.1]
07:48
FreeBirdLjj has quit [Ping timeout: 248 seconds]
07:49
FreeBirdLjj has joined #ocaml
08:01
KeyJoo has joined #ocaml
08:13
ziyourenxiang has joined #ocaml
08:33
kakadu has joined #ocaml
08:34
cobreadmonster has quit [Quit: Connection closed for inactivity]
08:44
groovy2shoes has quit [Ping timeout: 250 seconds]
08:53
cbot has quit [Quit: Leaving]
08:56
mfp has joined #ocaml
09:03
raduom has joined #ocaml
09:06
sh0t has joined #ocaml
09:11
jnavila has joined #ocaml
09:13
kerrhau has quit [Ping timeout: 240 seconds]
09:16
dakk has joined #ocaml
09:21
dakk has quit [Ping timeout: 268 seconds]
09:25
dakk has joined #ocaml
09:32
jnavila has quit [Ping timeout: 250 seconds]
09:53
ziyourenxiang has quit [Ping timeout: 256 seconds]
10:08
FreeBirdLjj_ has joined #ocaml
10:11
FreeBirdLjj_ has quit [Client Quit]
10:26
Serpent7776 has joined #ocaml
10:42
dakk has quit [Ping timeout: 264 seconds]
10:50
superherointj has joined #ocaml
10:58
silver has joined #ocaml
11:01
johnelse is now known as johnel_away
11:01
johnel_away is now known as johnelse
11:02
johnelse is now known as johnel_away
11:02
johnel_away is now known as johnelse
11:02
johnelse has quit [Quit: leaving]
11:04
argent_smith has joined #ocaml
11:16
johnelse has joined #ocaml
11:16
solrize has quit [Ping timeout: 265 seconds]
11:23
superherointj has quit [Quit: Leaving]
11:27
GreyFaceNoSpace has quit [Quit: Ex-Chat]
11:28
johnelse is now known as johnel_away
11:28
johnel_away is now known as johnelse
11:34
TarVanimelde has joined #ocaml
11:35
jnavila has joined #ocaml
11:40
zolk3ri has joined #ocaml
11:43
TheLemonMan has joined #ocaml
11:45
raduom has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
11:48
kakadu has quit [Ping timeout: 248 seconds]
11:48
kakadu_ has joined #ocaml
11:51
zolk3ri_ has joined #ocaml
11:52
zolk3ri_ has quit [Client Quit]
11:54
_andre has joined #ocaml
12:01
silver has quit [Read error: Connection reset by peer]
12:06
FreeBirdLjj has quit [Remote host closed the connection]
12:10
Haudegen has joined #ocaml
12:11
silver has joined #ocaml
12:16
jnavila has quit [Ping timeout: 240 seconds]
12:20
jnavila has joined #ocaml
12:27
raduom has joined #ocaml
12:29
TarVanimelde has quit [Quit: TarVanimelde]
12:29
jnavila has quit [Quit: Konversation terminated!]
12:30
jnavila has joined #ocaml
12:37
FreeBirdLjj has joined #ocaml
12:41
jnavila has quit [Ping timeout: 240 seconds]
12:42
FreeBirdLjj has quit [Ping timeout: 248 seconds]
12:47
silver has quit [Read error: Connection reset by peer]
12:49
mbuf has quit [Quit: Leaving]
12:49
FreeBirdLjj has joined #ocaml
13:01
silver has joined #ocaml
13:02
jnavila has joined #ocaml
13:11
silver has quit [Read error: Connection reset by peer]
13:11
FreeBirdLjj has quit [Ping timeout: 268 seconds]
13:12
emias has quit [Quit: WeeChat 1.9.1]
13:23
mk9 has joined #ocaml
13:30
jnavila has quit [Ping timeout: 240 seconds]
13:35
nullifidian has quit [Remote host closed the connection]
13:40
shinnya has joined #ocaml
13:40
KeyJoo has quit [Ping timeout: 240 seconds]
13:47
zolk3ri has quit [Quit: Reconnecting]
13:48
zolk3ri has joined #ocaml
13:50
johnelse is now known as johnel_away
13:50
johnel_away is now known as johnelse
13:52
FreeBirdLjj has joined #ocaml
14:02
mk9 has quit [Quit: mk9]
14:02
mk9 has joined #ocaml
14:07
mk9 has quit [Client Quit]
14:07
silver has joined #ocaml
14:07
mk9 has joined #ocaml
14:10
FreeBirdLjj has quit [Ping timeout: 248 seconds]
14:16
Fistine has quit [Quit: WeeChat 1.6]
14:16
tobiasBora has quit [Quit: WeeChat 1.6]
14:21
silver has quit [Read error: Connection reset by peer]
14:21
_y has quit [Ping timeout: 252 seconds]
14:21
Fardale has quit [Ping timeout: 252 seconds]
14:27
al-damiri has joined #ocaml
14:33
Fardale has joined #ocaml
14:38
jbrown has joined #ocaml
14:39
govg has quit [Ping timeout: 252 seconds]
14:40
FreeBirdLjj has joined #ocaml
14:41
dakk has joined #ocaml
14:42
Exagone313 has quit [Read error: Connection reset by peer]
14:42
Exagone314 has joined #ocaml
14:42
govg has joined #ocaml
14:42
Exagone314 is now known as Exagone313
14:45
silver has joined #ocaml
14:46
govg has quit [Ping timeout: 248 seconds]
14:53
ziyourenxiang has joined #ocaml
14:59
_andre has quit [Read error: Connection reset by peer]
15:00
riveter has quit [Ping timeout: 248 seconds]
15:01
_andre has joined #ocaml
15:08
Jesin has quit [Quit: Leaving]
15:11
riveter has joined #ocaml
15:13
Jesin has joined #ocaml
15:16
FreeBirdLjj has quit [Remote host closed the connection]
15:17
jimmyrcom has quit [Ping timeout: 256 seconds]
15:17
FreeBirdLjj has joined #ocaml
15:19
jimmyrcom has joined #ocaml
15:21
MercurialAlchemi has quit [Ping timeout: 248 seconds]
15:21
MercurialAlchemi has joined #ocaml
15:23
mk9 has quit [Read error: Connection reset by peer]
15:25
MercurialAlchemi has quit [Ping timeout: 240 seconds]
15:26
FreeBirdLjj has quit [Ping timeout: 240 seconds]
15:27
MercurialAlchemi has joined #ocaml
15:27
mk9 has joined #ocaml
15:47
johnelse is now known as johnel_away
15:47
FreeBirdLjj has joined #ocaml
15:48
johnel_away is now known as johnelse
15:50
jnavila has joined #ocaml
15:57
FreeBirdLjj has quit [Ping timeout: 260 seconds]
15:58
jimmyrcom has quit [Ping timeout: 256 seconds]
16:02
ziyourenxiang has quit [Ping timeout: 248 seconds]
16:02
tg has quit [Ping timeout: 252 seconds]
16:03
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
16:24
FreeBirdLjj has joined #ocaml
16:33
FreeBirdLjj has quit [Ping timeout: 248 seconds]
16:37
Haudegen has quit [Read error: Connection reset by peer]
16:37
FreeBirdLjj has joined #ocaml
16:45
FreeBirdLjj has quit [Ping timeout: 240 seconds]
16:48
solrize has joined #ocaml
16:50
FreeBirdLjj has joined #ocaml
16:51
bbc- has joined #ocaml
16:51
bbc has quit [Read error: Connection reset by peer]
17:02
<
gentauro >
they make code so more readable (I know they are equivalent to a record, but sometimes, union types are more readable)
17:02
shinnya has quit [Ping timeout: 240 seconds]
17:03
FreeBirdLjj has quit [Ping timeout: 264 seconds]
17:08
<
theblatte >
gentauro: what about inline records?
17:08
shinnya has joined #ocaml
17:14
jao has joined #ocaml
17:17
Haudegen has joined #ocaml
17:19
<
kakadu_ >
gentauro: how do they resolve conflicts of names?
17:20
Haudegen has quit [Read error: Connection reset by peer]
17:22
Jesin has quit [Quit: Leaving]
17:27
shinnya has quit [Ping timeout: 252 seconds]
17:29
silver_ has joined #ocaml
17:32
<
gentauro >
union labels are local to each type
17:32
silver has quit [Ping timeout: 248 seconds]
17:33
Serpent7776 has quit [Quit: Leaving]
17:33
<
gentauro >
when you pattern match, you can do this -> match foo with | Foo (name = n) -> ... instead of having to do -> match bar with | Bar (_,_,_,_,_,name,_,_,_) -> ...
17:35
<
thizanne >
gentauro: what you want indeed seems exactly like inline records
17:35
<
thizanne >
# type t = Foo of { name : string; age : int};;
17:35
<
thizanne >
# let adult (Foo { age }) = age >= 18;;
17:35
<
thizanne >
val adult : t -> bool = <fun>
17:36
<
thizanne >
(that's almost new, so you may not have heard of it on oldish documentations)
17:37
<
thizanne >
note that you could do almost the same thing before, except you have to name the record first (which is quite more verbose on the type declaration but equivalent when using it):
17:37
<
thizanne >
type info = { name : string; age : int };; type t = Person of info
17:40
KeyJoo has joined #ocaml
17:41
FreeBirdLjj has joined #ocaml
17:41
arecacea1 has quit [Remote host closed the connection]
17:42
arecacea1 has joined #ocaml
17:42
mal`` has quit [Quit: Leaving]
17:47
mal`` has joined #ocaml
17:52
aubian has joined #ocaml
17:54
dakk has quit [Ping timeout: 256 seconds]
17:54
silver_ is now known as silver
17:58
<
gentauro >
thizanne: cool
17:58
<
gentauro >
now we just need "curried records" ;)
17:59
<
gentauro >
type foo = Foo int int
17:59
FreeBirdLjj has quit [Ping timeout: 265 seconds]
18:00
<
thizanne >
not gonna happen.
18:00
<
gentauro >
I know ;)
18:01
<
gentauro >
but would save me time ;)
18:01
<
thizanne >
I guess there's a ppx_deriver somewhere for this
18:12
FreeBirdLjj has joined #ocaml
18:14
zolk3ri has quit [Ping timeout: 248 seconds]
18:15
zolk3ri has joined #ocaml
18:19
jnavila has quit [Ping timeout: 252 seconds]
18:24
FreeBirdLjj has quit [Ping timeout: 256 seconds]
18:25
FreeBirdLjj has joined #ocaml
18:30
iZsh has joined #ocaml
18:35
marcux has joined #ocaml
18:37
webshinra has quit [Remote host closed the connection]
18:38
raduom has quit [Ping timeout: 264 seconds]
18:38
FreeBirdLjj has quit [Ping timeout: 248 seconds]
18:40
webshinra has joined #ocaml
18:43
FreeBirdLjj has joined #ocaml
18:48
sh0t has quit [Remote host closed the connection]
19:00
FreeBirdLjj has quit [Read error: Connection timed out]
19:04
andreas_ has quit [Quit: Connection closed for inactivity]
19:06
dakk has joined #ocaml
19:08
tg has joined #ocaml
19:22
andreas_ has joined #ocaml
19:23
TheLemonMan has joined #ocaml
19:38
FreeBirdLjj has joined #ocaml
19:50
FreeBirdLjj has quit [Ping timeout: 248 seconds]
19:54
jnavila has joined #ocaml
20:06
troydm has joined #ocaml
20:12
FreeBirdLjj has joined #ocaml
20:13
TarVanimelde has joined #ocaml
20:17
FreeBirdLjj has quit [Ping timeout: 268 seconds]
20:32
bacam has quit [Remote host closed the connection]
20:33
bacam has joined #ocaml
20:51
pierpa_ has joined #ocaml
20:52
TarVanimelde has quit [Quit: TarVanimelde]
20:54
dakk has quit [Remote host closed the connection]
20:54
dakk has joined #ocaml
20:55
groovy2shoes has joined #ocaml
21:02
groovy2shoes has quit [Quit: moritura te saluto]
21:06
dakk has quit [Ping timeout: 256 seconds]
21:08
groovy2shoes has joined #ocaml
21:16
nullifidian has joined #ocaml
21:18
argent_smith has quit [Quit: Leaving.]
21:18
argent_smith has joined #ocaml
21:26
argent_smith has quit [Quit: Leaving.]
21:26
soupault has joined #ocaml
21:27
MercurialAlchemi has quit [Ping timeout: 248 seconds]
21:28
mk9 has quit [Quit: mk9]
21:28
soupault has quit [Remote host closed the connection]
21:31
sigjuice has quit [Ping timeout: 256 seconds]
21:33
sigjuice has joined #ocaml
21:46
h11 has quit [Quit: WeeChat 1.9.1]
21:51
sonologico has joined #ocaml
22:15
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
22:40
dakk has joined #ocaml
22:42
jnavila has quit [Remote host closed the connection]
22:50
dakk has quit [Ping timeout: 248 seconds]
22:52
ygrek has joined #ocaml
22:55
marcux has quit [Ping timeout: 240 seconds]
23:27
kerrhau has joined #ocaml
23:27
kerrhau has quit [Changing host]
23:27
kerrhau has joined #ocaml
23:27
kakadu_ has quit [Remote host closed the connection]
23:45
shinnya has joined #ocaml
23:49
ziyourenxiang has joined #ocaml