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]