munga_ has quit [Read error: 113 (No route to host)]
thrasibule has joined #ocaml
_unK has quit [Remote closed the connection]
Yoric has quit []
det has joined #ocaml
det has quit [Remote closed the connection]
det has joined #ocaml
middayc has joined #ocaml
anders^^ has quit [Read error: 60 (Operation timed out)]
anders^^ has joined #ocaml
Mr_Awesome has joined #ocaml
middayc has quit ["ChatZilla 0.9.85 [Firefox 3.5.5/20091102152451]"]
seanmcl has joined #ocaml
Associat0r has quit []
seanmcl has quit []
ua has quit [Read error: 113 (No route to host)]
ua has joined #ocaml
seanmcl has joined #ocaml
thelema has quit [Read error: 113 (No route to host)]
ua has quit [Read error: 104 (Connection reset by peer)]
ua has joined #ocaml
mrvn has quit [Read error: 110 (Connection timed out)]
mrvn has joined #ocaml
valross has joined #ocaml
tar_ has joined #ocaml
seanmcl has quit []
rlarson85 has joined #ocaml
valross has quit [Read error: 110 (Connection timed out)]
thrasibule has quit [Read error: 110 (Connection timed out)]
valross has joined #ocaml
rlarson85 has quit ["Coyote finally caught me"]
rlarson85 has joined #ocaml
slash_ has quit [Client Quit]
struktured has joined #ocaml
caligula_ has joined #ocaml
ulfdoz has joined #ocaml
hyperboreean has quit [Read error: 60 (Operation timed out)]
caligula__ has quit [Read error: 110 (Connection timed out)]
hyperboreean has joined #ocaml
ski_ has joined #ocaml
ski_ has quit ["Lost terminal"]
ski_ has joined #ocaml
tar_ has quit []
ulfdoz has quit [Read error: 60 (Operation timed out)]
ttamttam has joined #ocaml
Submarine has joined #ocaml
rlarson85 has quit [Read error: 104 (Connection reset by peer)]
ikaros has joined #ocaml
Snark has joined #ocaml
willb has quit [Read error: 104 (Connection reset by peer)]
ikaros has quit ["Leave the magic to Houdini"]
ua has quit [Read error: 60 (Operation timed out)]
dmentre has joined #ocaml
munga_ has joined #ocaml
_zack has joined #ocaml
albacker has joined #ocaml
Guest15814 is now known as fremo_
ua has joined #ocaml
valross has quit [Read error: 110 (Connection timed out)]
valross has joined #ocaml
valross has quit [Remote closed the connection]
valross has joined #ocaml
sporkmonger has quit []
zhijie has quit [Read error: 113 (No route to host)]
ua has quit [Read error: 110 (Connection timed out)]
Submarine has quit ["Leaving"]
_zack has quit ["Leaving."]
_zack has joined #ocaml
Yoric has joined #ocaml
Associat0r has joined #ocaml
_andre has joined #ocaml
fraggle_ has quit [Read error: 60 (Operation timed out)]
fraggle_ has joined #ocaml
Yoric has quit []
ertai has quit ["leaving"]
ertai has joined #ocaml
ski_ has quit ["Lost terminal"]
fraggle_ has quit ["-ENOBRAIN"]
zhijie has joined #ocaml
_unK has joined #ocaml
fraggle_ has joined #ocaml
gim has quit [Read error: 131 (Connection reset by peer)]
thrasibule has joined #ocaml
Yoric has joined #ocaml
ski_ has joined #ocaml
Yoric has quit [Client Quit]
fraggle_ has quit ["-ENOBRAIN"]
lutter has joined #ocaml
Yoric has joined #ocaml
fraggle_ has joined #ocaml
tmaeda0 has joined #ocaml
seanmcl has joined #ocaml
tmaeda has quit [Read error: 110 (Connection timed out)]
tty56 has joined #ocaml
tty56 has quit [Client Quit]
tty56 has joined #ocaml
tmaeda0 is now known as tmaedaZ
tty56 has quit [Client Quit]
thrasibule has quit [Read error: 110 (Connection timed out)]
shr3kst3r has quit ["leaving"]
fraggle_laptop has quit [Read error: 104 (Connection reset by peer)]
shr3kst3r has joined #ocaml
lutter has quit ["Leaving."]
lutter has joined #ocaml
Yoric has quit []
Yoric has joined #ocaml
<Yoric>
hi
<gildor>
hi
<julm>
hi
<orbitz>
hi
<Yoric>
I'm faced with an issue with non-generalizable type variables.
<orbitz>
killi t
<Yoric>
I have a definition inside a .ml stating "The type of this expression '_a -> foo contains type variables that cannot be generalized".
<Yoric>
It's annoying.
* Yoric
is trying to find out where the weak polymorphism comes from.
<julm>
partial evaluation of a function?
<mrvn>
You are doing something that needs to know the type without giving it one.
<Yoric>
Yeah, I'm checking that.
<Yoric>
This is in generated code, so proofreading 100,000+ chars per line is a tad difficult :)
<mrvn>
can you paste?
<Yoric>
Nope :)
<julm>
MLState..
<Camarade_Tux>
^^
<Yoric>
Oh, that line is actually rather short, only 9,000 chars :)
<Camarade_Tux>
you said "line"? :o
<julm>
Proust ^^
<mrvn>
who needs linebreaks?
<Alpounet>
julm, haha :p
<Camarade_Tux>
hahaha ;p
<Yoric>
:)
<Alpounet>
Proust's grandgrandson generates OCaml code for MLStaet.
<Alpounet>
MLState*
<Camarade_Tux>
at least we know one thing about mlstate now: they pay is not per line of code :)
<Alpounet>
btw
<Alpounet>
Proust is an excellent name for a code generator
<Alpounet>
never had the idea before
<Camarade_Tux>
haha :P
<julm>
heh ^^
<Yoric>
Ahah, I think I got it.
<Alpounet>
kay, got a name, need a project now.
thelema has joined #ocaml
<Camarade_Tux>
Yoric: well, write books :P
zarvok has joined #ocaml
<Alpounet>
hi thelema
<Camarade_Tux>
(was for Alpounet actually ><)
<Alpounet>
hehe
<Camarade_Tux>
I'll just pretend I use a weird keyboard layout and that 'a' and 'y' are adjacent -_-
tmaedaZ has quit [Read error: 110 (Connection timed out)]
<Yoric>
Note: Recursivity + Obj.magic don't fit too well.
thelema has quit [Read error: 113 (No route to host)]
<Yoric>
(and yes, I could get away without Obj.magic here)
tmaedaZ has joined #ocaml
thelema has joined #ocaml
<Camarade_Tux>
hahaha :P
<mfp>
alright, ld.ocaml is about feature-complete now --- caches system DLL catalog & honors LD_OCAML_LIBRARY_PATH (=~ LD_LIBRARY_PATH), better error reporting and fixed dep resolution
thelema has quit [Read error: 60 (Operation timed out)]
thelema has joined #ocaml
<Alpounet>
mfp, you should publish a post about it somewhere, to make it more public
<Alpounet>
to have feedback
<gildor>
mfp: why not publish it on forge.ocamlcore.org
<Camarade_Tux>
mfp: do you have a direct link to the git repo? firefox is hmmm, behaving as firefox which means it's going to receive an OOM killer soon
<julm>
git://github.com/mfp/ld.ocaml.git
<julm>
elinks ftw
* Camarade_Tux
whispers "caravel" :P
<julm>
pshiiit
<mfp>
gildor: I will eventually create a project page there; I'm using github to host the repos because it's more convenient
<gildor>
mfp: yes, i know that github is performing far better that anything I will be able to provide on ocamlcore.org
<gildor>
mfp: but it gives visibility, NEWS, download count (wrt of other OCaml projects there)...
<gildor>
mfp: if you do it within 2 hours, and ask me there, you'll get directly your project (just have to click the button there)
<gildor>
mfp: and I need some tests after Lenny upgrade of forge.ocamlcore.org
<mfp>
I did not mean to offend you gildor; I just published some code in the fastest way, and will create the project later today --- gtg right now unfortunately
sgnb has quit [Read error: 104 (Connection reset by peer)]
thelema_ has joined #ocaml
ikaros has joined #ocaml
<gildor>
mfp: sorry if I looked offended, I am not ;-)
<gildor>
mfp: I have seen what github is, I know I cannot compete with it: quick, easy and beautiful
<gildor>
mfp: OCaml forge has still some good points for OCaml projects ;-)
<Camarade_Tux>
and also with enough javascript to be really annoying when trying to display a folder with more than a hundred files :)
<gildor>
Camarade_Tux: ;-)
<gildor>
forge.ocamlcore.org can still conquers people running lynx/w3m/elinks
<gildor>
;-)
sgnb has joined #ocaml
thelema has quit [Read error: 113 (No route to host)]
<Alpounet>
heh
<Alpounet>
forge.ocamlcore.org is good :)
<Camarade_Tux>
he ;p
<Camarade_Tux>
but I believe *forge only needs a few quicklinks: after all, github is nice because it doesn't have many features and can have an "easy" interface, *forges are too verbose for most uses
<Alpounet>
for batteries it's nice for example
<Alpounet>
but for a little piece of code yeah github may just be more adapted.
<gildor>
the main point is that *forge is opensource and available in Debian, not github
<gildor>
just a question of being able to deploy something for the community
<gildor>
for the _OCaml_ community
<Camarade_Tux>
agreed ;-)
drhodes has left #ocaml []
dmentre has quit [Read error: 104 (Connection reset by peer)]
<Camarade_Tux>
I'm thinking about writing bindings for the Unreal engine ( http://www.udk.com/ ), I'm sure it's a bad idea :P
<Alpounet>
Camarade_Tux, that'd be fun ! :D
<Yoric>
Sounds nice :)
<Yoric>
Even better if you can make it Functional Reactive :)
<Yoric>
Note: Tim Sweeney, the author of the Unreal engine, is *very* interested in FP.
<Alpounet>
yeah
<Alpounet>
wrote a lot of papers
<Alpounet>
hmm
<Alpounet>
rather slides
<Alpounet>
telling "in FP, it's easier, prettier"
<Camarade_Tux>
Yoric: haha, ok, I'll first try to _use_ an FR toolkit first ;-)
<Yoric>
:)
<orbitz>
FP = teh sex
thelema_ has quit [Read error: 113 (No route to host)]
thelema has joined #ocaml
ttamttam has quit ["Leaving."]
thelema_ has joined #ocaml
thelema has quit [Read error: 104 (Connection reset by peer)]
thelema_ is now known as thelema
ttamttam has joined #ocaml
sgnb has quit [Remote closed the connection]
sgnb has joined #ocaml
ikaros has quit ["Leave the magic to Houdini"]
middayc has joined #ocaml
ttamttam has quit ["Leaving."]
Yoric has quit []
_zack has quit ["Leaving."]
ulfdoz has joined #ocaml
eldragon has joined #ocaml
Amorphous has quit [Read error: 110 (Connection timed out)]
Amorphous has joined #ocaml
ikaros has joined #ocaml
Narrenschiff has joined #ocaml
_andre has quit ["leaving"]
lutter1 has joined #ocaml
lutter has quit [Read error: 104 (Connection reset by peer)]
ttamttam has joined #ocaml
Snark has quit ["Ex-Chat"]
Yoric has joined #ocaml
subito has joined #ocaml
<subito>
hi, how can i do to don't let my graphics (open_graph) close after the computations?
<orbitz>
don't exit?
<subito>
yes but it exits alone? should i add a while(true) at the end? :d
<thelema>
That would work.
<thelema>
You could also accept keyboard input, and exit only when the user presses <ESC> or q or something
rlarson85 has joined #ocaml
<subito>
ok thanks
tensorpudding has quit [Remote closed the connection]
fraggle_ has quit [Read error: 131 (Connection reset by peer)]
<Alpounet>
thelema's method will imply less CPU consumption :p
lutter has joined #ocaml
lutter1 has quit [Read error: 104 (Connection reset by peer)]
<orbitz>
Alpounet: are you saying you don't like a good spin lock?
<Alpounet>
damn, I got caught !
<thelema>
I would have suggested while(true), but it was already brought up
tensorpudding has joined #ocaml
albacker has quit ["Leaving"]
tmaedaZ is now known as tmaeda
tensorpudding has quit [Read error: 104 (Connection reset by peer)]
rlarson85 has quit [Read error: 104 (Connection reset by peer)]
Yoric has quit []
lutter1 has joined #ocaml
lutter has quit ["Leaving."]
middayc has quit ["ChatZilla 0.9.85 [Firefox 3.5.5/20091102152451]"]
Yoric has joined #ocaml
bzzbzz has quit [farmer.freenode.net irc.freenode.net]
flux has quit [farmer.freenode.net irc.freenode.net]
nnyby has quit [farmer.freenode.net irc.freenode.net]
mfp has quit [farmer.freenode.net irc.freenode.net]
flux has joined #ocaml
bzzbzz has joined #ocaml
nnyby has joined #ocaml
mfp has joined #ocaml
zarvok has quit ["Leaving"]
tensorpudding has joined #ocaml
ikaros_ has joined #ocaml
Yoric has quit []
Narrenschiff has quit []
ttamttam has quit ["Leaving."]
ikaros has quit [Read error: 110 (Connection timed out)]
valross has quit [Remote closed the connection]
valross has joined #ocaml
lutter1 has quit ["Leaving."]
ski_ has quit ["Lost terminal"]
Yoric has joined #ocaml
<Leonidas>
whoa, to all who remember me bothering people because of my homework. I took a look into the solution...
<Leonidas>
I'm currently thinking of unit tests for my next homework
<mrvn>
That hardly counts when the assignment is to implement sorting :)
Alpounet has quit [Read error: 113 (No route to host)]
<Leonidas>
The current assignment is to implement binomial heap operations. I was shocked when I looked into CLRS3 - they removed the whole binomial heap chapter.
<gildor>
Leonidas: the mergeTrees would look really better with a simple if then else
<mrvn>
Leonidas: is your bHeap sorted by order or by root?
<Leonidas>
mrvn: sorted by order, ascending order.
<mrvn>
So when you merge two heaps you can accumulate the smaller heaps while you recursively merge the rest
<gildor>
th guard (when) is not the best option
<Leonidas>
gildor: I find it easier to understand when the code constructs something like {order=smaller.order+1; root=smaller.root; children=larger::smaller.children} so I immediately know which fields of the bTree are from where.
sgnb has quit [Read error: 104 (Connection reset by peer)]
<mrvn>
Leonidas: your merge has runtime O(log n * log n). Should be O(log n) only.
<Leonidas>
mrvn: yeah, I probably could do that, but wouldn't this complicate the homework too much? I mean, we're talking about heaps with 10 elements or so.
<mrvn>
not really.
<Leonidas>
hmm. It got late. I'll just do the unittest and thik about the rest tomorrow.