sponge45 changed the topic of #ocaml to: Discussions about the OCaml programming language | http://caml.inria.fr/
joshcryer has joined #ocaml
jeffs_ has joined #ocaml
pango_ has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
<jeffs_> i missed what you said because I lost the chat window when my mac came out of sleep ><
<jeffs_> could somebody repaste the explanation about ":>" please?
<erfcf> smeradman: ':>' is used to do type coercion
<erfcf> [4:42pm] eradman: But it has to be within the parentesized expression
<erfcf> [4:43pm] eradman: (x:>type)
<erfcf> eradman: I think this is mostly useful in OO subtyping ??
pango has joined #ocaml
pango_ has joined #ocaml
<jeffs_> I guess I'd be curious about when you'd use :> instead of :
<mattam> sometimes the subtyping system is not smart enough, i suppose there are examples in the manual
<jeffs_> hmmm, this sounds interesting
jeffs has quit [Read error: 110 (Connection timed out)]
Mr_Awesome has joined #ocaml
jeffs_ is now known as jeffs
<pango> damn connection
<pango> a;b can be seen as an expression too, with ; being an infix operator of type unit -> 'a -> 'a
jeffs has quit [Read error: 110 (Connection timed out)]
__mikem has joined #ocaml
ircleuser has joined #ocaml
smimou has quit ["bli"]
joshcryer has quit [Client Quit]
mnemonic has quit ["leaving"]
ikaros_ has joined #ocaml
johnnowak has joined #ocaml
jlouis_ has joined #ocaml
b00t has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
joshcryer has joined #ocaml
ircleuser has quit [Read error: 60 (Operation timed out)]
pantsd has quit [Read error: 110 (Connection timed out)]
ircleuser has joined #ocaml
jlouis_ has quit [Operation timed out]
mbishop has quit [Remote closed the connection]
joshcryer has quit [Nick collision from services.]
Foxyloxy has joined #ocaml
diffbavis has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
david_koontz has joined #ocaml
__mikem has quit ["Chatzilla 0.9.77 [Firefox 2.0.0.2/2007021917]"]
cmvjk has joined #ocaml
mbishop has joined #ocaml
erfcf has quit []
joshcryer has joined #ocaml
Submarine has joined #ocaml
erfcf has joined #ocaml
Mr_Awesome has quit ["...and the Awesome level drops"]
Smerdyakov has quit ["Leaving"]
johnnowak has quit []
ircleuser has quit ["Quit"]
b00t has quit [Remote closed the connection]
malc_ has quit [Read error: 110 (Connection timed out)]
diffbavis has quit [Read error: 54 (Connection reset by peer)]
erfcf has quit []
diffbavis has joined #ocaml
love-pingoo has joined #ocaml
love-pingoo has quit ["Connection reset by pear"]
david_koontz has quit ["This computer has gone to sleep"]
jacobian has quit [Remote closed the connection]
<flux-> good morning
Amorphous has quit ["shutdown"]
Amorphous has joined #ocaml
love-pingoo has joined #ocaml
johnnowak has joined #ocaml
diffbavis has quit [Read error: 54 (Connection reset by peer)]
ikaros_ has quit ["segfault"]
diffbavis has joined #ocaml
ikaros_ has joined #ocaml
mnemonic has joined #ocaml
<mnemonic> hi
<Submarine> does somebody here have access to a version of REDUCE ?
mnemonic has quit ["leaving"]
Submarine_ has joined #ocaml
Submarine has quit [Nick collision from services.]
mnemonic has joined #ocaml
Submarine_ is now known as Submarine
ikaros_ has quit ["Leaving"]
ikaros_ has joined #ocaml
johnnowak has quit []
bluestorm_ has joined #ocaml
bluestorm_ has quit [Read error: 104 (Connection reset by peer)]
bluestorm_ has joined #ocaml
ita has joined #ocaml
ita has left #ocaml []
Submarine has quit ["Leaving"]
flux- has quit [Remote closed the connection]
flux- has joined #ocaml
love-pingoo has quit [zelazny.freenode.net irc.freenode.net]
jeffs has joined #ocaml
love-pingoo has joined #ocaml
diffbavis has quit [Read error: 54 (Connection reset by peer)]
cjeris has joined #ocaml
pango_ has quit [Remote closed the connection]
pango has quit [Remote closed the connection]
pango_ has joined #ocaml
pango has joined #ocaml
Smerdyakov has joined #ocaml
mnemonic has quit ["leaving"]
postalchris has joined #ocaml
diffbavis has joined #ocaml
benny_ has joined #ocaml
benny has quit [Read error: 60 (Operation timed out)]
jeffs has quit [Read error: 110 (Connection timed out)]
love-pingoo has quit ["Leaving"]
jlouis has joined #ocaml
_JusSx_ has joined #ocaml
<_JusSx_> hey what's the power function?
<_JusSx_> ok thanx i think it is "pow"
<_JusSx_> if i could code pow function
cjeris has quit []
cjeris has joined #ocaml
smimou has joined #ocaml
joshcryer has quit [Success]
diffbavis has quit [Read error: 54 (Connection reset by peer)]
love-pingoo has joined #ocaml
<pango> _JusSx_: # ( ** ) ;;
<pango> - : float -> float -> float = <fun>
jlouis_ has joined #ocaml
slipstream-- has quit [Read error: 104 (Connection reset by peer)]
slipstream has joined #ocaml
jlouis has quit [Read error: 110 (Connection timed out)]
diffbavis has joined #ocaml
<_JusSx_> pango: thanx a lot
ikaros has joined #ocaml
ikaros_ has quit [Read error: 110 (Connection timed out)]
ocaml_newbie has joined #ocaml
<ocaml_newbie> hi
<ocaml_newbie> is there a package system for ocaml that is widely spread? i read something about godi? do you use that?
ocaml_newbie has quit [Client Quit]
ocaml_newbie has joined #ocaml
<ocaml_newbie> is someone in here?
<pango> Debian maintainers did a good job at packaging many ocaml libs, so I never investigated Godi...
<ocaml_newbie> ah, i'm not alone :-)
<ocaml_newbie> i'm also using debian, pango. do you know which package i have to install for ocamlfind?
<ocaml_newbie> or which source i have to add to my sources.lst?
<ulfdoz_> I use godi on macos. works fine.
<ocaml_newbie> is it like asdf for lisp or apt for debian?
<pango> $ dpkg -S `which ocamlfind`
<pango> ocaml-findlib: /usr/bin/ocamlfind
<ocaml_newbie> i installed ocaml via apt-get install ocaml
jacobian has joined #ocaml
<ocaml_newbie> and there is no ocamlfind
<ocaml_newbie> nevermind, i'm really interested in how you guys are usingocaml? do you use an ide? or a standalone editor?
<ocaml_newbie> vi/emacs or whatever?
<postalchris> emacs+tuareg-mode
<pango> it's in ocaml-findlib, as reported by dpkg -S
<ocaml_newbie> pango: so, i'm missing some source for ocaml-findlib in my sources.lst
<pango> emacs here
<ocaml_newbie> that's 2 for emacs, some vi users here for a flame war? ;-)
<jacobian> emacs+tuareg-mode
<ocaml_newbie> even 3
<postalchris> Emacs has a well supported OCaml mode. AFAIK, vim and others don't.
<ocaml_newbie> i will try that
<ocaml_newbie> thank you
<pango> probably, because it exists even in oldstable...
<ocaml_newbie> thanks, pango. it was a silly mistake: i misspelled ocaml-findlib as ocamlfind-lib
<ocaml_newbie> pango: nice nickname, are you involved in the pango library?
<pango> no
<ocaml_newbie> ok
<pango> it was the name of the pengu videogame clone on PC
<ocaml_newbie> i see
<ocaml_newbie> i will refill my question stack, thank you for answering my questions.
<ocaml_newbie> goodbye
ocaml_newbie has quit ["using sirc version 2.211+KSIRC/1.3.12"]
malc_ has joined #ocaml
Mr_Awesome has joined #ocaml
joshcryer has joined #ocaml
pantsd has joined #ocaml
_JusSx_ has quit [Client Quit]