#ocaml on 2020-06-30 — irc logs at freenode.irclog.whitequark.org

2019-09-26 12:04 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

00:30 jmagnusj has joined #ocaml

00:55 rock64 has quit [Ping timeout: 265 seconds]

00:57 rock64 has joined #ocaml

01:06 mfp has quit [Ping timeout: 256 seconds]

01:36 dckc has quit [Ping timeout: 256 seconds]

01:41 dckc has joined #ocaml

02:24 rdivyanshu__ has joined #ocaml

02:25 rdivyanshu_ has quit [Ping timeout: 260 seconds]

02:36 rgrinberg has quit [Ping timeout: 272 seconds]

02:36 higherorder has quit [Read error: Connection reset by peer]

02:37 wildsebastian has quit [Ping timeout: 260 seconds]

02:37 caasih has quit [Ping timeout: 260 seconds]

02:38 bytesighs has quit [Ping timeout: 272 seconds]

02:38 higherorder has joined #ocaml

02:39 rgrinberg has joined #ocaml

02:40 wildsebastian has joined #ocaml

02:40 bytesighs has joined #ocaml

02:40 caasih has joined #ocaml

03:30 rdivyanshu__ has quit []

03:31 rdivyanshu__ has joined #ocaml

03:50 dborisog has joined #ocaml

03:54 vicfred has quit [Quit: Leaving]

03:59 nicoo has quit [Remote host closed the connection]

04:00 nicoo has joined #ocaml

04:18 narimiran has joined #ocaml

04:33 jmagnusj has quit [Quit: Leaving]

04:45 waleee-cl has quit [Quit: Connection closed for inactivity]

04:46 kleisli_ has quit [Ping timeout: 260 seconds]

05:05 malc_ has joined #ocaml

05:28 leah2 has joined #ocaml

05:33 mbuf has joined #ocaml

05:41 osa1 has joined #ocaml

05:54 narimiran has quit [Ping timeout: 246 seconds]

06:13 kleisli_ has joined #ocaml

06:28 chripell has joined #ocaml

06:31 Serpent7776 has joined #ocaml

06:53 narimiran has joined #ocaml

07:02 malc_ has quit [Ping timeout: 258 seconds]

07:07 Haudegen has joined #ocaml

07:32 olle has joined #ocaml

08:10 vbmithr has quit [Ping timeout: 264 seconds]

08:10 Anarchos has joined #ocaml

08:12 inkbottle has quit [Quit: Konversation terminated!]

08:13 inkbottle has joined #ocaml

08:29 malc_ has joined #ocaml

08:30 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

08:32 muskan has joined #ocaml

08:38 labor[m] has quit [Quit: killed]

08:38 dash has quit [Quit: killed]

08:38 jimt[m] has quit [Quit: killed]

08:38 camlriot42 has quit [Quit: killed]

08:38 aspiwack[m] has quit [Quit: killed]

08:38 lnxw37d4 has quit [Quit: killed]

08:38 bglm[m] has quit [Quit: killed]

08:38 sepp2k has quit [Quit: killed]

08:38 cgenie[m] has quit [Quit: killed]

08:38 foocraft[m] has quit [Quit: killed]

08:38 flux has quit [Quit: killed]

08:38 Manis[m] has quit [Quit: killed]

08:38 peddie has quit [Quit: killed]

08:38 prsafont[m] has quit [Quit: killed]

08:38 lubegasimon[m] has quit [Quit: killed]

08:38 aecepoglu[m] has quit [Quit: killed]

08:38 damienkrine[m] has quit [Quit: killed]

08:40 Amaan has quit [Ping timeout: 244 seconds]

08:43 Amaan has joined #ocaml

08:49 damienkrine[m] has joined #ocaml

09:02 lnxw37d4 has joined #ocaml

09:02 sepp2k has joined #ocaml

09:02 dash has joined #ocaml

09:02 bglm[m] has joined #ocaml

09:02 aspiwack[m] has joined #ocaml

09:02 prsafont[m] has joined #ocaml

