companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 5.2.0 released: https://ocaml.org/releases/5.2.0 | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
inline has joined #ocaml
inline has quit [Quit: Leaving]
Humean has joined #ocaml
Tuplanolla has quit [Ping timeout: 252 seconds]
wbooze has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
<discocaml> <functionalprogramming> Anything I can read about to become more comfortable with the module system? I want to learn more about things like edge cases and interesting knowledge off the beaten path
<discocaml> <yawaramin> RWO is a good resource for that
Frostillicus has joined #ocaml
_whitelogger has joined #ocaml
Frostillicus has quit [Ping timeout: 260 seconds]
infinity0 has quit [Ping timeout: 252 seconds]
infinity0 has joined #ocaml
bartholin has joined #ocaml
nirvdrum741 has quit [Ping timeout: 244 seconds]
nirvdrum741 has joined #ocaml
Humean has quit [Ping timeout: 248 seconds]
_whitelogger has joined #ocaml
bibi_ has quit [Quit: Konversation terminated!]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 245 seconds]
<discocaml> <undu> That's https://dev.realworldocaml.org/
<discocaml> <gooby_diatonic> Is there something like metaquot that works with OCaml 5.3? Metaquot itself seems stuck on 5.1
Frostillicus has joined #ocaml
My-Bosnian-mom-M has joined #ocaml
My-Bosnian-mom-M has quit [Quit: Client closed]
bartholin has quit [Remote host closed the connection]
My-Bosnian-mom-M has joined #ocaml
My-Bosnian-mom-M has quit [Quit: Client closed]
<discocaml> <sim642> I haven't followed ppxlib for a while, but this looks like it should be on 5.3: https://github.com/ocaml-ppx/ppxlib/pull/558
<discocaml> <sim642> Or is there something more missing?
Tuplanolla has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
Frostillicus has joined #ocaml
cawfee has quit [Quit: WeeChat 4.6.2]
cawfee has joined #ocaml
Exa has quit [Quit: see ya!]
Serpent7776 has joined #ocaml
Exa has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
<discocaml> <contificate> Read the papers about it/variants of it
<discocaml> <contificate> Digi and I were implementing the "Modular Modules" paper and learned quite a lot, despite having used the module system more than casually beforehand
<discocaml> <contificate> that said, the other papers are more informative - I like https://caml.inria.fr/pub/papers/xleroy-manifest_types-popl94.pdf alongside Modular Modules
<discocaml> <contificate> of course, the module system is more complex/slightly different than what's described here, but it's a really good start
<discocaml> <contificate> Dreyer's PhD thesis is also more than you could ever want to know about module systems
<discocaml> <contificate> and related literature by Harper et al from the same time period
Frostillicus has joined #ocaml
<discocaml> <functionalprogramming> epic thanks
YuGiOhJCJ has quit [Quit: YuGiOhJCJ]
Everything has left #ocaml [#ocaml]
Serpent7776 has quit [Ping timeout: 252 seconds]
buoy49__ has quit [Ping timeout: 260 seconds]
buoy49__ has joined #ocaml
wbooze has quit [Quit: Leaving]
ol0ck has joined #ocaml
ello- has joined #ocaml
wbooze has joined #ocaml
Frostillicus has quit [Ping timeout: 252 seconds]
Frostillicus has joined #ocaml
Frostillicus has quit [Ping timeout: 276 seconds]
Serpent7776 has joined #ocaml
cawfee has quit [Ping timeout: 276 seconds]
hanker has quit [Quit: Gateway shutdown]
Humean has joined #ocaml
Frostillicus has joined #ocaml
Frostillicus has quit [Read error: Connection reset by peer]
szkl has quit [Quit: Connection closed for inactivity]
Frostillicus has joined #ocaml
Anarchos has joined #ocaml
bartholin has joined #ocaml
Frostillicus has quit [Ping timeout: 260 seconds]
Anarchos has quit [Quit: Vision[]: i've been blurred!]
<discocaml> <gooby_diatonic> There's actually a separate metaquot independent of ppxlib
<discocaml> <gooby_diatonic> https://github.com/ocamllibs/metaquot
<discocaml> <gooby_diatonic> It has a bit more features from what I've seen, so I thought it might be nicer for doing code generation
Frostillicus has joined #ocaml
<discocaml> <gooby_diatonic> But this one is stuck on 5.1 in the repos I believe
<discocaml> <gooby_diatonic> But I might try just going with the ppxlib's one since my project has it as a dependency anyways
Frostillicus has quit [Ping timeout: 245 seconds]
Frostillicus has joined #ocaml
Anarchos has joined #ocaml
cawfee has joined #ocaml
cawfee has quit [Quit: WeeChat 4.6.3]
cawfee has joined #ocaml
Frostillicus has quit [Ping timeout: 252 seconds]
Frostillicus has joined #ocaml
hanker has joined #ocaml
Frostillicus has quit [Ping timeout: 252 seconds]
Haudegen has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
bartholin has quit [Remote host closed the connection]
Serpent7776 has quit [Ping timeout: 248 seconds]
szkl has joined #ocaml
wbooze has quit [Quit: Leaving]
wbooze has joined #ocaml
Mister_Magister has quit [Quit: bye]
Haudegen has quit [Quit: Bin weg.]
Mister_Magister has joined #ocaml
hanker has quit [Quit: Gateway shutdown]
hanker has joined #ocaml