vect changed the topic of #ocaml to: OCaml 3.07 ! -- Archive of Caml Weekly News: http://pauillac.inria.fr/~aschmitt/cwn, ICFP'03 http://www.icfpcontest.org/, 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
__DL__ has quit [Remote closed the connection]
Demitar has quit ["There are bubbles in the air..."]
GreyLensmen has joined #ocaml
Kinners has joined #ocaml
JackAvon has joined #ocaml
rox has quit [Read error: 54 (Connection reset by peer)]
rox has joined #ocaml
systems has joined #ocaml
rox has quit ["Client exiting"]
rox has joined #ocaml
systems has quit ["Client Exiting"]
GreyLensmen has quit ["Client Exiting"]
Tomasso has quit ["Client exiting"]
Kinners has left #ocaml []
brwill is now known as brwill_zzz
lus|wazze has joined #ocaml
whee has quit ["Leaving"]
mattam_ has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
Demitar has joined #ocaml
mattam_ is now known as mattam
gim has joined #ocaml
maihem has joined #ocaml
systems has joined #ocaml
systems has quit ["Client Exiting"]
maihem has quit [Read error: 54 (Connection reset by peer)]
maihem has joined #ocaml
__buggs has joined #ocaml
buggs|afk has quit [Read error: 110 (Connection timed out)]
gim has quit [Read error: 54 (Connection reset by peer)]
gim has joined #ocaml
Riastrad1 has joined #ocaml
Riastradh has quit [Read error: 60 (Operation timed out)]
JackAvon has quit [Read error: 104 (Connection reset by peer)]
phubuh has joined #ocaml
karryall has joined #ocaml
jrosdahl has joined #ocaml
Riastrad1 is now known as Riastradh
CybeRDukE has joined #ocaml
<CybeRDukE> hi
<CybeRDukE> could you please help me understand sth. from the oreilly book?
<CybeRDukE> i don't understand why redefinition oh methods in ocaml differs from the way java does
<CybeRDukE> /oh/of/
<Demitar> OCaml doesn't define classes by name.
<Demitar> Nor does is support function overloading.
<Demitar> A side-effect of the former is that downcasting isn't possible (well you can do it using a few tricks).
<CybeRDukE> did you have a look at the example at the link? so in ocaml there would be only one eq-method when B is a subtype of A?
<CybeRDukE> the only redefinition in this example is the to_string(int) method, right? and that's not different from the ocaml way, isn't it?
<CybeRDukE> i have the same parameters an define a new body.
<Demitar> It's not different.
<CybeRDukE> good
<CybeRDukE> i still do not really understand the redefiniton-difference. but overloading is clear now. thx
<karryall> ocaml doesn't have overloading
<karryall> so it's difficult to compare
<CybeRDukE> yes, that's what i understodd *g*
<karryall> but in this kind of situation B isn't a subtype of A
eternite_0 has joined #ocaml
<eternite_0> "hello world !";;
<Demitar> eternite_0, that expessions should have type unit.
<CybeRDukE> lol
<eternite_0> But it work in the interactive interpreter
<Riastradh> Demitar, no, not necessarily; the double semicolons indicate that he's typing it at a REPL prompt, where the type isn't necessarily unit.
<Demitar> eternite_0, well, that makes it all the more useful, right? :)
<phubuh> double semicolons work just as well in source files as in REPL input
<Riastradh> phubuh, yes, but only dorki use them in source files.
<phubuh> well, yeah
<eternite_0> Riastradh, sorry, but what is it a "dorki" ?
GreyLensmen has joined #ocaml
eternite_0 has quit ["Client exiting"]
eternite has joined #ocaml
__DL__ has joined #ocaml
brwill_zzz is now known as brwill
<Riastradh> eternite, 'dorki' is the plural of 'dorkus.'
<eternite> thx
<mellum> What's a dorkus?
<Riastradh> It's like a dork, only with an 'us' at the end.
<Riastradh> And thus it's a lot worse.
<mellum> Wow, and then in plural! That's bad!
<Maddas> haha
<phubuh> hmm, I'm thinking about making a simple referentially transparent language that compiles to compile-time C++
<Maddas> Heh
<Maddas> phubuh is being evil again.
* phubuh cackles
<Maddas> phubuh: What is your motivation?
<phubuh> boredom
<Maddas> haha
<Maddas> phubuh: interesting hobbies you have :-)
<phubuh> :-)
<phubuh> I have to implement a Huffman decoder and file transfer for scout, but that's tedious
<Maddas> scout?
<phubuh> the Direct Connect client I showed you a while back
<phubuh> (after a complete rewrite, though)
<Maddas> Hah :)
<Maddas> Why the rewrite?
<Maddas> (boredom? :))
<phubuh> pretty much :-)
<Maddas> Heh.
<phubuh> it was pretty poorly designed before
<phubuh> strange dichotomies, the parser was the ugliest hack I've ever seen, etc
<Maddas> phubuh: you should write a O'Caml -> C(++) thingy
<phubuh> haha
<Maddas> no really!
<phubuh> hmm, I wonder how the code is represented in ocamlc before code generation
<Maddas> O'Caml...
<Maddas> :-)
<phubuh> well, yeah :-)
<Maddas> oh, you mean _how_. ASCII?
<Maddas> I'm getting silly, I'll leave while I still can, talk to you later!
<phubuh> ok, bye!
<Riastradh> phubuh, RTFSC.
<phubuh> Read The Fucking ... ?
<Riastradh> Source Code.
<phubuh> ah, yes -- I'm planning to
__DL__ has quit [Remote closed the connection]
__buggs is now known as buggs
mixerdj has joined #ocaml
mixerdj has left #ocaml []
noss has joined #ocaml
mimosa has joined #ocaml
mimosa has quit ["I like core dumps"]
CybeRDukE has quit ["Drag me, drop me, treat me like an object!"]
lus|wazze has quit ["Copyright is a temporary loan from the public domain, not property"]
GreyLensmen has quit ["Client Exiting"]
Etaoin has joined #ocaml
Demitar has quit [Remote closed the connection]
Demitar has joined #ocaml
Defcon7 has joined #ocaml
Defcon7 has left #ocaml []
Defcon7 has joined #ocaml
<Defcon7> hi allie :)
<eternite> hi
<Defcon7> proud to present a new ocaml addict
<Defcon7> <-
<Defcon7> :)
<phubuh> whee!
<Defcon7> i am really new to ocaml and functional programming, can i ask here my questions about that ?
<eternite> You can applie "<-" only on string , array and mutable value.
<phubuh> Defcon7: of course!
<eternite> So what do you want to know about "<-"
<phubuh> haha, I think he was pointing to himself :-)
<eternite> :)
<Defcon7> haha :)
<Defcon7> the second is right
<Defcon7> actually iam perplessed about ocamlopt...i compiled a small program that increments a variable from 0 to 100 with ocamlc, but when i try with ocamlopt i get a lot of assembler error messages, im just doing ocamlopt prog.ml -o prog
<phubuh> are you on Windows?
<Defcon7> linux debian 2.4.22 with grsec and i was compiling as root
<phubuh> oh, that's strange
<phubuh> could you put the actual errors some where?
<Defcon7> sure
<Defcon7> gimme a sec
<eternite> try with a name starting by a char.
<eternite> name of file
<Defcon7> oh hehe :)
<Defcon7> since ocamlc worked i dont have thinked to that
<Defcon7> let try :)
<Defcon7> hehe it worked
<Defcon7> thanks :)
Demitar has quit ["Bubbles..."]
<Defcon7> im trying to use Unix.read on a stream, the string where to place what it reads should be declared in any way first ? because the compiler says "outbuffer" which obviously is the string i wish to use...
<Defcon7> op
<Defcon7> s
<Defcon7> "Unbound value outbuffer"
<Defcon7> "outbuffer"
<Defcon7> :)
<phubuh> yeah, you have to create it first
<phubuh> say, let foo = String.create 1024 in Unix.read fd foo 1024 0
<Defcon7> oh hehe
<Defcon7> thanks :)
<Defcon7> what about length = all, 0 is right ?
<phubuh> I don't remember how to use Unix.read, I just made something up
<phubuh> but the let ... in part is correct :-)
<Defcon7> :)
<Defcon7> ok
<Defcon7> thanks
<Defcon7> again about Unix.read, what i should use as length to mean "everything" ?
<phubuh> you could use Unix.stat to find out how long it is, and use that value
<Defcon7> tnx :)
<phubuh> if you're just reading regular files, though, it's easier and more portable to use the Pervasives.{open_in, input, in_channel_length, close_in}
<Defcon7> oh hehe i supposed there are something other than Unix.
<Defcon7> tnx again :)
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
async has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml
async has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml
async has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml
async has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml
async has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
noss has quit ["[x]chat"]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml
eternite has quit ["Client exiting"]
async has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml
async has quit [sterling.freenode.net irc.freenode.net]
Maddas has quit [sterling.freenode.net irc.freenode.net]
cm has quit [sterling.freenode.net irc.freenode.net]
Etaoin has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has quit [sterling.freenode.net irc.freenode.net]
gim has quit [sterling.freenode.net irc.freenode.net]
mw has quit [sterling.freenode.net irc.freenode.net]
wax has quit [sterling.freenode.net irc.freenode.net]
Defcon7 has joined #ocaml
Etaoin has joined #ocaml
gim has joined #ocaml
cm has joined #ocaml
Maddas has joined #ocaml
async has joined #ocaml
wax has joined #ocaml
mw has joined #ocaml