jao_away has quit ["ERC vVersion 3.0 $Revision: 1.329 $ (IRC client for Emacs)"]
malc has quit [Read error: 110 (Connection timed out)]
mattam_ is now known as mattam
lament has joined #ocaml
docelic has joined #ocaml
Yurik has joined #ocaml
<Yurik>
re
<docelic>
hey
<Yurik>
docelic: hi
docelic has quit ["brb"]
lament has quit ["Non sunt in celi quia fuccant uuiuys of heli"]
docelic has joined #ocaml
mattam has quit [Read error: 60 (Operation timed out)]
merriam has quit [calvino.freenode.net irc.freenode.net]
Yurik has quit [Read error: 110 (Connection timed out)]
merriam has joined #ocaml
lament has joined #ocaml
merriam has quit [SendQ exceeded]
steele has quit [Remote closed the connection]
polin8 has quit ["Lost terminal"]
polin8 has joined #ocaml
Yurik has joined #ocaml
<Yurik>
re
Yurik has quit ["÷ÙÛÅÌ ÉÚ XChat"]
polin8 has quit [calvino.freenode.net irc.freenode.net]
skylan has quit [calvino.freenode.net irc.freenode.net]
asqui has quit [calvino.freenode.net irc.freenode.net]
whee has quit [calvino.freenode.net irc.freenode.net]
Zadeh has quit [calvino.freenode.net irc.freenode.net]
Torquemada has quit [calvino.freenode.net irc.freenode.net]
xkb has quit [calvino.freenode.net irc.freenode.net]
polin8 has joined #ocaml
skylan has joined #ocaml
asqui has joined #ocaml
whee has joined #ocaml
Zadeh has joined #ocaml
Torquemada has joined #ocaml
xkb has joined #ocaml
asquii has joined #ocaml
asqui has quit [Read error: 104 (Connection reset by peer)]
asquii is now known as asqui
mattam has joined #ocaml
merriam has joined #ocaml
lament is now known as lol
lol is now known as lament
xmkl is now known as smkl
Yurik has joined #ocaml
<Yurik>
re
lament has quit ["Non sunt in celi quia fuccant uuiuys of heli"]
Yurik_ has joined #ocaml
Yurik has quit [Read error: 104 (Connection reset by peer)]
Yurik has joined #ocaml
Yurik_ has quit [Read error: 54 (Connection reset by peer)]
Yurik has quit [Client Quit]
Yurik has joined #ocaml
<Yurik>
re
Yurik has quit [Client Quit]
Yurik_ has joined #ocaml
Yurik_ is now known as Yurik
Yurik has quit ["÷ÙÛÅÌ ÉÚ XChat"]
Yurik_ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
Yurik_ has joined #ocaml
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
Yurik__ is now known as Yurik
Yurik_ has joined #ocaml
Yurik__ has joined #ocaml
Yurik- has joined #ocaml
Yurik_ has quit ["÷ÙÛÅÌ ÉÚ XChat"]
Yurik has quit [Read error: 110 (Connection timed out)]
lam has quit ["leaving"]
esabb has joined #ocaml
<Yurik->
esabb: hi
docelic is now known as docelic|away
mattam_ has joined #ocaml
lam has joined #ocaml
lam has left #ocaml []
lam has joined #ocaml
Yurik__ has quit [Connection timed out]
mattam has quit [Read error: 60 (Operation timed out)]
Yurik_ has joined #ocaml
Yurik- has quit [Read error: 54 (Connection reset by peer)]
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
Yurik__ has quit [Read error: 54 (Connection reset by peer)]
Yurik_ has joined #ocaml
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
Yurik_ has joined #ocaml
Yurik__ has quit [Read error: 104 (Connection reset by peer)]
karryall has joined #ocaml
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
Yurik_ has joined #ocaml
Yurik__ has quit [Read error: 104 (Connection reset by peer)]
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 54 (Connection reset by peer)]
Yurik__ has quit [Read error: 104 (Connection reset by peer)]
Yurik_ has joined #ocaml
Yurik has joined #ocaml
Yurik_ has quit [Read error: 110 (Connection timed out)]
owll has joined #ocaml
smklsmkl has joined #ocaml
smkl has quit [Read error: 54 (Connection reset by peer)]
smklsmkl is now known as smkl
smklsmkl has joined #ocaml
Yurik_ has joined #ocaml
Yurik has quit [Read error: 54 (Connection reset by peer)]
Yurik_ has quit ["÷ÙÛÅÌ ÉÚ XChat"]
Yurik_ has joined #ocaml
smkl has quit [Killed (NickServ (Ghost: smklsmkl!~sami@glubimox.yok.utu.fi))]
smklsmkl is now known as smkl
smkl has quit [Read error: 60 (Operation timed out)]
Yurik_ has quit [Read error: 54 (Connection reset by peer)]
Yurik_ has joined #ocaml
Yurik__ has joined #ocaml
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
graydon has joined #ocaml
Yurik_ has joined #ocaml
listener has joined #ocaml
Dalroth has joined #ocaml
listener has quit [calvino.freenode.net irc.freenode.net]
Yurik__ has quit [calvino.freenode.net irc.freenode.net]
Zadeh has quit [calvino.freenode.net irc.freenode.net]
polin8 has quit [calvino.freenode.net irc.freenode.net]
whee has quit [calvino.freenode.net irc.freenode.net]
Torquemada has quit [calvino.freenode.net irc.freenode.net]
xkb has quit [calvino.freenode.net irc.freenode.net]
skylan has quit [calvino.freenode.net irc.freenode.net]
listener has joined #ocaml
polin8 has joined #ocaml
skylan has joined #ocaml
whee has joined #ocaml
Zadeh has joined #ocaml
xkb has joined #ocaml
<listener>
| h::t-> if h=y then t else h:: remove_list y t;;
<listener>
Sorry.
<listener>
let rec remove_list y lst= match lst with
<listener>
[]->lst
<listener>
| h::t-> if h=y then t else h:: remove_list y t;;
<listener>
Is supposed to remove y from lst.
<listener>
let rec perm n l =
<listener>
let rec elem_perm x m l1 =
<listener>
List.map ( fun a->x::a ) ( perm m (remove_list x l1) )
<listener>
in
<listener>
if n=0 then [[]]
<listener>
else List.hd ( List.map ( fun x-> (elem_perm x (n-1) l) ) l);;
<listener>
Is supposed to generate permutions.
<listener>
n is the number of things in the permuatation.
<listener>
l is the list of items to be permuted.
<listener>
elem_perm is supposed to take a list of permutations ( represented as a list) and
<listener>
append x to the beginning of each.
polin8_ has joined #ocaml
polin8_ has quit [Client Quit]
<listener>
I don't particularly like using List.hd, but it seems I need it to make the routine work.
Dalroth has quit [Read error: 104 (Connection reset by peer)]
Yurik_ has quit [Read error: 104 (Connection reset by peer)]
smkl has joined #ocaml
docelic|away is now known as docelic
intero has joined #ocaml
intero has left #ocaml []
intero has joined #ocaml
<intero>
having probs
intero has left #ocaml []
interoz has joined #ocaml
<interoz>
ok
<interoz>
hi all
smklsmkl has joined #ocaml
smkl has quit [Read error: 113 (No route to host)]
xmkl has joined #ocaml
xmkl is now known as smkl
smklsmkl has quit [Read error: 113 (No route to host)]
hdaume has joined #ocaml
<hdaume>
if i compile with ocamlopt -p to do time profiling, a lot of my time is spent in an anonymous function...is there a better way to figure out which lambda expression this is other than to look at the callers/callees and try to deduce from those?
<listener>
Is there anyway of printing a general value in OCaml?
smklsmkl has joined #ocaml
smkl has quit [Read error: 54 (Connection reset by peer)]
mattam_ is now known as mattam
xmkl has joined #ocaml
smklsmkl has quit [Read error: 60 (Operation timed out)]
xmkl is now known as smkl
<interoz>
listener: yes if you make a general print version
Dalroth has joined #ocaml
listener has quit [Read error: 113 (No route to host)]
smklsmkl has joined #ocaml
smkl has quit [Read error: 113 (No route to host)]
two-face has joined #ocaml
<hdaume>
interoz: what do you mean?
xmkl has joined #ocaml
smklsmkl has quit [Read error: 60 (Operation timed out)]
<interoz>
i guess
<interoz>
for example
<interoz>
you can define a new type
<interoz>
like Number
<interoz>
for both int and float
<interoz>
and then define function sum
<interoz>
that does + or +. aggording to the parameters
<interoz>
saw it on a book huh
<interoz>
:P
smkl has joined #ocaml
xmkl has quit [Remote closed the connection]
two-face has quit ["Client Exiting"]
Yurik has joined #ocaml
<Yurik>
hi all
<interoz>
hi Yurik
two-face has joined #ocaml
Yurik has quit [Read error: 54 (Connection reset by peer)]
esabb has left #ocaml []
lament has joined #ocaml
owll has quit [Read error: 104 (Connection reset by peer)]
two-face has quit ["Client Exiting"]
<interoz>
nite people
interoz has left #ocaml []
graydon has quit []
Dalroth has quit []
<hdaume>
if i have a type that looks like 'type foo = Foo of float', will this be as efficient as just usinga float (i.e., will the compiler optimize away the constructor)?
<mattam>
i think it will use a pointer and a float, as it is different from type t = float
<hdaume>
semantially, how is it different?
<mattam>
you can have a 'fun x = x +. pi' that will work for float values not foo
<mattam>
they just are different as you add information in foo, the Foo constructor
<hdaume>
right, of course, from the type-checker's pooint of view they are different. but once it gets past the type checker, it seems like they are the same (to me, at least)
<mattam>
but maybe they are the same in the resulting code, as there is no type information at runtime in ML