flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 4.01.0 http://bit.ly/1851A3R | http://www.ocaml.org | Public logs at http://tunes.org/~nef/logs/ocaml/
BitPuffin has quit [Quit: WeeChat 0.4.2]
cesar has joined #ocaml
cesar is now known as Guest19294
<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
zpe has quit [Ping timeout: 264 seconds]
<ddosia> List.map ~f:String.length ["Hello"; "World!"];;
<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
<flux> ggole, cool!
michael_lee has joined #ocaml
avsm has joined #ocaml
ulfdoz has quit [Ping timeout: 264 seconds]
pminten has quit [Quit: Leaving]
amirmc has joined #ocaml
michael_lee has quit [Remote host closed the connection]
michael_lee has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
Arzaga has quit [Quit: Computer has gone to sleep.]
michael_lee has quit [Ping timeout: 252 seconds]
zpe has quit [Remote host closed the connection]
ygrek_ has joined #ocaml
michael_lee has joined #ocaml
ollehar has joined #ocaml
Yoric has joined #ocaml
mcclurmc has joined #ocaml
Yoric has quit [Ping timeout: 252 seconds]
ollehar has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 272 seconds]
<whitequark> what does open! do ?
zpe has joined #ocaml
<Drup> like open, but don't warn about shadowing
<whitequark> oh, neat
ulfdoz has joined #ocaml
zpe has quit [Ping timeout: 245 seconds]
shinnya has quit [Ping timeout: 245 seconds]
thizanne has quit [Ping timeout: 240 seconds]
kyrylo has quit [Quit: WeeChat 0.4.2]
kyrylo has joined #ocaml
michael_lee has quit [Quit: Ex-Chat]
michael_lee has joined #ocaml
Yoric has joined #ocaml
amirmc has quit [Quit: Leaving.]
watermind has joined #ocaml
Yoric has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
wlhlm has joined #ocaml
w0rm_x has joined #ocaml
w0rm_x has quit [Ping timeout: 246 seconds]
thizanne has joined #ocaml
ollehar has joined #ocaml
<ollehar> can I send a "module context" together with a lambda function, e.g. for "fun x -> ...", the module Lua will be open?
<ggole> fun x -> let open Lua in ...
<ggole> Although somehow I think that's not what you mean
<ollehar> hm
<ollehar> like this, "let foo fn x = fn (fn x))", and for fn, Lua is open
<Drup> ollehar: no.
<ollehar> Drup: ok :)
<Drup> (and that would be terrible, tbh. I don't want to read some code with implicit opening like that)
<ollehar> well, just figured I wrote the same open over and over again, for each lambda
<asmanur> what would that mean ?
<asmanur> you can use Lua.(fun x -> ...) to define your abstractions though
<ollehar> asmanur: never seen that notation. link?
mcclurmc has quit [Remote host closed the connection]
<Drup> "let open Foo in ..." ≡ "Foo.(...)"
<Drup> no link needed :p
<ollehar> cool, thanks
arj1 has joined #ocaml
zpe has joined #ocaml
w0rm_x has joined #ocaml
w0rm_x has quit [Ping timeout: 260 seconds]
zpe has quit [Ping timeout: 240 seconds]
arj1 has quit [Quit: Leaving.]
arj is now known as yezariaely
yezariaely is now known as arj
arj has quit [Quit: changing servers]
arj has joined #ocaml
arj has quit [Max SendQ exceeded]
Guest84532 has joined #ocaml
Guest84532 has quit [Max SendQ exceeded]
_arj has joined #ocaml
_arj has quit [Max SendQ exceeded]
nikki93 has joined #ocaml
_arj has joined #ocaml
_arj has quit [Max SendQ exceeded]
_arj has joined #ocaml
_arj has left #ocaml []
NoNNaN has quit [Ping timeout: 240 seconds]
nikki93 has quit [Ping timeout: 246 seconds]
NoNNaN has joined #ocaml
Kakadu has quit []
ygrek_ has quit [Ping timeout: 260 seconds]
avsm has quit [Quit: Leaving.]
ZadAtom is now known as MahmoudBinAwad
michael_lee has quit [Ping timeout: 264 seconds]
zpe has joined #ocaml
dsheets has joined #ocaml
w0rm_x has joined #ocaml
w0rm_x has left #ocaml []
zpe has quit [Ping timeout: 240 seconds]
Yoric has joined #ocaml
WraithM has joined #ocaml
WraithM has quit [Ping timeout: 264 seconds]
ggole has quit []
mcclurmc has joined #ocaml
avsm has joined #ocaml
yacks has joined #ocaml
WraithM has joined #ocaml
Arzaga has joined #ocaml
zpe has joined #ocaml
zpe has quit [Remote host closed the connection]
nikki93 has joined #ocaml
WraithM has quit [Quit: Lost terminal]
WraithM has joined #ocaml
watermind has quit [Quit: Konversation terminated!]
watermind has joined #ocaml
osa1 has joined #ocaml
mye has quit [Quit: mye]
osa1 has quit [Quit: Konversation terminated!]
mye has joined #ocaml
Anarchos has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
osa1 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
ollehar has joined #ocaml
mcclurmc has quit [Ping timeout: 260 seconds]
mcclurmc has joined #ocaml
mye has quit [Quit: mye]
zpe has joined #ocaml
mye has joined #ocaml
zpe has quit [Ping timeout: 246 seconds]
<gasche> 19:03 < ollehar> well, just figured I wrote the same open over and over again, for each lambda
<gasche> include struct open Lua ... end
Yoric has quit [Ping timeout: 252 seconds]
<adrien> gasche: \o/
<adrien> (does it look like I'm going to ask you something?)
<adrien> so, I'm trying to put a talk at fosdem in the wine devroom and I need to submit my proposal; so far I've written http://lite3.framapad.org/p/fosdem-wine-devroom-win-builds and I'd like some comments :)
<jpdeplaix> Me first ! How does the slides going ? :)
<jpdeplaix> NOOO
<jpdeplaix> :D
<adrien> too late!
* adrien got the mutex \o/
cesar has joined #ocaml
cesar is now known as Guest75103
Guest75103 has quit [Remote host closed the connection]
sgnb has quit [Read error: Connection reset by peer]
sgnb has joined #ocaml
amirmc has joined #ocaml
darkf has joined #ocaml
<adrien> jpdeplaix: I think we've deadlocked him ='(
<jpdeplaix> :DD
TDJACR has quit [Ping timeout: 245 seconds]
TDJACR has joined #ocaml
MahmoudBinAwad has quit [Quit: ZNC - http://znc.in]
Lajjla has joined #ocaml
Lajjla has quit [Excess Flood]
Lajjla has joined #ocaml
Anarchos has quit [Quit: Vision[0.9.7-H-280704]: i've been blurred!]
amirmc has quit [Quit: Leaving.]
talzeus has joined #ocaml
talzeus has quit [Remote host closed the connection]
talzeus has joined #ocaml
strobegen has quit [Quit: Leaving.]
Lajjla is now known as MorphinTime
avsm has quit [Quit: Leaving.]
avsm has joined #ocaml
tane has quit [Quit: Verlassend]
NoNNaN has quit [Ping timeout: 240 seconds]
ulfdoz has quit [Ping timeout: 246 seconds]
rand000 has quit [Quit: leaving]
ollehar1 has joined #ocaml
ollehar has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
nikki93 has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
wolfnn has quit [Ping timeout: 245 seconds]
mcclurmc has quit [Ping timeout: 246 seconds]
Simn has quit [Read error: Connection reset by peer]
ahill-89 has joined #ocaml
nikki93 has joined #ocaml
Yoric has joined #ocaml
breakds has joined #ocaml
nikki93 has quit [Ping timeout: 246 seconds]
Yoric has quit [Ping timeout: 264 seconds]
mcclurmc has joined #ocaml
talzeus has quit [Read error: Connection reset by peer]
nikki93 has joined #ocaml
mcclurmc has quit [Remote host closed the connection]
mcclurmc has joined #ocaml
avsm has quit [Quit: Leaving.]
willy_ has quit [Quit: This computer has gone to sleep]
shinnya has joined #ocaml
ahill-89 has quit [Quit: leaving]
madroach has quit [Ping timeout: 264 seconds]
madroach has joined #ocaml
NoNNaN has quit [Remote host closed the connection]
NoNNaN has joined #ocaml
thelema has joined #ocaml
thelema has quit [Remote host closed the connection]
breakds has quit [Remote host closed the connection]