inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 256 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
aaaaaa has joined #ocaml
jbrown has quit [Ping timeout: 258 seconds]
ollehar has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
kvda has joined #ocaml
delysin_ is now known as delysin
chripell__ has joined #ocaml
chripell_ has quit [Read error: Connection reset by peer]
kleisli has joined #ocaml
osa1 has joined #ocaml
Haudegen has joined #ocaml
Haudegen has quit [Ping timeout: 260 seconds]
kvda has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
kvda has joined #ocaml
kleisli has quit [Ping timeout: 244 seconds]
_whitelogger has joined #ocaml
nullcone has quit [*.net *.split]
lubegasimon[m] has quit [*.net *.split]
jimt[m] has quit [*.net *.split]
labor[m] has quit [*.net *.split]
bytesighs has quit [*.net *.split]
rdivyanshu_ has quit [*.net *.split]
adi_________ has quit [*.net *.split]
chripell__ has quit [*.net *.split]
vicfred has quit [*.net *.split]
shmibs has quit [*.net *.split]
mrallen1 has quit [*.net *.split]
copy has quit [*.net *.split]
TakinOver has quit [*.net *.split]
Amaan has quit [*.net *.split]
zv has quit [*.net *.split]
schlaftier has quit [*.net *.split]
rks` has quit [*.net *.split]
theblatte has quit [*.net *.split]
Niamkik has quit [*.net *.split]
Madars has quit [*.net *.split]
mal`` has quit [*.net *.split]
mgsk has quit [*.net *.split]
trn has quit [*.net *.split]
cthuluh has quit [*.net *.split]
porchetta has quit [*.net *.split]
sagax has quit [*.net *.split]
def has quit [*.net *.split]
strmpnk has quit [*.net *.split]
artymort has quit [*.net *.split]
madroach has quit [*.net *.split]
vsiles has quit [*.net *.split]
runawayfive has quit [*.net *.split]
TC01 has quit [*.net *.split]
dx has quit [*.net *.split]
DanielRichman has quit [*.net *.split]
adrien has quit [*.net *.split]
sepp2k has quit [*.net *.split]
ebb has quit [*.net *.split]
thizanne has quit [*.net *.split]
iZsh has quit [*.net *.split]
osa1 has quit [*.net *.split]
govg has quit [*.net *.split]
robi has quit [*.net *.split]
p4bl0 has quit [*.net *.split]
engil has quit [*.net *.split]
johnel has quit [*.net *.split]
jeroud has quit [*.net *.split]
wildsebastian has quit [*.net *.split]
angerman has quit [*.net *.split]
mjvoge02 has quit [*.net *.split]
eterps has quit [*.net *.split]
adrianbrink has quit [*.net *.split]
chewbranca has quit [*.net *.split]
bartholin has quit [*.net *.split]
webshinra has quit [*.net *.split]
Drup has quit [*.net *.split]
breitenj has quit [*.net *.split]
zozozo has quit [*.net *.split]
theglass has quit [*.net *.split]
xvilka has quit [*.net *.split]
vodkaInferno has quit [*.net *.split]
raver has quit [*.net *.split]
taharqa has quit [*.net *.split]
h11 has quit [*.net *.split]
eagleflo has quit [*.net *.split]
octachron has quit [*.net *.split]
rpcope has quit [*.net *.split]
notnotdan has quit [*.net *.split]
cgenie[m] has quit [*.net *.split]
Manis[m] has quit [*.net *.split]
peddie has quit [*.net *.split]
aspiwack[m] has quit [*.net *.split]
heredoc has quit [*.net *.split]
artart78 has quit [*.net *.split]
delysin has quit [*.net *.split]
reynir has quit [*.net *.split]
lix has quit [*.net *.split]
kini has quit [*.net *.split]
landonf has quit [*.net *.split]
tobiasBora2 has quit [*.net *.split]
srax has quit [*.net *.split]
zq has quit [*.net *.split]
asm89 has quit [*.net *.split]
pippijn has quit [*.net *.split]
Khady has quit [*.net *.split]
ksft has quit [*.net *.split]
l1x has quit [*.net *.split]
stux|RC has quit [*.net *.split]
so has quit [*.net *.split]
ahf has quit [*.net *.split]
tmhoang has quit [*.net *.split]
rwmjones has quit [*.net *.split]
ziman has quit [*.net *.split]
cranix has quit [*.net *.split]
dckc has quit [*.net *.split]
aaaaaa has quit [*.net *.split]
Tekk_ has quit [*.net *.split]
ansiwen has quit [*.net *.split]
White_Flame has quit [*.net *.split]
Leonidas has quit [*.net *.split]
kandu has quit [*.net *.split]
SquidDev has quit [*.net *.split]
troydm has quit [*.net *.split]
valtr has quit [*.net *.split]
Exagone314 has quit [*.net *.split]
haskell_enthusia has quit [*.net *.split]
tizoc has quit [*.net *.split]
runciter has quit [*.net *.split]
Ankhers has quit [*.net *.split]
jgkamat has quit [*.net *.split]
lobo has quit [*.net *.split]
_habnabit has quit [*.net *.split]
jerith has quit [*.net *.split]
abc_ has quit [*.net *.split]
kit_ty_kate has quit [*.net *.split]
foocraft[m] has quit [*.net *.split]
lnxw37d4 has quit [*.net *.split]
cross has quit [*.net *.split]
vesper11 has quit [*.net *.split]
rom1504 has quit [*.net *.split]
jun has quit [*.net *.split]
swapnilraj[m] has quit [*.net *.split]
Boarders has quit [*.net *.split]
bglm[m] has quit [*.net *.split]
stephe has quit [*.net *.split]
sspi__ has quit [*.net *.split]
haesbaert has quit [*.net *.split]
cemerick has quit [*.net *.split]
RalfJ has quit [*.net *.split]
hannes has quit [*.net *.split]
infinity0 has quit [*.net *.split]
Duns_Scrotus has quit [*.net *.split]
jmct has quit [*.net *.split]
ec has quit [*.net *.split]
catern has quit [*.net *.split]
rntz2 has quit [*.net *.split]
dmbaturin has quit [*.net *.split]
_tjr_ has quit [*.net *.split]
tianon has quit [*.net *.split]
kvda has quit [*.net *.split]
ollehar has quit [*.net *.split]
inkbottle has quit [*.net *.split]
Jesin has quit [*.net *.split]
rak has quit [*.net *.split]
CcxWrk has quit [*.net *.split]
greenbagels has quit [*.net *.split]
averell has quit [*.net *.split]
emias has quit [*.net *.split]
wagle has quit [*.net *.split]
dckc_ has quit [*.net *.split]
towel has quit [*.net *.split]
ocabot has quit [*.net *.split]
companion_cube has quit [*.net *.split]
nore has quit [*.net *.split]
maker has quit [*.net *.split]
Armael has quit [*.net *.split]
damienkrine[m] has quit [*.net *.split]
camlriot42 has quit [*.net *.split]
dash has quit [*.net *.split]
_whitelogger has joined #ocaml
flux has quit [Ping timeout: 260 seconds]
l1x has joined #ocaml
andreas303 has quit [Ping timeout: 240 seconds]
jgkamat has joined #ocaml
haskell_enthusia has joined #ocaml
kit_ty_kate has joined #ocaml
Exagone314 has joined #ocaml
troydm has joined #ocaml
runciter has joined #ocaml
tizoc has joined #ocaml
_habnabit has joined #ocaml
Ankhers has joined #ocaml
abc_ has joined #ocaml
jerith has joined #ocaml
lobo has joined #ocaml
labor[m] has joined #ocaml
lubegasimon[m] has joined #ocaml
bytesighs has joined #ocaml
rdivyanshu_ has joined #ocaml
adi_________ has joined #ocaml
jimt[m] has joined #ocaml
l1x has quit [Changing host]
l1x has joined #ocaml
rfv has quit [Ping timeout: 261 seconds]
terrorjack has quit [Ping timeout: 261 seconds]
tmhoang has joined #ocaml
strmpnk has joined #ocaml
TC01 has joined #ocaml
porchetta has joined #ocaml
def has joined #ocaml
runawayfive has joined #ocaml
vsiles has joined #ocaml
mgsk has joined #ocaml
dx has joined #ocaml
artymort has joined #ocaml
madroach has joined #ocaml
DanielRichman has joined #ocaml
adrien has joined #ocaml
sagax has joined #ocaml
wildsebastian has joined #ocaml
vodkaInferno has joined #ocaml
breitenj has joined #ocaml
Drup has joined #ocaml
theglass has joined #ocaml
zozozo has joined #ocaml
xvilka has joined #ocaml
mjvoge02 has joined #ocaml
jeroud has joined #ocaml
webshinra has joined #ocaml
adrianbrink has joined #ocaml
angerman has joined #ocaml
eterps has joined #ocaml
bartholin has joined #ocaml
chewbranca has joined #ocaml
osa1 has joined #ocaml
govg has joined #ocaml
engil has joined #ocaml
robi has joined #ocaml
p4bl0 has joined #ocaml
johnel has joined #ocaml
dckc has joined #ocaml
aaaaaa has joined #ocaml
ansiwen has joined #ocaml
Tekk_ has joined #ocaml
Leonidas has joined #ocaml
White_Flame has joined #ocaml
SquidDev has joined #ocaml
kandu has joined #ocaml
valtr has joined #ocaml
SrPx has joined #ocaml
ahf has joined #ocaml
stux|RC has joined #ocaml
ksft has joined #ocaml
so has joined #ocaml
ziman has joined #ocaml
cranix has joined #ocaml
rwmjones has joined #ocaml
vicfred has joined #ocaml
TakinOver has joined #ocaml
copy has joined #ocaml
zv has joined #ocaml
Amaan has joined #ocaml
rks` has joined #ocaml
theblatte has joined #ocaml
trn has joined #ocaml
chripell__ has joined #ocaml
Niamkik has joined #ocaml
shmibs has joined #ocaml
schlaftier has joined #ocaml
mal`` has joined #ocaml
Madars has joined #ocaml
cthuluh has joined #ocaml
peddie has quit [Ping timeout: 244 seconds]
aspiwack[m] has quit [Ping timeout: 244 seconds]
jimt[m] has quit [Ping timeout: 246 seconds]
labor[m] has quit [Ping timeout: 246 seconds]
stux|RC has quit [Max SendQ exceeded]
vicfred has quit [Max SendQ exceeded]
lubegasimon[m] has quit [Ping timeout: 246 seconds]
bitonic has joined #ocaml
JSharp has quit [Ping timeout: 244 seconds]
vicfred has joined #ocaml
bitonic has quit [Changing host]
bitonic has joined #ocaml
nullcone has joined #ocaml
Boarders has quit [Ping timeout: 259 seconds]
Manis[m] has quit [Remote host closed the connection]
foocraft[m] has quit [Remote host closed the connection]
stux|RC has joined #ocaml
andreas303 has joined #ocaml
Boarders has joined #ocaml
chewbranca has quit [Ping timeout: 272 seconds]
stephe has quit [Ping timeout: 240 seconds]
so has quit [Ping timeout: 246 seconds]
Amaan has quit [Ping timeout: 264 seconds]
cross has quit [Ping timeout: 260 seconds]
Amaan has joined #ocaml
stephe has joined #ocaml
JSharp has joined #ocaml
ksft has quit [Ping timeout: 246 seconds]
cross has joined #ocaml
chewbranca has joined #ocaml
rfv has joined #ocaml
camlriot42 has joined #ocaml
terrorjack has joined #ocaml
ksft has joined #ocaml
so has joined #ocaml
bglm[m] has joined #ocaml
prsafont[m] has joined #ocaml
labor[m] has joined #ocaml
jimt[m] has joined #ocaml
peddie has joined #ocaml
flux has joined #ocaml
dash has joined #ocaml
stan[m] has joined #ocaml
lnxw37d4 has joined #ocaml
aspiwack[m] has joined #ocaml
lubegasimon[m] has joined #ocaml
aecepoglu[m] has joined #ocaml
sepp2k has joined #ocaml
swapnilraj[m] has joined #ocaml
foocraft[m] has joined #ocaml
damienkrine[m] has joined #ocaml
Manis[m] has joined #ocaml
cgenie[m] has joined #ocaml
dborisog has joined #ocaml
kleisli has joined #ocaml
vicfred has quit [Quit: Leaving]
_whitelogger has joined #ocaml
narimiran has joined #ocaml
Serpent7776 has joined #ocaml
dckc has quit [Ping timeout: 256 seconds]
sarna has joined #ocaml
dckc has joined #ocaml
vicfred has joined #ocaml
mbuf has joined #ocaml
Haudegen has joined #ocaml
ggole has joined #ocaml
chripell__ has quit [Remote host closed the connection]
chripell__ has joined #ocaml
<
Leonidas>
is @, the same as @;<0 0>?
olle has joined #ocaml
andreas303 has quit [Remote host closed the connection]
<
Leonidas>
Ahh, cool, thanks!
andreas303 has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
osa1 has quit [Ping timeout: 272 seconds]
brown121407 has joined #ocaml
<
olle>
so, typestate and loops...
<
Drup>
olle: yes, indeed.
osa1 has joined #ocaml
jbrown has joined #ocaml
jbrown has quit [Remote host closed the connection]
nullcone has quit [Quit: Connection closed for inactivity]
<
olle>
also can't deal with a required "last step" in a typestate chain, e.g. commiting a transaction.
<
olle>
maybe it's possible to define "dangling" state, e.g. invalid state at end-of-scope :d
govg has quit [*.net *.split]
robi has quit [*.net *.split]
p4bl0 has quit [*.net *.split]
engil has quit [*.net *.split]
johnel has quit [*.net *.split]
kleisli has quit [Ping timeout: 260 seconds]
govg has joined #ocaml
robi has joined #ocaml
p4bl0 has joined #ocaml
engil has joined #ocaml
johnel has joined #ocaml
chripell_ has joined #ocaml
chripell__ has quit [Read error: Connection reset by peer]
jbrown has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
muskan has joined #ocaml
chripell_ has quit [Remote host closed the connection]
chripell_ has joined #ocaml
<
olle>
heh. if you google "dependency injection ownership semantics" you will know find my blog post xD
<
sarna>
olle: whew, PHP has traits now?
<
olle>
sarna: since long time
<
olle>
sarna: they just merged match-expressions to PHP 8 :)
<
sarna>
olle: omw to tell my rust friend they're coding in a statically-typed dialect of PHP :)
<
sarna>
olle: by the way, does OCaml have a solution for this? I've searched for linear types, a couple of seemingly abandoned projects popped up..
<
olle>
sarna: i'm not supposed to talk about it...
<
olle>
sarna: but there's a forum thread
<
sarna>
olle: a top-secret one?
<
olle>
no, it's public, sec
<
olle>
couple of links to follow
<
sarna>
olle: thanks! can't wait to waste my time on this
Manis[m]1 has joined #ocaml
Manis[m] has quit [Ping timeout: 256 seconds]
terrorjack has quit [Ping timeout: 256 seconds]
cbarrett has quit [Ping timeout: 256 seconds]
<
olle>
sarna: btw, php can be statically typed too - there are three different analyzers available
<
sarna>
olle: hoo boy!
<
sarna>
one from facebook, right?
Geekingfrog has quit [Ping timeout: 256 seconds]
Geekingfrog_ has joined #ocaml
terrorjack has joined #ocaml
<
olle>
sarna: no, that's hacklang, it's not PHP compatible anymore
sadiq has quit [Ping timeout: 256 seconds]
cbarrett has joined #ocaml
sadiq_ has joined #ocaml
chewbranca has quit [Ping timeout: 256 seconds]
chripell_ has quit [Remote host closed the connection]
stux|RC has quit [Ping timeout: 256 seconds]
stux|RC has joined #ocaml
chripell_ has joined #ocaml
chewbranca has joined #ocaml
<
sarna>
olle: oh well. I didn't like any type checker for a dynamic lang I'd used - they were annoying and lied to me :^)
stux|RC-only has quit [Ping timeout: 256 seconds]
<
olle>
can be false positives, yes
Geekingfrog_ is now known as Geekingfrog
stux|RC-only has joined #ocaml
malc_ has joined #ocaml
osa1 has quit [Remote host closed the connection]
nicoo has quit [Remote host closed the connection]
muskan has quit [Ping timeout: 245 seconds]
nicoo has joined #ocaml
sarna has quit [Quit: Connection closed]
chripell_ has quit [Remote host closed the connection]
osa1 has joined #ocaml
dckc has quit [Ping timeout: 246 seconds]
chripell_ has joined #ocaml
dckc has joined #ocaml
jco has joined #ocaml
vikfret has joined #ocaml
<
jco>
Ok, so when we have pattern match on a record holding an option in a field
<
jco>
ah okay, solved my question
tane has joined #ocaml
olle has quit [Ping timeout: 258 seconds]
chripell_ has quit [Remote host closed the connection]
chripell has joined #ocaml
osa1 has quit [Ping timeout: 240 seconds]
chripell has quit [Quit: Leaving]
chripell has joined #ocaml
chripell has quit [Client Quit]
chripell has joined #ocaml
chripell has quit [Client Quit]
chripell has joined #ocaml
waleee-cl has joined #ocaml
andreas303 has quit [Remote host closed the connection]
jco has quit [Ping timeout: 258 seconds]
andreas303 has joined #ocaml
chripell has joined #ocaml
chripell has quit [Client Quit]
chripell has joined #ocaml
chripell has quit [Client Quit]
chripell has joined #ocaml
chripell has quit [Client Quit]
chripell has joined #ocaml
osa1 has joined #ocaml
osa1 has quit [Remote host closed the connection]
nullcone has joined #ocaml
aaaaaa has quit [Ping timeout: 256 seconds]
madroach_ has joined #ocaml
madroach has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
jnavila has quit [Remote host closed the connection]
jnavila has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
jnavila has joined #ocaml
Hrundi_V_Bakshi has joined #ocaml
solarliner has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
solarliner has quit [Ping timeout: 272 seconds]
dborisog has quit [Ping timeout: 260 seconds]
mbuf has quit [Quit: Leaving]
Anarchos has joined #ocaml
TC01 has quit [Ping timeout: 256 seconds]
TC01 has joined #ocaml
brown121407 has quit [Remote host closed the connection]
C-16 has joined #ocaml
narimiran has quit [Ping timeout: 258 seconds]
_whitelogger has joined #ocaml
ggole has quit [Quit: Leaving]
malc_ has quit [Ping timeout: 264 seconds]
solarliner has joined #ocaml
malc_ has joined #ocaml
aaaaaa has joined #ocaml
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
Haudegen has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
solarliner_ has joined #ocaml
solarliner has quit [Ping timeout: 256 seconds]
solarliner_ is now known as solarliner
solarliner_ has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
solarliner has quit [Ping timeout: 258 seconds]
solarliner_ is now known as solarliner
aaaaaa has left #ocaml [#ocaml]
kleisli has joined #ocaml
sagax has quit [Remote host closed the connection]
solarliner has quit [Remote host closed the connection]
malc_ has quit [Ping timeout: 240 seconds]
tane has quit [Quit: Leaving]
malc_ has joined #ocaml
porchetta has quit [Ping timeout: 256 seconds]