adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.09 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.09/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
<olle> or infer ownership
oriba has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
olle has joined #ocaml
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 264 seconds]
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 256 seconds]
mfp has quit [Ping timeout: 258 seconds]
ridcully has left #ocaml ["WeeChat 2.7.1"]
viata has joined #ocaml
ArthurSt1ong has quit [Quit: leaving]
ArthurStrong has joined #ocaml
urek has joined #ocaml
viata has quit [Ping timeout: 246 seconds]
ArthurStrong has left #ocaml [#ocaml]
waleee-cl has quit [Quit: Connection closed for inactivity]
narimiran has joined #ocaml
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 240 seconds]
vicfred_ has quit [Ping timeout: 264 seconds]
vicfred_ has joined #ocaml
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
mbuf has joined #ocaml
Serpent7776 has joined #ocaml
chripell has joined #ocaml
vicfred_ has quit [Ping timeout: 256 seconds]
C-16 has joined #ocaml
inkbottle has quit [Quit: Konversation terminated!]
inkbottle has joined #ocaml
Haudegen has joined #ocaml
DanC has quit [Ping timeout: 260 seconds]
DanC has joined #ocaml
urek has quit [Ping timeout: 246 seconds]
olle_ has joined #ocaml
waleee-cl has joined #ocaml
<Leonidas> any yojson or ocaml-community maintainers here?
tane has joined #ocaml
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 264 seconds]
Anarchos has joined #ocaml
mfp has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
jbrown has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
waleee-cl has quit [Quit: Connection closed for inactivity]
waleee-cl has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
<olle_> so, typestate and exceptions...
<olle_> what's the deal?
<Drup> no one knows, nobody's figured out how to have both cleanly yet.
<Drup> I posit you just plain can't.
<olle_> Drup: yeah?
<olle_> i did scratch my head yesterday night
<olle_> but, i have a plan for ownership inference
<waleee-cl> olle: coding on this the most "holy" of days in the Swedish vacation calendar?
<olle_> waleee-cl: i'm in germany D:
<olle_> no one celebrates here
* olle_ so sad
<olle_> waleee-cl: also, working is ok as long as you're wicked drunk (and sing songs about being drunk)
<waleee-cl> is it a workday too? The horror
<olle_> in germany , yes
<waleee-cl> olle_: Glad midsommar från firandets land!
<olle_> waleee-cl: tackar ^^
<olle_> i thought we only had french people in this channel xD
<waleee-cl> gissade att du var svensk utifrån namnet på din blogg
<olle_> yes :)
<olle_> but not related to kent haerstedt ^^
<waleee-cl> no idea who he is.
* waleee-cl googles
<olle_> some politician who survived estonia
<olle_> waleee-cl: you study in sweden?
<waleee-cl> yeah, at Uppsala university. Which has gone to the lazy side of ml-languages
<olle_> waleee-cl: i studied there too, we used sml at introduction course, but they said they were moving to haskell
<olle_> that was 13 years ago, :d
<waleee-cl> yepp, that's the case now
<olle_> guess they finally made it :)
<olle_> ok
<waleee-cl> hm, do you perhaps know Bjarni?
<Leonidas> nah, half of the people here are from/in scandinavia it seems
<olle_> Leonidas: hm hm
<olle_> waleee-cl: he works there?
<olle_> waleee-cl: my friend kjell was doing his phd in erlang etc, but he works at ericsson now
<waleee-cl> If it's the Bjarni J___ so yeah
<waleee-cl> s/the//
<olle_> link?
<waleee-cl> he's working as a technican doing hardware repairs so I don
<waleee-cl> *'t think he has a uu.se profile
<olle_> ah
<waleee-cl> * and some software stuff from what I understand (on the instruments)
<olle_> kk
peterbb has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
jco has joined #ocaml
<jco> Hello!
<zozozo> hi !
<jco> When we're making a post request with the Cohttp-lwt as client, can we know which port is used?
<zozozo> I guess the port can be specified in the uri provided ?
<zozozo> or dou you want to know the port on the local machine that was used to send the request ?
artymort has joined #ocaml
<jco> zozozo: right, if we know the port of the server beforehand
<jco> yes, that's the port of the local machine that interest us
<zozozo> hm.. I don't know, that seems complicated and probably not part of the regular API I'd guess, maybe ask on the discuss forum ?
<zozozo> (there are more people on the forum and it is far too easy to not spot questions in an irc backlog, :p )
Haudegen has joined #ocaml
<olle_> would this be enough to infer ownership:
<olle_> let a = new A
<olle_> a owns A
<olle_> let b = a (forbidden)
<olle_> let a- = f(a) (f borrows a)
<olle_> return a (only allowed if a is owned)
<olle_> urgh, should be `let _ = f(a)`
<jco> zozozo: thanks, it's because the program is running in a docker image and for some reason the request aren't sent
<jco> so it's more related to docker in fact
<zozozo> ah..
<jco> yes, thought we could hack ocaml side but it's really docker this time :(
peterbb has quit [Quit: peterbb]
oriba has joined #ocaml
jco has quit [Ping timeout: 260 seconds]
DanC has quit [Ping timeout: 260 seconds]
DanC has joined #ocaml
ggole has joined #ocaml
urek has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
kleisli has quit [Ping timeout: 240 seconds]
octachron_ is now known as octachron
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
vicfred has joined #ocaml
Haudegen has joined #ocaml
oriba has quit [*.net *.split]
chripell has quit [*.net *.split]
narimiran has quit [*.net *.split]
emias has quit [*.net *.split]
tianon has quit [*.net *.split]
lubegasimon[m] has quit [*.net *.split]
rom1504 has quit [*.net *.split]
andreas303 has quit [*.net *.split]
nicoo has quit [*.net *.split]
cantstanya has quit [*.net *.split]
cgenie[m] has quit [*.net *.split]
khady[m]1 has quit [*.net *.split]
narimiran has joined #ocaml
oriba has joined #ocaml
chripell has joined #ocaml
andreas303 has joined #ocaml
emias has joined #ocaml
nicoo has joined #ocaml
cgenie[m] has joined #ocaml
lubegasimon[m] has joined #ocaml
khady[m]1 has joined #ocaml
rom1504 has joined #ocaml
cantstanya has joined #ocaml
tianon has joined #ocaml
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
olle_ has quit [Ping timeout: 264 seconds]
dckc_ has quit [Ping timeout: 264 seconds]
dash has quit [Ping timeout: 246 seconds]
Manis[m] has quit [Ping timeout: 246 seconds]
camlriot42 has quit [Ping timeout: 246 seconds]
cgenie[m] has quit [Ping timeout: 244 seconds]
khady[m]1 has quit [Ping timeout: 244 seconds]
lubegasimon[m] has quit [Ping timeout: 252 seconds]
aecepoglu[m] has quit [Ping timeout: 240 seconds]
foocraft[m] has quit [Ping timeout: 240 seconds]
labor[m]1 has quit [Ping timeout: 244 seconds]
lnxw37d4 has quit [Ping timeout: 260 seconds]
flux1 has quit [Ping timeout: 240 seconds]
andreas303 has quit [Ping timeout: 240 seconds]
neheist2 has quit [Read error: Connection reset by peer]
dckc_ has joined #ocaml
peddie has quit [Ping timeout: 240 seconds]
aspiwack[m] has quit [Ping timeout: 240 seconds]
prsafont[m] has quit [Ping timeout: 240 seconds]
jimt[m] has quit [Ping timeout: 246 seconds]
sepp2k has quit [Ping timeout: 246 seconds]
bglm[m] has quit [Ping timeout: 256 seconds]
andreas303 has joined #ocaml
nostrooo has joined #ocaml
nostrooo has quit [Read error: Connection timed out]
waleee-cl has quit [Quit: Connection closed for inactivity]
muskan has joined #ocaml
C-16 has quit [Quit: leaving]
chripell has quit [Ping timeout: 240 seconds]
andreas303 has quit [Remote host closed the connection]
camlriot42 has joined #ocaml
flux1 has joined #ocaml
peddie has joined #ocaml
dash has joined #ocaml
prsafont[m] has joined #ocaml
labor[m] has joined #ocaml
lnxw37d4 has joined #ocaml
aspiwack[m] has joined #ocaml
bglm[m] has joined #ocaml
khady[m] has joined #ocaml
jimt[m] has joined #ocaml
Manis[m] has joined #ocaml
cgenie[m] has joined #ocaml
sepp2k has joined #ocaml
lubegasimon[m] has joined #ocaml
foocraft[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
muskan has quit [Ping timeout: 245 seconds]
nullcone has joined #ocaml
nullcone is now known as Guest54422
muskan has joined #ocaml
muskan has quit [Ping timeout: 245 seconds]
muskan has joined #ocaml
andreas303 has joined #ocaml
vicfred_ has joined #ocaml
vicfred has quit [Ping timeout: 246 seconds]
Supersphere1 has joined #ocaml
Supersphere1 has quit [Killed (Sigyn (Stay safe off irc))]
Guest54422 has quit []
Guest54422 has joined #ocaml
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
waleee-cl has joined #ocaml
muskan has quit [Ping timeout: 245 seconds]
amiloradovsky has joined #ocaml
<olle> Drup: thanks for the feedback earlier! pretty amazing to have access to a language theory researcher like that :)
<Drup> :)
<Drup> (do keep in mind that while I try to stay up to date on topic relevants to my interests, there are things I'll not have seen :p)
kleisli has joined #ocaml
urek_ has joined #ocaml
urek has quit [Read error: Connection reset by peer]
amiloradovsky has quit [Ping timeout: 240 seconds]
oriba has joined #ocaml
mbuf has quit [Quit: Leaving]
narimiran has quit [Ping timeout: 240 seconds]
ggole has quit [Quit: Leaving]
<olle> sure sure
vicfred_ has quit [Quit: Leaving]
bytesighs has quit [Ping timeout: 265 seconds]
bytesighs has joined #ocaml
Serpent7776 has quit [Quit: leaving]
tane has quit [Quit: Leaving]
vicfred has joined #ocaml
eagleflo has quit [Read error: Connection reset by peer]