15 Oct
2012
15 Oct
'12
5:50 p.m.
On Mon, Oct 15, 2012 at 7:58 AM, Emil Axelsson
I have a use case:
http://hackage.haskell.org/packages/archive/syntactic/1.3/doc/html/Data-Dyna...
This is a reimplementation of Data.Dynamic to support casting type `a` to `Dynamic` given a constraint `Typeable (a -> b)`:
toDyn :: Typeable (a -> b) => P (a -> b) -> a -> Dynamic
With your suggestion, it seems I should be able to use the ordinary Data.Dynamic instead.
/ Emil
Great! Do you like my plan? Or perhaps know of a better one? (Relatedly, *does* this have to go through a separate libraries process? Or are we considering Typeable as getting completely replaced, and everything pertaining to it gets discussed here?) -- Your ship was destroyed in a monadic eruption.