casastortaAway has quit [Ping timeout: 276 seconds]
casastortaAway has joined #ocaml
humasect has joined #ocaml
casastorta has quit [Ping timeout: 245 seconds]
marijanp has left #ocaml [Disconnected: Hibernating too long]
inline has joined #ocaml
<discocaml>
<lukstafi> Is `~label:v` ever different from `?label:(Some v)` ? Yes: since the latter infers the function to take optional parameter. And there is no generalization going between non-optional labeled and optional parameters. So the latter is necessary unless the function/callback is type-annotated in the implementation.
casastorta has joined #ocaml
<discocaml>
<lukstafi> When a function stages computations at various levels of partial applications, the argument reordering from labeled parameters can have curious effects...
marijanp has joined #ocaml
Anarchos has joined #ocaml
Anarchos has quit [Read error: Connection reset by peer]
<discocaml>
<yawaramin> niche but active
Anarchos has joined #ocaml
marijanp has left #ocaml [Error from remote client]
Haudegen has quit [Quit: Bin weg.]
marijanp has joined #ocaml
euphores has quit [Quit: Leaving.]
euphores has joined #ocaml
marijanp has left #ocaml [Error from remote client]
euphores has quit [Ping timeout: 248 seconds]
euphores has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
marijanp has joined #ocaml
humasect has quit [Quit: Leaving...]
<discocaml>
<rmu.> i wouldn't encourage a fork to a new nix user, the rabbithole is already deep enough
<discocaml>
<shalokshalom> Lix is more stable, and should be the default.
<discocaml>
<rmu.> a fork is never more "stable"
<discocaml>
<shalokshalom> Tell me you have no idea, without telling me you have no idea.
<discocaml>
<rmu.> ? i don't think it's wise to discuss this here in the first place. It doesn't change the fact it is a fork, and not the official implementation.
<discocaml>
<shalokshalom> OCaml is a fork of Caml Special Light
marijanp has left #ocaml [Error from remote client]
marijanp has joined #ocaml
bartholin has quit [Ping timeout: 244 seconds]
bartholin has joined #ocaml
wingsorc has joined #ocaml
<discocaml>
<polyml> If only we could contact the author of Caml Special Light to ask whether it or OCaml is the official implementation
<Anarchos>
polyml from what i know : caml special light used the cocnurrent GC from the thesis of Damien Doligez. Ocaml used a simplified version of this GC (monothread) . There is no such thing as 'official' implementation, cause there is no formal specification.
marijanp has left #ocaml [Error from remote client]
euphores has quit [Ping timeout: 245 seconds]
<discocaml>
<contificate> let's reimpl caml special light cheers
<Anarchos>
contificate why ?
<Anarchos>
ocaml 5.0 reintroduced a concurrent GC
<discocaml>
<fham_> Hey I made a quick PR to add OCaml as a quick install option to DHH's Omarchy Linux distribution.