<sim642>
For the new beta API there's an example Go action to do such submission. Maybe setup-ocaml could include a similar feature as one of its subactions?
<sim642>
Ah, I see you already opened an issue about it
nd__ has quit [Ping timeout: 256 seconds]
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 240 seconds]
nd__ has joined #ocaml
mjs22 has joined #ocaml
nd__ has quit [Ping timeout: 240 seconds]
nd__ has joined #ocaml
mbuf has joined #ocaml
bartholin has joined #ocaml
mro has joined #ocaml
jpds1 has joined #ocaml
bartholin has quit [Quit: Leaving]
Serpent7776 has joined #ocaml
Everything has joined #ocaml
nd__ has quit [Ping timeout: 256 seconds]
nd__ has joined #ocaml
nd__ has quit [Ping timeout: 248 seconds]
mjs22 has quit [Quit: Leaving]
<d_bot_>
<sempronio18> ehy, I've a question, is still useful to study ocaml? I like its sintax but don't know if it's worth or not
nd__ has joined #ocaml
<d_bot_>
<octachron> As always it depends: if you already know another statistically typed functional language like Haskell, have already used a powerful module system à la OCaml or SML, have written some OS-level code with Rust, pondered about the relationship between inheritance and subtyping, and written proofs in a dependently type language; then maybe it is not worth it to study OCaml, but that's because you essentially already know OCaml. O
<reynir>
Today is World Camel Day
nore has quit [Ping timeout: 240 seconds]
nore has joined #ocaml
<d_bot_>
<sempronio18> I studied a bit of ocaml during university but I see on github lot of cool projects made with ocaml
kaustuv has joined #ocaml
<kaustuv>
Currently `dune subst' uses `git describe' which bases VERSION on the last annotated tag. In my project that tag is, e.g., "1.3". However, the master branch of the project is now considered to be version "1.4-dev", which is reflected in the .opam file. How do I get `dune subst' to use that instead of stubbornly using "1.3"?
<kaustuv>
In other words, can I get `dune subst' to just read the VERSION from the .opam?
mro has quit [Remote host closed the connection]
adanwan has quit [Remote host closed the connection]
adanwan has joined #ocaml
mro has joined #ocaml
mro has quit [Ping timeout: 248 seconds]
wingsorc has quit [Quit: Leaving]
azimut has quit [Ping timeout: 268 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
azimut has joined #ocaml
mro has joined #ocaml
kaustuv has left #ocaml [ERC 5.4.1 (IRC client for GNU Emacs 27.1)]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 246 seconds]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
mro has quit [Quit: Leaving...]
waleee has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
zebrag has joined #ocaml
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
motherfsck has quit [Quit: quit]
motherfsck has joined #ocaml
rgrinberg has joined #ocaml
<d_bot_>
<Vladislav Babickiy> Hello everyone, my name is Vlad, I am the CTO of the Mineplex project. At the moment we are looking for a development team for our blockchain, the core is written in OCaml. I would appreciate any response, and I'm sorry if I intrusively invaded this chat🙏
<d_bot_>
<Vladislav Babickiy> JD by Mineplex
<d_bot_>
<Vladislav Babickiy>
<d_bot_>
<Vladislav Babickiy> Responsibilities:
<d_bot_>
<Vladislav Babickiy>
<d_bot_>
<Vladislav Babickiy> - explore our current version of the blockchain;
<d_bot_>
<Vladislav Babickiy> - immerse yourself in the project;
<d_bot_>
<Vladislav Babickiy> - raise the testnet (for self-testing and implementation into the blockchain);
<d_bot_>
<Vladislav Babickiy> - start development tasks;
<d_bot_>
<Vladislav Babickiy> - implementation and implementation of smart contracts;
<d_bot_>
<Vladislav Babickiy> - implementation and implementation of NFT;
<d_bot_>
<Vladislav Babickiy>
<d_bot_>
<Vladislav Babickiy> Conditions:
<d_bot_>
<Vladislav Babickiy>
<d_bot_>
<Vladislav Babickiy> - teamwork, +1 specialist at the moment;
<d_bot_>
<Vladislav Babickiy> - free schedule (you can choose the most suitable day mode for yourself);
<d_bot_>
<Vladislav Babickiy> - agile approach;
<d_bot_>
<Vladislav Babickiy> - setting and estimating tasks via Jira;
<d_bot_>
<Vladislav Babickiy> - timely payments at the end of each month;
<d_bot_>
<Vladislav Babickiy> - rate or offer is discussed individually;
<companion_cube>
s p a m
<d_bot_>
<Vladislav Babickiy> no
<d_bot_>
<Vladislav Babickiy> its not are spam
<companion_cube>
first, this is a channel shared with IRC, where it's definitely spammy
<companion_cube>
typically, I think, job openings tend to be posted on the mailing lists.
<d_bot_>
<Vladislav Babickiy> I apologized in advance before the message
<companion_cube>
but maybe we could have a #jobs channel? (@Bluddy)
<d_bot_>
<Vladislav Babickiy> that would be great
<companion_cube>
heh, fair enough anyway, I just don't like walls of text on blockscams
<d_bot_>
<Vladislav Babickiy> 💯 🙏
<vsiles>
so I can paste wall of texts if I apologize in advance ? nifty :D </trolling>
<Corbin>
Hey, vsiles said it, not me~
<vsiles>
that being said, a #jobs channel seems a good idea
waleee has quit [Ping timeout: 255 seconds]
xgqt has quit [Ping timeout: 276 seconds]
xgqt has joined #ocaml
<Corbin>
Does anybody happen to have explanations of how searching/walking/folding an (e.g. binary) tree in CAM/ZINC should work? The classic papers only cover lists.
Sankalp has quit [Quit: ZNC 1.7.2+deb3 - https://znc.in]
<Guest56>
Hello. I am new to programming in ocaml. I would like to be pointed to a good quality codebase written in ocaml to learn from. Thanks.
Guest56 has quit [Client Quit]
Guest56 has joined #ocaml
Guest5673 has joined #ocaml
Guest5673 has quit [Client Quit]
Guest56 has quit [Client Quit]
<d_bot_>
<joris> Hi! Good quality is somewhat subjective. But in anycase, there are a lot. I think you should narrow the scope by topics that interest you personally. Programming is vaste and there are different patterns in different domains, depends what you want to do
<d_bot_>
<Et7f3 (@me on reply)> @Vladislav Babickiy we usually get real spam that just post and leave and they contain the word blockchain. Since you use blockchain do you have real value against just a db on RAID disk/on cluster ?
hackinghorn has joined #ocaml
azimut has quit [Ping timeout: 268 seconds]
Haudegen has joined #ocaml
<companion_cube>
> "Ca fait pitié" as we say in French.
<companion_cube>
gotta love Xavier sometimes
Everything has quit [Quit: leaving]
mjs22 has joined #ocaml
<d_bot_>
<Et7f3 (@me on reply)> 🤔 where
waleee has joined #ocaml
<companion_cube>
a ocaml issue :)
ns12 has quit [Quit: bye]
ns12 has joined #ocaml
misterfish has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 264 seconds]
<d_bot_>
<ec> Personally, I always reference Daniel's code when I'm iffy on how exactly to arrange something; I consider it some of the clearest, most beautiful OCaml: https://github.com/dbuenzli
mro has joined #ocaml
olle has joined #ocaml
szkl has joined #ocaml
mro has quit [Ping timeout: 248 seconds]
<companion_cube>
this Streaming thing looks super interesting, wow
<octachron>
Yes, fortunately, there was no need for modular implicits before switching to the parallel runtime.
<drakonis>
ah right
<drakonis>
i mean, now that the parallel runtime is on its way to releasing, modular implicits should be back on the menu, yeah?
<octachron>
Modular implicits has never left the long term menu.
<drakonis>
of course, but it went lower into the priority list
<drakonis>
since the folks working on it were busy with the parallel runtime
<octachron>
Not really, the intersection of people working on modular implicits and the multicore runtime is quite close to the empty set, clearly far less than 1 person.
<drakonis>
ah right
<drakonis>
well
<drakonis>
the one person anyways :V
<d_bot_>
<leviroth> >far less than one person
<rgrinberg>
octachron what are you working on now then? :)
<drakonis>
they got you now :V
<octachron>
Making sure that OCaml 5 is stable for now.
<companion_cube>
ugh, look at this pragmatism
<drakonis>
by the way, is advanced operator binding on the menu?
<drakonis>
this is some good pragmatism...
<drakonis>
i find it weird that ocaml's operator binding is so... rigid?
<drakonis>
first character defines precedence
<octachron>
And yes, I was counting myself as "interested in both feature and might end up participating a little in both projects so less than one person".
<drakonis>
oh i see
<drakonis>
so its one and a half person :V
<companion_cube>
ah, no chance for more flexible operators I think
<companion_cube>
would require a different parser technology
<rgrinberg>
octachron when's codept back on the menu?
<drakonis>
new parser technology...
<octachron>
You can take from the reverse point of view: you can know the precedence on any expressions without needing context.
<drakonis>
sure
<drakonis>
that i can understand
<octachron>
rgrinberg, good question. When I find the take to look at dune integration and decide where to go from that point. I was wondering if a reverse/constraint mode would be useful.
<drakonis>
but it limits associativity and precedence
<octachron>
But I would rather check how that might work in practice first.
<rgrinberg>
what's a reverse/constraint mode?
<drakonis>
since its based on the first character if i'm not wrong
<drakonis>
its not bad i guess
<octachron>
For each source file, emits a constraint formula on compilation unit contents that needs to be verified for the current dependency analysis to be correct
<drakonis>
also hooray for getting algebraic effects before haskell does :V
<sadiq>
hah
<octachron>
And then check that this constraint is satisfied once the first round of file-by-file dependency computation is done.
<companion_cube>
drakonis: it mostly works, yeah
<drakonis>
the first ghc PR introduces basic continuations
<rgrinberg>
octachron what are some examples of such constraints?
<drakonis>
also is metaocaml ever going to be on the long term menu :V?
<companion_cube>
sounds vaguely like chemistry
<drakonis>
that sounds like linear algebra
<companion_cube>
"first let's assume that these are the constraints; then let's check our assumptions using the result obtained using them"
<companion_cube>
:p :p
<octachron>
Essentially, variants of "the signature of unit U does not contain a submodule M"
<drakonis>
metaocaml sounds like goddamn magic and i really want it...
<drakonis>
there are too many cool things
<rgrinberg>
I see. I suppose those constraints are going to be opaque to dune anyway, since it's codept that is generating and verifying them.
<rgrinberg>
I have some ulterior reasons for wanting to use codept as well. I'd like to speed up compilation a little by doing the dependency analysis in dune directly using codept as a library :)