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
sleepydog has joined #ocaml
<sleepydog> I'm seeing that the www.ocaml.org certificate is expired today
olle has quit [Ping timeout: 258 seconds]
olle has joined #ocaml
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
dborisog has joined #ocaml
<ebb> That's funny - the opam.ocaml.org certificate expired something like 2 months ago
waleee-cl has quit [Quit: Connection closed for inactivity]
mfp has quit [Ping timeout: 256 seconds]
sagax has quit [Read error: Connection reset by peer]
sagax has joined #ocaml
nullcone has joined #ocaml
andreas303 has quit [Remote host closed the connection]
andreas303 has joined #ocaml
_whitelogger has joined #ocaml
nullcone has quit [Quit: Connection closed for inactivity]
olle_ has joined #ocaml
dborisog has quit [Ping timeout: 246 seconds]
Serpent7776 has joined #ocaml
narimiran has joined #ocaml
mbuf has joined #ocaml
chripell has joined #ocaml
lix has joined #ocaml
Anarchos has joined #ocaml
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 246 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Anarchos has joined #ocaml
narimiran has quit [Ping timeout: 256 seconds]
<Leonidas> happens all the time :(
dborisog has joined #ocaml
neheist2 has joined #ocaml
narimiran has joined #ocaml
<flux1> and it's even letsencrypt. should work as long as the cronjob/systemd timer doesn't bork, right?
<flux1> how come you guys didn't file an issue?-)
<flux1> ah, that's not the issue actually, is it? the problem is this: https://github.com/ocaml/ocaml.org/issues/1089
<flux1> suuch an old issue.. they should just nuke the domain if they're not going to provide a cert for it :/
<flux1> ebb: opam.ocaml.org works for me(TM)
inkbottle has joined #ocaml
zebrag has quit [Ping timeout: 260 seconds]
<ebb> > 2 months ago
<ebb> It has since been fixed thankfully
<ebb> Everyone's package downloads would have suffered otherwise :)
mfp has joined #ocaml
waleee-cl has joined #ocaml
narimiran has quit [Ping timeout: 240 seconds]
narimiran has joined #ocaml
dborisog has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
jbrown has quit [Ping timeout: 265 seconds]
jbrown has joined #ocaml
Anarchos has joined #ocaml
zebrag has joined #ocaml
inkbottle has quit [Ping timeout: 246 seconds]
tane has joined #ocaml
oriba has joined #ocaml
ggole has joined #ocaml
dborisog has joined #ocaml
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
Haudegen has joined #ocaml
ggole has quit [Ping timeout: 244 seconds]
FreeBirdLjj has joined #ocaml
dckc- has quit [Ping timeout: 260 seconds]
DanC has joined #ocaml
sleepydog has quit [Read error: Connection reset by peer]
emias has quit [Quit: WeeChat 2.3]
peterbb has quit [Quit: peterbb]
FreeBirdLjj has quit [Remote host closed the connection]
vicfred has quit [Quit: Leaving]
vicfred has joined #ocaml
waleee-cl has quit [Quit: Connection closed for inactivity]
7F1AAHFXN has quit [Ping timeout: 240 seconds]
dckc_ has joined #ocaml
FreeBirdLjj has joined #ocaml
nullcone has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
artymort has joined #ocaml
olle_ has quit [Ping timeout: 265 seconds]
kleisli has quit [Remote host closed the connection]
kleisli has joined #ocaml
chripell has quit [Ping timeout: 246 seconds]
artymort has quit [Remote host closed the connection]
waleee-cl has joined #ocaml
superherointj has joined #ocaml
<superherointj> Hello. When defining a type of a module that is used as a functor, can I define the type of parameter? Like this: https://gist.github.com/superherointj/836887570c0c3e3caf7bc0b0febd00ea
<superherointj> I meant, 'module signature'.
dborisog has quit [Ping timeout: 264 seconds]
superherointj has quit [Quit: Leaving]
jnavila has joined #ocaml
kleisli has quit [Ping timeout: 258 seconds]
<olle> did anyone read the first book about type theory?
<olle> superheroin ?
<olle> bah, offline
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
jnavila has quit [Quit: Konversation terminated!]
<waleee-cl> olle: which books?
amiloradovsky has joined #ocaml
kleisli has joined #ocaml
<olle> waleee-cl: bertrand russell
Jesin has quit [Quit: Leaving]
Jesin has joined #ocaml
<olle> how hard is it to track aliasing?
<olle> in a type-system
<companion_cube> you mean… linear types? :D
<olle> in case of not linear types :d
<olle> in a non-functional language
<olle> the analyzer Psalm has functionality to change type of incoming argument, but of course it can't handle references
<olle> so it changes a file resource to type `closed-resource`
<olle> this is for PHP, btw
<olle> fclose($filehandler) ---> $filehandler : closed-resource
mbuf has quit [Quit: Leaving]
<simpson> olle: `if goldbach_is_true() then copy(handle) else handle` witnesses a Rice's-theorem-style approach to why this isn't possible. It is as hard as Halting to know whether a copy will be made.
<olle> hm
<olle> simpson: but whether or not a copy is made is only relevant if the copy is used
<olle> shouldn't it be possible to track all alias within a block (scope)?
<simpson> Try it and see; it turns out to be tricky.
<olle> ^^
<olle> simpson: what about the other way around: you tag variables that should not be able to alias, and the program fails if non-alias cannot be guaranteed.
<olle> simpson: so `copy(handle)` must NOT modify handle.
<simpson> olle: Sure. You may find that the only guarantee that you can produce is that, if you have a class with a single mutable slot and a method which applies transformations to that slot, then you can simulate linear typing and convince your type-checker of it.
<olle> simpson: aliasing can only call pure methods, then?
<olle> idk
narimiran has quit [Ping timeout: 260 seconds]
jbrown has quit [Ping timeout: 258 seconds]
jbrown has joined #ocaml
Serpent7776 has quit [Quit: leaving]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
oriba has joined #ocaml
emias has joined #ocaml
tane has quit [Quit: Leaving]
jbrown has quit [Ping timeout: 240 seconds]
<olle> 1908, “Mathematical logic as based on the theory of types
amiloradovsky has quit [Ping timeout: 260 seconds]
oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]
Haudegen has quit [Quit: Bin weg.]
<olle> what about simply forbid alias for objects with typestate?
<olle> aliasing*