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
<haelix> I'd advise you to browse through http://mitpress.mit.edu/sicp/
<haelix> (that will do for scheme)
<haelix> http://www.haskell.org/tutorial/ (for lazy systems, and advanced typing)
<gudzu> thanks:)
<haelix> http://erdani.org/publications/cuj-02-2003.html (nice templates inside)
<haelix> if you are more in a hurry, then
<haelix> I'd advise you to write your chat thing twice:
<haelix> once in Java
<haelix> (there's nice support for remoting, see, in that huge runtime)
<gudzu> yea i know
<gudzu> i wrote
<gudzu> some programs
<gudzu> using
<gudzu> rpc
<haelix> and once again in JAva, but using the spring stuff
<gudzu> corba
<gudzu> rmi
<gudzu> but i dont know what spring is:)
<gudzu> i'll check it:)
<haelix> which definitely is a breath of fresh air, once you've tried it
<haelix> as usual... waking time is always the problem
<gudzu> hehe, i had to write simple chat in c++, .net, java, javax, python:)
<gudzu> yes,you're right
<gudzu> he, not javax but ajax:)
<gudzu> hehe
<gudzu> :)
<gudzu> i study "computer networks and distributed systems":)
<gudzu> hmm, i dont know any gui library for java, what do you think, which one shuld i learn first - swing or swt?
<gudzu> i read something about it, and i thin that swing is more popular?
<haelix> go for swing, you're less likely to run into deployment issue
<haelix> but really, there's only a small difference
<haelix> some will "swt is faaast"
<haelix> some will say
<gudzu> ok, thanks for talk, i have to go
<haelix> see you
<haelix> bye
<gudzu> i hope that we will talk in the future:), and thanks for links
<gudzu> bey
gudzu has left #ocaml []
johnnowak has quit [Read error: 110 (Connection timed out)]
gudzu has joined #ocaml
johnnowak has joined #ocaml
johnnowak has quit []
ocher has joined #ocaml
gudzu has quit ["Leaving"]
ikaros_ has joined #ocaml
ikaros_ has quit ["Leaving"]
ikaros_ has joined #ocaml
piggybox has quit [Connection timed out]
piggybox has joined #ocaml
Smerdyakov has joined #ocaml
ikaros has quit [Read error: 113 (No route to host)]
ikaros_ has quit ["Leaving"]
ikaros has joined #ocaml
Smerdyakov has quit ["Leaving"]
Submarine has joined #ocaml
<oscarh> Can you have polymorphic variants in records? I would like to say something like type x = {y :[>]};
Z4rd0Z has joined #ocaml
b00t has quit [Remote closed the connection]
ikaros has quit [Read error: 110 (Connection timed out)]
ikaros has joined #ocaml
beschmi has joined #ocaml
ikaros has quit ["Leaving"]
jlouis has quit [Remote closed the connection]
Smerdyakov has joined #ocaml
Submarine_ has joined #ocaml
Submarine_ has quit [Remote closed the connection]
Submarine has quit [Remote closed the connection]
Aradorn has joined #ocaml
swater has joined #ocaml
gl has joined #ocaml
<gl> yo
gl changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/ | happy new year, dudes.
gl has left #ocaml []
velco has quit ["Ex-Chat"]
SyntaxNinja has joined #ocaml
Aradorn has quit ["Leaving"]
SyntaxNinja has left #ocaml []
slipstream has joined #ocaml
slipstream-- has quit [Read error: 110 (Connection timed out)]
slipstream has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
david_koontz has joined #ocaml
romanoffi has left #ocaml []
smimou has joined #ocaml
petchema__ has joined #ocaml
pango_ has quit [Remote closed the connection]
petchema__ is now known as pango
ikaros has joined #ocaml
_velco is now known as velco
bluestorm has joined #ocaml
pants1 has quit [Read error: 110 (Connection timed out)]
jlouis has joined #ocaml
Submarine has joined #ocaml
Z4rd0Z has quit []
jeberle has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
jeberle has quit [SendQ exceeded]
love-pingoo has joined #ocaml
jeberle has joined #ocaml
jeberle has left #ocaml []
swater has quit ["Quat"]
love-pingoo has quit ["Connection reset by pear"]
sponge45 has joined #ocaml
Z4rd0Z has joined #ocaml
bluestorm has quit ["Konversation terminated!"]
piggybox has quit [Connection timed out]