Banana changed the topic of #ocaml to: OCaml 3.08 "Bastille Day" Release available ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn , A tutorial: http://merjis.com/richj/computers/ocaml/tutorial/ , A free book: http://cristal.inria.fr/~remy/cours/appsem, Mailing List (best ml ever for any computer language): http://caml.inria.fr/bin/wilma/caml-list
Iter has quit [Read error: 110 (Connection timed out)]
pnou has joined #ocaml
debona|r has quit [Read error: 104 (Connection reset by peer)]
zigong has joined #ocaml
yauz has joined #ocaml
yauz_ has quit [Read error: 113 (No route to host)]
jarod has joined #ocaml
debona|r2 has joined #ocaml
debona|r2 is now known as debona|r
senko has quit ["Leaving"]
jdrake has joined #ocaml
vezenchio has joined #ocaml
_shawn has joined #ocaml
Herrchen has joined #ocaml
shawn_ has quit [Read error: 110 (Connection timed out)]
Herrchen_ has quit [Read error: 60 (Operation timed out)]
ne1 has quit ["To understand recursion, you must first understand recursion."]
jdrake has quit [Read error: 60 (Operation timed out)]
mrsolo has quit [Read error: 104 (Connection reset by peer)]
mrsolo has joined #ocaml
debona|r has left #ocaml []
mattam has quit [Ping timeout: 14400 seconds]
dams has joined #ocaml
<dams> hello
lam has joined #ocaml
smimou has joined #ocaml
Lemmih has joined #ocaml
karryall has quit ["tcho"]
ita has joined #ocaml
<ita> moin
<dams> ita: toi ici ?
grirgz has quit [Read error: 54 (Connection reset by peer)]
kosmikus|away is now known as kosmikus
grirgz has joined #ocaml
<ita> dams: ben oui
<ita> dams: depuis un moment meme ..
<dams> je sais pas moi je suis nouveau
<dams> je suis au chapitre 2 du percheron alors voilà :)
<ita> dams: ca alors .. qu'est-ce qui t'y a amené ? :)
Iter has joined #ocaml
karryall has joined #ocaml
_shawn has quit [Ping timeout: 14400 seconds]
lmbdwr has quit ["Leaving"]
gl has left #ocaml []
gl has joined #ocaml
gl has quit [Read error: 104 (Connection reset by peer)]
gl has joined #ocaml
mattam has joined #ocaml
Lemmih has quit ["Leaving"]
smimram has joined #ocaml
ita has quit ["i'll be back"]
ita has joined #ocaml
pac_away has joined #ocaml
pac_away has left #ocaml []
jdrake has joined #ocaml
Hadaka has quit [Read error: 110 (Connection timed out)]
Iter has quit [Read error: 110 (Connection timed out)]
Naked has joined #ocaml
Naked is now known as Hadaka
_fab has joined #ocaml
jdrake has quit [Read error: 110 (Connection timed out)]
dj-death has joined #ocaml
<dj-death> Hi all
<ita> dj-death: hi
<dj-death> I'm trying to compile my first ocaml program
<dj-death> and I have got one problem
<dj-death> compiler doesn't complain about anything
<dj-death> but he doesn't generate anything
<mellum> Is there some internal variable that can be used to determine whether the user gave -unsafe?
<dj-death> I'm compiling my prog like this ocamlc -i -custom -o test test.ml
<ita> dj-death: ocamlc -c thing.o thing.ml ; ocaml -o prog thing.o ?
<ita> dj-death: ocamlc -i does not do anything, it just outputs the interface found in the .ml file
<dj-death> god ...
<dj-death> I'm so stupid
<ita> dj-death: you haven't read the manual carefully enough .. :)
<ita> or perhaps you haven't found the manual ? (happened to me when i begun)
<dj-death> well I just had a look at the french manual
<karryall> mellum: no
<ita> in my opinion, the most difficult part is writing a usable makefile for a caml project - but that's mostly related to the cryptic commands of "make"
<dj-death> probably the translation of the book in the topic
<dj-death> there is a little screenshot : http://www.pps.jussieu.fr/Livres/ora/DA-OCAML/book-ora028.gif
<dj-death> showing how to use
dj-death has quit ["Reconnecting"]
dj-death has joined #ocaml
<ita> mellum: heh stupid users ? :)
<smimram> OCamlMakefile is rather good for simple projects
<dj-death> ita: how to link Unix lib ?
<ita> dj-death: ocamlc -o myprog Unix.cma obj1.o obj2.o
Lemmih has joined #ocaml
<ita> dj-death: for ocamlopt, Unix.cmxa
<dj-death> hmmm thx
<ita> dj-death: you can find an interesting example in : http://www.kde-apps.org/content/show.php?content=14542 :)
<dj-death> thx
<ita> ocamlmakefile .. interesting, but where can i find it ?
<ita> or use it (i guess it's part of ocaml-tools in debian)
<dj-death> ita: I don't really see what's interesting on that link ...
<ita> dj-death: it uses ocaml in the solving part
<ita> for the solver
<dj-death> ita: in fact I'm using the Unix lib from the ocaml pkg
<ita> dj-death: it also contains a parser/lexer (ocamllex, ocamlyacc), and shows how to link with c programs
<dj-death> ita: it isn't a part of my program
<dj-death> you know : open Unix ;;
<ita> dj-death: yes - but your example works now ? you'll see in the future you'll probably need building tools
<dj-death> no it doesn't work
<dj-death> Error while linking io.cmo: Reference to undefined global `Unix'
senko has joined #ocaml
<ita> dj-death: ocamlopt -o myprog Unix.cmxa myfile.ml ?
<ita> and probably ocamlopt -o myprog -thread Unix.cmxa myfile.ml
<dj-death> well it works
<dj-death> but it's strange
<dj-death> because in ml file I do Open Unix ;;
<ita> and ?
<dj-death> and file isn't called Unix.something
<dj-death> but unix.
<dj-death> so ocamlopt -o myprog unix.cmxa myfile.ml works
<ita> what file ?
<dj-death> but not ocamlopt -o myprog Unix.cmxa myfile.ml
<dj-death> /usr/lib/ocaml/3.08/unix.cmxa
<ita> you are right it's unix.cmxa (sorry)
<ita> ocamlopt -thread unix.cmxa threads.cmxa prodcons.ml -o prodcons
<smimram> ita: you can find OCamlMakefile along with examples here
<ita> smimram: wow, thanks
Submarine has joined #ocaml
ita has quit ["later all !"]
smimram has quit ["Bye"]
det has quit [Read error: 104 (Connection reset by peer)]
det has joined #ocaml
<grirgz> hi
<Robert> Good evening
<grirgz> what is a double coercion ?
<grirgz> i have some trouble to understand an error message
<grirgz> This simple coercion was not fully general. Consider using a double coercion.
<Submarine> (x : y :> z) ?
<grirgz> i have x and z, but what is y ?
<Demitar> y is the type of x.
<Demitar> You're simply being explicit about that type too.
<grirgz> ok, i have found my error, thanks :)
<Smerdyakov> grirgz, how about you just avoid using the OO features and avoid this can of worms? :D
karryall has quit ["tcho"]
<grirgz> Smerdyakov: why ?
<Demitar> Weird typing errors is the scourge of the structure based OO. :)
<grirgz> structure based ?
senko has quit [Read error: 104 (Connection reset by peer)]
<Submarine> OCaml classes are not typed according to a strict scheme of inheritance.
<Submarine> you may cast any object to any class provided it offers the services that this class wants
<Submarine> even if you did not write your original class to be a subclass of the class you cast to
<Submarine> it has some advantages
<Smerdyakov> Plus, most OO users today vastly overestimate the set of situations in which OO makes sense to use.
<Smerdyakov> I don't why you're using it, but it's possible that you're making things unnecessarily complicated for yourself, and you could use the module system instead to greater benefit.
ionOS has joined #ocaml
<Submarine> IMHO, OO in languages like Java is often a bad substitute for generics/templates/functors
<grirgz> Smerdyakov: maybe because OO style is beautiful :p
<grirgz> i use lablgtk, and lablgtk use objects, so i must use them
<grirgz> do you think ocaml is a true language, like C and others ?
<grirgz> i see many people who think ocaml is just for students
<Submarine> What makes a "true language"?
<grirgz> i have some trouble to explain it in english.. :p
<grirgz> many thinks ocaml is just a language for learning programation, but not for write real applications
<Submarine> The industry is very conservative.
<Submarine> I think that www.astree.ens.fr is a real application.
<Demitar> I would sooner question if C/C++ are "real" languages. They're extremely fragile.
<Demitar> (Well some would say pragmatic, I say fragile.)
<Smerdyakov> grirgz, if you want to find people who agree with those others, this is not the channel to look for them. :P
<grirgz> ok, IMHO, i think ocaml is the best language ever created :p
<Smerdyakov> I think that's at least close to correct, for general purpose programming.
<Smerdyakov> OCaml is missing some very useful features that have made their way into languages like Haskell.
<Submarine> Java 1.4 is, IMHO, far less of a good language than OCaml.
<Submarine> But it has 1/ industry support 2/ big libraries 3/ portable GUI.
<_fab> Smerdyakov: what are these features?
<Smerdyakov> _fab, type classes are the big one.
<Smerdyakov> _fab, I don't know if there are any other show stoppers.
<Smerdyakov> Type-safe dynamic loading of modules is something pretty much all of this family of languages miss, except for some underdeveloped research implementations.
mrsolo has quit [Connection timed out]
ionOS has quit ["Leaving"]
kosmikus is now known as kosmikus|away
Submarine has left #ocaml []
<grirgz> plop
zigong has quit [Remote closed the connection]
maihem has joined #ocaml
vezenchio has quit ["all that is necessary for the triumph of evil is for good men to do nothing"]
vezenchio has joined #ocaml
Lemmih_ has joined #ocaml
mamol has joined #ocaml
vezenchio has quit ["all that is necessary for the triumph of evil is for good men to do nothing"]
jdrake has joined #ocaml
mattam_ has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
<dams> evening
<jdrake> yes
Iter has joined #ocaml
jdrake has quit [Read error: 110 (Connection timed out)]
maihem has quit ["Read error: 54 (Connection reset by chocolate)"]
Smerdy has joined #ocaml
Submarine has joined #ocaml
Smerdyakov has quit [Read error: 110 (Connection timed out)]
Smerdy is now known as Smerdyakov
<cDlm> what is lib/ocaml/ld.conf for ?
<Submarine> I don't have this file on my installation.
<cDlm> i can probably ignore it safely then :)
Iter has quit [Read error: 110 (Connection timed out)]
Submarine has left #ocaml []
Lemmih has quit [Remote closed the connection]
<Smerdyakov> Is there a syntax for specifying an Int32 constant in patterns?
mattam_ is now known as mattam
<mattam> cDlm: ocaml uses it for the dynamic C library search
<mattam> 'l' at the end maybe ?
<cDlm> 'l' ?
<mattam> yes that's it
<mattam> let f = function 10l -> true | _ -> false
<cDlm> what do you mean ?
<mattam> ;;
<mattam> val f : int32 -> bool = <fun>
<cDlm> ah
<mattam> ;)
* cDlm kicks context off stack
* Riastradh pushes cDlm.
smimou has quit ["?"]
grirgz_ has joined #ocaml
grirgz has quit [Read error: 60 (Operation timed out)]