gildor changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | OCaml 3.12.0 http://bit.ly/aNZBUp
smerz has quit [Quit: Ex-Chat]
seafood has joined #ocaml
surikator has joined #ocaml
ulfdoz_ has joined #ocaml
ulfdoz has quit [Ping timeout: 240 seconds]
ulfdoz_ has quit [Ping timeout: 250 seconds]
lamawithonel_ has quit [Read error: Connection reset by peer]
jsk has joined #ocaml
seafood has quit [Quit: seafood]
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
tautaun_away has quit [Quit: Ex-Chat]
enthymeme has joined #ocaml
boscop has quit [Ping timeout: 240 seconds]
npouillard has quit [Remote host closed the connection]
surikator has quit [Quit: surikator]
lopex has quit []
npouillard has joined #ocaml
arubin has joined #ocaml
surikator has joined #ocaml
vk0_ has quit [Ping timeout: 255 seconds]
krktz has quit [Ping timeout: 255 seconds]
vk0 has joined #ocaml
krktz_ has joined #ocaml
philtor has quit [Ping timeout: 240 seconds]
arubin has quit [Quit: arubin]
surikator has quit [Quit: surikator]
joewilliams is now known as joewilliams_away
onigiri_ has joined #ocaml
enthymeme has quit [Quit: rcirc on GNU Emacs 23.1.1]
ygrek has joined #ocaml
seafood has joined #ocaml
seafood has quit [Ping timeout: 240 seconds]
ygrek has quit [Ping timeout: 240 seconds]
ygrek has joined #ocaml
Snark_ has joined #ocaml
Snark_ is now known as Snark
edwin has joined #ocaml
seafood has joined #ocaml
Cyanure has joined #ocaml
edwin has quit [Ping timeout: 250 seconds]
mnabil has joined #ocaml
eye-scuzzy has quit [Quit: leaving]
Yoric has joined #ocaml
seafood has quit [Ping timeout: 250 seconds]
edwin has joined #ocaml
yezariaely has joined #ocaml
yezariaely has left #ocaml []
ikaros has joined #ocaml
eye-scuzzy has joined #ocaml
onigiri_ has left #ocaml []
fraggle_ has quit [Ping timeout: 276 seconds]
eye-scuzzy has quit [Quit: leaving]
eye-scuzzy has joined #ocaml
sepp2k has joined #ocaml
fraggle_ has joined #ocaml
myu2 has quit [Remote host closed the connection]
myu2 has joined #ocaml
Modius has quit [Quit: "Object-oriented design" is an oxymoron]
Znudzon has joined #ocaml
oriba has joined #ocaml
Edward has joined #ocaml
sepp2k has quit [Ping timeout: 250 seconds]
wuj has joined #ocaml
wuj has quit [Excess Flood]
wuj has joined #ocaml
wuj has quit [Max SendQ exceeded]
sepp2k has joined #ocaml
Edward has quit []
boscop has joined #ocaml
myu2 has quit [Remote host closed the connection]
boscop_ has joined #ocaml
zzz_` has joined #ocaml
vk0_ has joined #ocaml
Obfuscate` has joined #ocaml
tauntaun has joined #ocaml
Asmadeus_ has joined #ocaml
__mattam__ has joined #ocaml
hyperbor1ean has joined #ocaml
zzz_ has quit [Ping timeout: 246 seconds]
boscop has quit [Ping timeout: 246 seconds]
Obfuscate has quit [Ping timeout: 246 seconds]
mattam has quit [Ping timeout: 246 seconds]
vk0 has quit [Ping timeout: 246 seconds]
hyperboreean has quit [Ping timeout: 246 seconds]
Asmadeus has quit [Ping timeout: 246 seconds]
yezariaely has joined #ocaml
oriba has quit [Quit: Verlassend]
valross has joined #ocaml
boscop_ is now known as boscop
lopex has joined #ocaml
Znudzon has quit [Ping timeout: 272 seconds]
tauntaun has quit [Ping timeout: 240 seconds]
__mattam__ is now known as mattam
valross has quit [Remote host closed the connection]
mnabil has quit [Ping timeout: 250 seconds]
myu2 has joined #ocaml
kaustuv has quit [Remote host closed the connection]
fraggle_ has quit [Ping timeout: 276 seconds]
Asmadeus_ is now known as Asmadeus
ulfdoz has joined #ocaml
fraggle_ has joined #ocaml
mnabil has joined #ocaml
schme is now known as schmrkc
mnabil has quit [Ping timeout: 272 seconds]
agarwal1975 has joined #ocaml
agarwal1975 has quit [Quit: agarwal1975]
ygrek has quit [Remote host closed the connection]
ygrek has joined #ocaml
ymasory has joined #ocaml
Znudzon has joined #ocaml
mfp_ has quit [Ping timeout: 240 seconds]
bobry has joined #ocaml
npouillard has quit [Ping timeout: 272 seconds]
npouillard has joined #ocaml
oriba has joined #ocaml
cthuluh has quit [Quit: argh]
arubin has joined #ocaml
bobry has quit [Quit: flew away...]
<orbitz> I need to learn elisp so I can fix taureg mode, trying to merge in lwt when you don't understand what it's doing is painful
cthuluh has joined #ocaml
agarwal1975 has joined #ocaml
mfp has joined #ocaml
mnabil has joined #ocaml
joewilliams_away is now known as joewilliams
smerz has joined #ocaml
<agarwal1975> any batteries developers around?
philtor has joined #ocaml
joewilliams is now known as joewilliams_away
ymasory_ has joined #ocaml
mnabil has quit [Ping timeout: 240 seconds]
sepp2k has quit [Read error: Operation timed out]
pdhborges has joined #ocaml
Znudzon has left #ocaml []
<pdhborges> does anyone know if it is worth it to move the exception raises from the C stubs to be alle to use the "noalloc" optimization?
mnabil has joined #ocaml
sepp2k has joined #ocaml
vk0_ has quit [Ping timeout: 272 seconds]
<mrvn> from what I read on the ML about noalloc it isn't.
<thelema> agarwal1975: pong
vk0 has joined #ocaml
<thelema> grr, caml-list spam
<agarwal1975> thelema: was working on the Tuple modules I wanted to contribute.
<agarwal1975> had a question about name of optional comparator arguments.
<agarwal1975> these are usually named ~cmp, but Pair was using ~c1 and ~c2. I changed this to ~cmp1 and ~cmp2.
<agarwal1975> sound reasonable?
boscop has quit [Quit: OutOfTimeException: Allocation of TimeFrame failed due to lack of time. Terminating...]
Cyanure has quit [Remote host closed the connection]
boscop has joined #ocaml
<confound> what should I use to generate an rss feed in ocaml? google turns up mentions of ocaml-rss but it seems to have gone away (no ubuntu package, for example)
<confound> yeah, I guess. my cameleon package description doesn't mention it. I'll look harder
<pdhborges> I googled it and saw a post by the author saying that ocaml-rss was merged into cameleon
<pdhborges> ^^
<confound> me too, but then the cameleon .deb didn't mention it
<confound> but it turns out it's in there anyway
<thelema> agarwal1975: yes, seems reasonable
Snark has quit [Ping timeout: 272 seconds]
philtor has quit [Ping timeout: 240 seconds]
<agarwal1975> Does anyone know about the extern functions %field0 and %field1. They are used in Pervasives to define fst and snd.
enthymeme has joined #ocaml
Yoric has quit [Quit: Yoric]
SoftTimur has joined #ocaml
<SoftTimur> hello all, I have defined a function "let rec f( x : A) : B -> C". Could I use it like "let Clist = List.map (f A
<SoftTimur> sorry, I retype
<SoftTimur> I have defined a function "let rec f( a : A) : B -> C". Could I use it like "let Clist = List.map (f a) Blist", where "Clist : C list" and "Blist : B list"?
<mrvn> yes
<mrvn> It is called curying and ocaml always does it.
<SoftTimur> mrvn: thank you
sepp2k has quit [Quit: Leaving.]
<mrvn> Tip for next time: Just ask the compiler / toplevel. If it accepts the input then it will work. :)
<SoftTimur> I have "abs : (A * B) list", is there a easy way to get its components - "as : A list" and "bs : B list"?
edwin has quit [Remote host closed the connection]
<SoftTimur> OK... I guess it is List.split
yezariaely has quit [Quit: Leaving.]
oriba has quit [Quit: Verlassend]
ygrek has quit [Remote host closed the connection]
itewsh has joined #ocaml
<itewsh> hello
<itewsh> I have a question about the official definition of List.map here : http://docs.camlcity.org/docs/godipkg/3.11/godi-ocaml/lib/ocaml/std-lib/list.ml
<itewsh> Is there a reason why they are using a "let r = f a in r :: map f l" rather than a simple "(f a):: map f l" ?
<SoftTimur> hello all, I have defined a "type X = Constructor of A * B", and I have "xs : X list", do you know how I could get its components - "as : A list" and "bs : B list"? It is not easy to make List.split work here...
<confound> why not?
<mrvn> confound: because Constructor of A * B isn't a tuple.
<SoftTimur> mrvn: indeed
<mrvn> List.split (List.map (fun Constructor (a,b) -> (a,b)) xlist)
<confound> oh, I misunderstood the problem.
<mrvn> or Lift.fold_left
<agarwal1975> SoftTimur: this is to ensure order of evaluation is what you intuitively expect.
<agarwal1975> If f is purely functional, there is no difference.
<SoftTimur> mrvn: how to use Lift.fold_left in this case?
myu2 has quit [Remote host closed the connection]
<mrvn> let (as, bs) = List.fold_left (fun (as, bs) (Constructor (a,b)) -> (a::as, b::bs)) ([], []) xs in (List.rev as, List.rev bs)
myu2 has joined #ocaml
ccasin has joined #ocaml
<SoftTimur> mrv: that is nice, thanks for the 2 solutions
<mrvn> you can do better with mutable lists
<SoftTimur> mrvn: I am using your first solution "List.split (List.map (fun Constructor (a,b) -> (a,b)) xlist)", the compiler says "The constructor expects 2 argument's), but is applied here to 0 argument(s)". Do you know why?
<mrvn> because i forgot a () around it
Morphous has quit [Ping timeout: 272 seconds]
<SoftTimur> mrvn: cool!
itewsh has quit [Quit: o/]
rup has quit [Ping timeout: 240 seconds]
tauntaun has joined #ocaml
Morphous has joined #ocaml
rup has joined #ocaml
<pdhborges> agarwal1975: try to compile from source and check if they are generated during compilation
<agarwal1975> was that msg intended for me.
<pdhborges> yes
<pdhborges> You asked abou teh %filed functions
<pdhborges> s/filed/field/
<agarwal1975> ahh yes.
<agarwal1975> well, I thought they would be in some c file.
<agarwal1975> I wanted to know because I'm implementing tuples with 3 and 4 elements for Batteries. And I wonder if I should be using these extern functions instead of just doing let fst (a,b) = a.
<pdhborges> agarwal1975: looks like these are all sepcial compilation cases
<pdhborges> check the translcore.ml file
<agarwal1975> I see field0 and field1 mentioned in this file, but I don't know what it means.
Obfuscate` has quit [Quit: A poorly written script will replace me shortly.]
Obfuscate has joined #ocaml
<pdhborges> agarwal1975: the compiler generates assembly code for the field acess directly
<pdhborges> I think
<pdhborges> might not be much different that using the Field(v, n) macro
<pdhborges> except you don;t have to make a C call
<agarwal1975> guess i'll stick to the straight ocaml defs since this is beyond what I understand. maybe i'll come back to it if someone states there is a significant performance penalty.
agarwal1975 has quit [Quit: agarwal1975]
mnabil has quit [Read error: Connection reset by peer]
kaustuv has joined #ocaml