screwt892 has quit [Read error: 104 (Connection reset by peer)]
seafoodX has joined #ocaml
pango has joined #ocaml
bzzbzz has quit ["leaving"]
screwt892 has joined #ocaml
zgrirg has quit [Read error: 113 (No route to host)]
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
CRathman has joined #ocaml
crabstick has joined #ocaml
grirgz has joined #ocaml
crabstick_ has quit [Read error: 110 (Connection timed out)]
mordaunt has joined #ocaml
piggybox_ has joined #ocaml
yminsky has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
yminsky has quit []
viktor has joined #ocaml
viktor has quit [Client Quit]
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
zak has joined #ocaml
zak has quit [Client Quit]
viktor has joined #ocaml
viktor has left #ocaml []
bzzbzz has joined #ocaml
mvitale_ has quit [Read error: 113 (No route to host)]
seafoodX has quit []
Smerdyakov has quit ["Leaving"]
zgrirg has joined #ocaml
grirgz has quit [Read error: 110 (Connection timed out)]
grirgz has joined #ocaml
jlouis has joined #ocaml
zgrirg_ has joined #ocaml
mordaunt has quit [Remote closed the connection]
zgrirg has quit [Read error: 110 (Connection timed out)]
jlouis_ has quit [Read error: 110 (Connection timed out)]
grirgz has quit [Read error: 110 (Connection timed out)]
bzzbzz has quit ["leaving"]
CRathman has quit [Read error: 110 (Connection timed out)]
ygrek has joined #ocaml
piggybox_ has quit [Read error: 104 (Connection reset by peer)]
ygrek has quit [Remote closed the connection]
piggybox has joined #ocaml
seafoodX has joined #ocaml
ulfdoz has quit ["deprecated"]
ulfdoz has joined #ocaml
piggybox has left #ocaml []
cannedfish has joined #ocaml
cannedfish has quit [Remote closed the connection]
cannedfish has joined #ocaml
Hadaka has quit [Read error: 60 (Operation timed out)]
amro|laptop_ has joined #ocaml
Cygal has joined #ocaml
seafoodX has quit []
amro|laptop has quit [Read error: 110 (Connection timed out)]
cannedfish has quit [Remote closed the connection]
cannedfish has joined #ocaml
smimou has joined #ocaml
Mr_Awesome has quit [Remote closed the connection]
beno200 has joined #ocaml
zgrirg_ has quit [Read error: 110 (Connection timed out)]
buluca has joined #ocaml
seafoodX has joined #ocaml
amro|laptop__ has joined #ocaml
amro|laptop__ is now known as amro|laptop
smimou has quit ["bli"]
amro|laptop_ has quit [Read error: 110 (Connection timed out)]
olegfink has quit [Read error: 104 (Connection reset by peer)]
cannedfish has quit ["leaving"]
olegfink has joined #ocaml
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
gunark has quit [Remote closed the connection]
gunark has joined #ocaml
cannedfish has joined #ocaml
yminsky has joined #ocaml
cannedfish has quit [Remote closed the connection]
cannedfish has joined #ocaml
yminsky has quit []
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
beno200 has left #ocaml []
cannedfish has quit [Remote closed the connection]
cannedfish has joined #ocaml
cannedfish has quit [Remote closed the connection]
cannedfish has joined #ocaml
Cygaal has joined #ocaml
hsuh has joined #ocaml
Cygal has quit [Read error: 110 (Connection timed out)]
hsuh is now known as suh_old
suh_old is now known as hsuh_old
amro|laptop is now known as amro
hsuh_old is now known as hsuh
rwmjones has quit ["Closed connection"]
amro has quit [Nick collision from services.]
amro_ has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
schme has joined #ocaml
mvitale_ has joined #ocaml
patrick_ has joined #ocaml
buluca has joined #ocaml
CRathman has joined #ocaml
CRathman has quit [Read error: 110 (Connection timed out)]
bluestorm_ has joined #ocaml
|Jedai| has joined #ocaml
Demitar has quit [Connection timed out]
CRathman has joined #ocaml
jedai has quit [Read error: 110 (Connection timed out)]
Smerdyakov has joined #ocaml
seafoodX has quit []
Tetsuo has joined #ocaml
amro_ has quit ["Chatzilla 0.9.75 [Firefox 2.0/2006101023]"]
amro|laptop has joined #ocaml
Demitar has joined #ocaml
amro|laptop has left #ocaml []
Mr_Awesome has joined #ocaml
pango has quit [Remote closed the connection]
rwmjones has joined #ocaml
pango has joined #ocaml
grirgz has joined #ocaml
ygrek has joined #ocaml
Tetsuo has quit [Remote closed the connection]
Naked has joined #ocaml
Naked is now known as Hadaka
Tetsuo has joined #ocaml
Lectus has joined #ocaml
Lectus has left #ocaml []
Tetsuo has quit [Remote closed the connection]
Tetsuo has joined #ocaml
slipstream has joined #ocaml
buluca has quit [Read error: 113 (No route to host)]
slipstream-- has quit [Read error: 110 (Connection timed out)]
Demitar has quit [Read error: 113 (No route to host)]
screwt892 has quit [Remote closed the connection]
grirgz has quit [Read error: 113 (No route to host)]
screwt892 has joined #ocaml
screwt892 has quit [SendQ exceeded]
screwt892 has joined #ocaml
CRathman has quit ["ChatZilla 0.9.78.1 [Firefox 2.0.0.6/2007072518]"]
thesoko has quit [Remote closed the connection]
thesoko has joined #ocaml
<bluestorm_>
hm
<bluestorm_>
i need a priority queue for a shortest-path computation
<bluestorm_>
do you think i can use Set with min_elt ?
<bluestorm_>
(i know there is a heap implementation in the manual, but that would add some code, so if the Set solution does not have a too big overhead, i'd use it)
pantsd has quit ["Leaving."]
Cygaaal has joined #ocaml
<pango>
Set.min_elt must be O(log n), while heap's one should be O(1)
<bluestorm_>
hm
<bluestorm_>
you're right
<bluestorm_>
moreover, the Set interface is not that nice when trying to use it at a pqueue ^^
<bluestorm_>
-t+s
ygrek has quit [Remote closed the connection]
Cygaal has quit [Read error: 110 (Connection timed out)]
<bluestorm_>
hm
<bluestorm_>
heaps remove_top looks like O(log n) anyway
<jonathanv>
i just started learning ocaml last night
<bluestorm_>
congratulations ^^
<jonathanv>
i think it's cool
<jonathanv>
it feels like scheme but a bit more practical and easier to read
<bluestorm_>
hm
<bluestorm_>
i'd say the big difference is that OCaml is strongly typed
<jonathanv>
yeah
<jonathanv>
well
<bluestorm_>
(because i guess scheme can be made pratical too, and some people read it well ^^)
<jonathanv>
scheme is strongly typed
grirgz has joined #ocaml
<bluestorm_>
hm
<jonathanv>
scheme is dynamically typed
<jonathanv>
ocaml is statically typed with type inference
<jonathanv>
but yeah, you do get used to reading scheme, and it helps if it's indented well, but all the ()s can be pretty confusing too
<jonathanv>
the main reason i think ocaml is more practical, is the support for imperative style seems better
<gaja>
strongly typed != dynamically typed
<jonathanv>
right, weak typing is like c++ where you can tell it you have a pointer to anything you want and it'll believe you
<jonathanv>
(until it explodes)
<gaja>
There are pleanty more clear cases if you're looking for weak typing. Languages like python for example. C and C++ are somewhere in between. You can reach a quite weak typing but as a language it still places plenty restrictions on the types.
<bluestorm_>
hm
<bluestorm_>
pythons say their language is dynamically strongly typed
<cannedfish>
I doubt that ocaml support imperative programming better than scheme :/
<gaja>
Python strong?
<gaja>
Too many words, too little time.
<cannedfish>
oh right, scheme doesn't have while and for :)
<jonathanv>
python is strong
<gaja>
cannedfish: It doesn't? Weak.
<mbishop>
why would you need those silly constructs anyway? :P
<cannedfish>
gaja: well standard scheme at least, it's a very minimalist standard
<cannedfish>
mbishop: yes exactly :)
<gaja>
jonathanv: Yeah, I messed up all those bloody type systems. I'm going to study wikipedia for a while.
<gaja>
cannedfish: Probably for the better common lisp is much fun but oh so bloated.
<cannedfish>
gaja: yes I believe so too
<cannedfish>
CL has some decent programming environments and not fagmented but scheme is good for what it's intended for
<cannedfish>
(not fragmented like scheme)
<gaja>
I love coding lisp for the shear joy of programming. Even though I know it better than ocaml, I think I'd prefer to use ocaml for anything real though.
* cannedfish
nods
linuxtk10 has left #ocaml []
mvitale_ has quit [Read error: 113 (No route to host)]
Tetsuo has quit [Remote closed the connection]
mvitale has joined #ocaml
aziem has joined #ocaml
aziem has quit [Client Quit]
hsuh has quit [Remote closed the connection]
Demitar has joined #ocaml
buluca has joined #ocaml
lde has quit [Read error: 104 (Connection reset by peer)]
cannedfish has quit ["leaving"]
Maldoror_ has joined #ocaml
<Maldoror_>
Hi, I was thinking about trying Ocaml again and I was wondering if there has been any progress on MP support
<Maldoror_>
progress or even plans
<bluestorm_>
MP ?
<Maldoror_>
multiprocessor support
<bluestorm_>
hm
<bluestorm_>
JoCaml was started again some time ago
<bluestorm_>
(around the OCaml 3.10 release)
<bluestorm_>
although i don't know if it handles the a-thread-at-a-time problem
<bluestorm_>
hm
cmeme has quit [Excess Flood]
cmeme has joined #ocaml
bluestorm_ has quit ["Konversation terminated!"]
<pango>
aoû 24 22:40:53 <hcarty> TFK: I have compiled JoCaml on an 8 processor system
<pango>
and run some of the example programs which come with it
<pango>
aoû 24 22:41:41 <TFK> And it utilizes those 8 processors?
<pango>
aoû 24 22:42:01 <hcarty> Yes, when run with the correct options