#ocaml on 2017-09-15 — irc logs at freenode.irclog.whitequark.org

2017-07-13 10:09 companion_cube changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | OCaml 4.05.0 release notes: https://caml.inria.fr/pub/distrib/ocaml-4.05/notes/Changes | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml

00:11 mengu has joined #ocaml

00:19 ziyourenxiang has quit [Ping timeout: 240 seconds]

00:20 eh_eff has quit [Ping timeout: 240 seconds]

00:32 jimmyrcom_ has quit [Ping timeout: 252 seconds]

00:56 sam_ has quit [Ping timeout: 260 seconds]

01:17 Guest25403 has quit [Ping timeout: 240 seconds]

01:42 pierpa has quit [Ping timeout: 260 seconds]

01:52 keep_learning has joined #ocaml

02:00 enterprisey has quit [Remote host closed the connection]

02:12 enterprisey has joined #ocaml

02:18 jimmyrcom has quit [Ping timeout: 248 seconds]

02:19 jimmyrcom has joined #ocaml

02:32 surfer2007 has joined #ocaml

02:36 surfer2007 has quit [Ping timeout: 248 seconds]

02:46 samrat has joined #ocaml

03:03 govg has joined #ocaml

03:21 programo has joined #ocaml

03:21 programo has quit [Read error: Connection reset by peer]

03:21 programo has joined #ocaml

03:26 mengu has quit [Remote host closed the connection]

03:38 enterprisey has quit [Remote host closed the connection]

03:41 danieli has quit [Remote host closed the connection]

03:43 danieli has joined #ocaml

03:47 danieli has quit [Changing host]

03:47 danieli has joined #ocaml

03:55 programo has quit [Quit: Leaving]

04:09 MercurialAlchemi has joined #ocaml

04:11 enterprisey has joined #ocaml

04:48 mcspud has joined #ocaml

04:53 MercurialAlchemi has quit [Ping timeout: 240 seconds]

05:00 mbuf has joined #ocaml

05:03 samrat has quit [Ping timeout: 252 seconds]

05:04 cbot has quit [Ping timeout: 248 seconds]

05:32 samrat has joined #ocaml

05:38 nior has joined #ocaml

05:39 MercurialAlchemi has joined #ocaml

05:42 nior has quit [Client Quit]

05:45 Ragora has quit [Quit: Konversation terminated!]

05:53 sam____ has joined #ocaml

05:57 sam____ has quit [Ping timeout: 248 seconds]

06:01 al-damiri has quit [Quit: Connection closed for inactivity]

06:02 infinity0 has quit [Ping timeout: 246 seconds]

06:02 infinity0 has joined #ocaml

06:12 jsoo has joined #ocaml

06:13 jsoo has quit [Client Quit]

06:19 eh_eff has joined #ocaml

06:23 eh_eff has quit [Ping timeout: 252 seconds]

06:26 philtor has quit [Ping timeout: 240 seconds]

06:32 surfer2007 has joined #ocaml

06:37 surfer2007 has quit [Ping timeout: 260 seconds]

06:47 TheLemonMan has joined #ocaml

06:51 webshinra has joined #ocaml

07:08 mfp__ has joined #ocaml

07:14 AltGr has joined #ocaml

07:25 ed-ilyin-lv has joined #ocaml

07:47 ed-ilyin-lv has quit [Quit: WeeChat 1.4]

07:49 andreas__ has joined #ocaml

07:49 ShalokShalom has quit [Ping timeout: 252 seconds]

07:53 sam___ has joined #ocaml

07:57 sam___ has quit [Ping timeout: 246 seconds]

08:00 ShalokShalom has joined #ocaml

08:08 dhil has joined #ocaml

08:12 argent_smith has joined #ocaml

08:16 enterprisey has quit [Ping timeout: 248 seconds]

08:22 eh_eff has joined #ocaml

08:25 enterprisey has joined #ocaml

08:48 eh_eff has quit [Ping timeout: 240 seconds]

08:59 ziyourenxiang has joined #ocaml

09:00 gasche has joined #ocaml

09:00 <gasche> hi #ocaml, quick poll: do you turn warning 40 off?

09:00 <gasche> ( 40: Constructor or label name used out of scope. )

09:02 <companion_cube> o/

09:02 <companion_cube> no, I keep it on

09:02 <ia0> I don't use OCaml

09:02 <companion_cube> (flags (:standard -w +a-4-42-44-48-50-58-32-60@8 -color always))

09:02 <companion_cube> /kick ia0

09:02 <ia0> :D

09:03 <ia0> (If I would, I would keep it too though.)

09:04 <Armael> I don't, but if I knew it was considered morally ok to disable it, I would have

