From: ijtrotts@ucdavis.edu
To: caml-list@inria.fr
Subject: Re: [Caml-list] Array.filter (was Multi-keyed lookup table?)
Date: Sat, 9 Aug 2003 19:37:34 -0700 [thread overview]
Message-ID: <20030810023734.GB3019@localhost> (raw)
In-Reply-To: <200308102223.05184.qrczak@knm.org.pl>
On Sun, Aug 10, 2003 at 10:23:05PM +0200, Marcin 'Qrczak' Kowalczyk wrote:
> Dnia nie 10. sierpnia 2003 21:53, Michal Moskal napisa?:
>
> > This is map, not filter. Writing filter is more difficult, since you
> > need to first make list of results and then put them into array (or use
> > Obj.magic tricks).
>
> let filter pred arr =
> let sz = Array.length arr in
> if sz == 0 then arr else
> let rec loop i j =
> if i >= sz then Array.make j arr.(0) else
> let x = arr.(i) in
> if pred x then begin
> let result = loop (i + 1) (j + 1) in
> result.(j) <- x;
> result
> end else loop (i + 1) j in
> loop 0 0
>
> Untested. Doesn't make a list on heap but uses O(result_length) stack.
Mine is tested (on a small example), is shorter, and takes O(1) stack :o).
Issac
--
Issac Trotts
Programmer
Center for Neuroscience
University of California, Davis
-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
next prev parent reply other threads:[~2003-08-11 2:39 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-08-07 19:41 [Caml-list] Multi-keyed lookup table? Matt Gushee
2003-08-07 20:16 ` Brian Hurt
2003-08-07 21:49 ` Yaron Minsky
2003-08-07 22:26 ` John Max Skaller
[not found] ` <D4DBD8568F05D511A1C20002A55C008C11AC05E6@uswaumsx03medge.med.ge.com>
2003-08-08 21:30 ` Matt Gushee
2003-08-08 22:13 ` Brian Hurt
[not found] ` <005d01c35e51$7c927200$6628f9c1@zofo>
2003-08-09 16:57 ` [Caml-list] Array.filter (was Multi-keyed lookup table?) Matt Gushee
2003-08-09 18:48 ` ijtrotts
2003-08-10 19:53 ` Michal Moskal
2003-08-10 2:34 ` ijtrotts
2003-08-11 5:48 ` David Brown
2003-08-10 18:53 ` ijtrotts
2003-08-10 20:23 ` Marcin 'Qrczak' Kowalczyk
2003-08-10 2:37 ` ijtrotts [this message]
[not found] ` <200308102222.16369.qrczak@knm.org.pl>
2003-08-10 20:43 ` Michal Moskal
2003-08-10 21:59 ` Ville-Pertti Keinonen
2003-08-10 20:55 ` [Caml-list] Array.filter Jean-Baptiste Rouquier
2003-08-11 9:46 ` Michal Moskal
2003-08-10 22:29 ` [Caml-list] Array.filter (was Multi-keyed lookup table?) Shawn Wagner
2003-08-11 11:51 ` [Caml-list] Multi-keyed lookup table? Remi Vanicat
2003-08-07 22:19 ` John Max Skaller
2003-08-12 6:34 ` Florian Hars
2003-08-12 9:58 ` Michael Wohlwend
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20030810023734.GB3019@localhost \
--to=ijtrotts@ucdavis.edu \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox