00:04
malc_ has quit [Remote host closed the connection]
00:06
gtrak has quit [Ping timeout: 240 seconds]
00:09
orbifx has quit [Ping timeout: 260 seconds]
00:15
infinity0_ has joined #ocaml
00:15
infinity0 has quit [Killed (rajaniemi.freenode.net (Nickname regained by services))]
00:15
infinity0 has joined #ocaml
00:15
infinity0_ is now known as infinity0
00:18
isd has quit [Quit: Leaving.]
00:18
isd has joined #ocaml
00:52
isd has quit [Ping timeout: 260 seconds]
00:57
mfp has quit [Ping timeout: 240 seconds]
01:00
opios has quit [Ping timeout: 245 seconds]
01:05
iitalics has quit [Ping timeout: 256 seconds]
01:08
Haudegen has quit [Remote host closed the connection]
01:10
zolk3ri has quit [Quit: leaving]
01:49
iitalics has joined #ocaml
01:55
iitalics has quit [Ping timeout: 264 seconds]
01:57
iitalics has joined #ocaml
02:17
iitalics has quit [Ping timeout: 260 seconds]
02:39
FreeBirdLjj has joined #ocaml
03:18
pierpa_ has quit [Quit: Page closed]
03:20
isd has joined #ocaml
03:23
shinnya has joined #ocaml
03:37
shinnya has quit [Ping timeout: 240 seconds]
03:45
FreeBirdLjj has quit [Remote host closed the connection]
03:49
FreeBirdLjj has joined #ocaml
04:02
FreeBirdLjj has quit [Ping timeout: 248 seconds]
04:03
FreeBirdLjj has joined #ocaml
04:30
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
04:31
caseypme[m] has joined #ocaml
04:54
zlsyx has quit [Remote host closed the connection]
04:55
zlsyx has joined #ocaml
04:57
unyu has joined #ocaml
04:59
zlsyx has quit [Ping timeout: 260 seconds]
05:44
FreeBirdLjj has quit [Remote host closed the connection]
05:46
FreeBirdLjj has joined #ocaml
05:51
FreeBirdLjj has quit [Ping timeout: 276 seconds]
05:59
shinnya has joined #ocaml
06:10
FreeBirdLjj has joined #ocaml
06:12
isd has quit [Quit: Leaving.]
06:47
muelleme has joined #ocaml
06:52
muelleme has quit [Ping timeout: 240 seconds]
07:04
yaewa has joined #ocaml
07:05
moei has quit [Ping timeout: 240 seconds]
07:10
moei has joined #ocaml
07:13
yaewa has quit [Ping timeout: 276 seconds]
07:21
argent_smith has joined #ocaml
07:26
argent_smith has quit [Quit: Leaving.]
07:38
govg has joined #ocaml
07:55
muelleme has joined #ocaml
07:57
mfp has joined #ocaml
08:27
DanielRi1hman is now known as DanielRichman
08:36
muelleme has quit [Ping timeout: 276 seconds]
08:40
muelleme has joined #ocaml
08:45
muelleme has quit [Ping timeout: 260 seconds]
08:49
tarptaeya has joined #ocaml
08:50
h11 has quit [Quit: WeeChat 2.0.1]
08:58
Onemorenickname has joined #ocaml
09:16
pierpa_ has joined #ocaml
09:16
pierpa has quit [Ping timeout: 260 seconds]
09:17
pierpa_ is now known as pierpa
09:31
kakadu has joined #ocaml
09:31
pierpa has quit [Ping timeout: 260 seconds]
09:32
muelleme has joined #ocaml
09:39
jnavila has joined #ocaml
09:41
muelleme has quit [Ping timeout: 264 seconds]
09:42
FreeBirdLjj has quit [Remote host closed the connection]
09:43
orbifx has joined #ocaml
09:44
pyx has joined #ocaml
09:44
pyx has quit [Client Quit]
09:46
argent_smith has joined #ocaml
09:46
muelleme has joined #ocaml
09:54
FreeBirdLjj has joined #ocaml
09:55
pierpa has joined #ocaml
09:58
FreeBirdLjj has quit [Remote host closed the connection]
09:58
FreeBirdLjj has joined #ocaml
10:01
chatchatt has joined #ocaml
10:02
chatchat1 has quit [Ping timeout: 240 seconds]
10:18
malc_ has joined #ocaml
10:18
malc_ has quit [Client Quit]
10:22
pierpa_ has joined #ocaml
10:23
pierpa has quit [Ping timeout: 260 seconds]
10:25
jnavila has quit [Ping timeout: 240 seconds]
10:44
ziyourenxiang has quit [Ping timeout: 248 seconds]
10:44
<
rgr[m] >
Is there a way to bind an optional variable to _? E.g. I can do ~(x:_) for normal labels, but how do I do this for optional ones?
10:44
ziyourenxiang has joined #ocaml
10:45
shinnya has quit [Ping timeout: 276 seconds]
10:45
mk9 has joined #ocaml
10:45
<
rgr[m] >
Ah, I just need to avoid the parens ?x:_
10:45
<
rgr[m] >
figured it out
10:48
Haudegen has joined #ocaml
10:49
mk9 has quit [Remote host closed the connection]
10:54
mk9 has joined #ocaml
11:02
ziyourenxiang has quit [Ping timeout: 240 seconds]
11:07
FreeBirdLjj has quit [Remote host closed the connection]
11:26
ziyourenxiang has joined #ocaml
11:28
<
bartholin >
# ("a" : string);;
11:28
<
bartholin >
- : ('a, 'b, 'a) format =
11:28
<
bartholin >
# ("a" : (_,_,_) format);;
11:28
<
bartholin >
- : string = "a"
11:28
<
bartholin >
CamlinternalFormatBasics.Format
11:28
<
bartholin >
(CamlinternalFormatBasics.Char_literal ('a',
11:28
<
bartholin >
CamlinternalFormatBasics.End_of_format),
11:29
<
bartholin >
so much for strict strong typing
11:41
<
octachron >
bartholin, ? The typing is still strict and strong, it is just a hack to be able to use the same literal syntax for format string and string
11:41
FreeBirdLjj has joined #ocaml
11:42
<
octachron >
Haskell has a similar feature with overloaded literals, if you want to argue that Haskell typing is neither strict and strong too
11:52
* bartholin
scratches head
11:56
<
octachron >
bartholin, in particular, there is no hidden runtime conversion here, it is really two different interpretation of the same literal
11:57
henrytill_ has joined #ocaml
11:58
henrytill has quit [Ping timeout: 276 seconds]
11:58
chelfi has quit [Ping timeout: 276 seconds]
12:01
<
Drup >
bartholin: in which way it isn't strong static ? :)
12:02
<
bartholin >
Drup: octachron explained it, but I thought that, as the literal "a" has two types, it could break strong typing (for the same reason that 15 cannot have type float, and 15. cannot have type int)
12:04
<
Armael >
yea, in fact there are two different literals "a"
12:04
chelfi has joined #ocaml
12:06
beginner has joined #ocaml
12:06
<
beginner >
how can I install a specific version of a package with opam?
12:06
<
octachron >
opam install package version
12:08
dhil has joined #ocaml
12:08
<
beginner >
octachron: i trien opam install "redis-lwt=0.3.3"
12:09
<
beginner >
no packages matches redis-lwt.0.3.3
12:13
<
octachron >
beginner, well, it seems that there is no version 0.3.3 available on opam
12:15
zlsyx has joined #ocaml
12:22
muelleme has quit [Ping timeout: 240 seconds]
12:33
zolk3ri has joined #ocaml
12:48
mk9 has quit [Quit: mk9]
12:52
orbifx has quit [Ping timeout: 260 seconds]
13:00
<
beginner >
i tried now different versions of redis-lwt, but still get this error, when trying to connect to a redis cluster in docker-compose
13:00
<
beginner >
Fatal error: exception Unix.Unix_error(Unix.ECONNREFUSED, "connect", "")
13:02
jnavila has joined #ocaml
13:02
sh0t has joined #ocaml
13:04
zlsyx has quit [Remote host closed the connection]
13:05
zlsyx has joined #ocaml
13:09
zlsyx has quit [Ping timeout: 256 seconds]
13:19
muelleme has joined #ocaml
13:20
shinnya has joined #ocaml
13:22
FreeBirdLjj has quit [Remote host closed the connection]
13:23
FreeBirdLjj has joined #ocaml
13:23
muelleme has quit [Ping timeout: 246 seconds]
13:24
muelleme has joined #ocaml
13:32
Enjolras has quit [Ping timeout: 240 seconds]
13:36
FreeBirdLjj has quit [Remote host closed the connection]
13:37
muelleme has quit [Ping timeout: 268 seconds]
13:44
shinnya has quit [Ping timeout: 260 seconds]
13:44
gtrak has joined #ocaml
13:51
muelleme has joined #ocaml
13:56
chatchat1 has joined #ocaml
13:57
muelleme has quit [Ping timeout: 276 seconds]
13:58
chatchatt has quit [Ping timeout: 240 seconds]
13:59
FreeBirdLjj has joined #ocaml
14:02
<
rgr[m] >
beginner: which address are you using?
14:03
FreeBirdLjj has quit [Ping timeout: 264 seconds]
14:07
zlsyx has joined #ocaml
14:07
FreeBirdLjj has joined #ocaml
14:12
spew has joined #ocaml
14:12
FreeBirdLjj has quit [Ping timeout: 265 seconds]
14:28
jnavila has quit [Ping timeout: 256 seconds]
14:29
dhil has quit [Ping timeout: 240 seconds]
14:32
FreeBirdLjj has joined #ocaml
14:44
zlsyx has quit [Remote host closed the connection]
14:46
BitPuffin has joined #ocaml
14:47
Bronsa` has joined #ocaml
14:48
zlsyx_ has joined #ocaml
14:48
spew has quit [Ping timeout: 260 seconds]
14:54
muelleme has joined #ocaml
14:58
muelleme has quit [Ping timeout: 260 seconds]
15:02
tane has joined #ocaml
15:23
spew has joined #ocaml
15:27
malc_ has joined #ocaml
15:35
pierpa_ has quit [Ping timeout: 260 seconds]
15:36
zlsyx has joined #ocaml
15:36
zlsyx_ has quit [Read error: Connection reset by peer]
15:46
pierpa has joined #ocaml
16:01
zlsyx_ has joined #ocaml
16:02
zlsyx has quit [Ping timeout: 256 seconds]
16:04
slash^ has joined #ocaml
16:25
inr has quit [Quit: WeeChat 2.0.1]
16:40
inr has joined #ocaml
16:46
pierpa_ has joined #ocaml
16:47
pierpa has quit [Ping timeout: 260 seconds]
16:50
jnavila has joined #ocaml
16:54
sh0t has quit [Ping timeout: 264 seconds]
16:56
govg has quit [Quit: leaving]
16:58
mk9 has joined #ocaml
17:25
Bronsa has quit [Ping timeout: 240 seconds]
17:30
FreeBirdLjj has quit [Remote host closed the connection]
17:31
FreeBirdLjj has joined #ocaml
17:32
jnavila has quit [Ping timeout: 240 seconds]
17:35
FreeBirdLjj has quit [Ping timeout: 256 seconds]
17:39
jnavila has joined #ocaml
17:41
sh0t has joined #ocaml
17:45
Bronsa` has quit [Ping timeout: 240 seconds]
17:54
muelleme has joined #ocaml
18:12
muelleme has quit [Ping timeout: 260 seconds]
18:23
mk9 has quit [Quit: mk9]
18:33
slash^ has quit [Read error: Connection reset by peer]
18:42
beginner has quit [Quit: Page closed]
18:44
SpiceGuid has joined #ocaml
18:52
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.2/20180205075051]]
19:09
muelleme has joined #ocaml
19:11
sh0t has quit [Remote host closed the connection]
19:13
mk9 has joined #ocaml
19:13
sh0t has joined #ocaml
19:14
muelleme has quit [Ping timeout: 260 seconds]
19:17
spew has quit [Ping timeout: 240 seconds]
19:24
Haudegen has quit [Read error: Connection reset by peer]
19:26
isd has joined #ocaml
19:30
gtrak has quit [Ping timeout: 240 seconds]
19:33
gtrak has joined #ocaml
19:49
Bronsa has joined #ocaml
19:55
muelleme has joined #ocaml
20:01
zolk3ri has quit [Quit: Lost terminal]
20:04
Haudegen has joined #ocaml
20:10
isd has quit [Quit: Leaving.]
20:11
muelleme has quit [Ping timeout: 240 seconds]
20:14
tane has quit [Quit: Leaving]
20:23
onion is now known as whoman
20:24
whoman is now known as onion
20:30
mk9 has quit [Quit: mk9]
20:32
mk9 has joined #ocaml
20:33
jnavila has quit [Remote host closed the connection]
20:57
tarptaeya has quit [Quit: Byeeeeeee!]
21:18
johnelse has quit [Read error: Connection reset by peer]
21:18
argent_smith has quit [Quit: Leaving.]
21:25
sh0t has quit [Ping timeout: 240 seconds]
21:29
johnelse has joined #ocaml
21:32
mk9 has quit [Quit: mk9]
21:42
sz0 has joined #ocaml
21:52
zlsyx_ has quit [Remote host closed the connection]
21:54
zlsyx has joined #ocaml
22:02
kakadu has quit [Remote host closed the connection]
22:12
ski has quit [Remote host closed the connection]
22:27
Onemorenickname has quit [Read error: Connection reset by peer]
22:33
gtrak has quit [Ping timeout: 260 seconds]
22:35
gtrak has joined #ocaml
22:41
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
23:01
BitPuffin has quit [Remote host closed the connection]
23:06
ziyourenxiang has quit [Ping timeout: 256 seconds]
23:27
henrytill_ has quit [Ping timeout: 264 seconds]
23:29
Haudegen has quit [Remote host closed the connection]
23:30
alphor_ has joined #ocaml
23:30
letoh_ has joined #ocaml
23:31
alphor has quit [Ping timeout: 276 seconds]
23:31
chelfi has quit [Remote host closed the connection]
23:31
chelfi has joined #ocaml
23:31
letoh has quit [Ping timeout: 276 seconds]
23:33
henrytill has joined #ocaml
23:39
sh0t has joined #ocaml
23:49
onion has quit [Read error: No route to host]
23:54
spectrumgomas[m] has joined #ocaml