adrien changed the topic of #ocaml to: Discussions about the OCaml programming language | http://www.ocaml.org | Current MOOC: https://huit.re/ocamlmooc | OCaml 4.04.0 release notes: http://ocaml.org/releases/4.04.html | Try OCaml in your browser: http://try.ocamlpro.com | Public channel logs at http://irclog.whitequark.org/ocaml
TarVanimelde has joined #ocaml
whisperedcigar has joined #ocaml
orbifx has quit [Ping timeout: 265 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
kakadu has quit [Remote host closed the connection]
unbalanced has joined #ocaml
karovoid has quit [Quit: Leaving.]
TarVanimelde has quit [Read error: Connection reset by peer]
TarVanimelde has joined #ocaml
orbifx1 has quit [Ping timeout: 268 seconds]
vicfred has quit [Quit: Leaving]
pyon has quit [Quit: Stupid Emacs.]
pyon has joined #ocaml
nicholasf has joined #ocaml
nicholasf has quit [Ping timeout: 252 seconds]
unbalanced has quit [Ping timeout: 268 seconds]
FreeBirdLjj has joined #ocaml
flerp has quit [Quit: Leaving]
zpe has quit [Ping timeout: 240 seconds]
Madars has quit [Quit: reconnect]
silver has quit [Quit: rakede]
zirman has joined #ocaml
jhaberku has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
lpw25[m] has joined #ocaml
mfp has quit [Ping timeout: 245 seconds]
d0nn1e has quit [Ping timeout: 258 seconds]
d0nn1e has joined #ocaml
agarwal1975 has joined #ocaml
johnf_ has quit [Read error: Connection reset by peer]
timclassic has joined #ocaml
regnat[m] has joined #ocaml
diamaths[m] has joined #ocaml
M-martinklepsch has joined #ocaml
na9da[m] has joined #ocaml
M-jimt has joined #ocaml
XC[m] has joined #ocaml
regnt[m] has joined #ocaml
Bluddy[m] has joined #ocaml
dfeldman[m] has joined #ocaml
aspiwack[m] has joined #ocaml
matth[m] has joined #ocaml
M-pesterhazy has joined #ocaml
M-Illandan has joined #ocaml
srenatus[m] has joined #ocaml
Guest23668[m] has joined #ocaml
M-ErkkiSeppl has joined #ocaml
barkmadley[m] has joined #ocaml
sepp2k has quit [Quit: Leaving.]
pierpa has quit [Ping timeout: 258 seconds]
johnf_ has joined #ocaml
rfv has quit [Read error: Connection reset by peer]
rfv has joined #ocaml
fraggle_ has quit [Ping timeout: 250 seconds]
fraggle_ has joined #ocaml
Enjolras has quit [Remote host closed the connection]
zirman has quit [Quit: Leaving...]
dmbaturin has quit [Ping timeout: 265 seconds]
dmbaturin has joined #ocaml
foobar__ has joined #ocaml
<foobar__> is it a good idea to use first-class modules as existential types?
Orion3k has quit [Ping timeout: 250 seconds]
infinity0 has quit [Ping timeout: 245 seconds]
infinity0 has joined #ocaml
djellemah_ has joined #ocaml
Orion3k has joined #ocaml
rgrinberg has joined #ocaml
scitesy has joined #ocaml
scitesy has left #ocaml [#ocaml]
scitesy has joined #ocaml
rgrinberg has quit [Ping timeout: 258 seconds]
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 258 seconds]
jackweirdy has joined #ocaml
nomicflux has quit [Quit: nomicflux]
govg has joined #ocaml
jackweirdy has quit [Quit: Textual IRC Client: www.textualapp.com]
tmtwd has joined #ocaml
zpe has joined #ocaml
MercurialAlchemi has joined #ocaml
govg has quit [Quit: leaving]
copy` has quit [Quit: Connection closed for inactivity]
AlexDenisov has joined #ocaml
Orion3k has quit [Ping timeout: 268 seconds]
whisperedcigar has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Ping timeout: 250 seconds]
Orion3k has joined #ocaml
pyon has quit [Quit: Unyu~?]
whisperedcigar has quit [Ping timeout: 245 seconds]
FreeBirdLjj has joined #ocaml
ggole has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
pyon has joined #ocaml
ggole_ has joined #ocaml
whisperedcigar has joined #ocaml
ggole has quit [Ping timeout: 258 seconds]
zpe has quit [Ping timeout: 258 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
Simn has joined #ocaml
ggole__ has joined #ocaml
ggole_ has quit [Ping timeout: 256 seconds]
FreeBirdLjj has joined #ocaml
pyon has quit [Quit: Unyu~.]
tane_ has joined #ocaml
maattdd has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
maattdd has quit [Ping timeout: 258 seconds]
larhat has joined #ocaml
troydm has joined #ocaml
<zozozo> foobar__: I'd say gadts are probably better, but that depends on your use-case
orbifx has joined #ocaml
tane_ has quit [Ping timeout: 245 seconds]
tane_ has joined #ocaml
_whitelogger has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
argent_smith has joined #ocaml
tmtwd has quit [Ping timeout: 265 seconds]
Flerex has joined #ocaml
KV1 has joined #ocaml
Flerex has quit [Quit: Textual IRC Client: www.textualapp.com]
Flerex has joined #ocaml
Flerex has quit [Client Quit]
KV1 has quit [Client Quit]
Flerex has joined #ocaml
KV has joined #ocaml
KV has quit [Read error: Connection reset by peer]
fre has joined #ocaml
infinity0 has quit [Ping timeout: 252 seconds]
infinity0 has joined #ocaml
larhat1 has joined #ocaml
KV has joined #ocaml
KV has quit [Client Quit]
KV has joined #ocaml
jnavila has joined #ocaml
fedruantine_ has joined #ocaml
orbifx has quit [Quit: WeeChat 1.6]
fedruantine has quit [Quit: client exited: Ex-Chat]
maattdd has joined #ocaml
jnavila has quit [Ping timeout: 260 seconds]
KV has quit [Ping timeout: 240 seconds]
mfp has joined #ocaml
maattdd has quit [Ping timeout: 256 seconds]
fre has quit [Ping timeout: 265 seconds]
silver has joined #ocaml
<Leonidas> Drup: \o/
FreeBirdLjj has joined #ocaml
dxtr has quit [Quit: quit]
dxtr has joined #ocaml
KV has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
zpe has joined #ocaml
madroach has quit [Ping timeout: 264 seconds]
argent_smith has quit [Quit: Leaving.]
madroach has joined #ocaml
maattdd has joined #ocaml
argent_smith has joined #ocaml
AlexDeni_ has quit [Remote host closed the connection]
AlexDenisov has joined #ocaml
argent_smith has quit [Quit: Leaving.]
foobar__ has quit [Quit: Page closed]
maattdd has quit [Ping timeout: 256 seconds]
<vramana> Merlin is not working for me with spacemacs.
jbrown has quit [Quit: Leaving]
<vramana> This is the error I am getting.
<flux> it seems that's unrelated to spacemacs
<flux> you have some kind of mismatch in the binaries you're using
<vramana> I am using OCaml 4.04.0
<flux> is that the only version you've ever used?
<flux> and you don't have system ocamlc around?
<flux> and merlin is the latest version?
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
<vramana> Oh system compiler is 4.02.3
zpe has quit [Ping timeout: 258 seconds]
<vramana> My current Merlin version is 2.5.1 and the latest seems to be 2.5.3
zpe has joined #ocaml
slash^ has joined #ocaml
slash^ has quit [Client Quit]
slash^ has joined #ocaml
<vramana> How do I change system compiler to 4.04.0 ?
whisperedcigar has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
larhat1 has joined #ocaml
silver has quit [Quit: rakede]
silver has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
unbalanced has joined #ocaml
zirman has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
scitesy has quit [Ping timeout: 240 seconds]
tane_ has quit [Ping timeout: 258 seconds]
larhat2 has joined #ocaml
larhat1 has quit [Read error: Connection reset by peer]
infinity0 has quit [Remote host closed the connection]
larhat1 has joined #ocaml
larhat2 has quit [Read error: Connection reset by peer]
unbalanced has quit [Ping timeout: 264 seconds]
infinity0 has joined #ocaml
shinnya has joined #ocaml
tane_ has joined #ocaml
infinity0 has quit [Remote host closed the connection]
infinity0 has joined #ocaml
djellemah_ has quit [Ping timeout: 265 seconds]
zirman has quit [Remote host closed the connection]
<aantron> vramana: that depends on your system. you have to either get 4.04.0 from the system package manager, or install it manually
FreeBirdLjj has joined #ocaml
pierpa has joined #ocaml
Flerex has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
sh0t has joined #ocaml
<vramana> aantron: I think my issue is solved now. I have another question now. Whenever I open a new terminal and run opam switch. It shows my environment is not in sync with current switch and asks me to run eval `opam config env`. Is this normal behaviour?
<aantron> yes, after an opam switch
tane_ has quit [Quit: Leaving]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
whisperedcigar has joined #ocaml
<vramana> Is there a way to see what is not in sync? Just curious
<flux> I sppose you can do opam config env and then compare the values of your current environment against the ones it would set
<flux> another is to env > before and env > after and diff
<vramana> Only the order of paths is different
Cypi_ is now known as Cypi
kamog has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
whisperedcigar has joined #ocaml
whisperedcigar has quit [Ping timeout: 245 seconds]
TarVanimelde has quit [Quit: TarVanimelde]
Flerex has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Ping timeout: 268 seconds]
johnf_ has quit [Read error: Connection reset by peer]
average has quit [Ping timeout: 260 seconds]
average has joined #ocaml
johnf_ has joined #ocaml
zpe has joined #ocaml
nojb has joined #ocaml
nojb has left #ocaml [#ocaml]
nojb has joined #ocaml
copy` has joined #ocaml
nomicflux has joined #ocaml
<nojb> support that I want to define type s = A of int D.t | ... where module D = Hashtbl.Make (type t = s ...) ... what is the best way to make it work ?
<nojb> suppose*
<zozozo> recursive modules ?
<zozozo> nojb: this seems close to what is done in this example: https://caml.inria.fr/pub/docs/manual-ocaml/extn.html#sec219
<nojb> yes, I thought so ... I was hoping to find a simpler solution
<nojb> thanks!
djellemah_ has joined #ocaml
d0nn1e has quit [Ping timeout: 250 seconds]
nojb has quit [Ping timeout: 252 seconds]
d0nn1e has joined #ocaml
Flerex has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
Flerex has joined #ocaml
Flerex has quit [Ping timeout: 268 seconds]
nojb has joined #ocaml
nojb has left #ocaml [#ocaml]
ggole_ has joined #ocaml
ggole__ has quit [Ping timeout: 256 seconds]
ggole_ has quit [Ping timeout: 248 seconds]
vicfred has joined #ocaml
whisperedcigar has joined #ocaml
Simn has quit [Ping timeout: 260 seconds]
djellemah_ has quit [Quit: Leaving]
jbrown has joined #ocaml
raphinou has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
AlexDenisov has joined #ocaml
AlexDenisov has quit [Client Quit]
smondet has quit [Remote host closed the connection]
whisperedcigar has quit [Ping timeout: 245 seconds]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
ncthom91 has joined #ocaml
zirman has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 248 seconds]
smondet has joined #ocaml
Sorella has quit [Quit: Connection closed for inactivity]
whisperedcigar has joined #ocaml
propane has quit [Remote host closed the connection]
Soni has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
FreeBirdLjj has joined #ocaml
atsampson has quit [Ping timeout: 250 seconds]
AlexDenisov has joined #ocaml
atsampson has joined #ocaml
smondet` has joined #ocaml
atsampson has quit [Ping timeout: 245 seconds]
atsampson has joined #ocaml
smondet has quit [Ping timeout: 245 seconds]
whisperedcigar has quit [Ping timeout: 245 seconds]
zirman has joined #ocaml
zirman has quit [Ping timeout: 250 seconds]
scitesy has joined #ocaml
argent_smith has joined #ocaml
whisperedcigar has joined #ocaml
shinnya has quit [Ping timeout: 246 seconds]
larhat1 has quit [Quit: Leaving.]
larhat1 has joined #ocaml
pyon has joined #ocaml
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
aphprentice has quit [Quit: Connection closed for inactivity]
Orion3k has quit [Ping timeout: 245 seconds]
Orion3k has joined #ocaml
rgrinberg has joined #ocaml
Soni is now known as APNG
nomicflux has quit [Quit: nomicflux]
Simn has joined #ocaml
ncthom91 has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
Orion3k has quit [Ping timeout: 250 seconds]
jnavila has joined #ocaml
Orion3k has joined #ocaml
zpe has joined #ocaml
nomicflux has joined #ocaml
jnavila has quit [Ping timeout: 256 seconds]
tmtwd has joined #ocaml
maattdd has joined #ocaml
zirman has quit [Remote host closed the connection]
raphinou has quit [Quit: WeeChat 1.4]
maattdd has quit [Ping timeout: 256 seconds]
tmtwd has quit [Quit: Leaving]
zirman has joined #ocaml
larhat has quit [Quit: Leaving.]
whisperedcigar has quit [Ping timeout: 245 seconds]
kakadu has joined #ocaml
jnavila has joined #ocaml
jao has joined #ocaml
maattdd has joined #ocaml
zpe has quit [Read error: Connection reset by peer]
ncthom91 has joined #ocaml
ncthom91 has quit [Max SendQ exceeded]
zpe has joined #ocaml
ncthom91 has joined #ocaml
maattdd has quit [Ping timeout: 252 seconds]
zirman has quit [Remote host closed the connection]
slash^ has quit [Read error: Connection reset by peer]
dxtr has quit [Quit: .]
dxtr has joined #ocaml
zirman has joined #ocaml
AlexDenisov has quit [Quit: Textual IRC Client: www.textualapp.com]
vicfred has quit [Ping timeout: 250 seconds]
Orion3k has quit [Ping timeout: 245 seconds]
ncthom91 has quit [Quit: Textual IRC Client: www.textualapp.com]
KV has quit [Quit: WeeChat 1.5]
orbitz_ has quit [Quit: Reconnecting]
orbitz has joined #ocaml
KV has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has quit [Remote host closed the connection]
zirman has joined #ocaml
zirman has joined #ocaml
zirman has quit [Changing host]
zirman has quit [Remote host closed the connection]
whisperedcigar has joined #ocaml
rgrinberg has quit [Remote host closed the connection]
whisperedcigar has quit [Ping timeout: 245 seconds]
Orion3k has joined #ocaml
apache3 has quit [Remote host closed the connection]
apache3_ has joined #ocaml
chindy has joined #ocaml
argent_smith has quit [Quit: Leaving.]
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
KV has quit [Ping timeout: 245 seconds]
zpe has quit [Ping timeout: 260 seconds]
jnavila has quit [Ping timeout: 260 seconds]
kamog has quit [Remote host closed the connection]
FreeBirdLjj has quit [Remote host closed the connection]
fre has joined #ocaml
Mitch has joined #ocaml
Mitch is now known as Guest3617
<Guest3617> Why should I choose OCaml over haskell? They look very similar to me. I am particularly interested in performance gains.
<companion_cube> they are relatively different languages
<companion_cube> to me, OCaml has more predictable perf & memory consumption
Guest3617 has quit [Client Quit]
<average> if they were interested in performance gains, they would not be looking at ocaml or haskell to be perfectly honest
<average> the main reason one considers ocaml or haskell are concise/clever way of expressing things so you don't end up writing too much code..
<vramana> Is the standard OCaml documentation (eg: https://caml.inria.fr/pub/docs/manual-ocaml/stdlib.html) available some where it looks a little better?
<companion_cube> not really...
octachron has joined #ocaml
<octachron> vramana, if you have more precise complaints over the manual/stdlib documentation look, I am all ears
fre has quit [Ping timeout: 258 seconds]
<vramana> octachron: I wish it was well designed. For example https://caml.inria.fr/pub/docs/manual-ocaml/index.html This page is just mostly whitespace. The same content can be displayed in half the space and can look much better.
Algebr has joined #ocaml
chindy has quit [Remote host closed the connection]
<vramana> Hiring a professional designer to work on it can actually make it look pretty good. It will just be a one time thing. We can even crowd fund it.
<companion_cube> I don't think they care that much, sadly :/
<vramana> companion_cube: Who does they refer to?
<companion_cube> the OCaml maintainers
<companion_cube> maybe the manual could be added to ocaml.org, though, which is maintained by a different set of people
<vramana> https://github.com/ocaml/ocaml/blob/trunk/manual/LICENSE-for-the-manual#L10-L12 I don't understand rationale behind this clause.
rgrinberg has joined #ocaml
cow-orker has quit [Ping timeout: 260 seconds]
cow-orker has joined #ocaml
TarVanimelde has joined #ocaml
<octachron> vramana, I will say it is probably an academic "no-derivative" clause
<octachron> vramana, I agree that hiring a professional designer could work, even if the working of the manual is a little bit more complicated than it appears
rgrinberg has quit [Remote host closed the connection]
<octachron> aligning the graphic design to the ocaml.org's one could be a nice start
lobo has quit [Quit: WeeChat 1.0.1]
<vramana> octachron: I think using markdown instead latex will lower that barrier to contributions as well.
lobo has joined #ocaml
FreeBirdLjj has joined #ocaml
<octachron> vramana, certainly latex is quite high entry barrier. However, finding the right compromise between expressivity and ease of contribution might be hard
<vramana> Have you seen any documenation written with Markdown?
sh0t has quit [Remote host closed the connection]
FreeBirdLjj has quit [Ping timeout: 268 seconds]
<octachron> any examples?
<Drup> octachron: something like asciidoc would really be enough for the manual
<Drup> (markdown is a bit poor)
<octachron> Drup, probably; but only once every bit of complicated logic is send to external tools
jao has quit [Ping timeout: 248 seconds]
<vramana> Drup: Can you explain poor in what way? I haven't used asciidoc.
<Drup> octachron: could you make a list of feature we need in the markup/tooling to be able to translate the manual ?
<Drup> vramana: not enough features, bad spec of most of the features
<Drup> markup without extensions is extremly annoying
<Drup> markdown*
<vramana> Drup: Doesn't CommonMark solves or atleast try to solve those issues?
<Drup> asciidoc's markup is a bit more verbose, but it's quite more expressive and easier to extend
<Drup> Yeah, it tries
<Drup> it doesn't really succeed
<Drup> (imho)
<octachron> Drup, it is good idea, let me add this in my todo list.
<Drup> the never ending todo list :D
<vramana> Can you think of any specific cases where markdown will not be enough in the context of OCaml documentation?
kakadu has quit [Ping timeout: 240 seconds]
<octachron> Drup, I have heard rumors that some (most??) todo lists tend to self-destruct after one century
<vramana> Haha
<Drup> vramana: grammars
nomicflux has quit [Quit: nomicflux]
<Drup> (also, TOC are non standard)
Simn has quit [Quit: Leaving]
<vramana> Drup: Hmmm. Grammars are an issue.
<Drup> Yep