00:16
sleepydog has joined #ocaml
00:43
olle has quit [Ping timeout: 258 seconds]
00:44
olle has joined #ocaml
00:57
kleisli has quit [Remote host closed the connection]
00:57
kleisli has joined #ocaml
02:00
dborisog has joined #ocaml
02:22
<
ebb >
That's funny - the opam.ocaml.org certificate expired something like 2 months ago
02:28
waleee-cl has quit [Quit: Connection closed for inactivity]
02:37
mfp has quit [Ping timeout: 256 seconds]
02:44
sagax has quit [Read error: Connection reset by peer]
02:50
sagax has joined #ocaml
03:07
nullcone has joined #ocaml
05:00
andreas303 has quit [Remote host closed the connection]
05:03
andreas303 has joined #ocaml
05:09
_whitelogger has joined #ocaml
05:25
nullcone has quit [Quit: Connection closed for inactivity]
05:37
olle_ has joined #ocaml
05:38
dborisog has quit [Ping timeout: 246 seconds]
06:10
Serpent7776 has joined #ocaml
06:20
narimiran has joined #ocaml
06:25
mbuf has joined #ocaml
06:54
chripell has joined #ocaml
07:05
lix has joined #ocaml
07:22
Anarchos has joined #ocaml
08:04
zebrag has joined #ocaml
08:04
inkbottle has quit [Ping timeout: 246 seconds]
08:13
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
08:13
Anarchos has joined #ocaml
08:25
narimiran has quit [Ping timeout: 256 seconds]
08:32
<
Leonidas >
happens all the time :(
08:45
dborisog has joined #ocaml
08:55
neheist2 has joined #ocaml
09:03
narimiran has joined #ocaml
09:07
<
flux1 >
and it's even letsencrypt. should work as long as the cronjob/systemd timer doesn't bork, right?
09:08
<
flux1 >
how come you guys didn't file an issue?-)
09:09
<
flux1 >
suuch an old issue.. they should just nuke the domain if they're not going to provide a cert for it :/
09:14
<
flux1 >
ebb: opam.ocaml.org works for me(TM)
09:16
inkbottle has joined #ocaml
09:17
zebrag has quit [Ping timeout: 260 seconds]
09:29
<
ebb >
> 2 months ago
09:29
<
ebb >
It has since been fixed thankfully
09:30
<
ebb >
Everyone's package downloads would have suffered otherwise :)
09:46
mfp has joined #ocaml
09:47
waleee-cl has joined #ocaml
09:56
narimiran has quit [Ping timeout: 240 seconds]
10:07
narimiran has joined #ocaml
10:15
dborisog has quit [Ping timeout: 260 seconds]
10:22
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
10:40
jbrown has quit [Ping timeout: 265 seconds]
10:45
jbrown has joined #ocaml
11:15
Anarchos has joined #ocaml
11:24
zebrag has joined #ocaml
11:24
inkbottle has quit [Ping timeout: 246 seconds]
11:45
tane has joined #ocaml
11:51
oriba has joined #ocaml
11:58
ggole has joined #ocaml
13:22
dborisog has joined #ocaml
13:26
Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]
13:27
Haudegen has joined #ocaml
13:34
ggole has quit [Ping timeout: 244 seconds]
14:11
FreeBirdLjj has joined #ocaml
14:18
dckc- has quit [Ping timeout: 260 seconds]
14:19
DanC has joined #ocaml
14:33
sleepydog has quit [Read error: Connection reset by peer]
15:04
emias has quit [Quit: WeeChat 2.3]
15:42
peterbb has quit [Quit: peterbb]
15:54
FreeBirdLjj has quit [Remote host closed the connection]
16:04
vicfred has quit [Quit: Leaving]
16:04
vicfred has joined #ocaml
16:15
waleee-cl has quit [Quit: Connection closed for inactivity]
16:16
7F1AAHFXN has quit [Ping timeout: 240 seconds]
16:17
dckc_ has joined #ocaml
16:52
FreeBirdLjj has joined #ocaml
16:53
nullcone has joined #ocaml
16:57
FreeBirdLjj has quit [Remote host closed the connection]
17:18
artymort has joined #ocaml
17:18
olle_ has quit [Ping timeout: 265 seconds]
17:38
kleisli has quit [Remote host closed the connection]
17:39
kleisli has joined #ocaml
17:43
chripell has quit [Ping timeout: 246 seconds]
17:58
artymort has quit [Remote host closed the connection]
18:03
waleee-cl has joined #ocaml
18:15
superherointj has joined #ocaml
18:17
<
superherointj >
I meant, 'module signature'.
18:18
dborisog has quit [Ping timeout: 264 seconds]
18:32
superherointj has quit [Quit: Leaving]
18:35
jnavila has joined #ocaml
18:37
kleisli has quit [Ping timeout: 258 seconds]
19:05
<
olle >
did anyone read the first book about type theory?
19:11
<
olle >
superheroin ?
19:12
<
olle >
bah, offline
19:29
Jesin has quit [Quit: Leaving]
19:36
Jesin has joined #ocaml
19:50
jnavila has quit [Quit: Konversation terminated!]
19:53
<
waleee-cl >
olle: which books?
19:54
amiloradovsky has joined #ocaml
19:57
kleisli has joined #ocaml
20:04
<
olle >
waleee-cl: bertrand russell
20:10
Jesin has quit [Quit: Leaving]
20:14
Jesin has joined #ocaml
20:22
<
olle >
how hard is it to track aliasing?
20:22
<
olle >
in a type-system
20:23
<
companion_cube >
you mean… linear types? :D
20:23
<
olle >
in case of not linear types :d
20:27
<
olle >
in a non-functional language
20:30
<
olle >
the analyzer Psalm has functionality to change type of incoming argument, but of course it can't handle references
20:30
<
olle >
so it changes a file resource to type `closed-resource`
20:30
<
olle >
this is for PHP, btw
20:31
<
olle >
fclose($filehandler) ---> $filehandler : closed-resource
20:47
mbuf has quit [Quit: Leaving]
20:49
<
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.
20:53
<
olle >
simpson: but whether or not a copy is made is only relevant if the copy is used
20:53
<
olle >
shouldn't it be possible to track all alias within a block (scope)?
20:55
<
simpson >
Try it and see; it turns out to be tricky.
20:57
<
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.
20:58
<
olle >
simpson: so `copy(handle)` must NOT modify handle.
20:58
<
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.
20:59
<
olle >
simpson: aliasing can only call pure methods, then?
21:06
narimiran has quit [Ping timeout: 260 seconds]
21:10
jbrown has quit [Ping timeout: 258 seconds]
21:23
jbrown has joined #ocaml
21:44
Serpent7776 has quit [Quit: leaving]
21:53
oriba has joined #ocaml
22:00
emias has joined #ocaml
22:02
tane has quit [Quit: Leaving]
22:28
jbrown has quit [Ping timeout: 240 seconds]
22:30
<
olle >
1908, “Mathematical logic as based on the theory of types
22:48
amiloradovsky has quit [Ping timeout: 260 seconds]
23:12
Haudegen has quit [Quit: Bin weg.]
23:23
<
olle >
what about simply forbid alias for objects with typestate?