<d_bot>
<Et7f3 (@me on reply)> @companion_cube if we add some field in msgpack does old readers of same lib version can read it or you need to recompile everybody ?
<companion_cube>
there's no schema, it really is like a binary json
<d_bot>
<cheeze> hello, what is the view on Stdlib vs Base? which one is more used?
<d_bot>
<NULL> Probably Stdlib, since that's what all beginners use
<d_bot>
<NULL> In terms of actual projects, I can't tell any useful information
<d_bot>
<cheeze> i see
<companion_cube>
probably the stdlib indeed, it's the default choice
xgqt has quit [Ping timeout: 240 seconds]
xgqt has joined #ocaml
raskol has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
raskol has quit [Ping timeout: 260 seconds]
bobo_ has quit [Ping timeout: 240 seconds]
bobo_ has joined #ocaml
nd__ has quit [Quit: leaving]
mbuf has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
mro has joined #ocaml
mro has quit [Ping timeout: 276 seconds]
Haudegen has joined #ocaml
omegatron has joined #ocaml
zebrag has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
jonasbits has quit [Quit: No Ping reply in 180 seconds.]
jonasbits has joined #ocaml
chrisz has quit [*.net *.split]
cross has quit [*.net *.split]
Johann has quit [*.net *.split]
theblatte has quit [*.net *.split]
genpaku has quit [*.net *.split]
klu has quit [*.net *.split]
companion_cube has quit [*.net *.split]
xenu has quit [*.net *.split]
infinity0 has quit [*.net *.split]
mal`` has quit [*.net *.split]
sadiq has quit [*.net *.split]
dinosaure has quit [*.net *.split]
cross has joined #ocaml
chrisz has joined #ocaml
theblatte has joined #ocaml
dinosaure has joined #ocaml
klu has joined #ocaml
Johann has joined #ocaml
genpaku has joined #ocaml
companion_cube has joined #ocaml
infinity0 has joined #ocaml
xenu has joined #ocaml
mal`` has joined #ocaml
sadiq has joined #ocaml
Sankalp has quit [Ping timeout: 272 seconds]
jonasbits has quit [Quit: No Ping reply in 180 seconds.]
jonasbits has joined #ocaml
<d_bot>
<Bluddy> I recommend enhancing it with Containers, but that's my personal preference.
<gopiandcode>
+1 for containers; having a more extensive set of tools at hand make it much easier to prototype, and then once you've finalised your design, if you're not really using much of the library, you can reduce your dependencies by locally vendoring the particular parts you do use
gentauro has quit [Ping timeout: 255 seconds]
Sankalp has joined #ocaml
gentauro has joined #ocaml
olle has joined #ocaml
Serpent7776 has joined #ocaml
azimut has quit [Ping timeout: 268 seconds]
gopiandcode has quit [Ping timeout: 240 seconds]
gopiandcode has joined #ocaml
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
gopiandcode has quit [Ping timeout: 272 seconds]
gopiandcode has joined #ocaml
jpds has quit [Ping timeout: 268 seconds]
jpds has joined #ocaml
Tuplanolla has joined #ocaml
Sankalp has quit [Ping timeout: 268 seconds]
Sankalp has joined #ocaml
bartholin has joined #ocaml
<d_bot>
<orbitz> @rgrinberg @anmonteiro I saw that ocaml-lsp supports .merlin files again. Thank you so much, I've switched over and the experience is great.
wingsorc has quit [Ping timeout: 268 seconds]
perrierjouet has quit [Quit: WeeChat 3.5]
perrierjouet has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 268 seconds]
trev has joined #ocaml
olle has left #ocaml [#ocaml]
Serpent7776 has quit [Quit: WeeChat 1.9.1]
<d_bot>
<anmonteiro> Rudi deserves all the credit.
Haudegen has quit [Quit: Bin weg.]
salkin has joined #ocaml
Haudegen has joined #ocaml
waleee has joined #ocaml
jpds has quit [Ping timeout: 268 seconds]
jpds has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
jpds has quit [Remote host closed the connection]
jpds has joined #ocaml
mro has joined #ocaml
waleee has quit [Ping timeout: 264 seconds]
<d_bot>
<Terence> hey, if I have a functor that takes 2 modules, is there a way to flip their order, similar to the already existing Fun.flip ?
<companion_cube>
I don't think so, and tbh it's simpler to just write it explicitly
<companion_cube>
modules are hard enough already
<d_bot>
<octachron> No, and it cannot exist because such flip is not guaranteed to be well typed.
mro has quit [Remote host closed the connection]
<d_bot>
<octachron> The type of the second module might be dependent on the value of the first one.
<d_bot>
<Terence> ah right, thank you both
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
raskol has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
spip has joined #ocaml
bobo_ has quit [Ping timeout: 272 seconds]
raskol has quit [Ping timeout: 260 seconds]
raskol has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
rgrinberg has joined #ocaml
dextaa has quit [Ping timeout: 276 seconds]
raskol has quit [Ping timeout: 244 seconds]
zebrag has joined #ocaml
dextaa has joined #ocaml
mbuf has quit [Quit: Leaving]
bartholin has quit [Quit: Leaving]
raskol has joined #ocaml
raskol has quit [Ping timeout: 272 seconds]
azimut has joined #ocaml
Haudegen has joined #ocaml
Serpent7776 has joined #ocaml
<d_bot>
<hopefullyhat> How does bidirectional type checking with {things more complicated than basic let/fun/refs} work? Eg, is there a place to learn the formal type semantics of first class modules or locally abstract types or GADTs?
<companion_cube>
either academic papers, or the typechecker's code, i think :s