cjohnson has quit [Read error: 104 (Connection reset by peer)]
cjohnson has joined #ocaml
clog has joined #ocaml
dan2 has quit [Excess Flood]
dan2 has joined #ocaml
cjohnson has quit [Connection timed out]
kinners has joined #ocaml
vincenz has quit [Read error: 238 (Connection timed out)]
cjohnson has joined #ocaml
<dan2>
is there anyway to identify variable types?
<kinners>
runtime type info?
<dan2>
yeah
<kinners>
no
<dan2>
kinners: so its not possible to do smart function calling based on 'a -> foo types
<kinners>
type info gets thrown out, there's no need for it
vincenz has joined #ocaml
<dan2>
kinners: that kind of sucks if lets say you wanted one function to convert 'a to string
<dan2>
kinners: it would be smart enough to call the respective functions using match or something
<kinners>
dan2: you could use classes, polymorphic variants, higher order functions, wait for gcaml, stop using ocaml, etc.
<dan2>
kinners: how would classes help?
<kinners>
dan2: by having a to_string method
<dan2>
kinners: and how higher order functions?
<dan2>
oo gcaml looks nice
ctr- has joined #ocaml
<kinners>
dan2: by capturing the type info inside functions you pass around (like map and fold functions) instead of having a function dispatch based on the type of the argument
<ctr->
good evening
<ctr->
caml is cool
<kinners>
hi ctr-
<ctr->
but sometimes, infact most of the time, matching against datastructures can really piusss you off
<ctr->
:)
<Smerdyakov>
It doesn't piss _me_ off.
<Smerdyakov>
Maybe you have a valve loose.
<ctr->
bah
<ctr->
some times you have to match
<ctr->
and you know what you want to match aganisnt
<ctr->
and ocaml is like
<ctr->
oooooh, wrong type
<ctr->
heh
<kinners>
dan2: I'm just saying that you can reformulate a problem and use a different style
<dan2>
kinners: though, generics would help fill a need
<Smerdyakov>
I'll just point out that OCaml has what is usually meant by "generics." Perhaps you mean something else.
<ctr->
ocaml rocks
<ctr->
however so does lambda calculus ;)
<Smerdyakov>
ctr, yeah, so you should always pick OCaml, because it's the best of one of the worlds.
<ctr->
heh
<ctr->
my phd suprservisor says the same shit ;)
mrsolo_ has joined #ocaml
<dan2>
Smerdyakov: generics as in generic types but, type matching
<Smerdyakov>
What is a "generic type"?
<dan2>
Smerdyakov: runtime type information basically
<Smerdyakov>
I think you're using a nonstandard definition.
heinola has joined #ocaml
<dan2>
Smerdyakov: anyhow gcaml is what I was looking for, is it still under development?
<Smerdyakov>
I've never heard of it.
<dan2>
Smerdyakov: its what I want, but incomplete and outdated
vezenchio has joined #ocaml
<kinners>
dan2: there's a gcaml branch in the ocaml cvs tree
heinola has left #ocaml []
<dan2>
kinners: ahh
<tewk>
Just getting started with ocaml, what are some good tools, dev environments, debugger, editor etc,
<tewk>
I'm using vi and otags currently
<tewk>
looked at cameleon, but stuck with vi
<kinners>
emacs has a few ocaml modes (I tend to use vim)
<tewk>
how about a debugger, just prerr_endline ?
<Smerdyakov>
tewk, come on; you can at least read the manual table of contents....
<tewk>
sorry, looking for best practices
<dan2>
kinners: is there anyway just to compile gcamllib
<kinners>
dan2: probably not
<Smerdyakov>
tewk, "best practices" will always include every tool distributed with a compiler like OCaml.
<Smerdyakov>
tewk, without commercial investment, no one will ever duplicate work already done by the main distributors.
ctr- has quit [Read error: 110 (Connection timed out)]
CosmicRay has quit ["Leaving"]
<tewk>
How can I pretty print a source file,
<tewk>
vim = doesn't seem to work well,
<tewk>
cool pr_o.cmo
<tewk>
??extensions
<tewk>
no bot
cjohnson has quit ["Leaving"]
kinners has quit ["leaving"]
monochrom has joined #ocaml
monochrom has quit ["Don't talk to those who talk to themselves."]
daapp has joined #ocaml
daapp has left #ocaml []
daapp has joined #ocaml
daapp has left #ocaml []
mrsolo_ has quit [Read error: 110 (Connection timed out)]
mrsolo_ has joined #ocaml
Nutssh has joined #ocaml
pango has quit ["Client exiting"]
mayhem has joined #ocaml
eugos has joined #ocaml
mrsolo_ has quit [Read error: 104 (Connection reset by peer)]
mrsolo_ has joined #ocaml
mlh has quit [Client Quit]
mlh has joined #ocaml
haelix has left #ocaml []
Nutssh has left #ocaml []
Herrchen has joined #ocaml
buggs^z has joined #ocaml
buggs has quit [Nick collision from services.]
buggs^z is now known as buggs
beschmi has quit [Remote closed the connection]
ctr- has joined #ocaml
<ctr->
hi, thisis probably obvious, but how can i take a chunk of code, split it off to another file and include that in my program ?
docelic has quit [Read error: 113 (No route to host)]
docelic has joined #ocaml
docelic has quit [Read error: 104 (Connection reset by peer)]
docelic has joined #ocaml
uppo has quit ["Leaving"]
gl` has quit ["[BX] Reserve your copy of BitchX-1.0c20cvs for the Apple Newton today!"]
maihem has joined #ocaml
cara has joined #ocaml
<cara>
yay
<cara>
there's a room for this
<cara>
I'm trying to install ocaml and I keep getting the following error: bng_ia32.c:111: error: can't find a register in class `GENERAL_REGS' while reloading `asm'
<cara>
Is there any way I could resolve it?
<Smerdyakov>
Which OS/arch?
cara has quit ["[BX] Become a BitchX Certified Systems Engineer today! Apply within!"]
srv_ has joined #ocaml
srv has quit [Read error: 232 (Connection reset by peer)]
pango has joined #ocaml
ctr- has joined #ocaml
<ctr->
how can I concatenate a character onto a string ?
<mattam>
bah, i bet cara is on gentoo, using insane CFLAGS and not reading messages the package manager writes
<pango>
ctr: s ^ String.make 1 c ?
<pango>
not exactly efficient, but answers the question ;)
<pango>
Printf.sprintf "%s%c" s c :)
<pango>
let add_char s c = let l = String.length s in let s2 = String.create (l+1) in String.blit s 0 s2 0 l; s2.[l] <- c; s2 ;;
<pango>
or use a Buffer.t
vezenchio has quit ["If god didn't believe athiests existed, you would not exist. However you exist, so there must be no god"]
ctr- has quit [Read error: 238 (Connection timed out)]