accordve1om has quit [Read error: Connection reset by peer]
YuGiOhJCJ has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
chrisz has quit [Ping timeout: 252 seconds]
accordvenom has quit [Read error: Connection reset by peer]
chrisz has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
divya has joined #ocaml
<discocaml_>
<bluddy5> What do you guys think of the claim that OCaml should have had one chosen scheduling system instead of this whole user-scheduling thing?
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
bartholin has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
<discocaml_>
<anmonteiro> my 2c:
<discocaml_>
<anmonteiro> - it seems shortsighted to commit to a single pattern / effect type in the stdlib if a better one arises in the future, as OCaml 5 is so new and only starting to be at feature-parity in 5.3
<discocaml_>
<anmonteiro> - at the same time, we went from having 2 async schedulers to more than a few non-compatible ones which feels a lot like the lisp curse and IMO we should avoid it
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
<discocaml_>
<bluddy5> There's also the matter of concurrent schedulers vs multicore scheduling, with the latter possibly a bigger mess than the former...?
<discocaml_>
<anmonteiro> fair. personally i don't think i actually mind non-direct style concurrency, which can be alleviated with 1 or 2 let operators, and actually makes the type system aware of it (while we don't have typed effects)
Tuplanolla has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
Serpent7776 has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
YuGiOhJCJ has quit [Remote host closed the connection]
YuGiOhJCJ has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
Haudegen has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
rgrinberg has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
<companion_cube>
The claim would be more serious if there was a good schedule ready to go in the stdlib imho
<companion_cube>
We don't even have that
accordvenom has joined #ocaml
rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
remexre has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
Everything has joined #ocaml
accordve1om has joined #ocaml
Everything has quit [Read error: Connection reset by peer]
accordve1om has quit [Read error: Connection reset by peer]
oriba has joined #ocaml
ygrek has joined #ocaml
accordve1om has joined #ocaml
<oriba>
I use Set-module on Int and would expect type Stdlib.Set.Make(Int).t which also works, but cmitomli says the type is Stdlib__Set.Make(Int).t which also works.
<oriba>
somehow both are snyonyme, but on a different computer using the Stdlib__Set.Make(Int).t definition does not work
<oriba>
so this seems to be dependent on the installation
<oriba>
any ideas about that?
accordve1om has quit [Read error: Connection reset by peer]
remexre has quit [Ping timeout: 246 seconds]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
remexre has joined #ocaml
Anarchos has joined #ocaml
mro has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
turbofish has quit [Ping timeout: 248 seconds]
eilvelia has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
Serpent7776 has quit [Ping timeout: 272 seconds]
accordvenom has joined #ocaml
quernd80 is now known as quernd
<discocaml_>
<yawaramin> it was never going to happen. the core team won't even dictate which metaprogramming system to use and say 'don't use camlp5, use ppx' 🙂 even trying to push harder for dune gets strong objections about lock-in from prominent leaders
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has quit [Read error: Connection reset by peer]
ygrek has quit [Remote host closed the connection]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
<companion_cube>
And that's how we get to the fragmentation that exists today
accordve1om has joined #ocaml
<discocaml_>
<yawaramin> it was designed, not accidental
<companion_cube>
I guess? Who wants that? :/
rgrinberg has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
accordve1om has joined #ocaml
theblatte has quit [Ping timeout: 252 seconds]
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
theblatte has joined #ocaml
szkl has quit [Quit: Connection closed for inactivity]
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
turbofish has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
gebn has quit [Quit: Bye!]
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
turbofish has quit [Ping timeout: 252 seconds]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
YuGiOhJCJ has joined #ocaml
accordvenom has joined #ocaml
turbofish has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]
turbofish has quit [Ping timeout: 260 seconds]
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
accordve1om has quit [Read error: Connection reset by peer]
Anarchos has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom is now known as 073ABJF59
073ABJF59 has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
lthms has joined #ocaml
Serpent7776 has joined #ocaml
Everything has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
<discocaml_>
<anmonteiro> got access to the repos, will work on bringing them up to speed
<discocaml_>
<yawaramin> TIL that Caqti supports variable substitution in its query strings, so you can define eg that `$user` corresponds to the `view.user` view in your database and then do something like `select id, name from $user`
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
<discocaml_>
<anmonteiro> You can also walk queries and replace variables
<discocaml_>
<anmonteiro> The AST / parser is exposed
<discocaml_>
<yawaramin> very cool, i underestimated Caqti and didn't study it properly
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]
accordve1om has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
rgrinberg has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
Serpent7776 has quit [Ping timeout: 244 seconds]
accordvenom has joined #ocaml
rgrinberg has quit [Quit: My Unrecognized Mac has gone to sleep. ZZZzzz…]
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
bartholin has quit [Quit: Leaving]
accordve1om has joined #ocaml
rgrinberg has joined #ocaml
Everything has quit [Quit: leaving]
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
accordve1om has quit [Read error: Connection reset by peer]
chiselfuse has quit [Remote host closed the connection]
chiselfuse has joined #ocaml
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]
accordve1om has joined #ocaml
ygrek has quit [Remote host closed the connection]
accordve1om has quit [Read error: Connection reset by peer]
accordvenom has joined #ocaml
accordvenom has quit [Read error: Connection reset by peer]