sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
jlouis has joined #ocaml
bzzbzz has joined #ocaml
hmmmmmm has quit ["Konversation terminated!"]
joshcryer has quit [Connection timed out]
Z4rd0Z has joined #ocaml
joshcryer has joined #ocaml
zmdkrbou has quit [Read error: 104 (Connection reset by peer)]
zmdkrbou has joined #ocaml
mattam has quit [Read error: 104 (Connection reset by peer)]
mattam has joined #ocaml
sponge45 has joined #ocaml
b00t has joined #ocaml
Amorphous has joined #ocaml
eradman_ has joined #ocaml
eradman has quit [Remote closed the connection]
<seafood_>
Anyone up? When writing Makefiles I find it a little tedious that for every executable I want to compile/link I have to write out the .cmo files on the command line in the right order. It would be nice if there was a tool (not ocamldep since it doesn't do that job) to automate this process.
<seafood_>
I know that such a tool wouldn't always work because there might be multiple modules with the same name.
freakazoid has quit ["Leaving."]
<seafood_>
Does such a thing already exist?
<Smerdyakov>
seafood, in general, it would be bad for a tool to order your files, since each may have side effects on loading.
<seafood_>
But if it got the same order that I would write anyway, what would be the problem?
<Smerdyakov>
*shrug* You would need to keep the ordering algorithm in mind to understand your program's semantics.
triple_ has joined #ocaml
<seafood_>
True. I'm not yet using the module system in any sophisticated way. Usually all I care is that if module A depends on module B that b.cmo appears somewhere earlier on the command line. Still, I concede that in general you'd want to order things in a particular order because of side effects.
<seafood_>
By the way, thanks for all the help you've given me over the last few months. It's been really enlightening at times.
b00t has quit [Connection reset by peer]
b00t has joined #ocaml
asymptote has joined #ocaml
sponge45 has quit ["zzzzzzzzzz"]
pants1 has joined #ocaml
johnnowak has joined #ocaml
johnnowak_ has joined #ocaml
johnnowak has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
triple__ has joined #ocaml
johnnowak_ has quit [Read error: 110 (Connection timed out)]
Smerdyakov has quit ["Leaving"]
asymptote has quit ["Leaving"]
johnnowak has quit [Read error: 110 (Connection timed out)]
triple_ has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
johnnowak_ has joined #ocaml
johnnowak_ has quit [Client Quit]
johnnowak has quit [Read error: 110 (Connection timed out)]
<flux->
seafood_, ocamldep
<flux->
ocamldsort
<flux->
and personally I would prefer to keep modules so that the loading order _wouldn't_ matter
johnnowak has joined #ocaml
<flux->
and very rare module keeps global state anyway, imo
<flux->
s/rare/few/
<flux->
puuh
<flux->
whops, wrong channel
johnnowak_ has joined #ocaml
johnnowak_ has quit [Client Quit]
triple_ has joined #ocaml
johnnowak has quit [Read error: 110 (Connection timed out)]
johnnowak has joined #ocaml
triple__ has quit [Read error: 110 (Connection timed out)]
Submarine has quit [Remote closed the connection]
mwc_ has joined #ocaml
johnnowak has quit [Read error: 110 (Connection timed out)]
Z4rd0Z has quit []
triple_ has quit ["leaving"]
_velco has joined #ocaml
mwc_ has quit ["leaving"]
love-pingoo has joined #ocaml
magnus-- has quit [Read error: 110 (Connection timed out)]
magnus-- has joined #ocaml
gudzu has joined #ocaml
<gudzu>
hi
<haelix>
ho
<gudzu>
i didnt know that channel about ocaml exist:) and that there will be so many people:)
<love-pingoo>
it's very quiet, though
<gudzu>
hehe
<gudzu>
i see
<love-pingoo>
but can be useful
<gudzu>
i'm new to irc, and i'm new to ocaml
<haelix>
it's up to anybody to make it not so quiet, though
<gudzu>
i'm writing my thesis in jocaml
<gudzu>
this is my first functional language
<gudzu>
and i'm on impressed:)
<gudzu>
although jocaml is dead
<gudzu>
:/
<haelix>
jocaml: ocaml with extensions for parallel programming ?
<gudzu>
yes
<gudzu>
but in jocaml, there is old version of ocaml
<haelix>
and what's your thesis about ?
<gudzu>
i'm writing
<gudzu>
a program for group work
<gudzu>
(sorry for my english:))
<gudzu>
supporting group work
<gudzu>
first it will be
<gudzu>
a chat
<gudzu>
something like chat
<gudzu>
my objective is to use jocaml feature which allow
<gudzu>
move all processes between hosts in networks
<gudzu>
prcesses during work
<gudzu>
so you can run your client chat on your computer
<gudzu>
write something, open many windows
<gudzu>
then go to another host
<gudzu>
and recall your client
<haelix>
hum...
<haelix>
where's the server ?
<haelix>
not the chat server, I mean, but
<haelix>
how is your "moveable client" application centralised ?
<gudzu>
heh
<gudzu>
i'm at the begining
<gudzu>
so i dont know yet:)
<gudzu>
because i have to
<gudzu>
konw jocaml better
<gudzu>
:)
<gudzu>
because
<gudzu>
it has
<gudzu>
a nameserver
<gudzu>
or something like that
<gudzu>
where you can
<gudzu>
register some objects
<gudzu>
and i dont know exactly yet, but i think that probably i could use it
<haelix>
well, I'm not likely to help you on that
<gudzu>
ok:)
<haelix>
I only know a bit of OCaml, so Jocaml....
<gudzu>
:)
<haelix>
Joint calculus
<gudzu>
do you know haskel?
<haelix>
remotely
<gudzu>
it is simimilar to ocaml?
<haelix>
while the monad thing is rather clear to me, I'm still scratching my head around thezip/fibonacci sample
<haelix>
well, it is functional and statically typed
<haelix>
on the other hand, it performs lazy evaluation of its expression
<gudzu>
:)
<haelix>
and it offer (imho) a nice integration between the functional and the imperative code
<haelix>
(monads)
<haelix>
which (still imho) ocaml lacks
<gudzu>
i asked because i'm thinking why ocaml is still only academic language
<gudzu>
or it dosent?
<love-pingoo>
there are some industrial users
<love-pingoo>
but I also believe that it is mostly spread by academics
<haelix>
for personal uses, when there's no boss around and no money at stake, who cares if it's academic ?
<gudzu>
for example me, a little bit:) beacuse i was interesting
<haelix>
Sorry
<gudzu>
knowledge about ocaml is a plus when i will be searching job:)
<haelix>
I thought your tone was negative about academic languages
<gudzu>
hmm
<gudzu>
know
<gudzu>
no:)
<gudzu>
because
<gudzu>
i like
velco has joined #ocaml
<gudzu>
konw new languages, programing languages
<gudzu>
but i think
<gudzu>
that
<gudzu>
for studnets
ikaros has joined #ocaml
<gudzu>
it si significant
<gudzu>
what language learn first
<gudzu>
do you understand me?
<gudzu>
:)
<haelix>
I think so :)
<haelix>
I learn Basic, and then C first
<gudzu>
me too
<gudzu>
:)
<gudzu>
and then c++
<haelix>
I wish I had more familiarity with the Lisp-like
<gudzu>
then python a little bit:)
<haelix>
yes C++
<gudzu>
a little clips:)
<haelix>
and all its glory
<haelix>
hum...
<haelix>
I mean templates
<gudzu>
and ada:)
<gudzu>
i like c++, however using it you can easly make a bug
<gudzu>
which is hard to find
<gudzu>
with my thesis i have a choice between subject using java and jocaml, i dont know java good, but i choose jocaml:)
<haelix>
for c++, valgrind has considerably improved things for me
<gudzu>
i is more interesting because it is different:)
<gudzu>
i know what valgrind is but i havent used it yet
<gudzu>
do you work as a programmer, if can i ask?
<haelix>
try it! It makes C++ feel like Java !
<haelix>
yes
<gudzu>
and what languages do you use at work?
<haelix>
Java, Javascript
<haelix>
loads of JAvascript (but my position is a bit unusual)
<haelix>
and then, bits of C++, and perl
<gudzu>
i have to know java better:/ beacuse of labor market
<gudzu>
and many employers arent intrested
<gudzu>
if you can program but if you know java deep:)
<gudzu>
this is my opinion:)
<gudzu>
have you ever tried declarative(?) languages like prolog or clips?
<haelix>
oh
<haelix>
when you wrote clips first, I though you meant clisp
<haelix>
anyway,
<haelix>
no, never tried
<haelix>
the problem with languages is there are so many to choose from
johnnowak has joined #ocaml
<gudzu>
yes, therefore i woudl like to know representative language of different types of language like functional, imperative, declarative
<gudzu>
i think that it spreads point of view:)
<haelix>
well, if you have some time before going to market