09:06 <gasche> well some people consider it ok :-)

09:07 <companion_cube> some people also consider lots of `open` ok

09:07 <companion_cube> crazy, I tell you!

09:09 <reynir> heh

09:10 <companion_cube> (otoh I consider it acceptable to have a `Foo_types` file with 30 mutually recursive types)

09:10 <companion_cube> (so, colors and tastes…)

09:19 averell has quit [Ping timeout: 240 seconds]

09:24 ygrek has joined #ocaml

09:25 dhil has quit [Ping timeout: 260 seconds]

09:50 dhil has joined #ocaml

09:53 sam___ has joined #ocaml

09:56 <theblatte> gasche: turned off here

09:57 <theblatte> not sure why though

09:57 <theblatte> -w +3+5+6+8+10+11+12+18+19+20+21+23+26+29+27+32+33+34+35+37+38+39+50+52+57-4-9-40-41-42-45-48

09:58 sam___ has quit [Ping timeout: 264 seconds]

10:01 <dinosaure> warn(@1..31@33..36@38..40@43..44@46..48)

10:01 enterprisey has quit [Quit: Leaving]

10:08 ShalokShalom has quit [Read error: Connection reset by peer]

10:14 <ousado> does anyone have a rough idea when modular implicits will be done?

10:18 <gasche> what I know is that what blocks merging discussion right now is that there is no theory of the feature that matches its implementation

10:18 <ousado> oh

10:19 <gasche> the implementation adds things to the language that currently have no theory (we are not sure it is sound), and Leo proposed a theory that is more powerful/advanced than what the type-checker implements today

10:19 <ousado> is there a theory for everything else that's in ocaml right now?

10:19 <rks`> gasche: turned off.

10:19 <gasche> I don't think there is

10:21 <ousado> I mean, it's certainly always good to have a really clear idea as to what a feature is supposed to do and how and where the limits are

10:21 <gasche> so I think that what remains to be done for implicits is to bridge the gap between the proposed theory and the current implementation (by changing one or the other), but I don't think anyone can give an estimated timeline for when that will happen (it depends on the available workforce and is rather specialized/advanced work)

10:22 <gasche> my understanding (but I haven't worked on this myself) is that the main question for implicits is whether the additions to the OCaml module language preserve soundness of the type system (or allow well-typed programs to segfault etc.)

10:23 <ousado> mhmm, that's a big one, of course

10:25 <ousado> I've only played around with them a little so far, but I think they add so much value..

10:28 <ousado> and unfortunately the repo doesn't show /that/ much activity

10:33 surfer2007 has joined #ocaml

10:38 surfer2007 has quit [Ping timeout: 260 seconds]

10:38 <def`> gasche: it's more about principality than soundness

10:38 <gasche> I reformulated my message above at https://discuss.ocaml.org/t/modular-implicit/144/9?u=gasche

10:39 <def`> It's not less sound than the rest of the implementation: if bug appeared they can be fixed.

10:40 <def`> However it is very unclear how the solution space is explored, what and when constraints are gathered, when they are solved etc...

10:41 <gasche> ok, I reformulated

10:44 ygrek has quit [Ping timeout: 240 seconds]

