13 Sep
2011
13 Sep
'11
11:33 p.m.
On 14 September 2011 13:29, Kazu Yamamoto
Hello,
Of course, I use ByteString or Text for real programming. But I would like to know whether or not there are any efficient methods to remove a tail part of a list.
I doubt it; lists aren't that great a data type if you want to keep manipulating the end all the time. You'd have more luck with a Sequence or some other data type. -- Ivan Lazar Miljenovic Ivan.Miljenovic@gmail.com IvanMiljenovic.wordpress.com