sparogy has quit [Read error: error:1408F119:SSL routines:ssl3_get_record:decryption failed or bad record mac]
sparogy has joined #ocaml
czy has joined #ocaml
chrisz has quit [Ping timeout: 240 seconds]
chrisz has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
companion_cube has quit [Quit: WeeChat 3.8]
ocabot has quit [Remote host closed the connection]
discocaml has quit [Remote host closed the connection]
ocabot has joined #ocaml
discocaml has joined #ocaml
companion_cube has joined #ocaml
wilfred has joined #ocaml
czy has quit [Remote host closed the connection]
czy has joined #ocaml
Haudegen has joined #ocaml
czy` has joined #ocaml
czy has quit [Quit: ERC 5.6-git (IRC client for GNU Emacs 30.0.50)]
czy` has quit [Client Quit]
czy has joined #ocaml
mbuf has joined #ocaml
bgs has joined #ocaml
azimut has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
amk has quit [Ping timeout: 240 seconds]
amk has joined #ocaml
<discocaml>
<Et7f3 (@me on reply)> If you want to do an improvement tuple with named field might be more useful because #1 it covers your use case but also #2 help for basic tuple (without tag)
olle has joined #ocaml
gentauro has quit [Read error: Connection reset by peer]
gentauro has joined #ocaml
Serpent7776 has joined #ocaml
bgs has quit [Remote host closed the connection]
mclovin has quit [Quit: Bridge terminating on SIGTERM]
lobo[m] has quit [Quit: Bridge terminating on SIGTERM]
jmcantrell has quit [Quit: Bridge terminating on SIGTERM]
zebrag[m] has quit [Quit: Bridge terminating on SIGTERM]
tjnhxmzhmqgytuwt has quit [Quit: Bridge terminating on SIGTERM]
reynir[m] has quit [Quit: Bridge terminating on SIGTERM]
olle has quit [Ping timeout: 260 seconds]
wilfred has quit [Quit: Connection closed for inactivity]
bartholin has quit [Quit: Leaving]
spip has joined #ocaml
mclovin has joined #ocaml
olle has joined #ocaml
kakadu has joined #ocaml
pippijn_ is now known as pippijn
wingsorc has quit [Ping timeout: 248 seconds]
kakadu has quit [Quit: Konversation terminated!]
<discocaml>
<Commutative Conjecture> anyone has an example of writing tests for a dream server using the `Dream.test` function?
lobo[m] has joined #ocaml
reynir[m] has joined #ocaml
tjnhxmzhmqgytuwt has joined #ocaml
zebrag[m] has joined #ocaml
jmcantrell has joined #ocaml
Leonidas_ is now known as Leonidas
Leonidas has quit [Changing host]
Leonidas has joined #ocaml
waleee has joined #ocaml
Serpent7776 has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
azimut has joined #ocaml
<discocaml>
<octachron> @hyphen , I don't have the time right now for any long answer or analysis. Nevertheless, note that it is really unclear what the post is proposing and whatever the proposal really is, it doesn't sound like a syntactic sugar.
waleee has quit [Ping timeout: 265 seconds]
olle has quit [Remote host closed the connection]
waleee has joined #ocaml
waleee has quit [Ping timeout: 246 seconds]
wilfred has joined #ocaml
rf has joined #ocaml
motherfsck has joined #ocaml
John_Ivan has quit [Quit: Disrupting the dragon's slumber one time too often shall eventually bestow upon all an empirical and indiscriminate conflagration that will last for all goddamn eternity.]
mbuf has quit [Quit: Leaving]
John_Ivan has joined #ocaml
trillion_exabyte has quit [Ping timeout: 256 seconds]
trillion_exabyte has joined #ocaml
Serpent7776 has quit [Quit: WeeChat 1.9.1]
olle has joined #ocaml
<discocaml>
<froyo> I added a TL;DR
dhil has joined #ocaml
<discocaml>
<octachron> I don' see it? However, what your text needs is not a TL;DR but some clear specification of your proposal.
pukkamustard has quit [Excess Flood]
pukkamustard has joined #ocaml
<discocaml>
<froyo> Try refreshing the page I guess? Or let me just quote it here (sorry IRC users for the upcoming noise)
<discocaml>
<froyo> > This post juggles a couple of ideas that make working with inline records and tuples nicer, the ideas are tangentially related, and don't interfere with one another, but together would be better than their sum. I'm trying to get community & maintainers opinions on them. One of the ideas might crystallize and become a full-blown RFC if the attitude towards it appears to be good. The ideas are, in short:
<discocaml>
<froyo> > 1. being able to pattern-match and/or construct (inline-)records positionally, without naming the fields
<discocaml>
<froyo> > 2. making tuples regular records with numbered fields
<discocaml>
<froyo> > 3. bringing the same syntactic forms we have for records to inline records, bypassing the constructors
waleee has joined #ocaml
<discocaml>
<froyo> It's not yet a proposal, just a couple of ideas thrown in there I guess
<discocaml>
<cemerick> Positional references beyond pairs (_maybe_ triples) is a red flag IME 🤷
<discocaml>
<octachron> 1: is a no: fields are meant to free oneself from using position.
<discocaml>
<octachron> 2. is a breaking change: there is no tuple type family currently. It is better to implement a heterogeneous array type which can be done in user-land (with a bit of `Obj.magic`) without compiler support.
<discocaml>
<octachron> 3. is another form of type-directed disambiguation. I am unconvinced that the change is worth the additional implicitness.
Tuplanolla has joined #ocaml
motherfsck has quit [Ping timeout: 240 seconds]
alexherbo2 has joined #ocaml
wilfred has quit [Quit: Connection closed for inactivity]
waleee has quit [Ping timeout: 256 seconds]
waleee has joined #ocaml
wingsorc__ has joined #ocaml
dhil has quit [Ping timeout: 264 seconds]
dooptydoo90x has joined #ocaml
pie_ has quit []
pie_ has joined #ocaml
pie_ has quit [Client Quit]
pie_ has joined #ocaml
pie_ has quit [Client Quit]
pie_ has joined #ocaml
bartholin has joined #ocaml
dooptydoo90x has quit [Quit: WeeChat 3.5]
alexherbo2 has quit [Remote host closed the connection]
olle has quit [Ping timeout: 240 seconds]
bartholin has quit [Quit: Leaving]
motherfsck has joined #ocaml
Tuplanolla has quit [Ping timeout: 240 seconds]
Haudegen has quit [Ping timeout: 256 seconds]
Anarchos has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]