<
olle>
or infer ownership
oriba has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
olle has joined #ocaml
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 joined #ocaml
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_>
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_>
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 :)
<
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//
<
waleee-cl>
he's working as a technican doing hardware repairs so I don
<
waleee-cl>
*'t think he has a uu.se profile
<
waleee-cl>
* and some software stuff from what I understand (on the instruments)
peterbb has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
jco has joined #ocaml
<
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_>
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
<
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
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>
(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]
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]