<tobiasBora>
mrvn: Ok... Maybe this summer I'll try (in python the C files are already available but I've never use C in Ocaml and I don't have the time to try for the moment). It's just I though that someone had already tried.
<tobiasBora>
And in the files I gave you nothing is interesting ?
Guest19294 has quit [Ping timeout: 260 seconds]
nikki93 has joined #ocaml
Simn has quit [Quit: Leaving]
nikki93 has quit [Remote host closed the connection]
ollehar1 has joined #ocaml
nikki93 has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
ollehar1 has quit [Ping timeout: 245 seconds]
shinnya has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
nikki93 has quit [Remote host closed the connection]
nikki93 has joined #ocaml
zpe has joined #ocaml
<ddosia>
Seems that examples in Real World Ocaml book have use some other modules, then utop suggests to me
<ddosia>
is it possible? (my ocaml is 4.01.0)
<ddosia>
So book reffer to list.map with labeled argument ~f
<ddosia>
Error: The function applied to this argument has type 'a list -> 'b list This argument cannot be applied with label ~f
chris2 has quit [Ping timeout: 245 seconds]
<ddosia>
This thing I see when try ti execute example from a book
Arzaga has joined #ocaml
ollehar has quit [Ping timeout: 246 seconds]
tobiasBora has quit [Quit: Konversation terminated!]
ollehar has joined #ocaml
nikki93 has quit [Remote host closed the connection]
<ddosia>
And List.fold;; says: Error: Unbound value List.fold
<ddosia>
but List.fold_left do exists
nikki93 has joined #ocaml
ollehar1 has joined #ocaml
<Drup>
ddosia: it uses the core library
<Drup>
ddosia: about the manual "man List"
<Drup>
(it works for all standard library modules)
<ddosia>
Drup: man List works, thanks
<ddosia>
Drup: what does it mean, about core library? I have core library installed
ollehar has quit [Ping timeout: 245 seconds]
<Drup>
there is a section in the book about the setting up of utop, read it
<ddosia>
and what more interesting, how it is possible that one subset of same module functions are available, other is not?
nikki93 has quit [Remote host closed the connection]
wolfnn has quit [Ping timeout: 246 seconds]
<ddosia>
Drup: After I execute open Core.Std;; List module have fold function. Is this somehow substitute original List module with different set of functions?
Arzaga has quit [Quit: Computer has gone to sleep.]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
ygrek has joined #ocaml
mcclurmc has joined #ocaml
ollehar1 has quit [Ping timeout: 272 seconds]
cesar has joined #ocaml
cesar is now known as Guest61598
root_empire has joined #ocaml
Guest61598 has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
Zoltrov is now known as ZadAtom
mcclurmc has quit [Ping timeout: 240 seconds]
Neros has quit [Ping timeout: 272 seconds]
Xenasis has quit [Remote host closed the connection]
ollehar has joined #ocaml
kyrylo has quit [Ping timeout: 245 seconds]
strobegen has joined #ocaml
root_empire has quit [Remote host closed the connection]
Ptival has joined #ocaml
electronplusplus has joined #ocaml
<electronplusplus>
Hi, I'm learning ocaml and I don't understand in this example http://ocaml.org/learn/tutorials/map.html , Why do I have to create the module MyUsers to iterate?
<ygrek>
because that's how Map module is implemented
<ygrek>
it can be implemented in other ways (called polymorphic map), but the one in stdlib is a functor
<electronplusplus>
ygrek: was it a design decision or just random?
<ygrek>
it is on purpose
<ygrek>
as everything in this world, functors have advantages and disadvantages
<ygrek>
you should install core or batteries to get a wider selection of modules for common tasks
<electronplusplus>
that's a shame that the language doesn't provide an healthy lib/data structures;;
cesar has joined #ocaml
cesar is now known as Guest84143
Guest84143 has quit [Ping timeout: 240 seconds]
<ygrek>
where did you get that idea?
<ygrek>
language provides facilities to implement what user needs. libraries provide ready implementatiosn
<ygrek>
ocaml as a language has wonderful features and wonderful libraries
<electronplusplus>
ygrek: how about sugar syntax?
ollehar has quit [Ping timeout: 245 seconds]
<ygrek>
"Syntactic sugar causes cancer of the semicolon"
<ddosia>
=))
electronplusplus has quit [Remote host closed the connection]
<whitequark>
I wonder if ocaml will ever get typeclasses
hellome has quit [Read error: Connection reset by peer]
srcerer has quit [Ping timeout: 260 seconds]
ollehar has joined #ocaml
snyp has joined #ocaml
mystica555-work has left #ocaml []
ollehar has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 265 seconds]
dsheets has quit [Ping timeout: 245 seconds]
ollehar has joined #ocaml
ygrek has quit [Ping timeout: 272 seconds]
wormphlegm has quit [Ping timeout: 260 seconds]
cesar has joined #ocaml
cesar is now known as Guest12277
Guest12277 has quit [Ping timeout: 252 seconds]
snyp has quit [Ping timeout: 240 seconds]
mcclurmc has joined #ocaml
mcclurmc has quit [Ping timeout: 246 seconds]
ollehar has quit [Ping timeout: 245 seconds]
mcclurmc has joined #ocaml
zxqdms has quit [Quit: leaving]
darkf has quit [Quit: Leaving]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
darkf has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
wormphlegm has joined #ocaml
wormphlegm has quit [Read error: Operation timed out]
chris2 has joined #ocaml
chris2 has quit [Ping timeout: 245 seconds]
chris2 has joined #ocaml
Simn has joined #ocaml
wormphlegm has joined #ocaml
zxqdms has joined #ocaml
Kakadu has joined #ocaml
wormphlegm has quit [Ping timeout: 246 seconds]
cesar has joined #ocaml
cesar is now known as Guest10178
Guest10178 has quit [Ping timeout: 272 seconds]
Neros has joined #ocaml
rand000 has joined #ocaml
willy_ has joined #ocaml
<willy_>
bonjour
<Kakadu>
hey
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
nikki93 has joined #ocaml
cesar has joined #ocaml
cesar is now known as Guest32847
Guest32847 has quit [Ping timeout: 260 seconds]
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 260 seconds]
mfp has quit [Read error: Connection reset by peer]
ygrek has joined #ocaml
tane has joined #ocaml
mfp has joined #ocaml
ggole has joined #ocaml
thelema has joined #ocaml
ulfdoz has joined #ocaml
BitPuffin has joined #ocaml
<whitequark>
is there any ocaml equivalent to strftime?
<ggole>
Batteries has a Date thing iirc
wolfnn has joined #ocaml
<ggole>
...which looks very much like a wrapper around strftime
testcocoon has quit [Quit: Coyote finally caught me]
testcocoon has joined #ocaml
wormphlegm has joined #ocaml
wormphlegm has quit [Ping timeout: 245 seconds]
ygrek has quit [Ping timeout: 264 seconds]
kyrylo has joined #ocaml
zpe has joined #ocaml
thizanne has quit [Ping timeout: 260 seconds]
thizanne has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
cesar has joined #ocaml
cesar is now known as Guest3309
nikki93 has quit [Remote host closed the connection]
Guest3309 has quit [Ping timeout: 245 seconds]
ulfdoz has joined #ocaml
thelema has quit [Ping timeout: 260 seconds]
wormphlegm has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
wormphlegm has quit [Ping timeout: 246 seconds]
ollehar has joined #ocaml
ygrek has joined #ocaml
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 272 seconds]
Xenasis has joined #ocaml
ygrek has quit [Ping timeout: 245 seconds]
thelema has joined #ocaml
Yoric has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
wormphlegm has joined #ocaml
mcclurmc has joined #ocaml
wormphlegm has quit [Ping timeout: 265 seconds]
tobiasBora has joined #ocaml
mcclurmc has quit [Ping timeout: 245 seconds]
<Drup>
whitequark: soon™ (for typeclasses)
<Drup>
ddosia: yes, Core basically replace standard module with different ones, and those have different signatures, so they are mostly "incompatible"
ygrek has joined #ocaml
Yoric has joined #ocaml
<ggole>
Type classes? Really?
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
Kingcope has joined #ocaml
Kingcope has quit [Read error: Connection reset by peer]
<whitequark>
Drup: ooh that's interesting
thelema has quit [Ping timeout: 260 seconds]
cesar has joined #ocaml
cesar is now known as Guest40058
<whitequark>
Drup: any pointers?
Guest40058 has quit [Ping timeout: 252 seconds]
<Drup>
he's going to hate me but : ask hnrgrgr
darkf has quit [Quit: Leaving]
wormphlegm has joined #ocaml
ygrek_ has joined #ocaml
ygrek has quit [Ping timeout: 252 seconds]
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 260 seconds]
<adrien>
:D
<ygrek_>
there is strftime binding in extunix
yacks has quit [Quit: Leaving]
BitPuffin has quit [Ping timeout: 252 seconds]
pminten has joined #ocaml
NoNNaN has joined #ocaml
peterbb has quit [Remote host closed the connection]
tobiasBora has quit [Quit: Konversation terminated!]
oriba has joined #ocaml
oriba has left #ocaml []
mye has joined #ocaml
<flux>
the cross module inlining ocamlpro is talking about.. does it cover functors?
<flux>
finally a way to eliminate the overhead introduced by using functors for, say, parametrizing a module by the arithmetics it uses?
cesar has joined #ocaml
cesar is now known as Guest8286
nikki93 has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
ygrek_ has quit [Ping timeout: 272 seconds]
Yoric has quit [Ping timeout: 245 seconds]
Arzaga has joined #ocaml
<ggole>
I find myself wanting to "throw away" the extra type information of GADTs in some circumstances, ie, to be able to have any tag. Is there a more reasonable way to do that than to introduce a wrapper like type _ any = Any : _ t -> any?
Guest8286 has quit [Remote host closed the connection]
talzeus_ has quit [Read error: Connection reset by peer]
<ggole>
flux: one of the blog posts talks about elimination of "most functor applications", so hopefully