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
sh0t has quit [Remote host closed the connection]
<haesbaert> ah fuck it, I just removed from topkg and recompiled
noddy has quit [Ping timeout: 240 seconds]
snhmib has quit [Ping timeout: 245 seconds]
ryanartecona has quit [Quit: ryanartecona]
noddy has joined #ocaml
Ptival has joined #ocaml
Ptival has left #ocaml [#ocaml]
vicfred has joined #ocaml
FreeBirdLjj has joined #ocaml
FreeBirdLjj has quit [Read error: Connection reset by peer]
rpg has joined #ocaml
ncthom91 has joined #ocaml
ncthom91 has quit [Max SendQ exceeded]
ncthom91 has joined #ocaml
ncthom91 has quit [Max SendQ exceeded]
ncthom91 has joined #ocaml
ncthom91 has quit [Max SendQ exceeded]
ncthom91 has joined #ocaml
ncthom91 has quit [Client Quit]
FreeBirdLjj has joined #ocaml
silver has quit [Read error: Connection reset by peer]
sepp2k has quit [Quit: Leaving.]
rpg has quit [Ping timeout: 260 seconds]
moei has quit [Quit: Leaving...]
cataska has joined #ocaml
cataska has quit [Quit: Textual IRC Client: www.textualapp.com]
copy` has quit [Quit: Connection closed for inactivity]
zv has quit [Ping timeout: 240 seconds]
Soni has quit [Ping timeout: 260 seconds]
deepbook5broo has joined #ocaml
deepbook5broo has left #ocaml [#ocaml]
nomicflux has joined #ocaml
lopex has quit [Quit: Connection closed for inactivity]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 255 seconds]
ollehar1 is now known as ollehar
vicfred has quit [Ping timeout: 260 seconds]
vicfred has joined #ocaml
vicfred has quit [Max SendQ exceeded]
vicfred has joined #ocaml
vicfred has quit [Max SendQ exceeded]
vicfred has joined #ocaml
vicfred has quit [Max SendQ exceeded]
vicfred has joined #ocaml
kolko has quit [Quit: ZNC - http://znc.in]
kolko has joined #ocaml
Soni has joined #ocaml
vicfred has quit [Max SendQ exceeded]
FreeBirdLjj has quit [Remote host closed the connection]
vicfred has joined #ocaml
cataska has joined #ocaml
vicfred has quit [Client Quit]
cataska has quit [Quit: Textual IRC Client: www.textualapp.com]
FreeBirdLjj has joined #ocaml
MercurialAlchemi has joined #ocaml
nomicflux has quit [Quit: nomicflux]
malina has quit [Quit: Throwing apples of Montserrat]
justicefries has quit []
jao has quit [Ping timeout: 276 seconds]
[mark] has joined #ocaml
ygrek has quit [Ping timeout: 240 seconds]
freusque has quit [Quit: WeeChat 1.4]
rpcope- has quit [Ping timeout: 258 seconds]
rpcope has joined #ocaml
djellemah_ has joined #ocaml
laserpants has quit [Ping timeout: 260 seconds]
zv has joined #ocaml
mengu has quit [Remote host closed the connection]
mengu has joined #ocaml
AlexDenisov has joined #ocaml
mengu has quit [Ping timeout: 268 seconds]
malc_ has joined #ocaml
Mercuria1Alchemi has joined #ocaml
AlexDeni_ has joined #ocaml
AlexDenisov has quit [Read error: Connection reset by peer]
MercurialAlchemi has quit [Ping timeout: 260 seconds]
alfredo has joined #ocaml
freusque has joined #ocaml
zv has quit [Quit: WeeChat 1.6]
Simn has joined #ocaml
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
jnavila has joined #ocaml
vramana has joined #ocaml
FreeBirdLjj has quit [Remote host closed the connection]
zpe has joined #ocaml
FreeBirdLjj has joined #ocaml
zpe_ has joined #ocaml
ygrek has joined #ocaml
zpe has quit [Ping timeout: 240 seconds]
foo30303 has joined #ocaml
chetshah has joined #ocaml
AlexDenisov has joined #ocaml
silver has joined #ocaml
<chetshah> Hello all ocaml beginner here, Was wondering when using Map.make(String) doesn't it one more type variable for value type, like <K,V> we have just specified K to be string? Or is it determined when I first use add?
<chetshah> *doesn't it need one more type variable ?
<flux> so instances of Map.S can be used for any kind if values, but only for one kind of key
<flux> why is that? because the type and comparison of the key is important for the structure of Map
<chetshah> Yes I know that the first type has to be ordered. but no need to pass the value type? only the key type it seems
<flux> list like a list can contain values of any type, so can Maps
ollehar has quit [Quit: ollehar]
<flux> s/list //
<chetshah> I know in Java one specified <String,Integer> etc, but here it seems the returned instance has still a type variable 'a in it.
<flux> it would be possible to have a Map that limited both key and value types, but that would be more limiting than just fixing the type of key
<flux> (possible as in implement a new Map that did that, it's not possible with the curent Map)
<chetshah> Hmm so is it like currying of types ? I'm getting ahead of myself here, I haven't seen much about modules etc.
<flux> it's really not like currying of types :)
kakadu has joined #ocaml
<chetshah> Thanks, I'll grok up more on functors/modules along with some examples etc. to get a clearer idea.
chetshah has quit [Ping timeout: 260 seconds]
vramana has quit [Read error: Connection reset by peer]
FreeBirdLjj has quit [Remote host closed the connection]
moei has joined #ocaml
larhat has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
mrnugget has joined #ocaml
AlexDenisov has joined #ocaml
Guest63925 has quit [Remote host closed the connection]
mengu has joined #ocaml
ygrek has quit [Ping timeout: 260 seconds]
<mrnugget> Complete OCaml newbie here. Can someone explain to me why Real World OCaml (https://realworldocaml.org/v1/en/html/functors.html) doesn't use the `functor` keyword, when constructing functors?
<companion_cube> there is syntactic sugar for `module F = functor(A:B) -> …`, i.e. `module F(A:B) = …`
<companion_cube> and many people find it more readable
<mrnugget> Ah, so it's just syntactic sugar. Thanks!
_andre has joined #ocaml
elazul has joined #ocaml
snhmib has joined #ocaml
<freehck> companion_cube: ah, we do have the `functor' keyword? Didn't know. :)
<companion_cube> it's sometimes useful, for higher-order functors ;-)
mengu has quit [Remote host closed the connection]
<freehck> companion_cube: how can functor be high-order? It gets only one argument and this argument must be a module.
<companion_cube> no, the argument can be a functor, too
mengu has joined #ocaml
<companion_cube> it becomes a bit complicated to understand, but is perfectly valid
<freehck> I must google for it.
<freehck> companion_cube: ah, thay can have more that one argument! :)
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
<companion_cube> sure
<companion_cube> functor(A:FOO)(B:BAR) -> …
mengu has quit [Ping timeout: 255 seconds]
mrnugget has quit [Ping timeout: 255 seconds]
infinity0_ has joined #ocaml
octachron has joined #ocaml
infinity0_ has quit [Quit: Page closed]
frefity has quit [Ping timeout: 255 seconds]
kakadu_ has joined #ocaml
mrnugget has joined #ocaml
kakadu has quit [Ping timeout: 255 seconds]
MercurialAlchemi has joined #ocaml
frefity has joined #ocaml
regnat[m]1 has joined #ocaml
mrnugget has quit [Ping timeout: 240 seconds]
ansiwen_ is now known as ansiwen
djellemah_ has quit [Ping timeout: 240 seconds]
alfredo has quit [Quit: Textual IRC Client: www.textualapp.com]
AlexDenisov has joined #ocaml
larhat has quit [Quit: Leaving.]
larhat has joined #ocaml
mrnugget has joined #ocaml
superherointj has joined #ocaml
<superherointj> Is generics the same as parametric polymorphism?
frefity has quit [Ping timeout: 268 seconds]
<Drup> "generics" is a world that is used for a lot of very different things
<Drup> word*
<Drup> so, which generics ? :)
<superherointj> For example. People say, Go doesn´t have .map/reduce because it doesnt support generics.
<Drup> parametric polymorphism handles map/reduce/generic operations over collections, yes
<superherointj> Thank you.
mrnugget has quit [Ping timeout: 240 seconds]
rpg_ has joined #ocaml
frefity has joined #ocaml
nomicflux has joined #ocaml
<freehck> Hm... Where has Core.Std.Comparator.Pre disappeared?
nomicflux has quit [Quit: nomicflux]
sepp2k has joined #ocaml
rpg_ has quit [Ping timeout: 260 seconds]
<freehck> Hm... It seems some merlin problems after my last upgrade. Get to restart.
freehck has quit [Quit: "restart"]
freehck has joined #ocaml
[[mark]] has joined #ocaml
nomicflux has joined #ocaml
<freehck> Ah, I remember. Yesterday I tried to install opam-publish under 4.01.0 and it caused core downgrade. Strange thing. I really need to upgrade.
frefity has quit [Ping timeout: 240 seconds]
[mark] has quit [Ping timeout: 255 seconds]
<companion_cube> what is the cause of the conflict‽ sexplib?
<freehck> Now I'm upgrading to core.111.28.01 and this operation forced to remove async_core.
<freehck> companion_cube: I can't remember what did it want to remove, but I saw a pack of packages to downgrade and even 1 package to remove...
nomicflux has quit [Quit: nomicflux]
<freehck> Suggest it's some conflict that nobody has seen because only actual switches are tested.
<freehck> It only means for me that I must upgrade to 4.04.0
ski has quit [Ping timeout: 260 seconds]
mrnugget has joined #ocaml
frefity has joined #ocaml
dhil has joined #ocaml
frefity has quit [Ping timeout: 240 seconds]
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
ski has joined #ocaml
freehck has quit [Quit: restart]
AlexDenisov has joined #ocaml
superherointj has quit [Quit: Leaving]
frefity has joined #ocaml
sh0t has joined #ocaml
jerme_ has joined #ocaml
[[mark]] has quit [Quit: Leaving]
jao has joined #ocaml
shinnya has joined #ocaml
Mercuria1Alchemi has quit [Ping timeout: 240 seconds]
freehck has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
malc_ has quit [Ping timeout: 240 seconds]
zpe_ has quit [Remote host closed the connection]
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
zpe has joined #ocaml
mrnugget has quit [Remote host closed the connection]
zpe has quit [Ping timeout: 240 seconds]
copy` has joined #ocaml
toolslive has joined #ocaml
<toolslive> [@@deriving show {with_path = false}] when will it hit opam ?
<kakadu_> you can pin a package
<kakadu_> Folks
<kakadu_> I need a guidance how to read perf output http://paste.ubuntu.com/24014150/
<toolslive> sure, I can get it from github and use it, but it's a drag to script it for our build servers as well.
<kakadu_> it seems caml_curry3 and caml_curry3_1 take most amount of time but I don't know what can I do with it
<companion_cube> you cannot `opam pin` from the build server?
<companion_cube> kakadu_: do you use a lot of curried functions in inner loops?
<companion_cube> also, I think you should have better output with perf, if you compile with -g
<companion_cube> and use perf record --call-graph=dwarf foo.native
<kakadu_> -g is already there
shinnya has quit [Ping timeout: 240 seconds]
foo30303 has quit [Quit: leaving]
* kakadu_ is fighting against The sys_perf_event_open() syscall returned with 22 (Invalid argument) for event (cycles).
johnelse is now known as johnel_away
johnel_away is now known as johnelse
larhat has quit [Quit: Leaving.]
kakadu_ is now known as Kakadu
malc_ has joined #ocaml
ryanartecona has joined #ocaml
noddy has joined #ocaml
<okeuday_bak> if you make a record private in the mli file, you are making the record read-only when it is used outside the module, right?
<companion_cube> yes
<okeuday_bak> k, thanks
<haesbaert> companion_cube: what does read-only mean in this case ?
<haesbaert> I thought private would hide the members of the record, like just declaring type foo
octarin has joined #ocaml
lopex has joined #ocaml
<octarin> Hi.
<octarin> Is this channel appropriate for questions about camllight or is there a specific one ? (i did’nt find it)
rpg has joined #ocaml
<companion_cube> you can always ask
<companion_cube> I don't think there's a camllight channel
<octarin> ok
<Kakadu> companion_cube: do I really need --call-graph=dwarf? will --call-graph=fp be enough when compiler is 4.04.0+fp+flambda ?
<Drup> you don't need +fp, dwarf is enough
<Drup> but sure, it works too
jnavila has quit [Quit: It was time]
saidinwot1 is now known as SaidinWoT
Simn has quit [Quit: Leaving]
mengu has joined #ocaml
ygrek has joined #ocaml
AlexDenisov has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
n321 has left #ocaml ["WeeChat 1.7"]
mengu has quit [Ping timeout: 260 seconds]
Soni has quit [Read error: Connection reset by peer]
TheAuGingembre has joined #ocaml
sepp2k has quit [Quit: Leaving.]
Soni has joined #ocaml
mcspud has quit [Ping timeout: 256 seconds]
blackfry has quit [Ping timeout: 256 seconds]
blackfry has joined #ocaml
fds_ has quit [Ping timeout: 240 seconds]
mcspud has joined #ocaml
fds has joined #ocaml
Soni has quit [Read error: Connection reset by peer]
rpg has quit [Ping timeout: 255 seconds]
Soni has joined #ocaml
octarin has quit [Remote host closed the connection]
larhat has joined #ocaml
elazul has quit [Quit: leaving]
freusque has quit [Ping timeout: 255 seconds]
foo30303 has joined #ocaml
foo30303 has quit [Client Quit]
ygrek has quit [Ping timeout: 240 seconds]
slash^ has joined #ocaml
foo30303 has joined #ocaml
freusque has joined #ocaml
foo30303 has quit [Client Quit]
toolslive has quit [Ping timeout: 255 seconds]
ygrek has joined #ocaml
Kakadu has quit [Quit: Konversation terminated!]
freusque has quit [Quit: WeeChat 1.6]
toolslive has joined #ocaml
jnavila has joined #ocaml
noddy has quit [Ping timeout: 240 seconds]
octachron has quit [Quit: Leaving]
_andre has quit [Quit: leaving]
jnavila_ has joined #ocaml
jnavila has quit [Ping timeout: 255 seconds]
AlexDenisov has joined #ocaml
Kakadu has joined #ocaml
slash^ has quit [Read error: Connection reset by peer]
sepp2k has joined #ocaml
AlexDeni_ has joined #ocaml
malina has joined #ocaml
AlexDenisov has quit [Ping timeout: 255 seconds]
malina has quit [Ping timeout: 260 seconds]
mengu has joined #ocaml
malc_ has quit [Remote host closed the connection]
noddy has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
jnavila_ has quit [Ping timeout: 240 seconds]
sz0 has joined #ocaml
dhil has quit [Ping timeout: 260 seconds]
malina has joined #ocaml
Simn has joined #ocaml
orbifx has joined #ocaml
MercurialAlchemi has quit [Ping timeout: 240 seconds]
iZsh has quit [Ping timeout: 252 seconds]
AlexDeni_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
iZsh has joined #ocaml
toolslive has quit [Ping timeout: 255 seconds]
ryanartecona has quit [Quit: ryanartecona]
toolslive has joined #ocaml
iZsh has quit [Ping timeout: 240 seconds]
freusque has joined #ocaml
kolko has quit [Ping timeout: 240 seconds]
maattdd has joined #ocaml
iZsh has joined #ocaml
fraggle_ has quit [Remote host closed the connection]
ryanartecona has joined #ocaml
iZsh has quit [Ping timeout: 240 seconds]
iZsh has joined #ocaml
toolslive has quit [Ping timeout: 255 seconds]
eagleflo_ is now known as eagleflo
Kakadu has quit [Remote host closed the connection]
toolslive has joined #ocaml
fraggle_ has joined #ocaml
rgrinberg has joined #ocaml
maattdd_ has joined #ocaml
maattdd has quit [Ping timeout: 255 seconds]
maattdd_ has quit [Read error: Connection reset by peer]
maattdd_ has joined #ocaml
maattdd has joined #ocaml
maattdd_ has quit [Ping timeout: 260 seconds]
freusque has quit [Ping timeout: 268 seconds]
ryanartecona has quit [Quit: ryanartecona]
justicefries has joined #ocaml
dhil has joined #ocaml
jnavila_ has joined #ocaml
<orbifx> is mehnir the prevalent solution for creating parsers?
<companion_cube> yes, for recursive grammars it can handle
<orbifx> is it simple and intuitive?
<companion_cube> I don't know what intuitive would be for you
<companion_cube> if you know yacc, it will be intuitive and actually much better
<companion_cube> (I mean menhir will be simpler and better)
<orbifx> I had used yacc many moons ago
<companion_cube> same principle, but without the dirty global state
<companion_cube> you might want to look at a fewexample rules
<companion_cube> few example grammars*
<companion_cube> to get an idea what it looks like
<orbifx> yeah
<orbifx> thanks companion_cube
maattdd_ has joined #ocaml
sz0 has quit [Quit: Connection closed for inactivity]
maattdd__ has joined #ocaml
maattdd has quit [Ping timeout: 260 seconds]
maattdd_ has quit [Ping timeout: 240 seconds]
dhil has quit [Ping timeout: 260 seconds]
dhil has joined #ocaml
toolslive has quit [Quit: Ex-Chat]
jnavila_ has quit [Ping timeout: 255 seconds]
larhat has quit [Quit: Leaving.]
maattdd has joined #ocaml
maattdd__ has quit [Ping timeout: 240 seconds]
maattdd has quit [Read error: Connection reset by peer]
maattdd has joined #ocaml
dhil has quit [Ping timeout: 268 seconds]
zv has joined #ocaml