00:48 <discocaml> <Add to Cart> I am currently taking a class thats teaching ocaml and I would like to find a place to master the language. Where can I go for this?

00:52 <discocaml> <NULL> If you have questions, here (or #beginners) is a good place; for general lessons, I don't know (the two links above may be answers)

01:16 <oriba> yes the Whitington is a good start... the OCaml-Oreilly-Book is also good

09:45 <discocaml> <შონია> Thank you

16:05 <neiluj> hello!

16:06 <neiluj> after the C stubs are built with ctypes there is an error that alloc is deprecated and ocaml_alloc should be used

16:07 <neiluj> also, some structs have flush as a field and this clashes with ocaml_flush

16:09 <neiluj> rings a bell?

20:51 <discocaml> <cemerick> sheesh, the 'What are the biggest reasons newcomers give up on OCaml?' mega-thread is now up to almost 300 messages 👀

20:55 <neiluj> :sadparrot:

20:58 <neiluj> got those C bindings working, parsing C with libclang was actually not too painful

20:59 <discocaml> <geoff> generating ctypes bindings?

20:59 <neiluj> yep!

21:00 <neiluj> in the end I had to edit manually to remove some function which clashed with the ocaml C api

21:01 <neiluj> now translating some old code in ocaml to try to find how to make a wrapper with a type-safe interface

21:02 <discocaml> <geoff> ah nice. I've just manually pounded them out on the three libraries that I've bound so far (with the help of regex -- on header signatures and existing foreign ctypes foreign expressions). Even having something that generated the first pass automatically would be nice though.

21:05 <neiluj> wow regexp you're courageous!

21:05 <neiluj> used this: https://github.com/aziem/libclang-ocaml-bindings-generator/tree/master, adapted it a bit too support some C quirks

21:07 <neiluj> now I wan't to do C++ again! especially since the latest standards have more and more functional features

21:08 <discocaml> <geoff> Are you going to PR the changes? I'll have try that out the next time I'm starting fresh on a bindings lib

21:09 <neiluj> yeah I'll try once I clean it up a bit, maybe in a week or two.

21:09 <discocaml> <geoff> I've been writing some C++ lately contributing to Manifold, but not in the complicated parts. It's not so bad, but I do miss ocaml while I'm writing it.

21:13 <discocaml> <masterbuilder> why not go for Rust, best of both worlds 🤭

21:16 <neiluj> CAD stuff, cool stuff

21:26 <discocaml> <geoff> Yea, code CAD is great. Though my time spent on libraries for it has taken away from the time that I actually make models and send them to my printer 😅

21:31 <neiluj> :)

22:19 <discocaml> <geoff> Something I've been wondering for a while, but haven't made a post about on discuss yet, is if functions working with GADTs having better inference/errors on partial application is possible or not. (continued in pastebin with code blocks: https://pastebin.com/yUVmjRJQ)