00:05 <discocaml> <shon_18152> Seems like https://github.com/ocaml/opam/issues/4103 is the relevant issue maybe?

00:16 <discocaml> <shon_18152> But I'm guessing we'll want another issues on the opam-repo itsefl and/or on https://github.com/ocaml/infrastructure/

00:17 <discocaml> <shon_18152> I wonder if this is something OCSF would be interested in helping to fund. Improving the stability around this kind of stuff seems like it should be relatively high priority.

13:08 <discocaml> <adityasingh3073> can I use ocaml as a substitute for sml?

13:10 <discocaml> <adityasingh3073> I am new to functional programming

13:13 <Anarchos> <discocaml> <adityasingh3073> yes of course

15:42 <discocaml> <yawaramin> yes

19:13 <dh`> yes and no

19:13 <dh`> things are somewhat different, so if you've got a textbook or something that is written for sml you may run into annoying complications

19:14 <discocaml> <yawaramin> more or less

19:14 <dh`> (and if you have a pile of someone else's sml code, translating it to ocaml takes work. btdt)

20:39 <discocaml> <polyml> going from sml to ocaml isn't too bad, main differences are that sml allows for transparent ascription and has slightly different syntax for functors and sharing constraints

20:41 <discocaml> <contificate> main difference is changing out of a lab coat and putting on a builder's helmet 👷

20:50 <discocaml> <lecondorduplateau> http://adam.chlipala.net/mlcomp/

20:51 <discocaml> <dubious245> Whats built with ocaml?

20:55 <discocaml> <contificate> Job satisfaction

20:56 <discocaml> <dubious245> Cant pay the bills with that.

20:56 <discocaml> <contificate> Can if you're employed to write OCaml

22:05 <discocaml> <yawaramin> https://dl.acm.org/doi/10.1145/1631687.1596581

22:43 <discocaml> <contificate> that's neat but xenstore is torture generally, nobody involved likes it - some parts were improved relatively recently

22:45 <discocaml> <yawaramin> the point is it's running in the Xen control plane and quite successful. they're also hiring

22:46 <discocaml> <contificate> I know, I worked there

22:46 <discocaml> <contificate> the rest of the toolstack is more impressive

22:47 <discocaml> <contificate> they just happen to have written about that part

22:59 <discocaml> <yawaramin> well, afaik that specific part in OCaml replaced a error-prone one written in C, and it's fairly important

23:00 <discocaml> <contificate> they improved the C version since

23:01 <discocaml> <contificate> I prefer the OCaml impl but the entire concept is questionable but it's too late to change it

23:04 <discocaml> <yawaramin> any decision can be questioned in retrospect, the fact remains that it's written in OCaml 🤷‍♂️

23:05 <discocaml> <contificate> I'm simply pointing out that there's other parts of the massive toolstack to cite w.r.t the scalability and stability of OCaml - the project remains a decent OSS place to get some contributions in; just some hassle to get it building initially

23:08 <discocaml> <yawaramin> i'm just answering the question that was asked–this is something that was built in OCaml–i chose it because i find it interesting. your point tbh seems unrelated to mine

23:08 <discocaml> <contificate> I'm just trying to fill in some details the paper neglects

23:08 <discocaml> <contificate> which is that the OCaml version wasn't the default for ages, until like a few months ago

23:15 <discocaml> <contificate> I must note that some of that is due to the tedium of it being housed in the xen upstream, it's now its own repo

23:24 <discocaml> <yawaramin> that sounds somewhat wrong, here Dr Anil Madhavapeddy is talking about OCaml in Xen at least 5 years ago: https://www.youtube.com/watch?v=GWqKG4GJowo&t=3918s

23:28 <discocaml> <contificate> Yes, oxenstored is a small part of Xapi - https://github.com/xapi-project/xen-api

23:29 <discocaml> <contificate> there's a lot more OCaml running in XenServer daemons than the OCaml version of xenstore - is more my point

23:29 <discocaml> <contificate> many many daemons

23:31 <discocaml> <yawaramin> oh ok, that's cool

23:31 <discocaml> <contificate> the choice between the tools C versus OCaml is a flag you pass when building Xen, as Xen is its own hypervisor despite being core to the XenServer product