00:47 <discocaml> <acheac> guys any porper material on zipper

00:50 <discocaml> <Kali> http://learnyouahaskell.com/zippers https://en.wikipedia.org/wiki/Zipper_(data_structure) https://wiki.haskell.org/Zipper

02:12 <discocaml> <limp.biskit> i would just experiment in utop to get a feel for making data structures in ocaml

04:43 <discocaml> <anadon> Hi all. Relearning programming from scratch for a project. Experience in C++ and Python 3. M.S. in C.S. with an emphasis on Computer Science. What is the most efficient way for me to learn? I find myself needing to skip around in the ocaml.org tutorial a bit too much, so I'm not sure if I really just need more patience or another resource might be better suited.

04:55 <discocaml> <pigeon.v> maybe try the exercises there https://ocaml.org/exercises

09:27 <bartholin> I've made a weird dream

09:28 <bartholin> I dreamt it would be possible to make a monad to parse command line arguments, in the spirit of angstrom

09:35 <toastal> My dream: forget CLI args… Nickel string to stdin so the end user gets typed config & an LSP for getting all the CLI input values right & the CLI doesn’t have to parse the types since it was valid, verified Nickel

09:36 <discocaml> <mbs> This task is verbatim from the course I am organizing with Prof. Seidl and others at TUM where it is homework that was due this morning.

09:36 <discocaml> <mbs> Asking others online for help with doing your homework is dangerously close to what we consider academic misconduct in our course.

09:36 <discocaml> <mbs> We provide dedicated channels associated with the course, where you may ask if something is unclear or hints; please do not bother the general OCaml community with questions about our course. Thank you!

09:37 <discocaml> <mbs> This task is verbatim from the course I am organizing with Prof. Seidl and others at TUM where it is homework that was due this morning.

09:37 <discocaml> <mbs> Asking others online for help with doing your homework is dangerously close to what we consider academic misconduct in our course.

09:37 <discocaml> <mbs> We provide dedicated channels associated with the course, where you may ask if something is unclear or ask for hints; please do not bother the general OCaml community with questions about our course, and esepcially your homework. Thank you!

09:38 <discocaml> <mbs> This task is verbatim from the course I am organizing with Prof. Seidl and others at TUM where it is homework that was due this morning.

09:38 <discocaml> <mbs> Asking others online for help with doing your homework is dangerously close to what we consider academic misconduct in our course.

09:38 <discocaml> <mbs> We provide dedicated channels associated with the course, where you may ask if something is unclear or ask for hints; please do not bother the general OCaml community with questions about our course, and especially your homework. Thank you!

09:40 <bartholin> mbs: are you talking about me? I don't know any Prof. Seidl

09:41 <discocaml> <mbs> No, I replied to @acheac's message on Discord. I guess this information is lost when using the IRC bridge

09:42 <bartholin> ah, ok

09:42 <discocaml> <mbs> Sorry for any confusion

09:43 <discocaml> <darrenldl> neat to know more unis using ocaml as teaching tool

09:45 <discocaml> <mbs> Yeah, there's quite a few already listed here https://ocaml.org/academic-users, and I don't think the list is even complete 😄

09:46 <discocaml> <darrenldl> ah thanks - i'm oblivious to the page ha

10:45 <discocaml> <leviroth> bartholin: Core.Command and cmdliner each do this, except as an applicative and not a monad.

10:45 <bartholin> leviroth: thanks for the advice

10:58 <discocaml> <acheac> i am sry, cause i thought the homework‘s due is on Sundays night(), i won't do it again🥹

11:00 <companion_cube> bartholin: you mean, cmdliner?

11:00 <bartholin> companion_cube: I didn't know cmdliner, I'll look into it

