Absalom has quit [Quit: Ping timeout (120 seconds)]
Absalom has joined #ocaml
mbuf has joined #ocaml
hendursaga has quit [Ping timeout: 276 seconds]
hendursa1 has joined #ocaml
waleee has quit [Ping timeout: 252 seconds]
zebrag has quit [Remote host closed the connection]
shawnw has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
brettgilio has quit [Quit: Ping timeout (120 seconds)]
brettgilio has joined #ocaml
gravicappa has joined #ocaml
adanwan has joined #ocaml
jmhimara has joined #ocaml
jmhimara has quit [Client Quit]
mbuf has quit [Remote host closed the connection]
mbuf has joined #ocaml
mbuf has quit [Client Quit]
mbuf has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
Serpent7776 has joined #ocaml
mro has joined #ocaml
yoctocell has joined #ocaml
[itchyjunk] has joined #ocaml
glassofethanol has joined #ocaml
<d_bot>
<octachron> Yes, OCaml 5.0 will be multicore, with the typed effect system coming later . Modular explicit (aka lightweight functor) is not that far off (probably), but modular implicits will take more time.
hendursaga has joined #ocaml
average has joined #ocaml
hendursa1 has quit [Ping timeout: 276 seconds]
olle has joined #ocaml
<d_bot>
<Gooby> Typed effect system? What might that be?
favonia has joined #ocaml
<d_bot>
<octachron> The typed part or effect system in general?
<d_bot>
<Gooby> I meant effect system, but I just looked it up
<d_bot>
<Gooby> So exceptions that let you continue execution?
<d_bot>
<octachron> Or a form of structured delimited continuation.
<d_bot>
<Gooby> f -> k (excepts) -> h (handles exception) -> l (continues)
Anarchos has quit [Quit: Vision[]: i've been blurred!]
yoctocell has quit [Ping timeout: 252 seconds]
waleee has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
wwilly has joined #ocaml
Haudegen has joined #ocaml
adanwan has quit [Ping timeout: 276 seconds]
favonia has quit [Ping timeout: 265 seconds]
adanwan has joined #ocaml
[itchyjunk] has joined #ocaml
favonia has joined #ocaml
mro has joined #ocaml
zebrag has joined #ocaml
<d_bot>
<leonidas> @Gooby In his 25 Years of OCaml X.L. mentioned modular implicits for release `5.??`.
<companion_cube>
5.42 probably
<d_bot>
<leonidas> And I though 5.23
wwilly has quit [Quit: Leaving]
<d_bot>
<octachron> There are people working on modular implicits, but it would certainly not be here early in OCaml 5 .Modular implicits were only mentioned as a future development.
<Leonidas>
But it was good knowing that this is still on the radar, because it has gotten extremely quiet about it lately.
<octachron>
Hm, I should probably try to write some high-level explanation, but there are a lot of of on-going work in the module system currently.
<octachron>
And a future proof version of modular implicits requires the module system to be in a better shape than right now.
<d_bot>
<mseri> I am the only one that is more excited for modular explicits than the implicits?
jess has joined #ocaml
<d_bot>
<Bluddy> well something is better than nothing
<d_bot>
<Gooby> Can't you already explicitly pass modules haha?
<d_bot>
<octachron> No, it is a quite common opinion at least for library writers.
<d_bot>
<octachron> @Gooby first-class modules are currently very limited for writing higher-kinded polymorphism.
<d_bot>
<Gooby> Oh I see
<d_bot>
<froyo> I'm most excited for when we start actually incorporating effects into the type system
<d_bot>
<froyo> typed effects is what im looking forward to the most
<d_bot>
<froyo> sure updates to the module system make sense for the big codebases where ergonomic structuring is desired, but typed effects will have an _effect_ on everything from 1-file utilities to large codebases. No more value restriction :D all side effects showing on the signature :DD
<Leonidas>
wait what, the value restriction is disappearing?
<Armael>
I'm not sure that would necessarily be the case? if typed effects are only about algebraic effects, then state/exceptions would still be untyped as they are today
<Leonidas>
Too bad gasche is not here, the 4.13 changelog has a typo in "reivew"
<octachron>
Leonidas, do you mean the typo in the immediate Uchar.t entry?
<d_bot>
<froyo> if they're migrated to an underlying effect-based mechanism that wouldn't be the case, right?
<d_bot>
<froyo> you could do that at type level then special case them in the compiler for more efficient encoding
<d_bot>
<froyo> just going wild with my imagination
<d_bot>
<froyo> but it's not an impossibilit
[itchyjunk] has quit [Read error: Connection reset by peer]
rond_ has joined #ocaml
mro has quit [Remote host closed the connection]
olle has quit [Ping timeout: 252 seconds]
Haudegen has quit [Quit: Bin weg.]
glassofethanol has quit [Quit: leaving]
bartholin has quit [Quit: Leaving]
mbuf has quit [Quit: Leaving]
Skyfire has quit [Ping timeout: 260 seconds]
rond_ has quit [Quit: Client closed]
average has quit [Quit: Connection closed for inactivity]
Haudegen has joined #ocaml
vicfred has joined #ocaml
Anarchos has joined #ocaml
<sadiq>
Leonidas, create a PR to fix it?
<sadiq>
I don't think gasche hangs around here other than OCaml workshops =)
ralu has quit [Ping timeout: 245 seconds]
ralu has joined #ocaml
Anarchos has quit [Ping timeout: 265 seconds]
Anarchos has joined #ocaml
<Anarchos>
i have a local opam switch. How to tell opam to recompile ocaml toolchain from there and reinstall it ? It seems opam lacks the dynlink library
gravicappa has quit [Ping timeout: 265 seconds]
* Anarchos
found : opam reinstall . --inplace-build
average has joined #ocaml
wonko has quit [Ping timeout: 245 seconds]
shawnw has quit [Ping timeout: 252 seconds]
shawnw has joined #ocaml
waleee has quit [Ping timeout: 268 seconds]
waleee has joined #ocaml
mro has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Haudegen has joined #ocaml
Haudegen has quit [Remote host closed the connection]
Haudegen has joined #ocaml
Stumpfenstiel has joined #ocaml
mro has quit [Remote host closed the connection]
Boarders has quit []
Boarders has joined #ocaml
shawnw has quit [Ping timeout: 265 seconds]
olle has joined #ocaml
shawnw has joined #ocaml
mro has joined #ocaml
Serpent7776 has quit [Quit: leaving]
mro has quit [Client Quit]
favonia has quit [Ping timeout: 260 seconds]
jess has quit []
Skyfire has joined #ocaml
cedric has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
olle has quit [Ping timeout: 265 seconds]
vicfred has quit [Quit: Leaving]
cedric has quit [Quit: Konversation terminated!]
[itchyjunk] has joined #ocaml
average has quit [Quit: Connection closed for inactivity]