10:44 <def`> :thumb-up:

10:44 ShalokShalom has joined #ocaml

10:44 <theblatte> gasche: thanks for the jbuilder meeting notes :)

10:46 eh_eff has joined #ocaml

10:50 eh_eff has quit [Ping timeout: 260 seconds]

10:55 kakadu has joined #ocaml

10:55 govg has quit [Ping timeout: 248 seconds]

10:57 govg has joined #ocaml

11:07 samrat has quit [Ping timeout: 246 seconds]

11:34 BitPuffin|osx has joined #ocaml

11:45 surfer2007 has joined #ocaml

11:51 _andre has joined #ocaml

11:51 ShalokShalom_ has joined #ocaml

11:53 dhil has quit [Ping timeout: 248 seconds]

11:53 sam___ has joined #ocaml

11:54 ShalokShalom has quit [Ping timeout: 248 seconds]

11:58 sam___ has quit [Ping timeout: 248 seconds]

11:59 mbuf has quit [Quit: Leaving]

12:23 fraggle_ has quit [Remote host closed the connection]

12:26 fraggle_ has joined #ocaml

12:50 surfer2007 has quit [Ping timeout: 240 seconds]

13:04 samrat_ has joined #ocaml

13:07 dhil has joined #ocaml

13:14 argent_smith has quit [Quit: Leaving.]

13:17 AlexRussia has joined #ocaml

13:19 <leah2> theblatte: where can i find these?

13:19 <theblatte> leah2: https://discuss.ocaml.org/t/notes-from-the-jbuilder-design-session-september-9th/846

13:20 <theblatte> pointing to http://gallium.inria.fr/~scherer/events/jbuilder-design-session-sep-09-2017/notes.text

13:20 <leah2> thanks!

13:21 mbuf has joined #ocaml

13:23 <leah2> ++ for mentioning pluto :)

13:24 ygrek has joined #ocaml

13:30 samrat_ has quit [Ping timeout: 240 seconds]

13:39 aciniglio has joined #ocaml

13:40 <gasche> (I didn't actually mention Pluto during the discussion, maybe I should have, it was a note to myself)

13:41 <leah2> :)

13:42 samrat_ has joined #ocaml

13:54 <orbitz> is forcing an ocaml program to dump core on unexpected behaviour a thing?

14:04 freusque has quit [Ping timeout: 240 seconds]

14:07 rootmos has joined #ocaml

14:08 MercurialAlchemi has quit [Ping timeout: 246 seconds]

14:16 freusque has joined #ocaml

14:17 nicoo has quit [Ping timeout: 248 seconds]

14:18 nicoo has joined #ocaml

14:23 BitPuffin|osx has quit [Ping timeout: 246 seconds]

14:25 argent_smith has joined #ocaml

14:27 dakk has quit [Ping timeout: 240 seconds]

14:39 nullifidian_ is now known as nullifidian

14:47 sam___ has joined #ocaml

14:47 surfer2007 has joined #ocaml

14:49 nicoo has quit [Ping timeout: 248 seconds]

14:54 nicoo has joined #ocaml

14:56 ShalokShalom_ is now known as ShalokShalom

14:58 ziyourenxiang has quit [Ping timeout: 246 seconds]

15:02 MercurialAlchemi has joined #ocaml

15:04 sepp2k has joined #ocaml

15:05 surfer2007 has quit [Read error: Connection reset by peer]

15:05 surfer2007 has joined #ocaml

15:13 sam___ has quit [Ping timeout: 260 seconds]

15:16 mbuf has quit [Quit: Leaving]

15:22 dakk has joined #ocaml

15:22 al-damiri has joined #ocaml

15:30 surfer2007 has quit [Ping timeout: 248 seconds]

15:31 dakk has quit [Ping timeout: 260 seconds]

15:31 dakk has joined #ocaml

15:33 FreeBirdLjj has joined #ocaml

15:53 ayxih_ has joined #ocaml

15:54 ocaml777 has joined #ocaml

15:55 dhil has quit [Ping timeout: 252 seconds]

15:55 SoniEx2 has joined #ocaml

15:55 ayxih has quit [Read error: Connection reset by peer]

15:55 Soni has quit [Excess Flood]

15:55 asm89 has quit [Ping timeout: 246 seconds]

15:55 tizoc has quit [Ping timeout: 246 seconds]

15:55 tizoc has joined #ocaml

15:56 asm89 has joined #ocaml

15:58 lukky513 has quit [Ping timeout: 240 seconds]

15:59 philtor has joined #ocaml

16:01 <M-ErkkiSeppl> No?-)

16:04 dhil has joined #ocaml

16:05 AlexDenisov has quit [Ping timeout: 240 seconds]

16:05 surfer2007 has joined #ocaml

16:07 ygrek has quit [Ping timeout: 248 seconds]

16:08 lukky513 has joined #ocaml

16:09 AlexRussia_ has joined #ocaml

16:09 AlexRussia has quit [Ping timeout: 240 seconds]

16:09 jotterbach has joined #ocaml

16:21 surfer2007 has quit [Ping timeout: 252 seconds]

16:23 copy_ has joined #ocaml

16:24 jotterbach is now known as jotterbach_

16:28 surfer2007 has joined #ocaml

16:30 jotterbach_ is now known as jotterbach

16:31 jotterbach is now known as jt_

16:32 jt_ is now known as jotterbach

16:35 jotterbach is now known as jotterbach_

16:37 jotterbach_ is now known as jotterbach

16:38 xpinguin_ has joined #ocaml

16:38 xpinguin_ has left #ocaml [#ocaml]

16:49 mbuf has joined #ocaml

16:55 dhil has quit [Ping timeout: 246 seconds]

16:56 argent_smith has quit [Quit: Leaving.]

17:02 BitPuffin|osx has joined #ocaml

17:08 surfer2007 has quit [Ping timeout: 255 seconds]

17:10 FreeBirdLjj has quit [Remote host closed the connection]

17:15 <ocaml777> I notice that either ocaml itself or libraries support signed and unsigned integer data types from 64 bits down to 16 bits and then only 8 bit unsigned values. Is there no support for 8-bit signed ints?

17:16 pigeonv has joined #ocaml

17:17 dakk has quit [Ping timeout: 252 seconds]

17:18 dhil has joined #ocaml

17:22 AlexRussia_ has quit [Ping timeout: 246 seconds]

17:23 xpinguin has quit [Quit: Leaving]

17:24 dakk has joined #ocaml

17:25 jbrown has quit [Quit: Leaving]

17:30 mbuf has quit [Quit: Leaving]

17:35 tane has joined #ocaml

17:37 eh_eff has joined #ocaml

17:44 MercurialAlchemi has quit [Ping timeout: 246 seconds]

17:56 pigeonv has quit [Ping timeout: 248 seconds]

18:03 eh_eff has quit [Ping timeout: 255 seconds]

18:04 surfer2007 has joined #ocaml

18:07 AlexRussia has joined #ocaml

18:10 MercurialAlchemi has joined #ocaml

18:10 govg has quit [Ping timeout: 240 seconds]

18:16 AlexDenisov has joined #ocaml

18:18 MercurialAlchemi has quit [Ping timeout: 246 seconds]

18:23 TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]

18:35 ayxih_ has quit [Quit: Leaving]

18:36 ayxih has joined #ocaml

18:37 surfer2007 has quit [Ping timeout: 240 seconds]

18:38 aciniglio has quit [Ping timeout: 240 seconds]

18:40 jotterbach has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

18:52 eh_eff has joined #ocaml

18:53 dhil has quit [Ping timeout: 240 seconds]

18:53 MercurialAlchemi has joined #ocaml

19:01 kakadu has quit [Quit: Konversation terminated!]

19:06 samrat_ has quit [Ping timeout: 240 seconds]

19:15 ryanartecona has joined #ocaml

19:17 MercurialAlchemi has quit [Ping timeout: 252 seconds]

19:24 jotterbach has joined #ocaml

19:25 jotterbach has quit [Client Quit]

19:29 kn0p has joined #ocaml

19:34 surfer2007 has joined #ocaml

19:35 ygrek has joined #ocaml

19:36 jotterbach has joined #ocaml

19:38 surfer2007 has quit [Ping timeout: 248 seconds]

19:40 jotterbach has quit [Client Quit]

19:44 surfer2007 has joined #ocaml

19:45 surfer2007 has quit [Client Quit]

19:47 MercurialAlchemi has joined #ocaml

19:53 ryanartecona has quit [Quit: ryanartecona]

19:55 jotterbach has joined #ocaml

19:57 jotterbach has quit [Client Quit]

19:59 ocaml777 has quit []

20:02 kakadu has joined #ocaml

20:02 kakadu_ has joined #ocaml

20:03 jotterbach has joined #ocaml

20:06 kakadu has quit [Ping timeout: 248 seconds]

20:09 sam___ has joined #ocaml

20:13 copy_ has quit [Quit: Connection closed for inactivity]

20:14 sam___ has quit [Ping timeout: 252 seconds]

20:16 Guest25403 has joined #ocaml

20:17 ryanartecona has joined #ocaml

20:18 tane has quit [Quit: Leaving]

20:18 kn0p has quit []

20:22 Guest25403 has quit [Ping timeout: 240 seconds]

20:37 AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

20:38 AltGr has left #ocaml [#ocaml]

20:39 _andre has quit [Quit: leaving]

20:39 sepp2k has quit [Quit: Leaving.]

20:44 Ragora has joined #ocaml

20:48 ygrek has quit [Ping timeout: 260 seconds]

21:21 jotterbach has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

21:40 MercurialAlchemi has quit [Ping timeout: 246 seconds]

21:42 Guest25403 has joined #ocaml

21:44 ryanartecona has quit [Quit: ryanartecona]

22:07 ShalokShalom has quit [Ping timeout: 248 seconds]

22:09 sam___ has joined #ocaml

22:12 jotterbach has joined #ocaml

22:13 cbot has joined #ocaml

22:14 sam___ has quit [Ping timeout: 248 seconds]

22:42 mengu has joined #ocaml

22:42 jotterbach has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]

22:45 dedgrant_ has joined #ocaml

23:01 andreas__ has quit [Quit: Connection closed for inactivity]

23:18 mengu has quit [Quit: Leaving...]

23:22 pierpa has joined #ocaml

23:24 cbot has quit [Ping timeout: 260 seconds]

23:30 kakadu_ has quit [Remote host closed the connection]

23:37 ayxih has quit [Quit: Leaving]

23:40 enterprisey has joined #ocaml

23:44 Guest25403 is now known as Algebr

23:47 cbot has joined #ocaml

23:50 ziyourenxiang has joined #ocaml

23:58 sh0t has joined #ocaml