ygrek has quit [Remote host closed the connection]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 272 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 252 seconds]
Frostillicus has quit [Ping timeout: 252 seconds]
Frostillicus has joined #ocaml
toastal has joined #ocaml
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 265 seconds]
myrkraverk has quit [Read error: Connection reset by peer]
bartholin has joined #ocaml
Tuplanolla has joined #ocaml
Frostillicus has quit [Ping timeout: 252 seconds]
Frostillicus has joined #ocaml
toastal has left #ocaml [#ocaml]
toastal has joined #ocaml
dhil has joined #ocaml
Frostillicus has quit [Quit: Frostillicus]
alexherbo2 has joined #ocaml
Anarchos has joined #ocaml
Haudegen has joined #ocaml
wbooze has quit [Quit: Leaving]
wbooze has joined #ocaml
euphores has quit [Read error: Connection reset by peer]
euphores has joined #ocaml
wbooze has quit [Quit: Leaving]
tremon has joined #ocaml
wbooze has joined #ocaml
alexherbo2 has quit [Ping timeout: 240 seconds]
<discocaml>
<bootypig.> Hiring: OCaml Engineer to work on XenServer (UK / remote-friendly)
<discocaml>
<bootypig.> We're looking for a Senior OCaml Engineer to join our team at XenServer. You’d be working on the XenServer toolstack, a large production OCaml codebase that orchestrates VMs, storage, networking, and clustering.
Mister_Magister has quit [Ping timeout: 248 seconds]
Mister_Magister_ is now known as Mister_Magister
Anarchos has quit [Quit: Vision[]: i've been blurred!]
Mister_Magister has quit [Ping timeout: 245 seconds]
Mister_Magister has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
Mister_Magister has quit [Ping timeout: 244 seconds]
Mister_Magister has joined #ocaml
Mister_Magister_ has joined #ocaml
Mister_Magister has quit [Ping timeout: 276 seconds]
Mister_Magister_ is now known as Mister_Magister
Mister_Magister_ has joined #ocaml
Mister_Magister has quit [Ping timeout: 248 seconds]
Mister_Magister_ is now known as Mister_Magister
Serpent7776 has quit [Ping timeout: 272 seconds]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
<discocaml>
<dubious245> If we have named tuples now what is the point of records? Just being unordered? I feel Like I am missing something here.
<companion_cube>
it's more readable
<discocaml>
<tornato> ^
<discocaml>
<contificate> well, `ref`s are defined in terms of a record with a mutable component, you can't do that with tuples
<discocaml>
<contificate> you can also quantify components of records, no?
<companion_cube>
oh actual records, well they're still nominal, that's useful
<companion_cube>
also you have `{ foo with x=y }`
<discocaml>
<contificate> unrelated, but I love the style where you don't have `y`, because `x` is in scope; `{ foo with x }`
<discocaml>
<deepspacejohn> yeah, it's similar to variants vs polyvariants. they overlap in basic functionality but have important differences
<discocaml>
<dubious245> :Wolf_Notes: Ah okay. `{foo with x}` is nice.
<discocaml>
<deepspacejohn> since records actually create new types you can make them recursive etc `type t = {x: t}` which isn't possible with tuples (without a compiler flag, at least)
<discocaml>
<deepspacejohn> tuples are just type abbreviations
<companion_cube>
oh yeah puning is so great
ygrek has joined #ocaml
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
myrkraverk has joined #ocaml
<discocaml>
<froyo> i keep forgetting that ocaml records can also be cyclic like variants so type t is actually inhabited
<discocaml>
<froyo> and i recently wrote an example of a coinductive record myself lol
<discocaml>
<froyo> inhabited but pretty useless eh
<discocaml>
<deepspacejohn> a more useful example would be something like `type t = {x : t option}`
<discocaml>
<deepspacejohn> if you needed a data structure like a tree but wanted the root node to be nonempty
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 276 seconds]
<discocaml>
<froyo> ah yes, an idiomatic list: `type 'a t = { cell : ('a * 'a t) option }`
<discocaml>
<dubious245> Thats an idiomatic list?
<discocaml>
<froyo> of course (joking)
inline_ has joined #ocaml
wbooze_ has joined #ocaml
wbooze has quit [Ping timeout: 245 seconds]
Inline has quit [Ping timeout: 268 seconds]
ygrek has quit [Remote host closed the connection]
YuGiOhJCJ has joined #ocaml
Serpent7776 has joined #ocaml
Frostillicus has joined #ocaml
<discocaml>
<aguluman> Could you have your own channel on this server, so one always go there for updates.
<discocaml>
<aguluman>
<discocaml>
<aguluman> Conversations would make these post a needle in a haystack here.
Frostillicus has quit [Ping timeout: 265 seconds]
myrkraverk__ has joined #ocaml
myrkraverk_ has quit [Ping timeout: 272 seconds]
Frostillicus has joined #ocaml
myrkraverk has joined #ocaml
myrkraverk__ has quit [Ping timeout: 248 seconds]
myrkraverk_ has joined #ocaml
myrkraverk has quit [Ping timeout: 248 seconds]
inline_ has quit [Quit: Leaving]
Frostillicus has quit [Ping timeout: 276 seconds]
wbooze_ has quit [Quit: Leaving]
Frostillicus has joined #ocaml
Haudegen has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
wbooze has joined #ocaml
dhil has quit [Ping timeout: 276 seconds]
Frostillicus has quit [Ping timeout: 260 seconds]
myrkraverk has joined #ocaml
myrkraverk_ has quit [Ping timeout: 244 seconds]
euphores has quit [Ping timeout: 272 seconds]
wbooze_ has joined #ocaml
Serpent7776 has quit [Ping timeout: 276 seconds]
wbooze is now known as Guest599
Guest599 has quit [Killed (tantalum.libera.chat (Nickname regained by services))]