00:24 <discocaml> <regular_trashman> Got it. Well, that kinda sucks. I guess I'll probably useTyXML instead then\

01:20 <discocaml> <jumpnbrownweasel> Since you're switching, are you aware of this?:

01:20 <discocaml> <jumpnbrownweasel> <https://discuss.ocaml.org/t/ann-htmlit-0-1-0-html-generation-combinators-for-ocaml/12724>

01:20 <discocaml> <jumpnbrownweasel> I haven't tried it but I'm interested.

01:23 <discocaml> <regular_trashman> Oh, that looks cool too. I like not having typing on the HTML, so I might go this route instead

01:31 <discocaml> <jumpnbrownweasel> I have used TyXML a little and it was pretty good, but I did notice that the return types of my functions became really complex, for functions that produce pieces of HTML. I couldn't have written down the types manually, instead I relied on the LSP to tell me what they were.

01:46 <discocaml> <regular_trashman> Yeah, that's what I'm currently doing. I'll try tyxml first. It looks like I can almost drop in replace for that other lib if I need to later, a lot of stuff looks pretty similar, and the rest I can confidently grep to change

01:47 <discocaml> <regular_trashman> This is probably a beginner question, but do you have any advice for organizing a dream project? I'm just getting my feet wet with Ocaml, and wanted to start with something easy like a todo app or something

01:47 <discocaml> <regular_trashman> But the project structure seems a far cry from what I'm used to, being TS/Kotlin

02:20 <discocaml> <jumpnbrownweasel> No, sorry, I don't have any real advice on that, but you might try the #webdev channel.

06:28 <tom1212> considering generating PBT tests with ppx, as the annotations can act as documentation, but on the other hand, I actually quite like to generate tests at execution time

06:29 <tom1212> what would be your pick?

14:58 <discocaml> <regularspatula> tom1212: I have used ppx_quickcheck when it's called for. Works well

21:52 <discocaml> <drupyog> I'm always writing compilers 😄

22:07 <discocaml> <companion_cube> But for what? :p

22:13 <discocaml> <drupyog> right now: https://icfp23.sigplan.org/details/icfp-2023-papers/28/Bit-stealing-made-legal

22:14 <discocaml> <drupyog> you'll probably greatly enjoy that, actually 🙂

22:43 <companion_cube> Cause I'm a bit thief? :p

23:40 <discocaml> <darrenldl> very cool : o