[<<][haskell][>>][..]
Tue Jun 19 16:07:43 EDT 2018

Dynamic typing

I have a map from Int to some existential type.  I know that two
separate references have the same type if the integer is the same, so
how to coerce?


https://stackoverflow.com/questions/29684482/can-i-coerce-an-existentially-quantified-argument-in-a-type-constructor
http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Typeable.html
http://hackage.haskell.org/package/base-4.11.1.0/docs/Data-Dynamic.html

Or just use unsafeCoerce?  Yeah maybe not.
Dynamic seems to be the way to go.




[Reply][About]
[<<][haskell][>>][..]