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