Excellent paper! I have started using some of the techniques already!
But, back to the real question :). I now no longer think such a thing is
possible. Essentially what I want (given 'cast :: Typeable a, Typeable b
=> a -> Maybe b' [1]), is to write something like:
test :: forall a r . Typeab
1st MM-NET Workshop on
Analytical Techniques for Memory Management
University of Kent at Canterbury
15th May 2003
Call for papers and participation
There has been a recent increase in interest in applying analytical te
Does the "zipper" fall into this category?
http://haskell.org/wiki/wiki?TheZipper
The zipper is a type-indexed data type, not just a type-indexed
function.
See:
R. Hinze, J. Jeuring and A Löh. Type-indexed data types. In Eerke A.
Boiten and Bernhard Möller, editors, Proceedings of the 6th
Inte
**
NEW: The deadline for submissions to WFLP 2003 has been extended to
April 2, 2003
**
=
Does the "zipper" fall into this category?
http://haskell.org/wiki/wiki?TheZipper
Markus
> You might also find the 'cast' function in Section 3 of "Scrap your
> boilerplate" useful.
> http://research.microsoft.com/~simonpj/papers/hmap/
> I'm not certain, but it has the right smell.
> Simon
_
I think you are looking like something done in the
HTML-Combinator-libraries.
I tried something like that some time ago, but didn't finish. But perhaps
you
can get an idea from that. See the files with this mail. (The code is in
unknown condition.)
Markus
> ah, yes. i was aware that would work.
You might also find the 'cast' function in Section 3 of "Scrap your
boilerplate" useful.
http://research.microsoft.com/~simonpj/papers/hmap/
I'm not certain, but it has the right smell.
Simon
| -Original Message-
| From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED]
| Sent: 21 March 2003 04: