rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
<d_bot>
<NULL> @soilih encounters an error when installing `ocamlbuild` through opam: `ERROR: Preinstalled ocamlbuild detected at /usr/lib/ocaml/ocamlbuild`. Why is this error raised ? Shouldn't the package be installed as a wrapper when `ocamlbuild` is already installed globally ?
mbuf has joined #ocaml
mbuf has quit [Quit: Leaving]
kaph has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
kaph_ has joined #ocaml
kaph has quit [Ping timeout: 256 seconds]
travv0 has left #ocaml [#ocaml]
spip has quit [Quit: Konversation terminated!]
xiongxin1 has joined #ocaml
xiongxin has quit [Ping timeout: 250 seconds]
xiongxin1 is now known as xiongxin
epony has joined #ocaml
<d_bot>
<octachron> @soilih : the easiest way is to switch to an opam-managed switch, (with `opam switch create 4.13.1`) with this you will have access to a recent version of OCaml and no problem with the interaction between the system packager and opam.
<hackinghorn>
so I read that every loop can be rewritten as tail-recursion. is that right?
<hackinghorn>
hmm, maybe we dont need loops
<octachron>
hackinghorn, yes. Loops are unnecessary. Or in other words, lambda calculus is Turing complete.
<hackinghorn>
oh yeahhh
Serpent7776 has joined #ocaml
mro has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
wyrd has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
rgrinberg has quit [Client Quit]
mro has quit [Remote host closed the connection]
waleee has joined #ocaml
mro has joined #ocaml
Tuplanolla has joined #ocaml
mro has quit [Remote host closed the connection]
Haudegen has joined #ocaml
xiongxin1 has joined #ocaml
xiongxin has quit [Ping timeout: 240 seconds]
xiongxin1 is now known as xiongxin
szkl has quit [Quit: Connection closed for inactivity]
mro has joined #ocaml
mro has quit [Quit: Leaving...]
kaph_ has quit [Quit: Leaving]
kaph has joined #ocaml
jlrnick has joined #ocaml
bartholin has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
bartholin has quit [Ping timeout: 256 seconds]
jlrnick has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
xiongxin1 has joined #ocaml
xiongxin has quit [Ping timeout: 250 seconds]
xiongxin1 is now known as xiongxin
bartholin has quit [Ping timeout: 256 seconds]
kaph has quit [Ping timeout: 250 seconds]
jyc has quit [Ping timeout: 256 seconds]
jyc has joined #ocaml
bartholin has joined #ocaml
<d_bot>
<Inst> hi
<d_bot>
<Inst> i heard you finally implemented multicore support?
<d_bot>
<Inst> how long until you start knocking gcc off the tables?
<d_bot>
<Inst> btw, can ocaml community explain the rumors i've been hearing that the french government is expanding support for your language?
<d_bot>
<Inst> I'm a beginning programmer learning Haskell, and sometimes the Haskell community gives me fits
kaph has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
biog has joined #ocaml
Guest1715 has joined #ocaml
bartholin has quit [Ping timeout: 250 seconds]
gravicappa has quit [Ping timeout: 250 seconds]
bartholin has joined #ocaml
perrierjouet has quit [Quit: WeeChat 3.4]
perrierjouet has joined #ocaml
Guest1715 has quit [Quit: Client closed]
<d_bot>
<octachron> This is some pretty weird rumor. I would be (pleasantly) surprised if anyone in the French government knows that OCaml exists. Benchmarking games are mostly games, they contain little information.
bartholin has quit [Ping timeout: 250 seconds]
Tuplanolla has quit [Ping timeout: 250 seconds]
<d_bot>
<Inst> no, but if you look at the benchmarks
<d_bot>
<Inst> ocaml runs single core
perrierjouet has quit [Quit: WeeChat 3.4]
<d_bot>
<Inst> octachron: OCaml is developed by a research institute under the financial support of the French state
mro has joined #ocaml
perrierjouet has joined #ocaml
waleee has joined #ocaml
bartholin has joined #ocaml
xiongxin1 has joined #ocaml
xiongxin has quit [Ping timeout: 240 seconds]
xiongxin1 is now known as xiongxin
gravicappa has joined #ocaml
Tuplanolla has joined #ocaml
lobo has quit [Quit: lobo]
lobo has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot>
<darrenldl> I believe octachron is working at said institute : D
<d_bot>
<VPhantom> INRIA?
<d_bot>
<octachron> Yes (now Inria). And more precisely in the Cambium team (aka the OCaml team).
<d_bot>
<VPhantom> (An acronym with just the first letter upper cased? That's odd.)
<d_bot>
<octachron> But French researchers working on OCaml on their own time is quite different than having direct support for OCaml itself. (In my case, I do work only on the OCaml compiler but my contract is only temporary).
<d_bot>
<octachron> (That was a marketing idea to try to make the institute name a brand name rather than an acronym)
<d_bot>
<VPhantom> Interesting. So you work at the institute, you choose to work on OCaml, but the language isn't in the institute's direct objectives?
<d_bot>
<VPhantom> I was under the impression that OCaml was France's gift to the IT world. 😉
<d_bot>
<octachron> Something like that. For a very long time, the institute had trouble knowing what to do with purely open-source softwares that could not really be commercialized. This is slowly changing.
<companion_cube>
The big software is Coq, not ocaml, anyway :p
<companion_cube>
The latter exists for the former
xiongxin has quit [Remote host closed the connection]
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
biog has quit [Quit: ZZZzzz…]
bartholin has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
jochensp has joined #ocaml
bartholin has quit [Ping timeout: 250 seconds]
<jochensp>
Hi, I recently took over maintenance of wyrd: https://gitlab.com/wyrd-calendar/wyrd that uses camlp4. Now someone wrote camlp4 is no longer in Suse. Do you propose to port it to something different (ppx?) And would someone be able to help?
<leah2>
what is camlp4 used for there?
<jochensp>
leah2: parsing the config file and remind program output, wyrd is wrapping
bartholin has joined #ocaml
biog has joined #ocaml
<leah2>
maybe camlp5 can be used?
waleee has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
wyrd has joined #ocaml
hackinghorn has quit [Ping timeout: 256 seconds]
<jochensp>
is it longer supported then 4?
biog has quit [Quit: ZZZzzz…]
<leah2>
it's actively maintained and works with latest ocaml
<leah2>
and has the same stream module, so maybe easy to switch to?
biog has joined #ocaml
<d_bot>
<darrenldl> scrollable text timetable huh, thats kinda neat
jlrnick has joined #ocaml
<jochensp>
leah2: just tested and it works out of the box :)
<leah2>
good
<leah2>
i may revive the package on voidlinux then, if it builds with latest ocaml
<jochensp>
you could send a CI snippet to try ;)
<leah2>
idk, what version are you testing?
<leah2>
4.11
<leah2>
should work i think
kaph has quit [Read error: Connection reset by peer]
<jochensp>
4.11, yeah
jlrnick has quit [Remote host closed the connection]
salkin has quit [Remote host closed the connection]
salkin has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
biog has quit [Quit: ZZZzzz…]
bartholin has quit [Quit: Leaving]
kaph has quit [Read error: Connection reset by peer]
jlrnick has quit [Ping timeout: 240 seconds]
<LACampbell>
for lists, am I better off doing a filter_map then a join? or a filter then a return? (assuming the jane street base library with monadic stuff in there)
kaph has joined #ocaml
kaph has quit [Remote host closed the connection]
<LACampbell>
sorry, filter_map + join VS filter + bind. obviously I don't get monads and just figured out what flatten and flatmap were called
Haudegen has quit [Quit: No Ping reply in 180 seconds.]
<dmbaturin>
b0o: This isn't too bad, though concatenating strings like that is not very efficient. If you are using mutability anyway, you should rather use the Buffer module. Create a buffer with `Buffer.create`, then use `Buffer.add_string` to append retrieved strings to it.
<d_bot>
<Fermion> hmm does this require that I come up with an entry in .message for each error condition?
<d_bot>
<Fermion> I'm maybe a bit more used to things like megaparsec where they carry enough state around to say what the error is
<dmbaturin>
There may be a way to generate them based on the token stack for cases you don't have a specific messae for, but I haven't looked into that. I try to supply a message for every case.
<d_bot>
<Fermion> Are there any other recommended parser generators or is menhir kinda king?
<dmbaturin>
There are some relatively popular parser combinators, e.g. angstrom.