mrvn has quit [Read error: 110 (Connection timed out)]
mrvn_ has quit [Read error: 60 (Operation timed out)]
mrvn has joined #ocaml
graydon has joined #ocaml
mattam_ has quit ["zZz"]
simon- has joined #ocaml
<simon->
good evening. I'm pretty new to functional programming, and after reading the advantages over imperative programming, would any of you know URLs explaining the strong sides of O'Caml over Haskell and others in particular?
<simon->
oh, and why was the icfp judges so certain that it would be a functional programming language that would run off with the price? :-)
<whee>
simon: I don't think of either one (ocaml or haskell) being better than the other
<whee>
haskell's great if you want to plunge yourself into FP. it's a fun language
<simon->
like brainf*ck is fun? :)
<whee>
ocaml is a little less research-oriented, but still neat
<whee>
you really can't go wrong with either one of them
<whee>
personally I have more fun with haskell, though
* whee
ducks
<simon->
hehe. well, I'm going to give haskell a go, since that was the language I was introduced to first
polin8 has joined #ocaml
<lament>
Ocaml is less ivory-towery.
<whee>
if you learn haskell, you'll have no problems picking up ocaml later
<lament>
And faster.
<lament>
And it has ugly syntax.
<whee>
yes, I dislike ocaml syntax
<whee>
I doubt it's going to change either :\
<lament>
camlp4 exists.
<whee>
lament: development on camlp4 is over
<whee>
if noone continues, it'll likely stop functioning once the AST changes.
<whee>
it's likely that it might be maintained, but it doesn't make the ocaml team look too good
polin8 has quit [Read error: 110 (Connection timed out)]
<simon->
hehehe
* simon-
is reading an entry page for ICFP
<simon->
"So I added a couple of features, fixed one bug (my lightening entry avoids standing on the graves of dead robots, which was entirely an accounting error, not a religious statement)"
Zadeh_ has joined #ocaml
Zadeh has quit [Read error: 113 (No route to host)]
skylan has quit [Killed (NickServ (Ghost: skylan_!sjh@207.164.213.82))]
polin8 has joined #ocaml
polin8 has quit [Client Quit]
polin8 has joined #ocaml
lament has quit ["Did you know that God's name is ERIS, and that He is a girl?"]
polin8 has quit ["Lost terminal"]
Yurik has joined #ocaml
<Yurik>
re
Yurik has quit ["÷ÙÛÅÌ ÉÚ XChat"]
skylan has joined #ocaml
polin8 has joined #ocaml
mattam has joined #ocaml
polin8 has quit ["Now _that's_ a good cup of coffee."]
polin8 has joined #ocaml
polin8 has quit ["Lost terminal"]
* jao
is back
jao is now known as jao_away
skylan has quit [Remote closed the connection]
skylan has joined #ocaml
docelic|sleepo is now known as docelic
Yurik has joined #ocaml
Kinners has joined #ocaml
<Yurik>
Kinners: hi
<Kinners>
hey Yurik
Yurik_ has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
skylan has quit [Read error: 104 (Connection reset by peer)]
skylan has joined #ocaml
<Yurik_>
skylan: hi
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
skylan has quit [Read error: 104 (Connection reset by peer)]
skylan has joined #ocaml
Yurik__ has quit [Read error: 104 (Connection reset by peer)]
intero has joined #ocaml
<intero>
hi people
<Kinners>
hi intero
<intero>
hi there Kinners
<intero>
i have a boring problem about n-tree
<intero>
heh
<intero>
a function of mine looks the same of one of a friend of mine
<intero>
but of course mine is not working
<intero>
:P
<intero>
found it
<intero>
i am a real moron heh
<Kinners>
you probably still know more than me :)
<intero>
lol
<intero>
i am not sure heh
smklsmkl has joined #ocaml
smkl has quit [Read error: 104 (Connection reset by peer)]
mattam_ has joined #ocaml
mattam has quit [Read error: 110 (Connection timed out)]
Kinners has left #ocaml []
xkb_ has quit [Read error: 104 (Connection reset by peer)]
nkoza has quit [Read error: 113 (No route to host)]
smklsmkl is now known as smkl
Dalroth has joined #ocaml
graydon has quit ["xchat exiting.."]
rox is now known as rox|poisoned
lament has joined #ocaml
Dalroth has quit []
mrvn_ has joined #ocaml
mrvn has quit [Read error: 60 (Operation timed out)]
matkor has joined #ocaml
Dalroth has joined #ocaml
matkor has quit [Client Quit]
polin8 has joined #ocaml
skylan has quit [Read error: 54 (Connection reset by peer)]
skylan has joined #ocaml
<intero>
anyone?
<mattam_>
yup
<intero>
hi
<mattam_>
hi intero
<intero>
can i bother with a type problem?
mattam_ is now known as mattam
<mattam>
why not ?
<intero>
heh
<intero>
n-tree
<mrvn_>
You will never know unless you try
<intero>
type 'a ntree = Tr of 'a * 'a ntree list;;
mrvn_ is now known as mrvn
<intero>
i need a function that
<intero>
finds all the 'granfathers' in a tree
<intero>
so i guess, i am just visiting the tree, and check a propriety p i pass to the search function
<intero>
like
<intero>
let rec preorder p = function
<intero>
Tr(h,tlist) -> (h,(p h)) :: prel p tlist
<intero>
and prel p = function
<intero>
[] -> []
<intero>
| y::ys -> preorder p y @ prel p ys;;
<intero>
should return [(node,true)..]
<mattam>
it doesn't ?
<intero>
heh
<intero>
course not :P
<intero>
# val preorder : ('a -> 'b) -> 'a ntree -> ('a * 'b) list = <fun>
<intero>
val prel : ('a -> 'b) -> 'a ntree list -> ('a * 'b) list = <fun>
<intero>
should be correct
<mrvn>
# let foo _ = true;;
<mrvn>
# let tree = Tr (0, [Tr(1,[]),Tr(2,[Tr(3,[])])]);;
<mrvn>
# let tree = Tr (0, [Tr(1,[]);Tr(2,[Tr(3,[])])]);;