<d_bot>
<RegularSpatula> I was looking at this a couple months ago…the couple projects out there seem to say in their docs that they’re in the early stages (haven’t tried them myself though)
bobo_ has joined #ocaml
spip has quit [Ping timeout: 256 seconds]
<companion_cube>
ugh
<companion_cube>
smondet[m]: I think they should be in the extension chapter?
jlrnick has joined #ocaml
<octachron>
companion_cube, I plead guilty: I generally try to move features out of the extension section once they are finalized.
<companion_cube>
hmmm
<companion_cube>
so, things that should move out include at least, imho: private types, first-class modules, inline records…
<companion_cube>
(probably a lot of the lower numbered items, excep 1>)
<companion_cube>
1.
<companion_cube>
err, 2.
mro has joined #ocaml
<octachron>
For inline records, there might be some issue with their very local nature.
<octachron>
Private types are definitively a good candidate.
<companion_cube>
hmm
<companion_cube>
what do you mean about local records? how could they be improved?
<octachron>
First-class modules, there is the interaction with modular explicits
<octachron>
They don't have typê in the surface language for instance.
<companion_cube>
sure, but it's just like a tuple constructor
<companion_cube>
do you mena it's not finalized because it could be that foo.A could become its own proper type?
<companion_cube>
(for foo=A of {x:int} | B)
<octachron>
Yes, someone might want to be able to name the type of r in `A r -> (r:'a)`
<companion_cube>
I mean I'm all for it, but does it invalidate what's existing?
<companion_cube>
I think people have been suggesting the same in the context of rust, interestingly
<companion_cube>
otoh I understand that "recursive definitions of values" might keep changing, as it already has :)
<octachron>
Probably not. But that is kind of standing issue that might create objection when trying to move the manual section.
mro has quit [Remote host closed the connection]
<companion_cube>
does the extension page even make sense? could there be some sections of the core language that are marked as "extensions" instead?
<companion_cube>
so that all things related to modules are in one place, all things related to sum types, etc.
<octachron>
I will prefer that in fact. But it is not a completely consensual opinion.
<octachron>
It also requires to extend the structure of the manual to have some more advanced topic.
<octachron>
But with the GADT chapter in 4.14, we are slowly moving in this direction.
<companion_cube>
👍
<companion_cube>
ok, then I'll stop harassing you :)
mro has joined #ocaml
mbuf has quit [Quit: Leaving]
mro has quit [Remote host closed the connection]
biog has quit [Quit: ZZZzzz…]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
olle has quit [Ping timeout: 256 seconds]
gareppa has joined #ocaml
gareppa has quit [Remote host closed the connection]
<d_bot>
<Drup> As someone tried to make a processing-like library in OCaml ?
<d_bot>
<glennsl> I seem to recall it having backends for native OpenGL too
<d_bot>
<Drup> @companion_cube it's quite a bit more fleshed out than gg/vg, and a bit more geared towards convenience
vicfred has joined #ocaml
<d_bot>
<Drup> @glennsl that API ... does not look nice é_è
tristanC has joined #ocaml
<d_bot>
<glennsl> yea, not surprising as it was one of the first explorations into API design in Reason, and from someone unfamiliar with OCaml I'm pretty sure.
<d_bot>
<glennsl> But the programming model should be basically the same, no? Otherwise I'm not sure what "inspired by" means here...
<d_bot>
<Drup> well, yes, but the programming model is rather not difficult, it's more a question of building in all the nice convenient function
<d_bot>
<Drup> (proper geometry utilities, random gen, noise gen, picture/gif/video emission, etc. Making it all not combersom to use)
<companion_cube>
well maybe JSX helps, though
<d_bot>
<Drup> Lot's of this exists in pieces
<d_bot>
<Drup> it doesn't use HTML, so no, not really
<companion_cube>
there's no link between html and JSX
<companion_cube>
you can use it without any html
<d_bot>
<Drup> I'm not talking about GUI. JSX is really not relevant here 🙂
<companion_cube>
something with inputs, pictures, video, etc. is a GUI