David, guys,
sorry, this all started with a misconception on my behalf of what a
Zipper is and what it is good for.
In the days that followed my post this became much clearer though and I
now realize my original question was pointless.
It seems you spotted that and yes, generalized trie is
On Mon, Mar 30, 2009 at 3:46 PM, Gü?nther Schmidt gue.schm...@web.de wrote:
Thanks Don,
I followed some examples but have not yet seen anything that would show me
how, for instance, turn a nested Map like
Map Int (Map Int (Map String Double)
into a zipped version.
That is presuming of
David Menendez wrote:
On Tue, Mar 31, 2009 at 11:44 PM, wren ng thornton w...@freegeek.org wrote:
Another tricky thing for this particular example is answering the question
of what you want to call the focus. Usually zippered datastructures are
functors, so given F X we can pick one X to be
On Mon, Mar 30, 2009 at 9:46 PM, Gü?nther Schmidt gue.schm...@web.de wrote:
Thanks Don,
I followed some examples but have not yet seen anything that would show me
how, for instance, turn a nested Map like
Map Int (Map Int (Map String Double)
into a zipped version.
That is presuming of
Perhaps an example will help.
Here's a useful operation on lists:
grab :: [a] - [(a, [a])]
grab [] = []
grab (x:xs) = (x, xs) : [ (y, x : ys) | (y,ys) - grab xs ]
This takes a list and gives you a new list with one element extracted
from the original list:
ghci grab [1,2,3,4]
What I've learned: Zippers are structured collections[1] with a
focus. Through a Zipper you can O(1) change the value of the focused
element: that's the fundamental property. In addition, you can change
the focus through a series of moving functions.
To clarify: there is no magic that turns
On Tue, Mar 31, 2009 at 10:13 PM, Dan Weston weston...@imageworks.com wrote:
What I've learned: Zippers are structured collections[1] with a
focus. Through a Zipper you can O(1) change the value of the focused
element: that's the fundamental property. In addition, you can change
the focus
Cristiano Paris wrote:
On Tue, Mar 31, 2009 at 10:13 PM, Dan Weston weston...@imageworks.com wrote:
What I've learned: Zippers are structured collections[1] with a
focus. Through a Zipper you can O(1) change the value of the focused
element: that's the fundamental property. In addition, you
Gü?nther Schmidt wrote:
Thanks Don,
I followed some examples but have not yet seen anything that would show
me how, for instance, turn a nested Map like
Map Int (Map Int (Map String Double)
into a zipped version.
You can't. Or rather, you can't unless you have access to the
On Tue, Mar 31, 2009 at 11:44 PM, wren ng thornton w...@freegeek.org wrote:
Another tricky thing for this particular example is answering the question
of what you want to call the focus. Usually zippered datastructures are
functors, so given F X we can pick one X to be the focus and then unzip
Thanks Don,
I followed some examples but have not yet seen anything that would show
me how, for instance, turn a nested Map like
Map Int (Map Int (Map String Double)
into a zipped version.
That is presuming of course that this use is feasible at all.
Günther
Don Stewart schrieb:
11 matches
Mail list logo