09:02 peddie has joined #ocaml

09:02 camlriot42 has joined #ocaml

09:02 jimt[m] has joined #ocaml

09:02 flux has joined #ocaml

09:02 aecepoglu[m] has joined #ocaml

09:02 labor[m] has joined #ocaml

09:02 lubegasimon[m] has joined #ocaml

09:02 Manis[m] has joined #ocaml

09:02 cgenie[m] has joined #ocaml

09:02 foocraft[m] has joined #ocaml

09:47 muskan has quit [Remote host closed the connection]

09:50 mfp has joined #ocaml

10:03 Haudegen has quit [Ping timeout: 265 seconds]

10:07 malc_ has quit [Ping timeout: 246 seconds]

10:47 breitenj has quit [Quit: Quit]

10:47 breitenj has joined #ocaml

10:49 olle has quit [Ping timeout: 246 seconds]

10:50 olle has joined #ocaml

11:04 muskan has joined #ocaml

11:05 kleisli_ has quit [Ping timeout: 260 seconds]

11:39 osa1 has quit [Remote host closed the connection]

11:42 malc_ has joined #ocaml

11:44 osa1 has joined #ocaml

11:44 osa1 has quit [Remote host closed the connection]

11:45 osa1 has joined #ocaml

11:46 olle_ has joined #ocaml

11:47 Retropikzel has joined #ocaml

11:51 vicfred has joined #ocaml

12:34 osa1_ has joined #ocaml

12:35 osa1 has quit [Ping timeout: 258 seconds]

12:38 brtastic has joined #ocaml

12:38 osa1_ has quit [Ping timeout: 256 seconds]

12:39 osa1 has joined #ocaml

12:53 muskan has quit [Remote host closed the connection]

12:54 muskan has joined #ocaml

13:05 ggole has joined #ocaml

13:07 muskan has quit [Remote host closed the connection]

13:08 muskan has joined #ocaml

13:10 FreeBirdLjj has joined #ocaml

13:14 FreeBirdLjj has quit [Ping timeout: 260 seconds]

13:17 waleee-cl has joined #ocaml

13:54 pgiarrusso has joined #ocaml

13:55 <pgiarrusso> Hi all! I have a few gigabytes of stuff in /home/artifact/.opam/$MY_SWITCH/.opam-switch/build, can I safely remove them? Why are they there, if I haven't used `--keep-build-dir`?

13:56 <companion_cube> `opam clean` I think for some of them

13:56 <companion_cube> opam keeps all sorts of caches

13:57 <pgiarrusso> Thanks, `opam clean` helps

13:58 dckc has quit [Ping timeout: 260 seconds]

13:58 dckc has joined #ocaml

14:00 <pgiarrusso> it's still weird that they were kept, but I'll bug sb else :-)

14:24 <olle_> a second try: syntax for ownership? can we do better than `&` for borrow?

14:29 <companion_cube> on what language?

14:29 <companion_cube> in*

14:31 olle has quit [Ping timeout: 260 seconds]

14:31 olle_ has quit [Ping timeout: 256 seconds]

14:34 <rock64> companion_cube: uh, php

14:34 <rock64> so it must be in a docblock

14:34 <companion_cube> borrowing in php?!

14:34 <rock64> like `@param borrow Order $order`

14:34 <rock64> companion_cube: well :)

14:34 <rock64> companion_cube: Psalm, the PHP analyzer

14:35 <rock64> needed for typestate to make sense.

14:35 <rock64> where typestate = Smalltalk's `become`. :|

14:48 osa1 has quit [Quit: osa1]

14:49 osa1 has joined #ocaml

14:53 <companion_cube> well good luck

14:54 <rock64> php already has escape analysis in its engine

14:55 <rock64> i was hoping it could be used to infer allowed transfer of ownership

14:55 <rock64> but we'll see

14:55 <rock64> it = the same algorithm

15:04 Retropikzel has left #ocaml [#ocaml]

15:05 <theblatte> use separation logic instead?

15:09 <rock64> theblatte: link?

15:10 <rock64> wait

15:10 <rock64> google

15:10 <rock64> hm

15:10 <rock64> psalm already has some light flow analysis for null values

15:13 <theblatte> https://www.cs.ox.ac.uk/people/hongseok.yang/paper/jacm11-biabduction-webversion.pdf

15:14 <theblatte> I'm joking, but it does define a syntax, eg "x |-> * y |->" means you own what x and y point to

15:14 <theblatte> (and x and y don't alias)

15:15 <theblatte> you can encore rust type system in there I think: https://plv.mpi-sws.org/rustbelt/

15:16 <theblatte> encode*

15:16 <rock64> ah

15:19 <rock64> i do have to read how they did the flow analysis

15:19 <rock64> but the attitude of psalm is "something is better than nothing"

15:19 <rock64> or "catch as many errors as possible"

15:19 <rock64> not type soundness in itself

15:19 <rock64> so, typescript...?

15:23 <theblatte> *cough* hacklang *cough*

15:24 <rock64> that one too

15:27 * rock64 ollehar

15:27 rock64 is now known as ollehar

15:27 <ollehar> test

15:27 <ollehar> there

15:50 osa1 has quit [Ping timeout: 240 seconds]

16:02 malc_ has quit [Remote host closed the connection]

16:12 kleisli_ has joined #ocaml

16:13 Haudegen has joined #ocaml

16:35 osa1 has joined #ocaml

16:43 nicoo has quit [Ping timeout: 240 seconds]

16:44 nicoo has joined #ocaml

17:18 Anarchos has joined #ocaml

17:48 mbuf has quit [Quit: Leaving]

17:55 osa1 has quit [Remote host closed the connection]

18:09 kleisli_ has quit [Ping timeout: 240 seconds]

18:26 dborisog_ has joined #ocaml

18:28 dborisog has quit [Ping timeout: 258 seconds]

18:30 oturtle has quit [Ping timeout: 258 seconds]

18:32 ggole has quit [Quit: Leaving]

18:33 vicfred has quit [Ping timeout: 246 seconds]

18:34 Anarchos has quit [Quit: Vision[0.10.3]: i've been blurred!]

18:44 oturtle has joined #ocaml

18:44 chripell has quit [Ping timeout: 256 seconds]

19:25 dborisog_ has quit [Ping timeout: 260 seconds]

19:45 muskan has quit [Ping timeout: 245 seconds]

19:46 muskan has joined #ocaml

20:02 Jesin has quit [Quit: Leaving]

20:05 malc_ has joined #ocaml

20:17 Jesin has joined #ocaml

20:31 tane has joined #ocaml

20:33 muskan has quit [Ping timeout: 245 seconds]

20:51 averell has quit [Quit: .]

20:52 averell has joined #ocaml

20:53 oriba has joined #ocaml

20:56 vicfred has joined #ocaml

21:09 waleee-cl has quit [Quit: Connection closed for inactivity]

21:13 narimiran has quit [Ping timeout: 240 seconds]

21:14 zv has joined #ocaml

21:14 cqc has quit [Ping timeout: 246 seconds]

21:14 cqc has joined #ocaml

21:27 Serpent7776 has quit [Quit: leaving]

21:28 waleee-cl has joined #ocaml

21:55 tane has quit [Quit: Leaving]

22:03 olle has joined #ocaml

22:08 olle_ has joined #ocaml

22:29 olle_ has quit [Ping timeout: 258 seconds]

22:29 olle has quit [Ping timeout: 240 seconds]

22:31 jbrown has quit [Ping timeout: 246 seconds]

22:33 jbrown has joined #ocaml

22:43 Haudegen has quit [Ping timeout: 260 seconds]

22:50 malc_ has quit [Quit: ERC (IRC client for Emacs 28.0.50)]

22:50 heredoc has quit [Ping timeout: 244 seconds]

23:28 oriba has quit [Quit: https://quassel-irc.org - Chat comfortably. Anywhere.]

23:34 heredoc has joined #ocaml

23:35 brtastic has quit [Ping timeout: 260 seconds]