danly has quit [Read error: 104 (Connection reset by peer)]
danly has joined #ocaml
|marco| has joined #ocaml
|marco| has quit [Read error: 110 (Connection timed out)]
dark_light has quit [Read error: 104 (Connection reset by peer)]
KrispyKringle has quit ["Changing server"]
KrispyKringle has joined #ocaml
KrispyKringle has quit ["leaving"]
joshcryer has quit [Read error: 110 (Connection timed out)]
Skal has joined #ocaml
<
flux__>
zmdkrbou, it could be for strings?
jer has left #ocaml []
ramkrsna has quit [Read error: 104 (Connection reset by peer)]
ramkrsna has joined #ocaml
Revision17 has quit [Read error: 110 (Connection timed out)]
Revision17 has joined #ocaml
pauldia has joined #ocaml
visq has joined #ocaml
love-pingoo has joined #ocaml
<
zmdkrbou>
flux__: mmh, i was thinking of List.fold_right ... and i don't see how it could be tail recursive for string if it's not for lists
Smerdyakov has quit ["Leaving"]
<
visq>
zmdkrbou: there is a tail-recursive fold_right implementation in extlib: ExtList.List;
<
visq>
But it needs to accumlate the list as an argument
<
visq>
But of course tail-recursive fold_right is easy if you have random access
Revision17 has quit [Read error: 110 (Connection timed out)]
_visq has joined #ocaml
gim has quit ["reboot"]
jomputin_ has quit ["foo"]
Demitar has quit ["Ex-Chat"]
gim has joined #ocaml
Demitar has joined #ocaml
visq has left #ocaml []
ski has joined #ocaml
slipstream-- has joined #ocaml
slipstream has quit [Read error: 110 (Connection timed out)]
descender has quit [Remote closed the connection]
descender has joined #ocaml
Revision17 has joined #ocaml
piggybox has joined #ocaml
Submarine has joined #ocaml
Submarine has quit ["Leaving"]
piggybox has left #ocaml []
Smerdyakov has joined #ocaml
jprieur has joined #ocaml
jprieur is now known as johann
ski has quit ["NMI"]
ski has joined #ocaml
ski_ has joined #ocaml
Skal has quit [Remote closed the connection]
shawn has quit ["This computer has gone to sleep"]
ski has quit [Connection timed out]
shawn has joined #ocaml
_visq has quit [Remote closed the connection]
johann has quit ["Lost terminal"]
smimou has joined #ocaml
pauldia has quit [Read error: 110 (Connection timed out)]
perspectivet has joined #ocaml
illya23b has joined #ocaml
khaladan has joined #ocaml
smimou has quit ["bli"]
ulfdoz has quit [niven.freenode.net irc.freenode.net]
ulfdoz has joined #ocaml
mikeX has joined #ocaml