adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.06.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.06/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
malc_ has quit [Remote host closed the connection]
gtrak has quit [Ping timeout: 240 seconds]
orbifx has quit [Ping timeout: 260 seconds]
infinity0_ has joined #ocaml
infinity0 has quit [Killed (rajaniemi.freenode.net (Nickname regained by services))]
infinity0 has joined #ocaml
infinity0_ is now known as infinity0
isd has quit [Quit: Leaving.]
isd has joined #ocaml
isd has quit [Ping timeout: 260 seconds]
mfp has quit [Ping timeout: 240 seconds]
opios has quit [Ping timeout: 245 seconds]
iitalics has quit [Ping timeout: 256 seconds]
Haudegen has quit [Remote host closed the connection]
zolk3ri has quit [Quit: leaving]
iitalics has joined #ocaml
iitalics has quit [Ping timeout: 264 seconds]
iitalics has joined #ocaml
iitalics has quit [Ping timeout: 260 seconds]
FreeBirdLjj has joined #ocaml
pierpa_ has quit [Quit: Page closed]
isd has joined #ocaml
shinnya has joined #ocaml
shinnya has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 248 seconds]
FreeBirdLjj has joined #ocaml
unyu has quit [Quit: The end of the world is nigh. Bring as much popcorn as you can!]
caseypme[m] has joined #ocaml
zlsyx has quit [Remote host closed the connection]
zlsyx has joined #ocaml
unyu has joined #ocaml
zlsyx has quit [Ping timeout: 260 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 276 seconds]
shinnya has joined #ocaml
FreeBirdLjj has joined #ocaml
isd has quit [Quit: Leaving.]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
yaewa has joined #ocaml
moei has quit [Ping timeout: 240 seconds]
moei has joined #ocaml
yaewa has quit [Ping timeout: 276 seconds]
argent_smith has joined #ocaml
argent_smith has quit [Quit: Leaving.]
govg has joined #ocaml
muelleme has joined #ocaml
mfp has joined #ocaml
DanielRi1hman is now known as DanielRichman
muelleme has quit [Ping timeout: 276 seconds]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
tarptaeya has joined #ocaml
h11 has quit [Quit: WeeChat 2.0.1]
Onemorenickname has joined #ocaml
pierpa_ has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
pierpa_ is now known as pierpa
kakadu has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
muelleme has joined #ocaml
jnavila has joined #ocaml
muelleme has quit [Ping timeout: 264 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
orbifx has joined #ocaml
pyx has joined #ocaml
pyx has quit [Client Quit]
argent_smith has joined #ocaml
muelleme has joined #ocaml
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
chatchatt has joined #ocaml
chatchat1 has quit [Ping timeout: 240 seconds]
malc_ has joined #ocaml
malc_ has quit [Client Quit]
pierpa_ has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 240 seconds]
ziyourenxiang has quit [Ping timeout: 248 seconds]
<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?
ziyourenxiang has joined #ocaml
shinnya has quit [Ping timeout: 276 seconds]
mk9 has joined #ocaml
<rgr[m]> Ah, I just need to avoid the parens ?x:_
<rgr[m]> figured it out
Haudegen has joined #ocaml
mk9 has quit [Remote host closed the connection]
mk9 has joined #ocaml
ziyourenxiang has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
ziyourenxiang has joined #ocaml
<bartholin> # ("a" : string);;
<bartholin> - : ('a, 'b, 'a) format =
<bartholin> # ("a" : (_,_,_) format);;
<bartholin> - : string = "a"
<bartholin> CamlinternalFormatBasics.Format
<bartholin> (CamlinternalFormatBasics.Char_literal ('a',
<bartholin> CamlinternalFormatBasics.End_of_format),
<bartholin> "a")
<bartholin> so much for strict strong typing
<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
FreeBirdLjj has joined #ocaml
<octachron> Haskell has a similar feature with overloaded literals, if you want to argue that Haskell typing is neither strict and strong too
* bartholin scratches head
<bartholin> ok
<octachron> bartholin, in particular, there is no hidden runtime conversion here, it is really two different interpretation of the same literal
henrytill_ has joined #ocaml
henrytill has quit [Ping timeout: 276 seconds]
chelfi has quit [Ping timeout: 276 seconds]
<Drup> bartholin: in which way it isn't strong static ? :)
<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)
<Armael> yea, in fact there are two different literals "a"
chelfi has joined #ocaml
beginner has joined #ocaml
<beginner> how can I install a specific version of a package with opam?
<octachron> opam install package version
dhil has joined #ocaml
<beginner> octachron: i trien opam install "redis-lwt=0.3.3"
<beginner> no packages matches redis-lwt.0.3.3
<octachron> beginner, well, it seems that there is no version 0.3.3 available on opam
zlsyx has joined #ocaml
muelleme has quit [Ping timeout: 240 seconds]
zolk3ri has joined #ocaml
mk9 has quit [Quit: mk9]
orbifx has quit [Ping timeout: 260 seconds]
<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
<beginner> Fatal error: exception Unix.Unix_error(Unix.ECONNREFUSED, "connect", "")
jnavila has joined #ocaml
sh0t has joined #ocaml
zlsyx has quit [Remote host closed the connection]
zlsyx has joined #ocaml
zlsyx has quit [Ping timeout: 256 seconds]
muelleme has joined #ocaml
shinnya has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
muelleme has quit [Ping timeout: 246 seconds]
muelleme has joined #ocaml
Enjolras has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
muelleme has quit [Ping timeout: 268 seconds]
shinnya has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
muelleme has joined #ocaml
chatchat1 has joined #ocaml
muelleme has quit [Ping timeout: 276 seconds]
chatchatt has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
<rgr[m]> beginner: which address are you using?
FreeBirdLjj has quit [Ping timeout: 264 seconds]
zlsyx has joined #ocaml
FreeBirdLjj has joined #ocaml
spew has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 265 seconds]
jnavila has quit [Ping timeout: 256 seconds]
dhil has quit [Ping timeout: 240 seconds]
FreeBirdLjj has joined #ocaml
zlsyx has quit [Remote host closed the connection]
BitPuffin has joined #ocaml
Bronsa` has joined #ocaml
zlsyx_ has joined #ocaml
spew has quit [Ping timeout: 260 seconds]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
tane has joined #ocaml
spew has joined #ocaml
malc_ has joined #ocaml
pierpa_ has quit [Ping timeout: 260 seconds]
zlsyx has joined #ocaml
zlsyx_ has quit [Read error: Connection reset by peer]
pierpa has joined #ocaml
zlsyx_ has joined #ocaml
zlsyx has quit [Ping timeout: 256 seconds]
slash^ has joined #ocaml
inr has quit [Quit: WeeChat 2.0.1]
inr has joined #ocaml
pierpa_ has joined #ocaml
pierpa has quit [Ping timeout: 260 seconds]
jnavila has joined #ocaml
sh0t has quit [Ping timeout: 264 seconds]
govg has quit [Quit: leaving]
mk9 has joined #ocaml
Bronsa has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
jnavila has quit [Ping timeout: 240 seconds]
FreeBirdLjj has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
sh0t has joined #ocaml
Bronsa` has quit [Ping timeout: 240 seconds]
muelleme has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
mk9 has quit [Quit: mk9]
slash^ has quit [Read error: Connection reset by peer]
beginner has quit [Quit: Page closed]
SpiceGuid has joined #ocaml
SpiceGuid has quit [Quit: ChatZilla 0.9.93 [SeaMonkey 2.49.2/20180205075051]]
muelleme has joined #ocaml
sh0t has quit [Remote host closed the connection]
mk9 has joined #ocaml
sh0t has joined #ocaml
muelleme has quit [Ping timeout: 260 seconds]
spew has quit [Ping timeout: 240 seconds]
Haudegen has quit [Read error: Connection reset by peer]
isd has joined #ocaml
gtrak has quit [Ping timeout: 240 seconds]
gtrak has joined #ocaml
Bronsa has joined #ocaml
muelleme has joined #ocaml
zolk3ri has quit [Quit: Lost terminal]
Haudegen has joined #ocaml
isd has quit [Quit: Leaving.]
muelleme has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
onion is now known as whoman
whoman is now known as onion
mk9 has quit [Quit: mk9]
mk9 has joined #ocaml
jnavila has quit [Remote host closed the connection]
tarptaeya has quit [Quit: Byeeeeeee!]
johnelse has quit [Read error: Connection reset by peer]
argent_smith has quit [Quit: Leaving.]
sh0t has quit [Ping timeout: 240 seconds]
johnelse has joined #ocaml
mk9 has quit [Quit: mk9]
sz0 has joined #ocaml
zlsyx_ has quit [Remote host closed the connection]
zlsyx has joined #ocaml
kakadu has quit [Remote host closed the connection]
ski has quit [Remote host closed the connection]
Onemorenickname has quit [Read error: Connection reset by peer]
gtrak has quit [Ping timeout: 260 seconds]
gtrak has joined #ocaml
malc_ has quit [Quit: ERC (IRC client for Emacs 27.0.50)]
BitPuffin has quit [Remote host closed the connection]
ziyourenxiang has quit [Ping timeout: 256 seconds]
henrytill_ has quit [Ping timeout: 264 seconds]
Haudegen has quit [Remote host closed the connection]
alphor_ has joined #ocaml
letoh_ has joined #ocaml
alphor has quit [Ping timeout: 276 seconds]
chelfi has quit [Remote host closed the connection]
chelfi has joined #ocaml
letoh has quit [Ping timeout: 276 seconds]
henrytill has joined #ocaml
sh0t has joined #ocaml
onion has quit [Read error: No route to host]
spectrumgomas[m] has joined #ocaml