11:00 <companion_cube> (although it's applicative, not monadic)

11:00 <companion_cube> Hu ok, yeah, it's the main cli parsing library :)

11:55 <discocaml> <limp.biskit> are any schedulers actually implementing picos atm?

12:46 <companion_cube> Miou I think

13:22 <discocaml> <limp.biskit> ### v0.1.0 (2024-04-03)

13:22 <discocaml> <limp.biskit>

13:22 <discocaml> <limp.biskit> A major change in Miou's internals to incorporate the excellent work of

13:22 <discocaml> <limp.biskit> [Vesa Karvonen][vesa] available in his [picos][picos] project.

13:22 <discocaml> <limp.biskit> yep, you're right

13:23 <discocaml> <limp.biskit> still need to play around with picos

13:24 <discocaml> <limp.biskit> its useless to me now since i doubt eio will ever implement, but it would be nice to have code ready to go for hypothetical scheduler X

13:24 <discocaml> <limp.biskit> i think picos can run ontop of lwt

13:40 <companion_cube> I want to move to picos

13:41 <companion_cube> I just haven't taken the time recently :(

13:46 <discocaml> <limp.biskit> i've mainly been learning and reimplementing miou

13:47 <discocaml> <limp.biskit> eio makes too many assumptions for you, and miou's smaller codebase should hopefully be much simpler for monitoring purposes

13:50 <discocaml> <limp.biskit> https://github.com/patricoferris/miou/commit/798577565b597f87003e25412938327b90f1e9fc

13:53 <companion_cube> very sad to see they use the JST format style though 🙃

16:00 <discocaml> <lukstafi> Zippers with an example slides 2-12: https://ii.uni.wroc.pl/~lukstafi/pmwiki/uploads/Functional/functional-lecture10.pdf

16:41 <discocaml> <lowlowcode_96272> Hello everybody, im looking for a file watcher which works an windows, linux and MacOs

17:15 <discocaml> <dinosaure> I actually started to emit events with what OCaml provides abd I currently try to propose something like meio but I need time to figure out how to print out a nice TUI 🙂

17:16 <discocaml> <dinosaure> My draft (completely not finished) is available here: https://github.com/robur-coop/miou/tree/trace, I hope to have time to finish this work as soon as possible

17:22 <discocaml> <limp.biskit> that's super cool

17:23 <discocaml> <limp.biskit> will it be stable for applications to hook into? i'd love to catch both miou and custom application-level events in one place

17:29 <discocaml> <dinosaure> It's not stable yet, I need to see if these events are sufficient or not for my TUI. At first, it should but yeah, at this stage it's experimental

17:31 <discocaml> <limp.biskit> yeah ofc, i was just asking if thats an eventual goal

17:46 <discocaml> <deepspacejohn> TIL you can make different extensible constructors equal to each other `type t = .. type t += A type t += B = A`

17:54 <discocaml> <sim642> I wonder how much that is really used

18:18 <discocaml> <deepspacejohn> yeah I have a hard time imagining how it would be useful, or even just not confusing.

18:23 <discocaml> <limp.biskit> i still haven't found my self (outside exceptions) using normal extensible constructors

18:35 <discocaml> <deepspacejohn> you can use them for some advanced tricks like making type-safe heterogeneous maps with extensible GADTs.

18:36 <discocaml> <deepspacejohn> Effects also use them (which I guess work similarly to exceptions, at least in theory)

20:33 <discocaml> <limp.biskit> btw @dinosaure your git server is down

20:34 <discocaml> <dinosaure> Yes, @hannes6838 actually upgrade the system and he got few issues. I think, a basic clone via ssh should work however. Thanks for your report 🙂

21:29 <discocaml> <limp.biskit> btw, would there be any consideration to making httpcats compatible with anmonteiro's fork?

21:30 <discocaml> <limp.biskit> would bring some improvements and allow for httpaf-eio on the same switch, but obv understand if you don't want another pin

22:21 <discocaml> <struktured> what is the modern choice for crypto libs in ocaml these days? I have project using nocrypto but it doesn't seem well maintained any longer.

22:49 <companion_cube> The jose package used mirage-crypto which seems fine

23:18 <discocaml> <struktured> thanks, will consider it.