companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.12 released: https://ocaml.org/releases/4.12.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
selimcan has joined #ocaml
selimcan has quit [Client Quit]
pmetzger has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
zebrag has quit [Ping timeout: 268 seconds]
jyc has joined #ocaml
waleee has quit [Quit: WeeChat 3.2]
waleee has joined #ocaml
pmetzger has quit [Remote host closed the connection]
richbridger has quit [Read error: Connection reset by peer]
richbridger has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 272 seconds]
waleee has quit [Ping timeout: 252 seconds]
mbuf has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 268 seconds]
gravicappa has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 240 seconds]
gravicappa has quit [Ping timeout: 252 seconds]
mikess has quit [Ping timeout: 268 seconds]
berberman has quit [Ping timeout: 240 seconds]
berberman has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 244 seconds]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 252 seconds]
pmetzger has joined #ocaml
mikess has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
mikess has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
pmetzger has quit [Ping timeout: 268 seconds]
marinelli[m] has joined #ocaml
Serpent7776 has joined #ocaml
<d_bot> <darrenldl> is `create` preferred over `make` for stateful items?
<d_bot> <darrenldl> (as constructor naming)
mro_ has joined #ocaml
mro_ has quit [Read error: Connection reset by peer]
mro has quit [Ping timeout: 244 seconds]
gravicappa has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 272 seconds]
mikess has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 252 seconds]
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
yoctocell has joined #ocaml
olle has joined #ocaml
mro has joined #ocaml
pmetzger has joined #ocaml
vizard has joined #ocaml
pmetzger has quit [Ping timeout: 268 seconds]
<fluxm> I believe it is the case.
Wilfred has joined #ocaml
<d_bot> <undu> Not sure, for array create is deprecated in favour of make
olle has quit [Ping timeout: 244 seconds]
gravicappa has quit [Ping timeout: 264 seconds]
gravicappa has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
pmetzger has joined #ocaml
pmetzger has quit [Ping timeout: 252 seconds]
TakinOver has quit [Remote host closed the connection]
bartholin has joined #ocaml
Wilfred has quit [Quit: Connection closed for inactivity]
dhil has joined #ocaml
mro has quit [Remote host closed the connection]
yoctocell has quit [Quit: C-x C-c, Shutting down OS...]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
pmetzger has joined #ocaml
pmetzger has quit []
<d_bot> <Kakadu> I forgot why I shouldn't do
<d_bot> <Kakadu> ```
<d_bot> <Kakadu> type t = { xs : 'a . 'a list }
<d_bot> <Kakadu> let make: 'a . 'a list -> t = fun xs -> { xs }
<d_bot> <Kakadu> ```
<d_bot> <Kakadu> Could you, please, remind me?
<zozozo> well, I think that in your example "xs" can only ever be the empty list, since it's the only value that is of type 'a list *for all types 'a*
<zozozo> and, if you try it, you'll see that ocaml does not let you define 'make' as you have written it
<d_bot> <Kakadu> I was trying to express the existential: my list should be a list of black boxes
<zozozo> in that caes you want a GADT : type t = Some_list : _ list -> t
<zozozo> but then you lose any way to recover the type of elements in the list, so you'll be relatively limited in what you can do with such lists
neiluj has joined #ocaml
<d_bot> <ggole> If you mean something like `type literally_anything = Any : 'a -> literally_anything`, the problem is that you can't do anything useful with the `'a`
<d_bot> <ggole> Except a few of the somewhat questionable polymorphic operations
<neiluj> Hello! How do you launch multiple parallel threads with Lwt? fork?
<Armael> using Lwt_preemptive
<d_bot> <Kakadu> Okay, tnanks. I tried to do GADT myself, but something went wrong....
<neiluj> Armael: thank you very much!
TheLemonMan has joined #ocaml
<d_bot> <dinosaure> it's not the true parallel, you still have the global GC lock
cedric has joined #ocaml
<d_bot> <dinosaure> `fork` gives you a chance to have true parallelism but, it's `fork` 😕
adanwan_ has quit [Remote host closed the connection]
adanwan has joined #ocaml
gareppa has joined #ocaml
<neiluj> Thanks for the info, unfortunately fork and Lwt don't play very well together :(
<d_bot> <dinosaure> yeah 😕
gareppa has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
mro has joined #ocaml
waleee has joined #ocaml
hackinghorn has joined #ocaml
mro has quit [Remote host closed the connection]
cedric has quit [Quit: Konversation terminated!]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
yoctocell has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
gareppa has joined #ocaml
hackinghorn has quit [Quit: Leaving]
gareppa has quit [Quit: Leaving]
mro has joined #ocaml
bartholin has quit [Quit: Leaving]
Tuplanolla has joined #ocaml
mro has quit [Quit: Leaving...]
rak has quit [Changing host]
rak has joined #ocaml
dhil has quit [Ping timeout: 240 seconds]
dhil has joined #ocaml
vizard has quit [Ping timeout: 264 seconds]
dhil has quit [Ping timeout: 272 seconds]
dhil has joined #ocaml
pippijn_ is now known as pippijn
favonia has joined #ocaml
mro has joined #ocaml
mro has quit [Quit: Leaving...]
TheLemonMan has quit [Quit: "It's now safe to turn off your computer."]
neiluj has quit [Ping timeout: 264 seconds]
neiluj has joined #ocaml
Stumpfenstiel has joined #ocaml
neiluj has quit [Remote host closed the connection]
neiluj has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
pieguy128 has quit [Quit: ZNC 1.8.2 - https://znc.in]
pieguy128 has joined #ocaml
vizard has joined #ocaml
gravicappa has quit [Ping timeout: 268 seconds]
dhil has quit [Ping timeout: 268 seconds]
dhil has joined #ocaml
Stumpfenstiel has quit [Quit: No Ping reply in 180 seconds.]
Stumpfenstiel has joined #ocaml
jinsun has joined #ocaml
<d_bot> <Vaush> Are there Ocaml libraries for communication between two different processes?
yoctocell has quit [Quit: C-x C-c, Shutting down OS...]
Serpent7776 has quit [Quit: leaving]
oriba has joined #ocaml
neiluj has quit [Quit: Leaving]
cedric has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
waleee has joined #ocaml
glassofethanol has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
<d_bot> <Deadrat> Async_rpc?
cedric has quit [Quit: Konversation terminated!]
vizard has quit [Ping timeout: 268 seconds]
glassofethanol has quit [Quit: leaving]
<d_bot> <Vaush> Thanks
<d_bot> <rgrinberg> There’s a lot of options really. Zeromq, pipes, capn proto, etc
<companion_cube> sockets + marshal…
waleee has quit [Ping timeout: 268 seconds]
dhil has quit [Ping timeout: 268 seconds]