flux changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | 3.11.0 out now! Get yours from http://caml.inria.fr/ocaml/release.html
jonasb has quit [Read error: 110 (Connection timed out)]
<mbishop> optimized python? is that like the fastest snail? :)
<Yoric[DT]> :)
comglz has joined #ocaml
seafood has joined #ocaml
Demitar has joined #ocaml
psnively has quit []
sporkmonger has joined #ocaml
tar_ has quit []
sporkmonger has quit []
Yoric[DT] has quit ["Ex-Chat"]
jonasb_ has quit ["leaving"]
Maghnus has joined #ocaml
Camarade_Tux has quit ["waaaaaaayyyyyyy too late"]
sporkmonger has joined #ocaml
sporkmonger_ has joined #ocaml
malc_ has left #ocaml []
sporkmonger has quit [Connection timed out]
<det> Any idea why this type errors on line 23, citing a lack of a to_int method on the floating object, even though to_int is never invoked on it?
<det> (if I uncomment the to_int method, it compiles)
sporkmonger_ is now known as sporkmonger
bzzbzz has joined #ocaml
Demitar has quit [Remote closed the connection]
Stefan_vK has joined #ocaml
Axioplase_ is now known as Axioplase
comglz has quit ["Lost terminal"]
<det> It seems I need to use polymorphic methods
middayc has joined #ocaml
jknick has joined #ocaml
sporkmonger has quit []
jeddhaberstro has quit []
middayc has quit ["ChatZilla 0.9.84 [Firefox 3.0.5/2008120122]"]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
xah_lee has joined #ocaml
<xah_lee> if i have a file xx.ml, how do i get ocmal to eval it?
<xah_lee> sorry for basic q.
<mrvn> ocaml xx.ml
Associat0r has quit []
<xah_lee> mrvn: how do i add a print statement?
<xah_lee> mrvn: to the end of my file? i ran ocaml xx.ml before witouth output n i wasn't sure i got it right or missing a print.
<sanguinev> xah_lee: print_string "Hello world!\n";
<xah_lee> sanguinev: ah thanks
mjonsson has quit ["Leaving"]
xah_lee has quit ["banned in #emacs by johnsu01 (john sullivan)"]
m3ga has joined #ocaml
seafood has quit []
ygrek has joined #ocaml
schme has joined #ocaml
schmx has quit [Read error: 110 (Connection timed out)]
ygrek has quit [Remote closed the connection]
ikaros has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
ygrek has joined #ocaml
punya has joined #ocaml
punya has left #ocaml []
ygrek has quit [Remote closed the connection]
Amorphous has quit [kornbluth.freenode.net irc.freenode.net]
mattam has quit [kornbluth.freenode.net irc.freenode.net]
jlouis has quit [kornbluth.freenode.net irc.freenode.net]
Asmadeus has quit [kornbluth.freenode.net irc.freenode.net]
pango has quit [kornbluth.freenode.net irc.freenode.net]
smimram has quit [kornbluth.freenode.net irc.freenode.net]
delroth has quit [kornbluth.freenode.net irc.freenode.net]
Axioplase has quit [kornbluth.freenode.net irc.freenode.net]
haelix has quit [kornbluth.freenode.net irc.freenode.net]
jdev has quit [kornbluth.freenode.net irc.freenode.net]
nuncanada has quit [kornbluth.freenode.net irc.freenode.net]
petchema has quit [kornbluth.freenode.net irc.freenode.net]
maxote has quit [kornbluth.freenode.net irc.freenode.net]
animist has quit [kornbluth.freenode.net irc.freenode.net]
ido has quit [kornbluth.freenode.net irc.freenode.net]
jeremiah has quit [kornbluth.freenode.net irc.freenode.net]
hcarty has quit [kornbluth.freenode.net irc.freenode.net]
bohanlon has quit [kornbluth.freenode.net irc.freenode.net]
sbok has quit [kornbluth.freenode.net irc.freenode.net]
fremo has quit [kornbluth.freenode.net irc.freenode.net]
jburd has quit [kornbluth.freenode.net irc.freenode.net]
sgnb has quit [kornbluth.freenode.net irc.freenode.net]
purple_ has quit [kornbluth.freenode.net irc.freenode.net]
ppsmimou has quit [kornbluth.freenode.net irc.freenode.net]
gim has quit [kornbluth.freenode.net irc.freenode.net]
ulfdoz has quit [kornbluth.freenode.net irc.freenode.net]
mbishop has quit [kornbluth.freenode.net irc.freenode.net]
bzzbzz has quit [kornbluth.freenode.net irc.freenode.net]
authentic has quit [kornbluth.freenode.net irc.freenode.net]
jknick has quit [kornbluth.freenode.net irc.freenode.net]
ozzloy has quit [kornbluth.freenode.net irc.freenode.net]
cygnus__ has quit [kornbluth.freenode.net irc.freenode.net]
acatout has quit [kornbluth.freenode.net irc.freenode.net]
det has quit [kornbluth.freenode.net irc.freenode.net]
Stefan_vK has quit [kornbluth.freenode.net irc.freenode.net]
Mr_Awesome has quit [kornbluth.freenode.net irc.freenode.net]
mfp has quit [kornbluth.freenode.net irc.freenode.net]
Jedai has quit [kornbluth.freenode.net irc.freenode.net]
erg has quit [kornbluth.freenode.net irc.freenode.net]
rwmjones has quit [kornbluth.freenode.net irc.freenode.net]
shortc|desk has quit [kornbluth.freenode.net irc.freenode.net]
rby has joined #ocaml
jeremiah has joined #ocaml
jknick has joined #ocaml
Stefan_vK has joined #ocaml
bzzbzz has joined #ocaml
Amorphous has joined #ocaml
nuncanada has joined #ocaml
authentic has joined #ocaml
pango has joined #ocaml
ido has joined #ocaml
mattam has joined #ocaml
jlouis has joined #ocaml
Mr_Awesome has joined #ocaml
ulfdoz has joined #ocaml
sgnb has joined #ocaml
mfp has joined #ocaml
smimram has joined #ocaml
Asmadeus has joined #ocaml
delroth has joined #ocaml
Axioplase has joined #ocaml
sbok has joined #ocaml
jburd has joined #ocaml
fremo has joined #ocaml
bohanlon has joined #ocaml
hcarty has joined #ocaml
maxote has joined #ocaml
petchema has joined #ocaml
animist has joined #ocaml
haelix has joined #ocaml
gim has joined #ocaml
ppsmimou has joined #ocaml
purple_ has joined #ocaml
erg has joined #ocaml
shortc|desk has joined #ocaml
rwmjones has joined #ocaml
Jedai has joined #ocaml
jdev has joined #ocaml
ozzloy has joined #ocaml
mbishop has joined #ocaml
acatout has joined #ocaml
cygnus__ has joined #ocaml
det has joined #ocaml
_zack has joined #ocaml
ikaros has quit [".quit"]
Camarade_Tux has joined #ocaml
ygrek has joined #ocaml
ched has joined #ocaml
marmotine has joined #ocaml
Snark has joined #ocaml
ched has quit [Remote closed the connection]
_zack has quit ["Leaving."]
Axioplase is now known as Axioplase_
ched has joined #ocaml
ygrek has quit [Remote closed the connection]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
hkBst has joined #ocaml
s4tan has joined #ocaml
_zack has joined #ocaml
jeremiah has joined #ocaml
ched has quit [Remote closed the connection]
ched has joined #ocaml
Stefan_vK1 has joined #ocaml
ygrek has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
Camarade_Tux has quit ["bloody exams"]
Stefan_vK has quit [Read error: 110 (Connection timed out)]
vixey has joined #ocaml
jonafan_ has joined #ocaml
vixey` has joined #ocaml
vixey has quit [Nick collision from services.]
vixey` is now known as vixey
fschwidom has joined #ocaml
jonafan has quit [Read error: 110 (Connection timed out)]
love-pingoo has joined #ocaml
ygrek has quit [Remote closed the connection]
fschwidom has quit [Remote closed the connection]
fschwidom has joined #ocaml
fschwidom has quit [Remote closed the connection]
fschwidom has joined #ocaml
<rwmjones> thanks for sending those _zack
<_zack> rwmjones: np
Yoric[DT] has joined #ocaml
<Yoric[DT]> Gasp, the Forge has received a new coat of paint.
<Yoric[DT]> Erf, no, it's only a loading issue.
<gildor> Yoric[DT]: is there a problem with the forge ?
<Yoric[DT]> No, loading was just slow for some reason.
<Yoric[DT]> Until some of the graphics were loaded, everything looked unusual :)
<gildor> ok, you must have seen transient reload of pgsql connection
<gildor> Yoric[DT]: I just mean, since you are using it, have you big problems with it (i.e. "new" in your sentence)
<Yoric[DT]> No issue, no.
<gildor> (I know there are problems from time to time)
<gildor> ok great
<Yoric[DT]> Well, besides the ones I've submitted to the support tracker, but they were all solved.
sporkmonger has joined #ocaml
Associat0r has joined #ocaml
nuncanada has quit [Client Quit]
<purple_> what's Sys.max_array_length on 32bit ?
rby_ has joined #ocaml
<mrvn> 16m or so.
<purple_> thanks thought so
<mrvn> At least it is for string and I believe they use the name number of bits.
<gildor> rwmjones: someone ask me if you still received mail for rich@annexia.org
<gildor> rwmjones: because this is the contact mail to have an account on wiki.cocan.org
<rwmjones> gildor, I do ... my mail server is suffering from old age and spam and takes its fair time delivering email
<gildor> humm
<gildor> rwmjones: could you look if you have a mail from Florent Ouchet, he wants to submit a talk to OCaml Meeting
<rwmjones> purple_, the limit is 16 MB, 4 M entries ... use a 64 bit machine :-)
<rwmjones> gildor, will check
Snark has quit ["Ex-Chat"]
<purple_> yup on a 64bit machine and was just allocating 10m elt arrays - when i remembered that i should have hit a limit
<purple_> ocaml on 64 bit is a different beast
<mrvn> I once had a 16M+300byte string as problem input for an ocaml program. really sucked.
rby has quit [Read error: 110 (Connection timed out)]
<rwmjones> gildor, I've sent him an invite
<rwmjones> sounds like pycaml upstream is dead ... who knows python + ocaml???
<tsuyoshi> for strings it's rather easy to use bigarrays instead
<gildor> rwmjones: is there not an upstream message asking for info on the caml mailing list ? (for pycaml)
<tsuyoshi> if you just redefine a new String module, even .[] will work
<rwmjones> _zack, I think you're confused between coccinelle & Thomas Fischbacher's (different) project ... both ship different forks of pycaml :-(
<_zack> argh !
<rwmjones> argh is the word
<_zack> well then, "obviously" they should factorize and merge their efforts :)
ygrek has joined #ocaml
schmx has joined #ocaml
willb has joined #ocaml
schme has quit [Read error: 110 (Connection timed out)]
vixey has quit [Read error: 60 (Operation timed out)]
vixey has joined #ocaml
Jedai has quit [Read error: 110 (Connection timed out)]
Jedai has joined #ocaml
bluestorm has joined #ocaml
<bluestorm> Yoric[DT]: i've not submitted yet, but the code is working and here : http://bluestorm.info/camlp4/dev/comprehension/list.php
<Yoric[DT]> \o/
<Yoric[DT]> Well, I'll let you submit.
<bluestorm> it's mostly in the same state that the last time, and hm
<bluestorm> i wanted to check that you agree with my design decisions
<Yoric[DT]> Ok.
<Yoric[DT]> Which ones?
<bluestorm> well
<bluestorm> i think the one you won't like is : no specific syntax for anything but lists (for now)
<Yoric[DT]> gasp
<Yoric[DT]> That's the one I don't like :)
<bluestorm> well
* Yoric[DT] was wondering how such a short source code managed to work on lists and enumerations.
<bluestorm> the extension is quite generic and simple, and i kind of like it that way
<bluestorm> well it works on enumerations
<bluestorm> and you can specify other modules
<Yoric[DT]> So what doesn't work?
<bluestorm> eg. [? LazyList : foo | foo <- LazyList : bar ]
<bluestorm> well there is no [^ ... | .. ] or [| ... | ... ] as in your comprehension code
<bluestorm> you have to use the module name instead
<Yoric[DT]> Ah, ok.
<bluestorm> (except for list because i reuse the ocaml extension, but i could remove the list-specific case if needed for homogeneity)
<Yoric[DT]> That's not a real issue.
<bluestorm> another thing i'm unsure about is
<bluestorm> currently for a module to be used in the comprehension (the "Module :" way) it has to support filter, map, concat and filter_map
<bluestorm> (filter_map : ('a -> 'b option) -> 'a t -> 'b t)
<Yoric[DT]> Not enum / of_enum ?
<bluestorm> i don't know if i should keep the filter_map requirement, as it is a quite unknown function and not very generic
<bluestorm> hum yes enum/of_enum of course
<bluestorm> that's assumed for any civilized module :]
<Yoric[DT]> :)
<bluestorm> i could remove the filter_map requirement, but that would produce less efficient code
pango has quit [Remote closed the connection]
<Yoric[DT]> I'd say that filter_map can stay.
<bluestorm> in that case we should ensure every battery data-structure module has his filter_map
<Yoric[DT]> Indeed.
<Yoric[DT]> Well, Bigarray probably doesn't have it.
* Yoric[DT] will check in a few modules.
<bluestorm> actually comprehensions are usable with enum/of_enum only, but you use foo <- Module.enum bar instead of foo <- Module : bar
<bluestorm> (and that disable some module-to-module-conversion optimisations)
<Yoric[DT]> Dllist doesn't.
<Yoric[DT]> Well, you'll have to document this.
<bluestorm> yes
<Yoric[DT]> Meanwhile, I'll add filter_map to Dllist.
<bluestorm> it's commented in the code but i'll try to give it more visibility
<bluestorm> hm
<bluestorm> and i also have my let_try and try_finally extensions
<bluestorm> i could probably try to commit them before sunday
<Yoric[DT]> Ok.
<Yoric[DT]> Don't forget to add documentation to the html documentation.
mishok13 has quit ["Stopping IRC chat... [OK]"]
pango has joined #ocaml
<bluestorm> btw. Yoric[DT] , I won't come to the Ocaml meeting this year (it's far away from Paris and i'm quite busy), and I have high expectations in your reporting skills
<Yoric[DT]> :)
<Yoric[DT]> Ok, filter_map added to Dllist.
<Yoric[DT]> Not optimized
<Yoric[DT]> ...
<Yoric[DT]> DynArray doesn't follow the same conventions as Array.
<Yoric[DT]> So [filter] is actually a function with side effects and unit result.
<Yoric[DT]> How annoying.
* Yoric[DT] considers replacing this function.
* Yoric[DT] has just performed an incompatible change to DynArray.
bluestorm has quit ["leaving"]
pierre- has joined #ocaml
s4tan has quit []
tar_ has joined #ocaml
Camarade_Tux has joined #ocaml
Camarade_Tux_ has joined #ocaml
Camarade_Tux_ has quit [Remote closed the connection]
Maghnus has quit [" HydraIRC -> http://www.hydrairc.com <- The alternative IRC client"]
_zack has quit ["Leaving."]
rby_ has quit [Read error: 113 (No route to host)]
petchema has quit [Remote closed the connection]
itewsh has joined #ocaml
jeremiah has quit [Read error: 104 (Connection reset by peer)]
<rwmjones> what's a good algorithm for doing a topological sort with the following conditions:
<rwmjones> - I want the results grouped together (each member of the group won't depend on any other member in the same group)
<rwmjones> - I want to maximize the size of groups (ie. maximize parallelism)
<rwmjones> - I want to minimize number of groups (ie. also to maximize parallelism)
<rwmjones> ?
Snark has joined #ocaml
ivan_chernetsky has joined #ocaml
jeremiah has joined #ocaml
ivan_chernetsky has left #ocaml []
jeremiah has quit [Read error: 104 (Connection reset by peer)]
jeremiah has joined #ocaml
jonasb has joined #ocaml
jonafan_ is now known as jonafan
Snark has quit ["Ex-Chat"]
love-pingoo has quit ["Connection reset by pear"]
pierre- has quit [Read error: 110 (Connection timed out)]
fschwidom has quit [Remote closed the connection]
sporkmonger_ has joined #ocaml
_zack has joined #ocaml
ygrek has quit [Remote closed the connection]
comglz has joined #ocaml
sporkmonger has quit [Read error: 110 (Connection timed out)]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
_zack has quit [Read error: 54 (Connection reset by peer)]
_zack has joined #ocaml
jonasb_ has joined #ocaml
jlouis has quit [Remote closed the connection]
jonasb__ has joined #ocaml
m3ga has joined #ocaml
jeremiah has joined #ocaml
sporkmonger_ has quit []
jonasb has quit [Read error: 113 (No route to host)]
jonasb_ has quit [Read error: 110 (Connection timed out)]
slash_ has joined #ocaml
jonasb__ is now known as jonasb
<tar_> should omake -P work on OS X?
<tar_> it never detects file changes here
ramenboy has joined #ocaml
Yoric[DT] has quit ["Ex-Chat"]
marmotine has quit ["mv marmotine Laurie"]
willb has quit [Read error: 60 (Operation timed out)]
jeremiah has quit [Read error: 104 (Connection reset by peer)]
oriba has joined #ocaml
m3ga has quit ["disappearing into the sunset"]
hkBst has quit [Read error: 104 (Connection reset by peer)]
kig has left #ocaml []
_zack has quit ["Leaving."]
itewsh has quit ["There are only 10 kinds of people: those who understand binary and those who don't"]
Amorphous has quit [Read error: 60 (Operation timed out)]
Associat0r has quit []
vixey has quit ["There exists an infinite set!"]
Amorphous has joined #ocaml