<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
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
<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)]