Leonidas changed the topic of #ocaml to: Discussion about the OCaml programming language | http://www.ocaml.org | OCaml 4.13.0 released: https://ocaml.org/releases/4.13.0.html | Try OCaml in your browser: https://try.ocamlpro.com | Public channel logs at https://libera.irclog.whitequark.org/ocaml/
Soni has quit [Ping timeout: 250 seconds]
humasect has quit [Quit: Leaving...]
<companion_cube> Hey @butanium please use a paste instead of copying code here, it's spamming irc
Soni has joined #ocaml
ouestbillie has quit [Quit: leaving]
ouestbillie has joined #ocaml
ouestbillie has quit [Client Quit]
ouestbillie has joined #ocaml
ouestbillie has quit [Ping timeout: 250 seconds]
ouestbillie has joined #ocaml
ouestbillie has quit [Ping timeout: 256 seconds]
ouestbillie has joined #ocaml
ouestbillie has quit [Ping timeout: 256 seconds]
ouestbillie has joined #ocaml
vicfred has joined #ocaml
rgrinberg has quit [Read error: Connection reset by peer]
rgrinberg has joined #ocaml
salkin has quit [Ping timeout: 256 seconds]
ouestbillie has quit [Ping timeout: 240 seconds]
ouestbillie has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ravella has left #ocaml [#ocaml]
rgrinberg has joined #ocaml
ouestbillie has quit [Quit: Lost terminal]
ouestbillie has joined #ocaml
mbuf has joined #ocaml
waleee has quit [Ping timeout: 245 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
Haudegen has joined #ocaml
zebrag has quit [Quit: Konversation terminated!]
vicfred has quit [Quit: Leaving]
rgrinberg has joined #ocaml
gravicappa has joined #ocaml
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
octachron_ has joined #ocaml
terrorjack5 has joined #ocaml
terrorjack has quit [Ping timeout: 268 seconds]
octachron has quit [Ping timeout: 268 seconds]
thizanne has quit [Ping timeout: 268 seconds]
terrorjack5 is now known as terrorjack
thizanne has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
v0idpwn has quit [Ping timeout: 260 seconds]
v0idpwn has joined #ocaml
olle has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
ski has quit [Ping timeout: 250 seconds]
conjunctive has quit [Ping timeout: 260 seconds]
ski has joined #ocaml
conjunctive has joined #ocaml
bartholin has joined #ocaml
<d_bot> <orbitz> Wooo, I wrote a tool to take openapi spec for github and produce OCaml code. My resulting file is 1.5 megs large and takes almost 2 minutes to compile.
mro has quit [Remote host closed the connection]
mro has joined #ocaml
bobo_ has joined #ocaml
spip has quit [Ping timeout: 260 seconds]
<d_bot> <Et7f3> Can you try to use diverse -dtiming
<d_bot> <Boby> Hi, I have a tree and I want to draw it, so I have tried this : with k = size, arb = tree, but result is not the good, what should I try ?
<d_bot> <Boby> I call with
<d_bot> <octachron> What is the issue?
<d_bot> <Boby> output :
Haudegen has quit [Quit: Bin weg.]
<d_bot> <Boby> but should be :
<d_bot> <octachron> Generally, a test case where you cannot track the error is too complex. You should try on a much simpler example.
mro has quit [Remote host closed the connection]
kaph has joined #ocaml
humasect has joined #ocaml
mro has joined #ocaml
mro has quit [Remote host closed the connection]
humasect has quit [Quit: Leaving...]
azimut_ has quit [Remote host closed the connection]
azimut has joined #ocaml
mro has joined #ocaml
<d_bot> <VPhantom> Is it mandatory to name variants with only the first letter captalized? I'm making a type which represents a bunch of acronyms and it's a bit unsightly to have only their first letter in uppercase. i.e. `An` vs `AN`. Perhaps more importantly: even if my compiler seems to allow it, is it a really bad idea to have all-uppercase variants?
<d_bot> <octachron> Only the first letter needs to be capitalized, the case of the other letters is up to you.
<zozozo> VPhantom : all-uppercase variants are not necessarily bad in my opinion, actually, the Unix module of the stdlib uses all-caps variant names for unix errors (see https://ocaml.org/api/Unix.html )
<d_bot> <VPhantom> Well well! That's a very compelling example. Thank you zozozo!
Haudegen has joined #ocaml
<d_bot> <VPhantom> Another design decision: to return whether a side-effecting operation was successful and why if not, should I return a `(unit, ...) result` or make myself a custom success vs error variant? I'm leaning towards the result but it feels weird returning `unit` in there.
<Fardale> Why not an option then?
<Fardale> None for succes and Some e for error
<d_bot> <orbitz> @VPhantom I recommend the result. It works well with a result monad: `do_my_thing () >>= fun () -> do_next_thing ()`
mro has quit [Remote host closed the connection]
<d_bot> <orbitz> It just fits better into all the existing tools someone will have.
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
<d_bot> <VPhantom> Good point on the monad. I do use `let*` for results in other places already; in that sense a unit result can make sense.
dinosaure has quit [Read error: Connection reset by peer]
waleee has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
nd__ has joined #ocaml
gravicappa has quit [Ping timeout: 240 seconds]
tankf33der has joined #ocaml
mro has quit [Remote host closed the connection]
<tankf33der> o/
<tankf33der> opam install ocamlfind failed on alpine linux:
<d_bot> <octachron> That looks like you are using a system compiler without the dev version of the `ocaml` package.
<d_bot> <octachron> or the `ocaml-compiler-libs` package: `Toploop` is from the `compilerlibs` library that is normally bundled with the compiler but some distribution splits from the compiler package.
mro has joined #ocaml
mro has quit [Remote host closed the connection]
mro has joined #ocaml
mro has quit [Remote host closed the connection]
<d_bot> <myrkraverk> Hello, I'm reading _modern compiler construction in ml_ by appel, and I'm new to ML [never mind why I chose that version of the book.] Is this a place where I can discuss my battle with standard ml? If not, do you know another discord for it?
<d_bot> <octachron> I am not aware of a SML discord, and it is generally fine to discuss SML here.
<d_bot> <octachron> The concepts are similar.
<d_bot> <myrkraverk> Thanks.
salkin has joined #ocaml
mro has joined #ocaml
salkin has quit [Ping timeout: 268 seconds]
wyrd has quit [Remote host closed the connection]
wyrd has joined #ocaml
gravicappa has joined #ocaml
mbuf has quit [Quit: Leaving]
<ns12> There's a #sml channel on the Libera Chat IRC network.
mro has quit [Remote host closed the connection]
gwizon has joined #ocaml
salkin has joined #ocaml
gwizon has quit [Client Quit]
gwizon has joined #ocaml
dalek-caan has joined #ocaml
Haudegen has quit [Quit: Bin weg.]
Tuplanolla has joined #ocaml
gwizon has quit [Ping timeout: 256 seconds]
nd__ has quit [Quit: leaving]
olle has quit [Ping timeout: 256 seconds]
sagax has joined #ocaml
gwizon has joined #ocaml
ouestbillie has quit [Ping timeout: 256 seconds]
bartholin has quit [Quit: Leaving]
ouestbillie has joined #ocaml
rgrinberg has joined #ocaml
Haudegen has joined #ocaml
dstein64- has joined #ocaml
dstein64 has quit [Ping timeout: 256 seconds]
dstein64- is now known as dstein64
dstein64 has quit [Client Quit]
dstein64 has joined #ocaml
wyrd has quit [Ping timeout: 276 seconds]
olle has joined #ocaml
salkin has quit [Remote host closed the connection]
humasect has joined #ocaml
zebrag has joined #ocaml
<d_bot> <orbitz> Does anyone know why ppx_deriving_yojson with `meta = true` produces value called `_`?
<d_bot> <orbitz> I don't know how to escape it, but it has a value in it that is an underscore
<humasect> undefined ? (erlang..)
<d_bot> <orbitz> It sets it to the "keys" variable
olle has quit [Ping timeout: 256 seconds]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
dalek-caan has quit [Quit: dalek-caan]
vicfred has joined #ocaml
<d_bot> <orbitz> When you do ocamlc -c foo.ml you get a .cmo and a .cmi, is it possible to nly generate the .cmi?
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
rgrinberg has joined #ocaml
mro has joined #ocaml
gravicappa has quit [Ping timeout: 256 seconds]
GreaseMonkey has joined #ocaml
epony has quit [Quit: QUIT]
gwizon has quit [Ping timeout: 268 seconds]
ouestbillie has quit [Quit: leaving]
<d_bot> <myrkraverk> Is it active?
ouestbillie has joined #ocaml
<d_bot> <myrkraverk> [And I'm not on libera, though I guess I could change that.]
<d_bot> <myrkraverk> .
<d_bot> <myrkraverk> In Standard ML, is there an obvious choice for a simple symbol table [for an assembler; project/challenge 1-1 just has single character labels, so there are only ever 26 entries.]
<companion_cube> so you mean, an array?
zebrag has quit [Ping timeout: 268 seconds]
<d_bot> <myrkraverk> Well, possibly. Each entry has a lot of stuff, like, a label can be used several times before it's defined.
<d_bot> <myrkraverk> The symbol table might be different for a 1-pass and a 2-pass assembler. Both are part of challenge 1-1.
humasect has quit [Read error: Connection reset by peer]
humasect has joined #ocaml
<d_bot> <myrkraverk> .
<d_bot> <myrkraverk> Then of course, later on exercises and further projects add multi character labels, so it won't always be just 26 entries.
mro has quit [Ping timeout: 240 seconds]
CalimeroTeknik has quit [Quit: バイバイ]
CalimeroTeknik has joined #ocaml
ctk has joined #ocaml
CalimeroTeknik has quit [Read error: Connection reset by peer]
ctk has joined #ocaml
ctk has quit [Changing host]
ctk is now known as CalimeroTeknik
olle has joined #ocaml
Tuplanolla has quit [Quit: Leaving.]
rgrinberg has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zebrag has joined #ocaml
wyrd has joined #ocaml
humasect has quit [Remote host closed the connection]
humasect has joined #ocaml
spip has joined #ocaml
bobo_ has quit [Ping timeout: 268 seconds]
bobo_ has joined #ocaml
spip has quit [Ping timeout: 268 seconds]
vicfred has quit [Quit: Leaving]
humasect has quit [Quit: Leaving...]
rgrinberg has joined #ocaml
humasect has joined #ocaml
humasect has quit [Quit: Leaving...]
Haudegen has quit [Ping timeout: 268 seconds]