vezenchio has quit ["According to [a processor for game design], you statistically have a better chance of becoming a rock star than you do of suc]
mrsolo has quit [Read error: 54 (Connection reset by peer)]
Axioplase has quit ["error 8.6 (Connection reset by beer)"]
cm47 has joined #ocaml
Lemmih has joined #ocaml
maml has quit ["Leaving"]
cjohnson has quit [Read error: 54 (Connection reset by peer)]
reltuk has joined #ocaml
sundeep has joined #ocaml
kinners has joined #ocaml
mrsolo has joined #ocaml
ne_one has quit ["To understand recursion, you must first understand recursion."]
kinners has quit ["leaving"]
Nutssh has joined #ocaml
Nutssh has quit [Client Quit]
Nutssh has joined #ocaml
mellum has quit [Read error: 104 (Connection reset by peer)]
_shawn has quit ["Leaving"]
reltuk has left #ocaml []
<Nutssh>
Hi all.
<slashvar1lri]>
Yop
slashvar1lri] is now known as slashvar[lri]
<Nutssh>
How are you.
wolfman8k has joined #ocaml
bk_ has joined #ocaml
gim has joined #ocaml
karryall has joined #ocaml
<seafood>
Hey, does anyone know here whether there is a native code compiler for Mac OS X?
<seafood>
Does anyone *not* know whether theere is a native code compiler for Mac OS X?
<seafood>
:-)
<Petruchio>
I, for one, have no idea.
* Petruchio
is pleased to be of assistance.
* bk_
shrugs
* seafood
is thankful to Petruchio for stating his ignorance :)
* Petruchio
bows.
<Petruchio>
I can *always* help with that. :-)
<seafood>
So, are you all die-hard OCaml hackers here, or do some of you just think it's a cool language for some purposes?
<seafood>
Anyone use Ocaml in preference to Haskell?
<Petruchio>
I'm totally new to it. Just hanging out because it looks interesting.
buggs^z has joined #ocaml
<bk_>
haskell forces monads upon me, thats one reason why i prefer ocaml
<seafood>
bk_: Yeah, monads are pretty hard to get your mind around.
<bk_>
i just think they are not very practical
<seafood>
I'm trying out OCaml because I don't believe that Haskell a) creates small enough binaries b) decreased the performance hit of laziness enough.
<seafood>
s/decreased/decreases/
<seafood>
bk_: Monads have a few drawbacks but they *are* pure. That is one reason I can tolerate them.
<bk_>
i don't quite see whats so beneficial about pureness
<seafood>
bk_: But the annoying thing is that once you start coding in a monadic style you can't "get out of" the monad (if it is the IO monad).
mayhem has joined #ocaml
<mayhem>
hi people
<seafood>
bk_: Purity is important for things like referential transparency - a powerful reasoning technique.
<seafood>
s/technique/principle/
<bk_>
yes, well, i'm only learning functional programming and for the little stuff that i do monads and pureness appear to be overkill
<seafood>
Let's face it - references can be dangerous. You can run the same function twice with the same arguments and you can get different behaviour.
<seafood>
This is impossible in Haskell.
<seafood>
Still, I'm interested in OCaml. It produces really fast code.
<seafood>
And I like that.
<seafood>
Mainly because it's strict.
<bk_>
oh well gotta go :>
bk_ has quit ["Leaving IRC - dircproxy 1.1.0"]
<Nutssh>
I've been meaning to learn haskell, but I use ocaml whenever I can.
buggs has quit [Read error: 110 (Connection timed out)]
cjohnson has joined #ocaml
vezenchio has joined #ocaml
<jlouis>
seafood: ref trans takes laziness to get power anyway. I'd rather prefer to be able to mix the paraigms
<det>
"ref trans"?
<det>
oh, nm
<Nutssh>
Definitely. I don't use refs often, but when I do, they're really nice.
<jlouis>
not that
<jlouis>
referential transparency
jao has joined #ocaml
<Banana>
hello.
<Banana>
seafood: you might be disappointed if you use ocaml for "small-sized" binaries... (the strict and fast argument are more than enough though :))
<jlouis>
Banana: what is a hello world program anyway in size?