<discocaml>
<uberpyro181> in theory, it shouldn't be difficult to add row polymorphism to labeled tuples, which would make the `with` thing possible
<discocaml>
<uberpyro181> i think the main benefit to normal records is just that their nominal, which means the types inferred are much smaller and error messages are better
Frostillicus has quit [Ping timeout: 276 seconds]
<discocaml>
<uberpyro181> if you typo a label, you get an error instead of inferring a type you don't want
myrkraverk has quit [Ping timeout: 265 seconds]
<discocaml>
<uberpyro181> and having the types for each of the fields set ahead of time is helpful as well
Guest599 has quit [Read error: Connection reset by peer]
Frostillicus has joined #ocaml
alexherbo2 has joined #ocaml
toastal has left #ocaml [#ocaml]
alexherbo2 has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
Frostillicus has quit [Ping timeout: 252 seconds]
<discocaml>
<froyo> > dh`: I have been dealing with a language recently that has anonymous structs and it leads to really aggravating kinds of type errors
<discocaml>
<froyo> purescript by any chance?
<discocaml>
<froyo> that one has the worst error messages around records
leah2 has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
Inline has joined #ocaml
Inline has quit [Remote host closed the connection]
leah2 has joined #ocaml
mange has quit [Quit: Zzz...]
wbooze has joined #ocaml
Tuplanolla has joined #ocaml
<dh`>
froyo: no, it was just someone's dsl
<discocaml>
<contificate> torture
<discocaml>
<yawaramin> hell is other people's DSLs
<dh`>
heheh
<discocaml>
<uberpyro181> i think roc and futhark both opted to go the fully structural route
<discocaml>
<uberpyro181> there was a talk with richard feldmen where i think the guest complained about this
<discocaml>
<uberpyro181> there are definitely pros and cons
<discocaml>
<uberpyro181> there was a talk with richard feldmen where i think the guest complained about this
eilvelia has quit [Remote host closed the connection]
Inline has joined #ocaml
eilvelia has joined #ocaml
Inline has quit [Remote host closed the connection]
Inline has joined #ocaml
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 272 seconds]
leah2 has quit [Ping timeout: 272 seconds]
leah2 has joined #ocaml
leah2 has quit [Ping timeout: 248 seconds]
<discocaml>
<froyo> ocaml has structural bits and pieces like the module signatures, and the other two obvious features, and honestly the error messages aren't bad at all. they start with a large context but continually hone in on the most minimal diff
leah2 has joined #ocaml
bartholin has quit [Remote host closed the connection]
pie_ has quit []
pie_ has joined #ocaml
Serpent7776 has quit [Ping timeout: 244 seconds]
tremon has quit [Quit: getting boxed in]
Frostillicus has joined #ocaml
ygrek has quit [Remote host closed the connection]