<d_bot>
<cemerick> _Every_ single day, I wish OCaml provided implicit upwards coercions for poly variants.
<d_bot>
<cemerick> IIRC there's a good reason this isn't done, but I wish it weren't so 😅
bobo has joined #ocaml
spip has quit [Ping timeout: 276 seconds]
<brettgilio>
cemerick, propose an RFC
<companion_cube>
is it compatible at all with the type inference algorithm? afaik it relies strongly on (most) things having a principal type
<brettgilio>
companion_cube I had a similar thought, but I assumed there must be a reason they thought there was "no reason this isn't done". But yeah, the type system of OCaml basically does not allow for this type of coercion. It would be incompatible with the subtyping routines already used with polyvariants
<companion_cube>
I think the poly variants (and objects) are fundamentally based on row polymorphism, not subtyping
<companion_cube>
so coercions are required
<companion_cube>
but then I'm not a type theorist :s
<brettgilio>
I agree it is not based on subtypimg
<brettgilio>
I was mostly meaning that upward coercion would not be compatible with subtyping as it is implemented
<brettgilio>
But I could be totally wrong
<brettgilio>
I am hazarding a guess
<d_bot>
<cod1r> fresh bread is so good
<d_bot>
<cod1r> 😍
<d_bot>
<cod1r> dry bread is not as good
zebrag has quit [Quit: Konversation terminated!]
waleee has quit [Ping timeout: 248 seconds]
<d_bot>
<cemerick> I have nothing to add to the subject beyond "I want a pony"
tiferrei has quit [Ping timeout: 240 seconds]
tiferrei has joined #ocaml
<d_bot>
<cod1r> hi
Haudegen has joined #ocaml
mbuf has joined #ocaml
spip has joined #ocaml
bobo has quit [Ping timeout: 250 seconds]
gravicappa has joined #ocaml
<d_bot>
<Ambika E.> True
<d_bot>
<Ambika E.> Maybe better suited to #random🎲 though
shawnw has joined #ocaml
Sankalp has quit [Ping timeout: 248 seconds]
szkl has quit [Quit: Connection closed for inactivity]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
slothby has quit [Quit: brb ... maybe]
Sankalp has joined #ocaml
Anarchos has joined #ocaml
Sankalp has quit [Read error: Connection reset by peer]