companion_cube changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.14.0 released: https://ocaml.org/releases/4.14.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
vicfred has quit [Quit: Leaving]
perrierj1 has quit [Ping timeout: 240 seconds]
zebrag has quit [Quit: Konversation terminated!]
jtmcx has joined #ocaml
quernd6 has joined #ocaml
pieguy128_ has joined #ocaml
Ekho has quit [Quit: CORE ERROR, SYSTEM HALTED.]
pieguy128 has quit [Remote host closed the connection]
jtm has quit [Quit: k byeeee]
wagle has quit [Remote host closed the connection]
wagle has joined #ocaml
xenu_ has joined #ocaml
cross_ has joined #ocaml
infinity0_ has joined #ocaml
infinity0 has quit [Killed (strontium.libera.chat (Nickname regained by services))]
infinity0_ is now known as infinity0
Ekho- has joined #ocaml
Ekho- is now known as Ekho
theblatte has joined #ocaml
quernd has quit [Ping timeout: 272 seconds]
cross has quit [Ping timeout: 272 seconds]
quernd6 is now known as quernd
gentauro has quit [Ping timeout: 272 seconds]
theblatt1 has quit [Ping timeout: 272 seconds]
xenu has quit [Ping timeout: 272 seconds]
gentauro has joined #ocaml
average has quit [Ping timeout: 260 seconds]
average has joined #ocaml
average has joined #ocaml
average has quit [Changing host]
vsiles_ has joined #ocaml
kaph_ has joined #ocaml
vsiles has quit [Ping timeout: 272 seconds]
kaph has quit [Ping timeout: 276 seconds]
nkatte has joined #ocaml
rgrinberg has joined #ocaml
nkatte_ has joined #ocaml
nkatte_ has quit [Client Quit]
nkatte- has joined #ocaml
average has quit [Ping timeout: 240 seconds]
average has joined #ocaml
average has quit [Changing host]
average has joined #ocaml
<d_bot> <mbacarella> yeah, that's one possibility. when building the 500kloc file dune only runs one job compiler job for minutes. with the sub-modules approach more jobs run in parallel
<d_bot> <mbacarella> though since submoduleN depends on opening submodules1...(N-1) i assume it still must serialize
xenu_ is now known as xenu
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
rgrinberg has joined #ocaml
bobo has quit [Ping timeout: 256 seconds]
spip has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<d_bot> <geoff> I'm curious how a single file grows so large without being split apart. How is the editing experience at 500kloc?
rgrinberg has joined #ocaml
shawnw has quit [Ping timeout: 240 seconds]
Haudegen has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
nkatte- has quit [Quit: by]
rgrinberg has quit [Ping timeout: 240 seconds]
nkatte- has joined #ocaml
ansiwen has quit [Quit: ZNC 1.7.1 - https://znc.in]
nkatte- has quit [Client Quit]
rgrinberg has joined #ocaml
ansiwen has joined #ocaml
nkatte has quit [Ping timeout: 240 seconds]
shawnw has joined #ocaml
rgrinberg has quit [Ping timeout: 240 seconds]
rgrinberg has joined #ocaml
rgrinberg has quit [Ping timeout: 276 seconds]
kaph__ has joined #ocaml
Serpent7776 has joined #ocaml
kaph_ has quit [Read error: Connection reset by peer]
<d_bot> <Bluddy> probably generated
<average> why do I want to write Ocaml?
<average> I want to do the following: create a program that has two threads/processes. one thread will fetch some information from the internet and throw it in a buffer and then it will make a call to some remote API telling it "look it, data available, you can fetch it" , and the other thread will serve the data in that buffer so the remote API can fetch it from there.
<average> I am contemplating either writing this in Rust or in OCaml
<d_bot> <darrenldl> writing it in rust will net you more stars on github
<d_bot> <darrenldl> : v
kaph__ has quit [Read error: Connection reset by peer]
gravicappa has joined #ocaml
<average> the program will have to: 1) parse JSON and manipulate it easily ; 2) be able to listen but also make HTTP requests ; 3) compile to a binary that is self-contained and does not require the moon and the sun to run (like npmjs/nodejs tends to do) ; 4) be future-proof so that I don't have to fidget with it constantly (like I've seen some engineers do on github when they get promoted to Staff Engineers,
<average> their commits consist of simply bumping package versions in deps files, well.. I'm not a Staff Engineer, and this is for personal purposes..)
<d_bot> <Ambika E.> It's hard to promise you that OCaml can deliver these things
<d_bot> <Ambika E.> At least 1 and 2 are fine
<d_bot> <Ambika E.> 3 and 4 are just really hard no matter what
<d_bot> <darrenldl> 3 can be done by using musl
<d_bot> <darrenldl> (and alpine container image if needed
<average> I feel like that musl deal needs to be simplified to the point where it's just pressing a button.
<average> Like I don't want to have to work hard to build a self-contained binary
<average> In general I am a lazy person
<d_bot> <orbitz> The binary you get out of ocaml is at least more packaged than you generally get on Python or JS. So it's not perfect but arguably a step up. But you do have to build it on a matching system configuration
mro has joined #ocaml
<average> orbitz: okay now I am a bit more clear on the output. now please tell me what does "matching system" mean. does it mean matching CPU arch, or does it also need to match libc version?
<d_bot> <orbitz> Depends on what you're doing. A pure ocaml native binary is probably pretty compatible across systems on matching Is and arch
<average> Is= ?
<d_bot> <orbitz> OS*
<average> right, okay
<d_bot> <orbitz> You can examine the binary with ldd to see what it depends on.
<d_bot> <orbitz> Assuming Unixy
<average> this sounds p good.. hmm
<average> I'm torn, I actually don't know whether to write it in OCaml or Rust
<average> FYI I don't know either Rust or OCaml
<d_bot> <orbitz> Listen to your heart
<average> and forgot to mention that I had considered Golang(which I know zero about too)
<average> orbitz: you know how it is with the heart, you can have a change of heart..
<average> hearts are tricky\
<d_bot> <cod1r> how significant is automata theory in computer science
<d_bot> <Bluddy> It's very hard for you to decide without knowing the languages and their advantages and disadvantages
<d_bot> <cod1r> I have a professor that doesn't really teach it well
<d_bot> <Bluddy> cod1r: it's nice to understand some of the theoretical basics behind computers, but it's not very important
<d_bot> <cod1r> I know that automata is used in regular expressions and where string processing is needed
<d_bot> <cod1r> Just wondering if I am missing out on something huge
<d_bot> <Bluddy> yeah but you can get the idea just studying regular expressions without the theoretical difficulty
<d_bot> <cod1r> I would say that Data structures and Algos are more important than automata
<d_bot> <Bluddy> for sure
<d_bot> <cod1r> okok
<d_bot> <Bluddy> it's a fun topic to learn but it's very mathematical and not very practical
perrierjouet has joined #ocaml
<d_bot> <Ambika E.> Automata is something you can study by yourself if you're intrigued
wagle has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
wagle has joined #ocaml
bartholin has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <Lupus> For some reason I can't compile mccs 1.1+13 in ocaml-variants.4.11.2+musl+static+flambda switch - some issue with musl-tools debian package? or with mccs ?
<d_bot> <Lupus>
<d_bot> <Lupus> (cd _build/default/src && /usr/bin/musl-gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -I . -DUSEGLPK -g -I /home/vagrant/git/ocaml/nst-lock/_opam/lib/ocaml -I /home/vagrant/git/ocaml/nst-lock/_opam/lib/cudf -I /home/vagrant/git/ocaml/nst-lock/_opam/lib/extlib -I glpk -o changed_criteria.o -c changed_criteria.cpp)
<d_bot> <Lupus> In file included from ./abstract_criteria.h:13,
<d_bot> <Lupus> from ./changed_criteria.h:12,
<d_bot> <Lupus> from changed_criteria.cpp:9:
<d_bot> <Lupus> ./cudf.h:24:10: fatal error: vector: No such file or directory
<d_bot> <Lupus> #include <vector>
<d_bot> <Lupus> compilation terminated.
<d_bot> <Et7f3 (@me on reply)> Have you c++ headers ?
<d_bot> <Lupus> I've created this switch on debian 10, opam told me I should install musl-tools, which I did
<d_bot> <Lupus> so now I have debian packages musl, musl-dev and musl-tools installed
spip has quit [Ping timeout: 276 seconds]
<d_bot> <Lupus> looks like musl-gcc wrapper does not include C++ stuff 😦
<d_bot> <idnes> Is vector.h even a part of musl?
fluentpwn has joined #ocaml
<d_bot> <idnes> @Lupus what if you change it to vector.h lol
<d_bot> <idnes> It shouldn’t be just vector, should it?
<d_bot> <idnes> “Note: this depends on a C++ compiler, and was only tested with g++”
gravicappa has quit [Ping timeout: 248 seconds]
gravicappa has joined #ocaml
fluentpwn has quit [Ping timeout: 240 seconds]
<average> where is everyone in this channel ?
<average> I see this d_bot proxy/relay/gateway bot relaying all the messages
<average> I'm on Libera btw, where you guys at?
<average> Matrix? Discord? Some mattermost instance?
<d_bot> <Bluddy> there are plenty of people on IRC, and around 280 of us are currently on discord
<reynir> average: it's a bridge to discord. It has some more channels that are not bridged to irc. I can't remember where you find the link...
mro_ has joined #ocaml
mro has quit [Ping timeout: 260 seconds]
mro_ has quit [Remote host closed the connection]
spip has joined #ocaml
wybpip[m] has joined #ocaml
wybpip[m] has left #ocaml [#ocaml]
olle has joined #ocaml
gravicappa has quit [Ping timeout: 276 seconds]
zebrag has joined #ocaml
fluentpwn has joined #ocaml
average has quit [Ping timeout: 240 seconds]
fluentpwn has quit [Ping timeout: 246 seconds]
Anarchos has joined #ocaml
gravicappa has joined #ocaml
Anarchos has quit [Quit: Vision[]: i've been blurred!]
* qwr is on libera and using irssi script to convert the d_bot messages to look like "native" IRC ones
mro has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
kaph has joined #ocaml
mro has quit [Remote host closed the connection]
kaph has quit [Read error: Connection reset by peer]
nerdypepper is now known as np
wyrd has quit [Remote host closed the connection]
rgrinberg has joined #ocaml
wyrd has joined #ocaml
hornhack has joined #ocaml
hornhack has quit [Remote host closed the connection]
shawnw has quit [Ping timeout: 240 seconds]
xgqt has quit [Read error: Connection reset by peer]
xgqt has joined #ocaml
troydm has quit [Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset]
mro has joined #ocaml
Haudegen has joined #ocaml
troydm has joined #ocaml
fluentpwn has joined #ocaml
fluentpwn has quit [Ping timeout: 276 seconds]
bartholin has quit [Ping timeout: 256 seconds]
bartholin has joined #ocaml
fluentpwn has joined #ocaml
adanwan has quit [Quit: _]
adanwan has joined #ocaml
<d_bot> <mbacarella> generated, as Bluddy suggests. editing files that big in vim is pretty awful
<companion_cube> @idnes it should be compiled with C++
<companion_cube> seems like you use musl-gcc with no option that sets the language to C++?
gravicappa has quit [Ping timeout: 250 seconds]
<d_bot> <darrenldl> mbacarella: the only option now is to use vscode : v
bartholin has quit [Ping timeout: 240 seconds]
bartholin has joined #ocaml
<d_bot> <Lupus> it seems musl-gcc can't do C++ at all, I've dropped the idea of building a static binary, as that seem to be too involved...
waleee has joined #ocaml
<d_bot> <Bluddy> musl is a libc implementation. the c++ stdlib is orders of magnitude larger than libc
<companion_cube> but libstdc++ can be statically linked, can it not?
<d_bot> <Bluddy> unsure. libstc++ seems to depend on glibc
<companion_cube> well maybe the one from gcc, yeah
<companion_cube> I imagine the one from clang doesn't
gravicappa has joined #ocaml
<d_bot> <Lupus> alpine includes libstdc++ and it works with musl, but I don't want to limit my project to be built only under alpine
waleee has quit [Ping timeout: 260 seconds]
fluentpwn has quit [Ping timeout: 240 seconds]
waleee has joined #ocaml
fluentpwn has joined #ocaml
Anarchos has joined #ocaml
waleee has quit [Ping timeout: 240 seconds]
motherfsck has quit [Ping timeout: 240 seconds]
bartholin has quit [Ping timeout: 256 seconds]
fluentpwn has quit [Remote host closed the connection]
Haudegen has quit [Quit: Bin weg.]
bartholin has joined #ocaml
olle has quit [Ping timeout: 246 seconds]
<d_bot> <geoff> Ah that makes sense. 🤦‍♂️
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
motherfsck has joined #ocaml
mro has quit [Remote host closed the connection]
infinity0 has quit [Ping timeout: 246 seconds]
theblatte has quit [Ping timeout: 246 seconds]
theblatte has joined #ocaml
infinity0 has joined #ocaml
bartholin has quit [Ping timeout: 248 seconds]
bartholin has joined #ocaml
mro has joined #ocaml
mro has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
<d_bot> <Patate> 500kloc... what a nightmare.
<d_bot> <Jojo-mOjo> I am looking for a person who can help me to solve the exercise about binary tree in OCcaml
<d_bot> <Patate> 500kloc... what a nightmare.
<d_bot> <Patate> Maybe once I am done eating
rgrinberg has joined #ocaml
bartholin has quit [Ping timeout: 250 seconds]
<d_bot> <darrenldl> make sure that is not homework tho
<d_bot> <Ambika E.> It's probably homework
<d_bot> <Ambika E.> But as long as help is given and received responsibly i think that's okay
olle has joined #ocaml
bartholin has joined #ocaml
waleee has joined #ocaml
vicfred has joined #ocaml
azimut has quit [Remote host closed the connection]
azimut has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
rgrinberg has quit [Ping timeout: 248 seconds]
Anarchos has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
Tuplanolla has joined #ocaml
<d_bot> <Patate> Don't worry, I will not just do the homework.
<d_bot> <Patate> I'll try to get what they do not understand, and explain or give some clues if needed
<d_bot> <NULL> You're doing it in PMs ? To me the goal of the server is to share knowledge to the most people, there is no value in helping in secret
<d_bot> <Patate> For now I still don't know what they really want help for. Don't want to flood #general with questions
<d_bot> <Patate> Each tree node is made of three values (int * tree * tree). You have to de-construct it to get them.
<d_bot> <Patate> You will probably want to use pattern matching.
<d_bot> <Patate> match t with
<d_bot> <Patate> | Node (value, left_subtree, right_subtree) -> ...
<d_bot> <Patate> allows you to "break" the value that was constructed with the [Node] constructor, and get it"s content
<d_bot> <Patate> as you can do with a list.
<d_bot> <Patate> let rec length l = match l with [] -> 0 | element :: rest_of_the_list -> 1 + (length rest_of_the_list)
mro has joined #ocaml
average has joined #ocaml
average has quit [Changing host]
average has joined #ocaml
mro has quit [Ping timeout: 240 seconds]
mro has joined #ocaml
rgrinberg has joined #ocaml
Cypi_ is now known as Cypi
gravicappa has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Ping timeout: 248 seconds]
spip has quit [Read error: Connection reset by peer]
spip has joined #ocaml
rgrinberg has joined #ocaml
olle has quit [Ping timeout: 276 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has quit [Remote host closed the connection]
mro has joined #ocaml
TB has joined #ocaml
TB has quit [Client Quit]
Serpent7776 has quit [Quit: leaving]
bartholin has quit [Quit: Leaving]
brettgilio has quit [Ping timeout: 256 seconds]
mro has quit [Quit: Leaving...]
Haudegen has quit [Ping timeout: 240 seconds]
Tuplanolla has quit [Quit: Leaving.]
OCamlPro[m] has quit [Ping timeout: 240 seconds]
kronicma1 has quit [Ping timeout: 240 seconds]
kronicma1 has joined #ocaml
OCamlPro[m] has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]