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]
<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 ?